从C++中具有多重继承的类派生的类：派生类试图调用根基类构造函数

Question

如果这感觉像是我上一个问题的廉价续集，我很抱歉。

我有一个钻石继承，其中D源自B和C ，而后者又（实际上）源自A 。 A 、 B和C是抽象的，多亏了我之前问题的答案，编译器现在知道了，一切都很好。

现在，我需要创建一个从D派生的类E 。 据我所知，通常构造函数E::E应该调用D::D ，而调用所有A::A 、 B::B和C::C是D::D的工作.

但是我的编译器确实坚持让E::E调用A::A本身。

这是我制作的一个简单示例：

class A {                       //abstract
    protected:
        A(int foo) {}
        virtual void f() =0;
};

class B: public virtual A {     // abstract
    protected:
        B() {}
};

class C: public virtual A {     // abstract
    protected:
        C() {}
};

class D: public B, public C {   // concrete
    public:
        D(int foo, int bar) :A(foo) {}
        void f() {}
};

class E: public D {             // concrete
    public:
        E(int foo, int bar, int buz) :D(foo, bar) {}
};


int main()
{
    return 0;
}

这是编译错误：

$ g++ test.cpp
test.cpp: In constructor ‘E::E(int, int, int)’:
test.cpp:25:49: error: no matching function for call to ‘A::A()’
   25 |         E(int foo, int bar, int buz) :D(foo, bar) {}
      |                                                 ^
test.cpp:3:9: note: candidate: ‘A::A(int)’
    3 |         A(int foo) {}
      |         ^
test.cpp:3:9: note:   candidate expects 1 argument, 0 provided
test.cpp:1:7: note: candidate: ‘constexpr A::A(const A&)’
    1 | class A {                       //abstract
      |       ^
test.cpp:1:7: note:   candidate expects 1 argument, 0 provided
test.cpp:1:7: note: candidate: ‘constexpr A::A(A&&)’
test.cpp:1:7: note:   candidate expects 1 argument, 0 provided

我知道虚拟继承是正确的，我知道编译器知道我打算抽象哪些类以及我打算实例化哪些类，因为如果我删除class E ，代码会编译。

我错过了什么？

Answer 1

但是我的编译器确实坚持让 E::E 调用 A::A 本身。

就像我在回答您之前的问题时所解释的那样： “最派生类的构造函数调用虚拟基类的构造函数” 。

包含虚拟基类的层次结构中的所有非抽象类都必须正确初始化虚拟基类，因为它们可能被实例化为最派生的类。 例如，如果您创建的实例E ，那么它的构造函数E是初始化虚拟基地A 。

在您的代码中， E的构造函数尝试通过省略初始化程序来使用A的默认构造函数。 但是A不是默认可构造的，因此程序格式错误。

我错过了什么？

E的构造函数中虚基A的初始化器。

据我所知，无法将虚拟基础的构造委托给另一个具体基础，例如D 。