typeof（）表達式中的副作用

Question

在GNUC C中，您可以使用typeof(expression)，並且在內部使用帶有副作用的表達式是合法的。因此，例如，你可以有這樣的C代碼：

int x = 0; 
typeof(x++) y; 

在這種情況下，副作用被忽略，X仍然是零之後（這是有道理的類型是一個編譯時間嘛）。

然而，GCC documentation說：

typeof運算的操作數爲它的副作用 當且僅當它是可變類型 的表達或該類型的名稱進行了評價。

這句話是什麼意思？是否真的有可能編寫typeof帶來副作用，並且實際上在運行時會執行副作用？對我而言，這句話似乎表明了這一點。

Answer 1

是的，在某些情況下可能會對typeof中的副作用進行評估。正如文件所述，它需要處於「可變更改類型」之內。這是一種取決於某些運行時值的類型，如int[x]。

所以下面的代碼是合法的，y聲明爲int[1]類型的，並且x的值爲1算賬：

int x = 0; 
typeof(int[++x]) y; 

當然，在一般同樣可變地修改類型，這僅僅是合法的局部變量聲明（內部函數）。