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

履歴 編集

function
<atomic>

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

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

    value_type
      operator--(int) const noexcept; // (2) C++20
    constexpr value_type
      operator--(int) const noexcept; // (2) C++26

## 概要

値をデクリメントする。

- (1) : 前置デクリメント
- (2) : 後置デクリメント

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

- ポインタに対する特殊化
  - C++26 : `is_const_v<T>`が`false`であること

## 戻り値

以下と等価：

- (1) : `fetch_sub(1) - 1`
- (2) : `fetch_sub(1)`

## 例外

投げない

## 備考

この関数は、`atomic_ref`クラスの整数型およびポインタに対する特殊化で定義される。

## 例

### 基本的な使い方

    #include <iostream>
    #include <atomic>

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

      --x;

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

#### 出力

    2

### 複数スレッドからデクリメントする例

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

    int main()
    {
      int value = 10;

      // 複数スレッドでデクリメントを呼んでも、
      // 最終的に全てのスレッドでのデクリメントが処理された値になる
      std::thread t1 {[&value] {
        --std::atomic_ref{value};
      }};
      std::thread t2 {[&value] {
        --std::atomic_ref{value};
      }};

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

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

#### 出力

    8

## バージョン

### 言語

- C++20

### 処理系

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

## 参照

- P1960R0 NB Comment Changes Reviewed by SG1
  - 戻り値の型を`T`から`value_type`に変更
- P3323R1 cv-qualified types in `atomic` and `atomic_ref`
  - C++26でCV修飾されたテンプレート引数を受け取れるようになった
- P3309R3 `constexpr atomic` and `atomic_ref`
  - C++26で`constexpr`に対応した