命名空间
变体
操作

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

来自 cppreference.cn
< 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++11)
(C++17)
(C++11)
(C++14)
(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++20)(C++20)
门闩和屏障
(C++20)
(C++20)
期值
(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++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 ) const noexcept;
 (1) (C++26 起为 constexpr)
bool compare_exchange_weak

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

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

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

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

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

          std::memory_order_seq_cst ) const noexcept;
 (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 - 如果引用对象符合预期，则存储到其中的值
成功 - 如果比较成功，则读-改-写操作的内存同步顺序
failure - 如果比较失败，则载入操作的内存同步顺序
顺序 - 两个操作的内存同步顺序

[编辑] 返回值

如果引用对象成功更改，则为 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://cppreference.cn/mwiki/index.php?title=cpp/atomic/atomic_ref/compare_exchange&oldid=179568"