在标准 (C++14) 中哪里说以下两个声明是等价的？

Question

struct A{};
int A;
struct A a;
struct A::A b;

上面的最后两个声明是等价的。它们都声明了 A 类型的对象。在标准中我可以在哪里找到或推断出这个？

Answer 1

[类]/2：

class-name 被插入到声明它的作用域中 在看到类名之后立即。 类名也是 插入到类本身的范围内；这被称为 注入的类名。

即A::A::A::A 也指 A。在某些情况下，A::A 可以改为命名构造函数，但 - [class.qual]/2 涵盖了这一点，其注释甚至针对您的示例：

在不忽略函数名称的查找中³³ 和 nested-name-specifier 指定了一个类 C

• 如果在 nested-name-specifier 之后指定的名称，当在 C 中查找时，是 injected-class-name C（第 9 条），或
• 在作为 member-declaration 的 using-declaration (7.3.3) 中，如果在 nested-name- 之后指定的名称 specifier 与最后一个组件中的标识符或 simple-template-id 的 template-name 相同 嵌套名称说明符，

该名称被认为是命名类 C 的构造函数。 [ 注意： 例如构造函数是不可接受的 查找结果为 详细类型说明符，因此构造函数 不会用于代替 injected-class-name。 — end 注意 ]

---

³³⁾ 忽略函数名的查找包括 出现在 nested-name-specifier 中的名称，一个 elaborated-type- 说明符，或基本说明符。

所以在这样的声明中

A::A a;

在查找A::A 时不会忽略函数名称，因此代码格式错误，因为A::A 指的是构造函数。然而，在

struct B : A::A {};
struct A::A a;

一切都很好，因为在基本说明符和详细类型说明符中忽略了函数名称。