Question

我有以下问题：

struct A1 {
    A1() { std::cout << "A1, "; }
};

struct A2 {
    A2() { std::cout << "A2, "; }
};

struct AA1 : virtual A1,  A2 {
    AA1() { std::cout << "AA1, "; }
};

struct AA2 : A1, virtual A2 {
    AA2(){ std::cout << "AA2, "; }
};

struct B : AA1, virtual AA2 {
    B() { std::cout << "B "; }
};

int main() {
    B b;
}

运行此代码时，答案是：

A1 A2 A1 AA2 A2 AA1 B

我想了解第一个A1创建的位置。

我知道在非虚拟类之前调用虚拟类的规则，但是第一个A1是困扰我的问题。

Answer 1

第一个A1来自AA1的（非虚拟）基础B的（虚拟）基础的初始化。

首先初始化B的所有虚拟基础，它们按顺序A1，A2和AA2。（AA2的初始化导致输出A1 AA2。）然后是直接基数，其中只有一个AA1（其初始化打印A2 AA1），以及最后是班级本身，打印B。首先是所有虚拟基础，然后是剩余的非虚拟基础。

Answer 2

B有三个虚拟基类：A1，A2和AA2，根据它们的出现顺序，它将按此顺序初始化它们。

您看到的第一个A1和A2是虚拟基础A1和A2的初始化，但最后一个虚拟基地AA2具有非 - 虚拟基础A1，因此在构建AA2之前，您需要构建另一个A1，这就是为什么在A1之前有另一个AA2的原因

您可以通过运行以下代码段来显示此内容：

#include <iostream>

struct A1 {
    A1(const char *s) { std::cout << "A1(" << s << ")\n"; }
};

struct A2 {
    A2(const char *s) { std::cout << "A2(" << s << ")\n"; }
};

struct AA1 : virtual A1,  A2 {
    AA1(const char *s) : A1("AA1"), A2("AA1") { std::cout << "AA1(" << s << ")\n"; }
};

struct AA2 : A1, virtual A2 {
    AA2(const char *s) : A1("AA2"), A2("AA2") { std::cout << "AA2(" << s << ")\n"; }
};

struct B : AA1, virtual AA2 {
    B() : A1("B"), A2("B"), AA1("B"), AA2("B") { std::cout << "B()\n"; }
};

int main() {
    B b;
}

这将输出：

A1(B)
A2(B)
A1(AA2)
AA2(B)
A2(AA1)
AA1(B)
B()

您还可以注意到此代码会向您发出警告，因为：

我在A1的{{1}}构造函数中放置了A2，但AA2将在A2之前初始化（因为它是虚拟的） base和A1不是。）。
我将A1放在AA1的{{1}}构造函数中，但AA2将首先初始化（同样的原因）。

虚拟基类创建顺序

2 个答案: