std::atomic<T>::operator+=,-=

< cpp‎ | atomic‎ | atomic
atomic<整数类型 > 特化和 atomic<浮点类型 > 特化 (C++20 起)才有的成员
T operator+=( T arg ) noexcept;
 (1) (C++11 起)
T operator+=( T arg ) volatile noexcept;
 (2) (C++11 起)
T operator-=( T arg ) noexcept;
 (3) (C++11 起)
T operator-=( T arg ) volatile noexcept;
 (4) (C++11 起)
atomic<T*> 部分特化才有的成员
T* operator+=( std::ptrdiff_t arg ) noexcept;
 (5) (C++11 起)
T* operator+=( std::ptrdiff_t arg ) volatile noexcept;
 (6) (C++11 起)
T* operator-=( std::ptrdiff_t arg ) noexcept;
 (7) (C++11 起)
T* operator-=( std::ptrdiff_t arg ) volatile noexcept;
 (8) (C++11 起)

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

  • operator+= 进行原子加法。等价于 return fetch_add(arg) + arg;。
  • operator-= 进行原子减法。等价于 return fetch_sub(arg) - arg;。
1-4) 对于有符号整数类型，算术定义为使用补码表示进行。没有未定义的结果。

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

 (C++20 起)
5-8) 结果可能是未定义地址，但此外操作不会有未定义行为。
如果 T 不是完整对象类型，那么程序非良构。


volatile 重载在参与重载决议且 std::atomic<T>::is_always_lock_free 是 false 时被弃用。

 (C++20 起)

参数

arg - 算术运算的实参

返回值

结果值（即在 *this 的修改顺序中紧接对应成员函数生效之前的值上应用相应二元运算符的结果）。

注解

与大多数复合赋值运算符不同，原子类型的复合赋值运算符不返回到其左侧运算数的引用。它们代之以返回存储的值的副本。

缺陷报告

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

缺陷报告 应用于 出版时的行为 正确行为
P0558R1 C++11 允许进行指向（可有 cv 限定的）void 或函数的指针运算 使之非良构

参阅

 原子地将实参加到存储于原子对象的值上，并返回先前保有的值
(公开成员函数)
原子地从存储于原子对象的值减去实参，并获得先前保有的值
(公开成员函数)
令原子值增加或减少一
(公开成员函数)
与原子值进行逐位与、或、异或
(公开成员函数)