namespace std {
template <class T>
T atomic_fetch_sub(
volatile atomic<T>* object,
T operand) noexcept; // (1) C++11
template <class T>
T atomic_fetch_sub(
volatile atomic<T>* object,
typename atomic<T>::difference_type operand) noexcept; // (1) C++17
template <class T>
T atomic_fetch_sub(
atomic<T>* object,
T operand) noexcept; // (2) C++11
template <class T>
T atomic_fetch_sub(
atomic<T>* object,
typename atomic<T>::difference_type operand) noexcept; // (2) C++17
}
概要
アトミックに減算を行う
テンプレートパラメータ制約
- (1), (2) :
- C++17 : 型
T
がオブジェクト型であること。型T
がvoid*
や関数ポインタであってはならない
- C++17 : 型
- (1) :
- C++20 :
atomic<T>::is_always_lock_free
がtrue
であること
- C++20 :
効果
memory_order_seq_cst
のメモリオーダーにしたがって、現在の値にoperand
を減算した値でアトミックに置き換える
戻り値
変更前の値が返される
例外
投げない
備考
符号付き整数型に対しては、2の補数表現による演算が行われ、未定義動作はない。アドレス型に関しては結果として未定義アドレスになる場合があるが、それ以外の未定義動作はない。
例
#include <iostream>
#include <atomic>
int main()
{
std::atomic<int> x(3);
int before = std::atomic_fetch_sub(&x, 2);
std::cout << before << std::endl;
std::cout << x.load() << std::endl;
}
出力
3
1
バージョン
言語
- C++11
処理系
- Clang: ??
- GCC: 4.7.0 ✅
- ICC: ??
- Visual C++: 2012 ✅, 2013 ✅
関連項目
参照
- P0558R1 Resolving
atomic<T>
named base class inconsistencies - P1831R1 Deprecating
volatile
: library- C++20での、
volatile
版への制約追加
- C++20での、