std::atomic_ref<T>::compare_exchange_weak, std::atomic_ref<T>::compare_exchange_strong
| bool compare_exchange_weak( T& expected, T desired, std::memory_order success, |
(1) | (C++20 起) |
| bool compare_exchange_weak( T& expected, T desired, std::memory_order order = |
(2) | (C++20 起) |
| bool compare_exchange_strong( T& expected, T desired, std::memory_order success, |
(3) | (C++20 起) |
| bool compare_exchange_strong( T& expected, T desired, std::memory_order order = |
(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 某些成员，但非其他成员的值表示的位，则比较并交换可能始终失败，因为这种填充位在不参与活跃成员的值表示时拥有不确定值。
忽略决不参与对象值表示的填充位。
示例
| 本节未完成 原因：暂无示例 |
