std::atomic_ref<T>:: fetch_sub
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
仅当
T
为除
cv
bool
之外的算术类型或对象指针类型时提供
|
||
|
value_type fetch_sub
(
difference_type arg,
std::
memory_order
order
=
|
(自 C++26 起为 constexpr) | |
以原子方式将引用对象的当前值替换为原值与 arg 进行算术减法的结果。此操作属于读-改-写操作。内存访问顺序根据 order 参数的值进行约束。
- 对于有符号整数类型,算术运算采用二进制补码表示法定义,不存在未定义结果。
- 对于浮点类型,实际生效的 浮点环境 可能与调用线程的浮点环境不同。运算不必符合对应的 std::numeric_limits 特性,但建议符合。若结果不是该类型可表示的值,则结果未指定,但该运算不具其他未定义行为。
-
对于指针类型,结果可能是未定义地址,但该运算不具其他未定义行为。
- 若 std:: remove_pointer_t < T > 不是完整对象类型,则程序非良构。
此重载仅当 std:: is_const_v < T > 为 false 时参与重载决议。
目录 |
参数
| arg | - | 算术减法的另一个参数 |
| order | - | 要强制执行的内存顺序约束 |
返回值
在此函数生效前,
*
ptr
所引用的值。
示例
|
本节内容不完整
原因:缺少示例 |
缺陷报告
下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确行为 |
|---|---|---|---|
|
LWG 3508
( P3323R1 ) |
C++20 |
fetch_sub
对于
const
T
无意义
|
约束为仅接受非 const
T
|