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

来自cppreference.com
< cpp‎ | atomic‎ | atomic ref
 
 
 
 
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 中(进行加载操作)。

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

参数

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

返回值

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

注解

比较和复制是逐位的(类似 std::memcmpstd::memcpy );不使用构造函数、赋值运算符或比较运算符。

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

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

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

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

示例