C++中易失性指针数组的声明

Question

我有一个名为 Ambigous 的结构，在该结构内部有一个指向其他 Ambigous 的指针数组。

我想使用 OSAtomic.h 库来进行 CompareandSwaps。

然而，我在让阵列发挥良好性能方面遇到了困难。

 OSAtomicCompareAndSwapPtrBarrier(void *__oldValue, void *__newValue, 
void *volatile *__theValue)

是比较和交换功能。

在我的结构内部，

 Ambigous * volatile* list;

调用是

bool res=OSAtomicCompareAndSwapPtrBarrier(current_node, new_node, local->list[pos]);

当我尝试 cas 时，

bool res=OSAtomicCompareAndSwapPtrBarrier(current_node, new_node, (void * volatile *)local->list[pos]);

我得到一个错误的 EXE_BAD_ACCESS

所以我想我要回答的是我应该如何声明易失性指针数组？

Answer 1

也许您想要

bool res = OSAtomicCompareAndSwapPtrBarrier(
              current_node, new_node, local->list + pos);

注意，CAS 操作基本上是

bool CAS(void* old, void* new_, void* volatile* val) {
   /*atomic*/ {
     if (old == *val) {
         *val = new_;
         return true;
     } else
         return false;
   }
}

如果您传递 list[pos]，则第三个参数将是 Ambigous* 类型，并且 *val< /code> 将是 struct Ambigous 类型，无法与指针进行比较。

Answer 2

我认为您的问题不是类型问题 - 您误解了 OSAtomicCompareAndSwapPtrBarrier() 的语义。您需要为 OSAtomicCompareAndSwapPtrBarrier 提供一个指向包含要更新的指针的内存位置的指针。在本例中，这就是 local->list[pos] 的位置 - 可以写为 local->list + pos 或更易读的 &(本地->list[pos])。

由于您正在处理 C++，而不是普通 C，因此您需要进行强制转换：

bool res=OSAtomicCompareAndSwapPtrBarrier(current_node, new_node, (void*volatile*)&(local->list[pos]));