为什么在C++中寄生于'volatile'？

Question

考虑下面的代码：

int main()                  
{                    
    int i;                  
    volatile int* p = &i;              
    int *v = p;                 
    return 0;                 
} 

这给出了一个错误g++：

$ g++ -o volatile volatile.cpp 
volatile.cpp: In function ‘int main()’: 
volatile.cpp:6: error: invalid conversion from ‘volatile int*’ to ‘int*’ 

我的意图是，我想让p波动。但是，一旦我读取了p的值，我不在乎访问v是否是易失性的。为什么需要将v声明为volatile？

这是假设的代码，当然。在真实情况下，您可以想象p指向一个内存位置，但是被外部修改，并且我希望v指向p在v = p时指向的位置，即使稍后被外部修改。因此p是易失性的，但v不是。

顺便说一句，我对这两种行为都感兴趣，当这被认为是C和C++，但在C这只会产生一个警告，而不是一个错误。

Answer 1

如果你的意思是指针应挥发，而不是它指向的对象，然后把它声明为

int* volatile p; 

Answer 2

在C++中的volatile关键字应用同种限制什么，你可以因为这样做const呢。标准将此称为'cv-qualification'，如'const/volatile限定条件。康斯坦斯只能被常量使用，而挥发物只能被挥发物使用。

就像旁白一样，这可以帮助您编写多线程代码。不是因为使用了一些编译器魔术，使得你的变量突然变成原子或类似的东西，而是通过强迫你只以易失的方式对易失性数据进行操作。有关更多信息，请参阅此Alexandrescu article。