C++ 语法“A::B:A {};”是什么意思？意思是

Question

C++ 语法struct A::B:A {}; 是什么意思？ C++ 标准中描述的名称定义（或访问）在哪里？

#include <iostream>

struct B;

struct A {
    struct B;
};

struct A::B:A {
};

int main() {
    A::B::A::B b;
    std::cout<<"Sizeof A::B::A::B is " << sizeof(A::B::A::B)<<std::endl;
    return 0;
}

Answer 1

这个定义

struct A {
    struct B;
};

使用嵌套结构 B¹ 的声明定义结构 A。 B 的完全限定名称是 A::B，您可以说 B 在 A 的“命名空间”内。那么这个：

struct A::B : A { // Note I added spaces
};

是A::B的定义，单个:指定它派生自A。

现在，有趣的部分是A::B::A::B。让我们剖析一下：

1. A::B 命名嵌套结构。
2. A::B::A 访问B 内注入的类名A。注入是由于继承。
3. A::B::A::B 在 A 中再次命名嵌套结构 B。

您可以无限继续，或者至少直到您的编译器达到其翻译限制²。

一个有趣的智力练习，但避免像实际代码中的瘟疫一样。

---

[class.qual]/1 解释了查找的工作原理

如果 qualified-id 的 nested-name-specifier 指定了一个类，则 在 nested-name-specifier 之后指定的名称在 类的范围（[class.member.lookup]），除了情况 下面列出。该名称应代表该组织的一个或多个成员 类或其基类之一（子句 [class.derived]）。

上面的文字允许我们命名基类，因为[class]/2

class-name 也被插入到类本身的作用域中； 这被称为 injected-class-name。出于访问目的 检查，injected-class-name 被视为公共的 会员名。

上面清楚地表明，以A:: 开头的完全限定名称允许您指定成员或基类。由于A 没有基数，您只能指定A::B（“成员类型”）。但是A::B 也提名了一个班级。所以我们可以用A::B:: 指定that 的基数或成员，这样我们就可以命名A::B::A。现在冲洗并重复。

---

_{¹ - 注意它完全是另一个B。与全局 struct B 完全无关。
² - 根据 [implimits]/2.36 建议的最小值为 256}

Answer 2

首先struct B; 是结构B 在全局命名空间中的前向声明。这可能会令人困惑，因为它实际上与此示例无关。这个全局B 可以作为::B 或B 访问。

struct A {
    struct B;
};

是在全局命名空间中定义 struct A，并带有 nested struct B 的前向声明（与之前在全局命名空间中声明的 B 不同）。这个嵌套的B 可以通过::A::B 或A::B 访问。

struct A::B:A {
};

是从A 继承的结构A 的嵌套结构B 的定义（省略了访问说明符）。可以改写为：

struct A::B
:   public A
{
};

请注意，像这样在 A 定义中编写嵌套结构 B 的定义是行不通的：

struct A {
    struct B: A { // error: A is incomplete at this point
    };
};

最后A::B::A指的是嵌套结构B的基类，即A，所以A::B::A::B就相当于A::B。