atomic_compare_exchange_weak, atomic_compare_exchange_strong, atomic_compare_exchange_weak_explicit, atomic_compare_exchange_strong_explicit

原子地比较指向 obj 的内存内容与指向 expected 的内存内容，若二者按位相等，则将前者替换为 desired （执行读-修改-写操作）。否则，将指向 obj 的内存实际内容加载到 *expected 中（执行加载操作）。

读取-修改-写入操作与加载操作的内存模型分别为 succ 和 fail 。版本(1-2)默认使用 memory_order_seq_cst 。

弱形式（(2)和(4)）的函数允许出现伪失败，即即使 * obj ! = * expected 实际相等时仍可能表现失败。当比较交换操作处于循环中时，弱形式在某些平台上能提供更优性能。若弱比较交换需要循环而强版本不需要时，则强版本更可取。

这是一个为所有 A 类型 原子对象 定义的 泛型函数 。该参数是指向volatile原子类型的指针，用于接受非volatile和 volatile （例如内存映射I/O）原子对象的地址，并且在对此类volatile原子对象应用此操作时会保留volatile语义。 C 是与 A 对应的非原子类型。

未指定泛型函数的名称是宏还是具有外部链接的标识符。若为访问实际函数而抑制宏定义（例如采用括号形式如 ( atomic_compare_exchange ) ( ... ) ），或程序定义了与泛型函数同名的外部标识符，则行为未定义。

参数

返回值

比较结果：若 *obj 等于 *exp 则为 true ，否则为 false 。

注释

atomic_compare_exchange_* 系列函数的行为相当于原子性地执行以下操作：

if (memcmp(obj, expected, sizeof *obj) == 0) {
    memcpy(obj, &desired, sizeof *obj);
    return true;
} else {
    memcpy(expected, obj, sizeof *obj);
    return false;
}

参考文献

参见