爲什麼在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。