最終更新日時: 2025年06月28日 11時55分48秒 (JST)
suomesta が更新

履歴 編集

function template
<atomic>

# std::atomic_fetch_add(C++11)

    namespace std {
      template <class T>
      T
        atomic_fetch_add(
          volatile atomic<T>* object,
          T operand) noexcept;                                   // (1) C++11
      template <class T>
      T
        atomic_fetch_add(
          volatile atomic<T>* object,
          typename atomic<T>::difference_type operand) noexcept; // (1) C++17

      template <class T>
      T
        atomic_fetch_add(
          atomic<T>* object,
          T operand) noexcept;                                   // (2) C++11
      template <class T>
      T
        atomic_fetch_add(
          atomic<T>* object,
          typename atomic<T>::difference_type operand) noexcept; // (2) C++17
      template <class T>
      constexpr T
        atomic_fetch_add(
          atomic<T>* object,
          typename atomic<T>::difference_type operand) noexcept; // (2) C++26
    }

## 概要

アトミックに値を加算する

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

- (1), (2) :
  - C++17 : 型`T`がオブジェクト型であること。型`T`が`void*`や関数ポインタであってはならない
- (1) :
  - C++20 : `atomic<T>::is_always_lock_free`が`true`であること

## 効果

`memory_order_seq_cst`のメモリオーダーにしたがって、現在の値に`operand`を加算した値でアトミックに置き換える

## 戻り値

変更前の値が返される

## 例外

投げない

## 備考

符号付き整数型に対しては、2の補数表現による演算が行われ、未定義動作はない。アドレス型に関しては結果として未定義アドレスになる場合があるが、それ以外の未定義動作はない。

## 例

    #include <iostream>
    #include <atomic>

    int main()
    {
      std::atomic<int> x(3);

      int before = std::atomic_fetch_add(&x, 2);

      std::cout << before << std::endl;
      std::cout << x.load() << std::endl;
    }

### 出力

    3
    5

## バージョン

### 言語

- C++11

### 処理系

- Clang: ??
- GCC: 4.7.0 ✅
- ICC: ??
- Visual C++: 2012 ✅, 2013 ✅

## 関連項目

- C++20 ほとんどの`volatile`を非推奨化

## 参照

- P0558R1 Resolving `atomic<T>` named base class inconsistencies
- P1831R1 Deprecating `volatile`: library
  - C++20での、`volatile`版への制約追加
- P3309R3 `constexpr atomic` and `atomic_ref`
  - C++26で`constexpr`に対応した