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

Question

如果这感觉像是 my last 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。