std::atomic_ref<T>::fetch_sub
来自 cppreference.cn
< cpp | atomic | atomic ref
| 仅当 T 是算术类型而非 cv bool 或对象指针类型时提供 |
||
value_type fetch_sub( difference_type arg, std::memory_order order = |
(constexpr 自 C++26 起) | |
原子地将所引用对象的当前值替换为该值与 arg 进行算术减法运算的结果。此操作是读-修改-写操作。内存受 order 值的影响。
- 对于有符号整型类型，算术运算定义为使用补码表示。没有未定义的结果。
- 对于浮点类型，生效的浮点环境可能与调用线程的浮点环境不同。该操作不需要符合相应的 std::numeric_limits 特性，但鼓励这样做。如果结果不是其类型的可表示值，则结果是未指定的，但该操作在其他方面没有未定义的行为。
- 对于指针类型，结果可能是一个未定义的地址，但该操作在其他方面没有未定义的行为。
- 如果 std::remove_pointer_t<T> 不是完整的对象类型，则程序是非良构的。
仅当 std::is_const_v<T> 为 false 时，此重载才参与重载解析。
目录 |
[编辑] 参数
| arg | - | 算术减法的另一个参数 |
| order | - | 要强制执行的内存顺序约束 |
[编辑] 返回值
函数效果之前，*ptr 引用的值。
[编辑] 示例
| 本节尚不完整 原因：没有示例 |
[编辑] 缺陷报告
以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。
| DR | 应用于 | 已发布行为 | 正确行为 |
|---|---|---|---|
| LWG 3508 (P3323R1) |
C++20 | fetch_sub 对于 const T 没有意义 |
约束为仅接受非 const T |
