如何通过指向非易失性的指针接收易失性？

Question

我正在使用一个 API，它为我提供了内存映射 I/O 的指针。它通过填写一个指向指针的参数来做到这一点：

int map(void** p);

因为这是内存映射 I/O，我很确定我应该在这里使用 volatile。 （我不知道他们为什么不将参数设为volatile void**。）

但是，我的volatile void** 不能隐式转换为函数的void**，所以我不能直接将它传入：

volatile void* p;
map(&p); // Error: no known conversion from 'volatile void **' to 'void **'.

我目前正在使用一个额外的变量和一个单独的分配步骤来解决这个问题：

volatile void* p;
void* pNonVolatile;
map(&pNonVolatile);
p = pNonVolatile;

这似乎很冗长。在这种情况下，在传递指针时将volatile 扔掉是否安全？即

volatile void* p;
map(const_cast<void**>(&p));

Answer 1

从 C++ 语言的角度来看，这可能会导致库中出现未定义的行为，但不会出现在您使用 const_cast 的代码中。

但是，根据您的描述，该库可能不使用 C 或 C++ 写入此内存空间（您提到它使用内存映射 I/O）。因此，如果库在没有volatile 的情况下取消引用您的指针，可能存在的未定义行为是不相关的，因为硬件正在这样做，而不是软件。

在任何情况下，您是否使用const_cast 或“额外指针然后分配”解决方案似乎都无关紧要。如果内存是由硬件设备写入的，它们应该都可以，但如果它是由没有volatile 的库写入的，则它们都可以。