std::atomic_ref<T>::compare_exchange_weak, std::atomic_ref<T>::compare_exchange_strong

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

输入/输出库

本地化库

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

文件系统库 (C++17)

技术规范

 

原子操作库

类

atomic (C++11)

atomic_ref (C++20)

函数

atomic_storeatomic_store_explicit (C++11)(C++11)

atomic_loadatomic_load_explicit (C++11)(C++11)

atomic_exchangeatomic_exchange_explicit (C++11)(C++11)

atomic_compare_exchange_weakatomic_compare_exchange_weak_explicitatomic_compare_exchange_strongatomic_compare_exchange_strong_explicit (C++11)(C++11)(C++11)(C++11)

atomic_fetch_addatomic_fetch_add_explicit (C++11)(C++11)

atomic_fetch_subatomic_fetch_sub_explicit (C++11)(C++11)

atomic_fetch_andatomic_fetch_and_explicit (C++11)(C++11)

atomic_fetch_oratomic_fetch_or_explicit (C++11)(C++11)

atomic_fetch_xoratomic_fetch_xor_explicit (C++11)(C++11)

atomic_is_lock_free (C++11)

atomic_waitatomic_wait_explicit (C++20)(C++20)

atomic_notify_one (C++20)

atomic_notify_all (C++20)

原子标志

atomic_flag (C++11)

atomic_flag_test_and_setatomic_flag_test_and_set_explicit (C++11)(C++11)

atomic_flag_clearatomic_flag_clear_explicit (C++11)(C++11)

atomic_flag_testatomic_flag_test_explicit (C++20)(C++20)

atomic_flag_waitatomic_flag_wait_explicit (C++20)(C++20)

atomic_flag_notify_one (C++20)

atomic_flag_notify_all (C++20)

初始化

atomic_init (C++11)

ATOMIC_VAR_INIT (C++11)

ATOMIC_FLAG_INIT (C++11)

内存顺序

memory_order (C++11)

kill_dependency (C++11)

atomic_thread_fence (C++11)

atomic_signal_fence (C++11)

 

std::atomic_ref

成员函数

atomic_ref::atomic_ref

atomic_ref::operator=

atomic_ref::is_lock_free

atomic_ref::store

atomic_ref::load

atomic_ref::operator T

atomic_ref::exchange

atomic_ref::compare_exchange_strongatomic_ref::compare_exchange_weak

atomic_ref::wait

atomic_ref::notify_one

atomic_ref::notify_all

常量

atomic_ref::is_always_lock_free

atomic_ref::required_alignment

特化的成员函数

atomic_ref::fetch_add

atomic_ref::fetch_sub

atomic_ref::fetch_and

atomic_ref::fetch_or

atomic_ref::fetch_xor

atomic_ref::operator++atomic_ref::operator++(int)atomic_ref::operator--atomic_ref::operator--(int)

atomic_ref::operator+=atomic_ref::operator-=atomic_ref::operator&=atomic_ref::operator|=atomic_ref::operator^=

 

bool compare_exchange_weak( T& expected, T desired,                             std::memory_order success,                             std::memory_order failure ) const noexcept;	(1)	(C++20 起)
bool compare_exchange_weak( T& expected, T desired,                             std::memory_order order =                                 std::memory_order_seq_cst ) const noexcept;	(2)	(C++20 起)
bool compare_exchange_strong( T& expected, T desired,                               std::memory_order success,                               std::memory_order failure ) const noexcept;	(3)	(C++20 起)
bool compare_exchange_strong( T& expected, T desired,                               std::memory_order order =                                   std::memory_order_seq_cst ) const noexcept;	(4)	(C++20 起)

原子地比较被引用对象的值表示与 expected 的值表示，而若它们逐位相等，则以 desired 替换前者（进行读修改写操作）。否则，加载存储于被引用对象的实际值到 expected 中（进行加载操作）。

读修改写和加载操作的内存模型分别是 success 和 failure 。在 (2) 和 (4) 版本中， order 同时用于读修改写操作和加载操作，除了若 order == std::memory_order_acq_rel 或 order == std::memory_order_release ，则分别将 std::memory_order_acquire 和 std::memory_order_relaxed 用于加载操作。

参数

expected	-	到期待在 atomic_ref 所引用对象中找到的值的引用
desired	-	若满足期待则要存储于被引用对象中的值
success	-	若比较成功则用于读修改写操作的内存同步顺序。容许所有值。
failure	-	若比较失败则用于加载操作的内存同步顺序。不能为 std::memory_order_release 或 std::memory_order_acq_rel
order	-	两个操作的内存同步顺序

返回值

若成功更改被引用数据则为 true ，否则为 false 。

注意

比较和复制是逐位的（类似 std::memcmp 和 std::memcpy ）；不使用构造函数、赋值运算符或比较运算符。

允许弱形式 (1-2) 虚假地失败，即表现为 *this != expected ，即使它们相等。比较并交换在循环中时，弱版本在某些平台上将产生较好的性能。

弱比较并交换会要求循环，而强版本不会要求时，最好用强版本，除非 T 的对象表示可能包含陷阱位，或相同值有多种对象表示（例如浮点 NaN ）。那些情况下，弱比较并交换通常能用，因为它在某些稳定的对象表示上快速收敛。

若有参与 union 某些成员，但非其他成员的值表示的位，则比较并交换可能始终失败，因为这种填充位在不参与活跃成员的值表示时拥有不确定值。

忽略决不参与对象值表示的填充位。