Question

以下是示例代码：

#include <iostream>
#include <utility>
using namespace std;

struct D;
struct X {};
struct Y {};


template <typename T>
struct A    // A : ASequencialPlanningJobQueueFactory
{
    A() = delete;
    A(T* t) { cout << "A constructor" << endl; }
};

struct B : A<B>    // B : AThermostatedRotorJobQueueFactory
{
    B(B* b, const X& x, const Y& y) : A(b) { cout << "B constructor" << endl; }
};

template <typename T>
struct C : T    // C : PlanningJobQueueFactoryStub
{
    template <typename... Args>
    C(Args&&... args) : T(std::forward<Args>(args)...) { cout << "C constructor" << endl; }
};

struct D : C<B>     // D: ThermostatedRotorJobQueueFactoryStub
{
    D(const X& x, const Y& y) : C(this, x, y) { cout << "D constructor" << endl; }
};

int main()
{
    X x;
    Y y;

    D d(x, y);
    cout << "----------" << endl;

    return 0;
}

如果我向B添加虚拟继承，如：

struct B : virtual A<B>
{
    B(B* b, const X& x, const Y& y) : A(b) { cout << "B constructor" << endl; }
};

代码不再编译。为什么？

找到错误很长时间。 Clang和gcc不是很有帮助......

Answer 1

使用虚拟继承，派生程度最高的类应调用虚拟基础构造函数，因此：

struct D : C<B>     // D: ThermostatedRotorJobQueueFactoryStub
{
    D(const X& x, const Y& y) : A(this), C(this, x, y) { cout << "D constructor" << endl; }
};

但C<B>：

也是如此

template <>
struct C<B> : B
{
    template <typename... Args>
    C(Args&&... args) : A(this), B(std::forward<Args>(args)...) {
        cout << "C constructor" << endl;
    }
};

虚拟继承和默认构造函数

1 个答案: