虚拟基类初始化

Question

我正在做一项测试，我很难理解这个：

#include <iostream>

struct Car
{
 Car() : price(20000) {}
 Car(double b) : price(b*1.1) {}
 double price;
};
struct Toyota : public virtual Car 
{
 Toyota(double b) : Car(b) {}
};

struct Prius : public Toyota
{
 Prius(double b) : Toyota(b)  {}
};

int main(int argc, char** argv)
{
 Prius p(30000);

 std::cout << p.price << std::endl;

 return 0;
}

返回值是 20 000，但实际上我不明白为什么：

所有代表虚拟基类的子对象都由最派生类的构造函数初始化。 如果最派生类的构造函数没有为虚拟基类 V 指定 mem-initializer，则调用 V 的默认构造函数来初始化虚拟基类子对象。

我尝试了不同的方法在派生类中创建构造函数，但我从编译器中得到了错误。

有没有人提供解释以及如何创建这样的构造函数？

Answer 1

只需为（间接）虚拟基础添加内存初始化程序：

Prius(double b) : Car(b), Toyota(b)  {}

在coliru上看到它。

虚拟继承确保虚拟基在完整对象中只存在一次。 为此，初始化虚拟基地不可能是某个中间基地的任务，甚至可能不是唯一一个要求它的基地：哪个应该获得批准？
相反，ctor 被分成两部分：一个用于初始化除虚拟基类之外的所有内容，无论是直接的还是间接的，并由派生类使用，另一个用于首先初始化虚拟基类，然后将其余部分委托给前者，即那个要求创建一个完整的对象。

如果您弄错了 mem-initializers 的顺序，大多数编译器会发出警告，因此您以后不会对您的代码实际执行的操作感到惊讶。 那可能是你的编译器指出的错误......

Answer 2

删除虚拟继承：

struct Car
{
 Car() : price(20000) {}
 Car(double b) : price(b*1.1) {}
 double price;
 virtual ~Car() = default;
};

struct Toyota : public Car 
{
 Toyota(double b) : Car(b) {}
};

现场跑

Toyota是Car ，不需要虚拟继承。

如果您的测试是关于虚拟继承，请在此处阅读有关虚拟继承的信息