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

`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 的计算结果原子地替换当前值。操作是读-修改-写操作。

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 或函数的指针运算	使之非良构

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

成员函数
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^=