虚拟基类和初始化列表

Question

可能的重复：
gcc c++ 虚拟继承问题

大家好，

我想知道编译器将如何处理使用虚拟基类的多重继承时不同的初始化值。考虑一下臭名昭著的“恐惧钻石”继承方案：

     Base
     / \
    /   \
  D1     D2
    \   /
     \ /
     Join

为了避免在 Join 中拥有两个 Base 副本，我对 D1 使用虚拟继承和 D2 （参见此处）。现在，假设 Base 不是抽象的，但有一个成员字段，该字段在其构造函数中初始化：

class Base { 
public:
    Base(int x_) {x = x_;};
    virtual ~Base(){};

public:
    int x;
};

class D1 : public virtual Base {
public:
    D1() : Base(1) {};
    virtual ~D1(){};
};

class D2 : public virtual Base {
public:
    D2() : Base(2) {};
    virtual ~D2(){};
};

class Join : public D1, public D2 {
public:
    Join(){};
    ~Join(){};
};

int main()
{
   Join j;
   cout << j.x << endl;

   return 0;
}

输出是 1、2 还是依赖于编译器？

Answer 1

它不应该编译。虚拟基由最底层的派生类Join 初始化。 Join 不会显式初始化 Base，但 Base 没有可访问的默认构造函数。

[它也不会编译，因为类的定义需要用 ; 终止，但我认为这是一个拼写错误。 main 还应该返回 int 并且我假设 jx 是 j->x 的拼写错误。 ]

Answer 2

当您具有虚拟继承时，最终类必须初始化虚拟基类。

因此，Join 的构造函数必须构造 Base：

   class Join : public D1, public D2 
    {
    public:
        Join() : Base(3){} // or whatever value
        ~Join(){}
    };

这是类通常只初始化其直接基类这一规则的例外。

（除了 main 应该返回 int 并且您需要执行 j->x 而不是 jx 作为j 是一个指针，并且您必须在调用 new 时删除它）

Answer 3

由于 Base 没有隐式构造函数，并且 C1 和 C2 都是虚拟基，因此您必须像这样更改它（并且还在其余的后面添加分号） Charles Bailey 指出的类声明）

class Join : public D1, public D2 {
public:
    Join() : Base(3) {};
    ~Join(){};
};

int main()
{
   Join j;
   cout << j.x << endl;
}

然后它将打印 3 到标准输出