最終更新日時: 2025年09月22日 17時59分17秒 (JST)
Akira Takahashi が更新

履歴 編集

function
<atomic>

# std::atomic_ref::fetch_min(C++26)

    constexpr T
      fetch_min(difference_type operand,
                memory_order order = memory_order_seq_cst
                ) const noexcept;                         // (1) C++26

## 概要

最小値を設定・取得する。

この関数は、現在の値と`operand`の大きい方を求めて、その値で現在の値を置き換え、その値を返す。

## テンプレートパラメータ制約

- (1) : `std::atomic<T*>`の場合、型`T`がオブジェクト型であること。型`T`が`void*`や関数ポインタであってはならない

## 効果

`order`で指定されたメモリオーダーにしたがって、`std::min()`アルゴリズムのように現在の値と`operand`の最小値を求めて、その値で現在の値を置き換え、その値を返す

## 例外

投げない

## 備考

- この関数は、`atomic_ref`クラスの整数型、浮動小数点数型、ポインタに対する特殊化で定義される
- 浮動小数点数型
  - `std::fminimum_num()`関数と同様の動作をするが、以下の点で異なる：
    - 両方のパラメータが`NaN`である場合、現在の値は未規定のNaN値に置き換えられる
    - 一方のパラメータだけが`NaN`である場合、現在の値はもう一方のパラメータ、または未規定のNaN値に置き換えられるが、どちらに置き換えられるかは未規定
    - パラメータが異なる符号のゼロである場合、現在の値がどちらに置き換えられるかは未規定
      - 処理系への推奨としては、負のゼロを正のゼロより小さいものとして扱うべきである
- ポインタ型
  - ポインタが異なる完全型オブジェクトを指している場合、`<`演算子による比較は狭義の弱順序を確立しない

## 例

    #include <iostream>
    #include <atomic>

    int main()
    {
      int x = 3;
      int ret = std::atomic_ref{x}.fetch_min(2);

      std::cout << ret << std::endl;
    }

### 出力

    2

## バージョン

### 言語

- C++26

### 処理系

- Clang: 19 ❌
- GCC: 14 ❌

## 参照

- P0493R5 Atomic minimum/maximum
- P3309R3 `constexpr atomic` and `atomic_ref`