下面的第一个片段编译，但第二个没有。为什么？

Question

下面的sn-p编译（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不是首先在 elaborated-type-specifier struct A; 中声明，而是在 struct A 的定义中声明在main()。

在第二个示例中，struct A 也不是首先在 elaborated-type-specifier 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 在全局范围内的声明。

[basic.lookup.elab]/2

如果 elaborated-type-specifier 没有 nested-name-specifier，并且 [...] 如果 elaborated-type-specifier em> 以如下形式出现在声明中：

class-key attribute-specifier-seq_opt identifier ;

elaborated-type-specifier 是一个声明，它引入了 [basic.scope.pdecl] 中描述的 class-name。

所以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

它无法编译，因为它找不到 A 的定义。

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

上面的代码与您的第一个示例相同，因为全局 A 被本地 A 遮蔽。在第二个示例中，A 没有定义。这只是一个原型。当定义放在需要它的代码之后时，原型应该放在需要定义的一段代码之前。 如果编译器找不到该定义，它将失败，因为它不知道 A 应该是什么（全局定义被本地原型遮蔽，导致它被忽略）。