std::atomic<T>::fetch_sub

`atomic<`整数类型 `>` 特化和 `atomic<`浮点类型 `>` 特化(C++20 起)才有的成员
T fetch_sub( T arg, std::memory_order order = std::memory_order_seq_cst ) noexcept;	(1)	(C++11 起)
T fetch_sub( T arg, std::memory_order order = std::memory_order_seq_cst ) volatile noexcept;	(2)	(C++11 起)
`atomic<T*>` 部分特化才有的成员
T* fetch_sub( std::ptrdiff_t arg, std::memory_order order = std::memory_order_seq_cst ) noexcept;	(3)	(C++11 起)
T* fetch_sub( std::ptrdiff_t arg, std::memory_order order = std::memory_order_seq_cst ) volatile noexcept;	(4)	(C++11 起)

以当前值和 arg 的算术减法结果原子地替换当前值。运算是读-修改-写操作。按照 order 的值影响内存。

1,2) 对于有符号整数类型，定义算术使用补码表示进行。没有未定义的结果。

对于浮点类型，生效的浮点环境可能异于调用方线程的浮点环境。操作不必遵循对应的 std::numeric_limits 特征，但鼓励这么做。如果结果不是它的类型所能表示的值，那么结果未指定，但该操作没有未定义行为。

(C++20 起)

3,4) 结果可能是未定义的地址，但该运算无未定义行为。

如果 T 不是完整对象类型，那么程序非良构。

重载 (2) 或 (4) 在参与重载决议且 std::atomic<T>::is_always_lock_free 是 false 时被弃用。

(C++20 起)

成员函数
atomic::atomic
atomic::operator=
atomic::is_lock_free
atomic::store
atomic::load
atomic::operator T
atomic::exchange
atomic::compare_exchange_strongatomic::compare_exchange_weak
atomic::wait (C++20)
atomic::notify_one (C++20)
atomic::notify_all (C++20)
常量
atomic::is_always_lock_free (C++17)
特化成员函数
为整数、浮点(C++20)和指针类型特化
atomic::fetch_add
atomic::fetch_sub
atomic::operator+=atomic::operator-=
仅为整数和指针类型特化
atomic::fetch_max (C++26)
atomic::fetch_min (C++26)
atomic::operator++atomic::operator++(int)atomic::operator--atomic::operator--(int)
仅为整数类型特化
atomic::fetch_and
atomic::fetch_or
atomic::fetch_xor
atomic::operator&=atomic::operator\|=atomic::operator^=

目录

arg	-	算术减法的另一实参
order	-	强制的内存定序制约