最終更新日時(UTC): 2024年12月23日 07時58分47秒
Akira Takahashi が更新

履歴 編集

function
<atomic>

# std::atomic_ref::operator-=(C++20)

    T
      operator-=(T operand) const noexcept;                   // (1) C++20
    constexpr value_type
      operator-=(value_type operand) const noexcept; // (1) C++26

## 概要

減算を行う

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

- C++26 : `is_const_v<T>`が`false`であること

## 戻り値

以下と等価の式により、演算結果の値が返る：

    return fetch_sub(operand) + operand;

## 例外

投げない

## 備考

- この関数は、`atomic_ref`クラスの整数型、浮動小数点数型、ポインタに対する特殊化で定義される
- 整数型
  - 符号付き整数型に対しては、符号なし整数型に変換されたかのようにしたあと演算が行われ、結果は符号付き整数型になる。未定義動作はない
- 浮動小数点数型
  - 演算結果が、その型で表現できない値であった場合、結果は未規定値になる。ただしその操作によって未定義動作は起こらない
  - 浮動小数点数型に対する操作は`std::numeric_limits<floating-point>`トレイトに準拠する
  - 浮動小数点数型に対するアトミック操作の浮動小数点環境は、呼び出しスレッドの浮動小数点環境とは異なる可能性がある
- ポインタ型
  - 結果として未定義アドレスになる場合があるが、それ以外の未定義動作はない

## 例

### 整数の例

    #include <iostream>
    #include <atomic>

    int main()
    {
      int value = 3;
      std::atomic_ref<int> x{value};

      x -= 2;

      std::cout << value << std::endl;
    }

#### 出力

    1

### 浮動小数点数の例

    #include <iostream>
    #include <atomic>

    int main()
    {
      float value = 3.14f;
      std::atomic_ref<float> x{value};

      x -= 1.25f;

      std::cout << value << std::endl;
    }

#### 出力

    1.89

### 複数スレッドから減算する例

    #include <iostream>
    #include <atomic>
    #include <thread>

    int main()
    {
      int value = 10;

      // 複数スレッドで減算を呼んでも、
      // 最終的に全てのスレッドでの減算が処理された値になる
      std::thread t1 {[&value] {
        std::atomic_ref{value} -= 1;
      }};
      std::thread t2 {[&value] {
        std::atomic_ref{value} -= 2;
      }};

      t1.join();
      t2.join();

      std::cout << value << std::endl;
    }

#### 出力

    7

## バージョン

### 言語

- C++20

### 処理系

- Clang: 9.0 ❌
- GCC: 10.1 ✅
- Visual C++: ??

## 参照

- P3323R1 cv-qualified types in `atomic` and `atomic_ref`
  - C++26でCV修飾されたテンプレート引数を受け取れるようになった
- P3309R3 `constexpr atomic` and `atomic_ref`
  - C++26で`constexpr`に対応した