C++ 参考手册

位置:首页 > C++ 参考手册 >原子操作库 >std::atomic > std::atomic<T>::operator+=,-=,&=,|=,^=

仅为 atomic<Integral>(C++11)atomic<Floating>(C++20) 模板特化的成员
(1)
T operator+=( T arg ) noexcept;
T operator+=( T arg ) volatile noexcept;
仅为 atomic<T*> 模板特化的成员
(1)
T* operator+=( std::ptrdiff_t arg ) noexcept;
T* operator+=( std::ptrdiff_t arg ) volatile noexcept;
仅为 atomic<Integral>(C++11)atomic<Floating>(C++20) 模板特化的成员
(2)
T operator-=( T arg ) noexcept;
T operator-=( T arg ) volatile noexcept;
仅为 atomic<T*> 模板特化的成员
(2)
T* operator-=( std::ptrdiff_t arg ) noexcept;
T* operator-=( std::ptrdiff_t arg ) volatile noexcept;
仅为 atomic<Integral> 模板特化的成员
(3)
T operator&=( T arg ) noexcept;
T operator&=( T arg ) volatile noexcept;
(4)
T operator|=( T arg ) noexcept;
T operator|=( T arg ) volatile noexcept;
(5)
T operator^=( T arg ) noexcept;
T operator^=( T arg ) volatile noexcept;

原子地以涉及先前值和 arg 的计算结果替换当前值。操作是读-修改-写操作。

1) 进行原子加法。等价于 fetch_add(arg) + arg 。
2) 进行原子减法。等价于 fetch_sub(arg) - arg 。
3) 进行原子逐位与。等价于 fetch_and(arg) & arg 。
4) 进行原子逐位或。等价于 fetch_or(arg) | arg 。
5) 进行原子逐位异或。等价于 fetch_xor(arg) ^ arg 。

对于有符号整数 (Integral) 类型,算术定义为使用补码表示。无未定义结果。

对于浮点类型,有影响的浮点环境可能异于调用方线程的浮点环境。操作不必服从对应的 std::numeric_limits 特性,但鼓励这么做。若结果不是其类型所能表示的值,则结果未指定,但操作不会另有未定义行为。

(C++20 起)

对于 T* 类型,结果可能为未定义地址,但操作不会另有未定义行为。若 T 不是对象类型则程序为病式。

参数

arg - 算术运算的参数

返回值

返回值(即应用对应二元运算符到 *this修改顺序中立即前趋于成员对应函数效果的值)

注意

不同于大多数复合赋值运算符,原子类型的复合赋值运算符不返回到其左侧运算数的引用。它们替而返回存储的值的副本。

缺陷报告

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

DR 应用于 出版时的行为 正确行为
P0558R1 C++11 曾容许指向 cv void 或函数的指针 使之为病式

参阅

令原子值增加或减少一
(公开成员函数)