c - OSAtomicCompareAndSwapPtrBarrier 的适当转换

Question

在此程序中:

int x, y; 
int *old = &x;
int *new = &y;
int * volatile cur = &x;

OSAtomicCompareAndSwapPtrBarrier(old, new, &cur);

我收到此警告:

Incompatible pointer passing 'int *volatile *' to parameter of type 'void *volatile *'

XCode 4.0.1 的默认编译器。 (实际上是实时问题。)

现在，我知道通常我不能将 int** 转换为 void** 。但如果我不这样做，我就看不到任何方法可以在不收到上述警告的情况下比较和交换和 int* 。我是否应该忽略该警告，假设它是指针大小不统一时期的遗留物，还是我误解了某些内容？

Answer 1

我认为警告表明编译器认为从指针到指针到 int 到指针到指针到 void 的隐式转换是危险的。并不是说你不能进行这样的转换；而是说你不能进行这样的转换。该标准规定，只要满足类型对齐要求，指针就可以转换为指向不同类型的对象的指针。但有时，例如如果是 strict aliasing使用时，它可能会导致问题。

我相信在你的情况下，警告可以被忽略，或者可以通过显式强制转换来消除:

bool result = OSAtomicCompareAndSwapPtrBarrier(old, new, &(void*)cur);

另外，请确保不要忘记检查返回值；忽略原子比较和交换可能不成功(由于并发修改)这一事实很少是安全的。