decltype（void（））中的void（）是什麼意思？

Question

這是this的後續問題，更準確地說是this的解答。

decltype(void())中的void()代表什麼？
它代表一個函數類型，一個表達式或其他嗎？

Answer 1

使用hyperlinked C++ grammar的decltype(void())的解析是：

decltype(expression) 
decltype(assignment-expression) 
decltype(conditional-expression) 

...很多涉及操作順序步驟去這裏......

decltype(postfix-expression) 
decltype(simple-type-specifier (expression-listopt)) 
decltype(void()) 

所以void()是一種expression在這裏，特別是postfix-expression。

具體地，引用第5.2.3節[expr.type.conf] 2011年ISO C++標準的第2段：

表達T()，其中T是簡單型說明符或 類型名說明符用於非陣列的完整對象類型或（可能CV修飾）void類型，創建 指定的類型，這是值初始化（8.5的prvalue;無初始化 完成爲void()情況）。

void()所以是void類型的表達式，正如int()是int類型（具有值0）的表達。顯然，一個無效的表達式沒有價值，但這裏是decltype的操作數，所以它沒有被評估。 decltype僅引用其操作數的類型，而不是其值。

decltype(void())只是一種指代void類型的詳細方式。

Answer 2

我引用@JoachimPileborg的comment似乎正確地解釋：

我想我想通了，現在，decltype需要一個表達，而不是一個類型。 void（）實際上並不是一個類型，但是一個表達式，一個C風格的類型轉換（就像int（12.34））void（void）不是一個表達式，因此它不起作用。編譯器如何解析不同的東西取決於上下文，當它期望它解析爲一個類型的類型時，它希望它將表達式解析爲一個表達式。 sizeof（）（帶圓括號）首先需要一個類型，否則它被解析爲一個帶括號的表達式。

我不是在尋找積分或聲望。
無論如何，我想這是一個有趣的答案，值得爲未來的讀者提供一個專門的問題。