std::atomic<T>::fetch_sub

< cpp‎ | atomic‎ | atomic
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 起)

参数

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

返回值

*this 的修改顺序中，紧接此函数生效之前的值。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
P0558R1 C++11 曾容许指向 cv void 或函数的指针 使之非良构

参阅

(C++11)(C++11)
 从原子对象中减去非原子值，并获得原子对象的先前值
(函数模板)