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

来自cppreference.com
< cpp‎ | atomic‎ | atomic ref
 
C++
 
并发支持库
线程
(C++11)
(C++20)
(C++17)(C++17)
this_thread 命名空间
(C++11)
(C++11)
(C++11)
(C++11)
协作式取消
互斥
通用锁管理
(C++11)
(C++11)
(C++17)
(C++11)
(C++14)
(C++11)
(C++11)
条件变量
(C++11)
(C++11)
(C++11)
(C++11)
信号量
(C++20)(C++20)
闩与屏障
(C++20)
(C++20)
未来体
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
安全回收
风险指针
(C++26)
(C++26)
(C++26)
原子类型
(C++11)
(C++20)
(C++11)
原子类型的初始化
(C++11)(C++20 弃用)
(C++11)(C++20 弃用)
(C++11)
内存定序
(C++11)
(C++11)(C++26 弃用)
(C++11)
(C++11)
原子操作的自由函数
(C++11)(C++11)
(C++11)(C++11)
(C++11)(C++11)
(C++11)(C++11)(C++11)(C++11)
(C++11)(C++11)
(C++11)(C++11)
(C++11)(C++11)
(C++11)(C++11)
(C++11)(C++11)
(C++26)(C++26)
(C++26)(C++26)
(C++11)
(C++20)(C++20)
(C++20)
(C++20)
原子标志的自由函数
(C++11)(C++11)
(C++11)(C++11)
(C++20)(C++20)
(C++20)(C++20)
(C++20)
(C++20)
 
std::atomic_ref
成员函数
atomic_ref::compare_exchange_strongatomic_ref::compare_exchange_weak
(C++26)
非 bool 算术类型与指向对象指针类型的操作
非 bool 整数类型与指向对象指针类型的操作
(C++26)
(C++26)
非 bool 整数类型的操作
常量
 
bool compare_exchange_weak

    ( value_type& expected, value_type desired,
      std::memory_order success,

      std::memory_order failure )constnoexcept;
 (1) (C++26 起为 constexpr)
bool compare_exchange_weak

    ( value_type& expected, value_type desired,
      std::memory_order order =

          std::memory_order_seq_cst)constnoexcept;
 (2) (C++26 起为 constexpr)
bool compare_exchange_strong

    ( value_type& expected, value_type desired,
      std::memory_order success,

      std::memory_order failure )constnoexcept;
 (3) (C++26 起为 constexpr)
bool compare_exchange_strong

    ( value_type& expected, value_type desired,
      std::memory_order order =

          std::memory_order_seq_cst)constnoexcept;
 (4) (C++26 起为 constexpr)

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

1,3) 读修改写和加载操作的内存模型分别是 success 和 failure。
2,4)order 同时用于读修改写操作和加载操作，除了在 order 是 std::memory_order_acq_rel 或 std::memory_order_release 时会分别将 std::memory_order_acquire 或 std::memory_order_relaxed 用于加载操作。

这些重载只有在 std::is_const_v<T> 是 false 时才会参与重载决议。

如果 failure 不是 std::memory_order_relaxed，std::memory_order_consume，std::memory_order_acquire 或 std::memory_order_seq_cst，那么行为未定义。

目录

[编辑]参数

expected - 到期待在 atomic_ref 所引用对象中找到的值的引用
desired - 满足期待时要存储于被引用对象中的值
success - 比较成功时用于读修改写操作的内存同步定序
failure - 比较失败时用于加载操作的内存同步定序
order - 两个操作的内存同步定序

[编辑]返回值

成功更改被引用数据时返回 true，否则返回 false。

[编辑]注解

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

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

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

如果联合体存在有参与某些成员的值表示而没有参与另一些成员的值表示的位，那么比较并交换可能始终失败，因为这种填充位在不参与活跃成员的值表示时拥有不确定值。

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

[编辑]缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 3508
(P3323R1) 		C++20 compare_exchange_weak 与 compare_exchange_strong 对 const T 无意义 受约束以仅接受非 const 的 T

[编辑]示例

本节未完成
原因：暂无示例
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/atomic/atomic_ref/compare_exchange&oldid=97678”
close