Первый фрагмент ниже компилируется, а второй - нет. Зачем?

Question

Сниппет ниже компилирует (demo):

struct A{ int i = 10; }; 

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

Но это не делает:

struct A{ int i = 10; }; 

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

Я могу видеть, что ответ, вероятно, даваемое этими пунктами в стандарте:

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

Но я действительно не знаю, как вывести различные поведения, показанные выше из этих двух абзацев.

Обратите внимание, что в первом примере struct A является не первым объявлен в разработан типа-спецификаторstruct A;, но в определении struct A в main().

Во втором примере, struct A также не первый объявленный в разработан типа спецификаторstruct A;, но в определении struct A в глобальном масштабе.

Answer 1

Каждый из примеров содержит объявления двух различных классов, как с именем A.

Давайте различать между классами, переименовав один из них B:

struct A{ int i = 10; }; 

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

выше, является семантический идентичен первым примером. Класс A никогда не используется.

struct A{ int i = 10; }; 

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

Это семантически идентично вашему второму примеру. Вы пытаетесь создать объект неполного типа, объявленный вперед класс B.

переименование B обратно A ничего не меняет, потому что тогда декларация A в main тени Декларации другого A в глобальном масштабе.

[основной.lookup.Elab]/2

Если разработан тип спецификатор не имеет вложенного-имени-спецификатора и [...] если разработан для типа спецификатор появляется в объявлении с форма:

class-keyattribute-specifier-seq _{неавтоматического}identifier;

в разработан тип спецификатор является свидетельством того, что вводит классовое имя, как описано в [basic.scope.pdecl].

Так struct A; является декларация, что вводит имя класса в рамках декларации. Ни при каких обстоятельствах он не может ссылаться на класс, объявленный во внешней области.

[basic.scope.pdecl]/7

[Примечание: Другие формы разработаны типа-спецификатор не объявить новое имя [...] - конец отметить]

Подразумевается, эта форма разработана типа-спецификатор объявляет новое имя.

Answer 2

Во втором примере строка struct A; является декларацией о переходе для структуры A в области основной функции. Эта структура будет предпочтительнее глобального struct A. Следующая строка определяет переменную, которая называется a типа struct A. Так как struct A был объявлен в области основной функции, вот где компилятор будет искать его определение там. Он не находит его (он прокомментирован). Первый пример компилируется, потому что есть определение в той же области. Следующий пример компилируется, однако, поскольку он указал, что A находится в глобальном пространстве имен:

struct A{ int i = 10; }; 

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

Answer 3

Это не компилируется, потому что он не может найти определение А.

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

Код выше равно первый пример, как глобальные А омрачен местным А. В второй пример А не имеет определения. Это просто прототип. Предполагается, что прототипы помещаются перед фрагментом кода, которому требуется определение, когда определение помещается ПОСЛЕ кода, который ему нужен. Если компилятор не может найти это определение, он потерпит неудачу, потому что он не знает, что такое A (глобальное определение скрывается локальным прототипом, что приводит к его игнорированию).