c++ - 为什么 C++11 CAS 操作需要两个指针参数？

Question

许多 C++11 CAS 操作(例如，atomic_compare_exchange_weak、atomic_compare_exchange_strong)采用两个指针和一个值，例如:

bool atomic_compare_exchange(T* pointer, T* expected,       // pseudodeclaration!
                             T desired);

相比之下，微软、gcc 和 Intel 的 CAS 操作都采用一个指针和两个值:

long InterlockedCompareExchange(long* pointer, long desired,       // Microsoft
                                long expected);

int __sync_bool_compare_and_swap (T* pointer, T expected,          // gcc and
                                  T desired);                      // Intel

为什么 C++11 CAS 函数采用两个指针和一个值，而不是看起来更传统的一个指针和两个值？

Answer 1

C++11 方式更有用:如果交换失败，则 *expected 会更新 为新的当前值。这使得在循环中使用函数变得容易:

T value = x.load();
T newvalue = frob(value);

while (!atomic_compare_exchange(&x, &value, newvalue))
{
    newvalue = frob(value);
}

使用微软签名，测试操作是否成功比较麻烦，GCC的__sync_type版本也是如此。使用 GCC 的 __sync_bool，您甚至需要在每次交换失败时执行另一个加载。