std::atomic_ref<T>::operator+=,-=,&=,|=,^=

来自cppreference.com
< cpp‎ | atomic‎ | atomic ref
 
 
 
 
仅为 atomic_ref<Integral>atomic_ref<Floating> 模板特化的成员
T operator+=( T arg ) const noexcept;
(1)
仅为 atomic_ref<T*> 模板特化的成员
T* operator+=( std::ptrdiff_t arg ) const noexcept;
(1)
仅为 atomic_ref<Integral>atomic_ref<Floating> 模板特化的成员
T operator-=( T arg ) const noexcept;
(1)
仅为 atomic_ref<T*> 模板特化的成员
T* operator-=( std::ptrdiff_t arg ) const noexcept;
(1)
仅为 atomic_ref<Integral> 模板特化的成员
T operator&=( T arg ) const noexcept;
(3)
T operator|=( T arg ) const noexcept;
(4)
T operator^=( T arg ) const noexcept;
(5)

原子地以涉及先前值和 arg 的运算的结果替换被引用对象的当前值。这些操作是读修改写操作。

1) 进行原子加法。等价于 return fetch_add(arg) + arg;
2) 进行原子减法。等价于 return fetch_sub(arg) - arg;
3) 进行原子逐位与。等价于 return fetch_and(arg) & arg;
4) 进行原子逐位或。等价于 return fetch_or(arg) | arg;
5) 进行原子逐位异或。等价于 return fetch_xor(arg) ^ arg;

对于有符号整数类型,定义算术为使用补码。无未定义结果。

对于浮点类型,有效的浮点环境可能异于调用方线程的浮点环境。不需要操作服从对应的 std::numeric_limits 特性,但鼓励这么做。若结果不是其类型的可表示值,则结果未指定,但操作不会另有未定义行为。

对于 T* 类型,结果可以为未定义的地址,但操作不会另有未定义行为。若 T 不是对象类型则程序为谬构。

参数

arg - 算术运算的参数

返回值

结果值(即应用对应的二元运算符到立即在对应的成员函数效果之前的值的结果)。

注解

不同于大多数复合赋值运算符, atomic_ref 的复合赋值运算符不返回到其左侧参数的引用。它们替而返回存储的值的副本。

参阅

原子地将被引用对象增加或减少一
(公开成员函数)