Was bedeutet void() in declltype (void()) genau?

Question

Dies ist ein Follow-up von this Frage, genauer gesagt die Kommentare von this Antwort.

Was bedeutet die void() in decltype(void()) genau?
Stellt es einen Funktionstyp, einen Ausdruck oder was auch immer dar?

Answer 1

ein hyperlinked C++ grammar Verwendung, das Parsen von decltype(void()) ist:

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

... viele Schritte umfassen, um von Operationen hier gehen ...

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

So void() ist eine Art von expression hier insbesondere ein postfix-expression.

Insbesondere zitierte Abschnitt 5.2.3 [expr.type.conf] Absatz 2 der 2011 ISO C++ Standard:

Der Ausdruck T(), wo T ist ein einfach-Typ-Spezifizierer oder typename-Spezifizierer für einen nicht-Array vollständigen Objekttyp oder den (möglicherweise cv-qualifiziert) void Typen, schafft eine prvalue des angegebenen Typs, der Wert initialisiert ist (8,5; keine Initialisierung wird für den void() Fall getan).

So void() ist ein Ausdruck des Typs void, wie int() ist ein Ausdruck des Typs int (mit Wert 0). Offensichtlich hat ein void Ausdruck keinen Wert, aber hier ist es der Operand von decltype, also wird es nicht ausgewertet. decltype bezieht sich nur auf seinen Operandentyp, nicht auf seinen Wert.

decltype(void()) ist einfach eine ausführliche Art der Bezugnahme auf den Typ void.

Answer 2

Ich zitiere die comment von @JoachimPileborg, die es zu erklären, scheint richtig:

Ich glaube, ich es jetzt herausgefunden, braucht decltype einen Ausdruck, und kein Typ. void() ist hier nicht wirklich ein Typ, sondern ein Ausdruck, ein C-Style-Cast (genau wie zum Beispiel int (12.34)) void (void) ist kein Ausdruck, daher funktioniert es nicht. Wie der Compiler verschiedene Dinge analysiert, hängt vom Kontext ab, wenn er einen Typ erwartet, der als ein Typ analysiert wird, wenn er einen Ausdruck erwartet, der als Ausdruck analysiert wird. sizeof() (mit den Klammern) erwartet zunächst einen Typ, ansonsten wird es als Klammerausdruck geparst.

Ich bin nicht auf der Suche nach Krediten oder Reputation.
Wie auch immer, ich denke, das war eine interessante Antwort in der Antwort, die eine eigene Frage für zukünftige Leser wert ist.