Qu'est-ce que le void() dans decltype (void()) signifie exactement?

Question

Ceci est une question de suivi de this, plus précisément des commentaires de this answer.

Qu'est-ce que le void() en decltype(void()) représente exactement?
Représente-t-elle un type de fonction, une expression ou autre?

Answer 1

L'utilisation d'un hyperlinked C++ grammar, l'analyse syntaxique de decltype(void()) est:

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

... beaucoup d'étapes impliquant l'ordre des opérations vont ici ...

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

Alors void() est une sorte de expression ici, en particulier un postfix-expression.

Plus précisément, l'article citant 5.2.3 [expr.type.conf] le paragraphe 2 de la norme de l'ISO 2011 C:

L'expression T(), où T est un simple spécificateur-type ou spécificateur de nom de type pour un type d'objet complet non-tableau ou le type (éventuellement qualifié cv) void, crée une prvalue du type spécifié , qui est initialisé en valeur (8,5, aucune initialisation n'est effectuée pour le cas void()).

Alors void() est une expression de type void, tout comme int() est une expression de type int (avec une valeur 0). Il est clair qu'une expression vide n'a aucune valeur, mais ici c'est l'opérande de decltype, donc elle n'est pas évaluée. decltype se réfère uniquement à son type d'opérande, pas à sa valeur.

decltype(void()) est simplement une manière verbeuse de faire référence au type void.

Answer 2

Je cite la comment de @JoachimPileborg qui semble expliquer correctement:

Je pense que je pensais que ce maintenant, decltype a besoin d'une expression, et non un type. void() n'est pas un type ici, mais une expression, un cast de style C (juste comme par exemple int (12.34)) void (void) n'est pas une expression donc ça ne marche pas. La façon dont le compilateur analyse différentes choses dépend du contexte, lorsqu'il attend un type qu'il analyse en tant que type, quand il s'attend à ce qu'une expression soit analysée en tant qu'expression. sizeof() (avec les parenthèses) attend tout d'abord un type, sinon il est analysé comme une expression entre parenthèses.

Je ne recherche pas de crédits ou de réputation.
Quoi qu'il en soit, je suppose que c'était une réponse intéressante dans la réponse qui vaut une question dédiée pour les futurs lecteurs.