Le premier extrait ci-dessous se compile, mais pas le second. Pourquoi?

Question

L'extrait ci-dessous compiles (demo):

struct A{ int i = 10; }; 

int main() { 
    struct A{ int i = 20; }; 
    struct A; 
    struct A a; 
} 

Mais cela ne:

struct A{ int i = 10; }; 

int main() { 
// struct A{ int i = 20; }; 
    struct A; 
    struct A a; 
} 

je peux voir que la réponse est probablement donnée par ces paragraphes dans la norme:

[basic.lookup.elab]/2 et [basic.scope.pdecl]/7.

Mais je ne sais vraiment pas comment déduire les différents comportements montrés ci-dessus de ces deux paragraphes.

Notez que dans le premier exemple, le struct A est pas d'abord déclaré dans le -type élaboré spécificateurstruct A;, mais dans la définition de struct A dans main().

Dans le deuxième exemple, le struct A est également pas d'abord déclaré dans le élaboré type spécificateurstruct A;, mais dans la définition de struct A portée mondiale.

Answer 1

Chacun des exemples contient des déclarations de deux classes différentes, les deux avec le nom A.

Faisons la distinction entre les classes en renommant l'un d'eux B:

struct A{ int i = 10; }; 

int main() { 
    struct B{ int i = 20; }; 
    struct B; 
    struct B b; 
} 

Ce qui précède est sémantiquement identique à votre premier exemple. La classe A n'est jamais utilisée.

struct A{ int i = 10; }; 

int main() { 
    struct B; 
    struct B b; 
} 

Ceci est sémantiquement identique à votre deuxième exemple. Vous essayez de créer un objet de type incomplet, la classe déclarée en avant B.

Retour à B Changement de nom A ne change rien car alors la déclaration de A dans main ombre la déclaration de l'autre A à portée mondiale.

[basic.lookup.eLab]/2

Si le -type élaboré spécificateur n'a pas imbriqué-name-spécificateur, et [...] si le -type élaboré spécificateur apparaît dans une déclaration la forme:

class-keyattribute-specifier-seq _optidentifier;

le -type élaboré spécificateur est une déclaration qui introduit le comme décrit dans [basic.scope.pdecl] classe nom.

Alors struct A; est une déclaration que introduit le nom de classe dans le cadre de la déclaration. En aucun cas, il ne peut se référer à une classe déclarée dans une portée externe.

[basic.scope.pdecl]/7

[Note: D'autres formes de élaborées de type spécificateur ne déclare pas un nouveau nom [...] - fin noter]

implicitement, cette forme de élaboré type spécificateur déclare un nouveau nom.

Answer 2

Dans le deuxième exemple, la ligne struct A; est une déclaration forward d'une structure appelée A dans la portée de la fonction principale. Cette structure sera préférée à la structure globale struct A. La ligne suivante définit une variable appelée a de type struct A. Puisqu'un struct A a été déclaré dans la portée de la fonction principale, c'est là que le compilateur cherchera sa définition ici. Il n'arrive pas à en trouver un (c'est commenté). Le premier exemple compile parce qu'il y a une définition dans la même portée. L'exemple suivant compilera cependant, car il est précisé que A dans l'espace de noms global:

struct A{ int i = 10; }; 

int main() { 
// struct A{ int i = 20; }; 
    struct A; 
    struct ::A a; 
} 

Answer 3

Il ne compile pas parce qu'il ne peut pas trouver une définition pour A.

int main() { 
// struct A{ int i = 20; }; 
     struct A; 
     struct A a; 
} 

Le code ci-dessus est égal à votre premier exemple, comme le global A est remplacée par A. locale Dans la deuxième exemple A n'a pas de définition. C'est juste un prototype. Les prototypes sont censés être placés devant un morceau de code qui a besoin d'une définition lorsque la définition est placée APRÈS le code qui en a besoin. Si le compilateur ne trouve pas cette définition, il échouera car il ne sait pas ce que A est censé être (la définition globale est masquée par le prototype local, ce qui le fait ignorer).