std::atomic_ref<T>::operator+=,-=
来自 cppreference.cn
< cpp | atomic | atomic ref
| 仅当 T 是算术类型（除了 cv bool）或对象指针类型时提供 |
||
value_type operator+=( difference_type arg ) const noexcept; |
(1) | (constexpr 自 C++26 起) |
value_type operator-=( difference_type arg ) const noexcept; |
(2) | (constexpr 自 C++26 起) |
原子地将 *ptr 引用的当前值替换为涉及先前值和 arg 计算的结果。这些操作是读取-修改-写入操作。
1) operator+= 执行原子加法。等效于 return fetch_add(arg) + arg;。
2) operator-= 执行原子减法。等效于 return fetch_sub(arg) - arg;。
- 对于有符号整数类型，算术运算定义为使用补码表示。没有未定义的结果。
- 对于浮点类型，生效的浮点环境可能与调用线程的浮点环境不同。该操作不必符合相应的 std::numeric_limits 特性，但鼓励这样做。如果结果不是其类型的可表示值，则结果是未指定的，但该操作在其他方面没有未定义的行为。
- 对于指针类型，结果可能是未定义的地址，但该操作在其他方面没有未定义的行为。
- 如果 std::remove_pointer_t<T> 不是完整的对象类型，则程序是非良构的。
只有当 std::is_const_v<T> 为 false 时，这些重载才参与重载解析。
目录 |
[编辑] 参数
| arg | - | 算术运算的参数 |
[编辑] 返回值
结果值（即，将相应的二元运算符应用于 *ptr 引用的值，紧接在相应成员函数的效果之前）。
[编辑] 注解
与大多数复合赋值运算符不同，atomic_ref 的复合赋值运算符返回存储值的副本，而不是对 arg 的引用。
[编辑] 示例
| 本节尚不完整 原因：没有示例 |
[编辑] 缺陷报告
以下行为更改的缺陷报告被追溯应用于先前发布的 C++ 标准。
| DR | 应用于 | 已发布行为 | 正确行为 |
|---|---|---|---|
| LWG 3508 (P3323R1) |
C++20 | 复合赋值运算符对于 const T 没有意义 | 约束为仅接受非 const T |
[编辑] 参见
| 原子地将参数添加到引用对象中存储的值，并获取先前持有的值 (公共成员函数) | |
| 原子地从引用对象中存储的值减去参数，并获取先前持有的值 (公共成员函数) | |
| 原子地将引用对象递增或递减 1 (公共成员函数) | |
| 原子地执行按位与、或、异或运算与引用值 (公共成员函数) |
