Question

在下面的代码中，似乎C类无法访问A的构造函数，这是因为虚拟继承所必需的。然而，代码仍然编译和运行。它为什么有效？

class A {};
class B: private virtual A {};
class C: public B {};

int main() {
    C c;
    return 0;
}

此外，如果我从A中删除默认构造函数，例如

class A {
public:
    A(int) {}
};
class B: private virtual A {
public:
    B() : A(3) {}
};

然后

class C: public B {};

会（意外地）编译，但是

class C: public B {
public:
    C() {}
};

不会按预期编译。

使用“g ++（GCC）3.4.4（cygming special，gdc 0.12，使用dmd 0.125）编译的代码”，但已经验证它与其他编译器的行为相同。

Answer 1

根据C++ Core Issue #7类，无法从虚拟私有基础派生。这是编译器中的一个错误。

Answer 2

对于第二个问题，可能是因为您没有使其隐式定义。如果仅隐式声明构造函数，则不会出现错误。例如：

struct A { A(int); };
struct B : A { };
// goes fine up to here

// not anymore: default constructor now is implicitly defined 
// (because it's used)
B b;

对于您的第一个问题 - 它取决于编译器使用的名称。我不知道标准指定了什么，但是这个代码是正确的，因为可以访问外部类名（而不是继承的类名）：

class A {};
class B: private virtual A {};
class C: public B { C(): ::A() { } }; // don't use B::A

此时可能标准尚未明确。我们得看看。

代码似乎没有任何问题。此外，表明代码有效。（虚拟）基类子对象是默认初始化的 - 没有文本暗示类名的名称查找在C范围内。以下是标准所说的内容：

12.6.2/8（C ++ 0x）

如果给定的非静态数据成员或基类未由mem-initializer-id命名（包括大小写）   其中没有mem-initializer-list，因为构造函数没有ctor-initializer）并且实体不是抽象类的虚基类

[...]否则，该实体是默认初始化的

C ++ 03有类似的文本（你不太清楚文本 - 它只是说它的默认构造函数在一个地方被调用，而在另一个地方它使它依赖于该类是否是POD）。对于编译器默认初始化子对象，它只需要调用其默认构造函数 - 不需要首先查找基类的名称（已经知道考虑了什么基础）。

考虑一下这个代码肯定是有效的，但如果将会失败，那将会失败（参见C ++ 0x中的12.6.2/4）

struct A { };
struct B : virtual A { };
struct C : B, A { };
C c;

如果编译器的默认构造函数只是在A内查找类名C，那么对于要初始化的子对象，它会有一个模糊的查找结果，因为非虚拟{ {1}}找到虚拟A的类名。如果您的代码意图不正确，我会说标准肯定需要澄清。

对于构造函数，请注意A关于12.4/6的析构函数的说明：

所有析构函数都被调用，好像它们是使用限定名称引用的，即忽略更多派生类中任何可能的虚拟覆盖析构函数。

这可以用两种方式解释：

调用A :: ~A（）
调用:: A :: ~A（）

在我看来，标准在这里不太清楚。第二种方式会使它有效（通过C，C ++ 0x，因为两个类名3.4.3/6都在全局范围内查找），而第一种方法会使它无效（因为两个{{ 1}}将找到继承的类名称）。它还取决于搜索开始的子对象（我相信我们必须使用虚拟基类'子对象作为起始点）。如果这就像

然后我们将直接找到虚拟基类'类名作为公共名称，因为我们不必遍历派生类的范围并将该名称视为不可访问。同样，推理也是类似的。考虑：

如果析构函数只是调用virtual_base -> A::~A();，则此调用无效，因为struct A { }; struct B : A { }; struct C : B, A { } c;的查询结果不明确是继承的类名（您不能引用任何非静态成员函数）范围this->A::~A()中的直接基类对象，请参阅A，C ++ 03）。它必须唯一地识别所涉及的类名，并且必须从类'子对象引用开始，如C。

Answer 3

虚拟基类始终从大多数派生类（此处为C）初始化。编译器必须检查构造函数是否可访问（即我的g ++ 3.4 for

出错

class A { public: A(int) {} };
class B: private virtual A {public: B() : A(0) {} };
class C: public B {};

int main() {
    C c;
    return 0;
}

虽然你的描述暗示没有），但作为基础，A是私有的或不是私有的事实并不重要（颠覆会很容易：class C: public B, private virtual A）。

从最派生类调用虚拟基类构造函数的原因是它需要在将它们作为基类的任何类之前构造。

编辑：基里尔提到了一个古老的核心问题，这与我的阅读和最近编译器的行为有些不同。我将尝试以某种方式获得标准引用，但这可能需要时间。

C ++私有虚拟继承问题

3 个答案: