atomic_store_add_explicit.md

atomic_store_add_explicit

• atomic[meta header]
• std[meta namespace]
• function template[meta id-type]
• cpp26[meta cpp]

namespace std {
  template <class T>
  void
    atomic_store_add_explicit(
      volatile atomic<T>* object,
      typename atomic<T>::difference_type operand,
      memory_order order) noexcept;                // (1) C++26

  template <class T>
  constexpr void
    atomic_store_add_explicit(
      atomic<T>* object,
      typename atomic<T>::difference_type operand,
      memory_order order) noexcept;                // (2) C++26
}

• atomic[link atomic.md]
• memory_order[link memory_order.md]

概要

値を読み込まずにアトミックに加算を行う。

この関数は、atomic_fetch_add_explicit()と異なり、現在の (古い) 値を読み込むことなく現在の値に演算を行うため、高速に動作する。ただし変更前の古い値は戻り値として取得できない。

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

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

事前条件

• orderは、以下のいずれかであること
  • memory_order_relaxed
  • memory_order_release
  • memory_order_seq_cst

効果

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

戻り値

なし

例外

投げない

備考

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

例

#include <iostream>
#include <atomic>

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

  std::atomic_store_add_explicit(&x, 2, std::memory_order_seq_cst);

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

• std::atomic_store_add_explicit[color ff0000]
• x.load()[link /reference/atomic/atomic/load.md]

出力

5

バージョン

言語

• C++26

処理系

• Clang: 21 [mark noimpl]
• GCC: 15 [mark noimpl]
• Visual C++: 2022 Update 13 [mark noimpl]

参照

• P3111R8 Atomic Reduction Operations