C++虚拟多继承中为何需调用Base构造?能否仅在Combined中调用?
虚拟继承下为何必须在中间派生类调用基类构造函数?如何避免?
一、为什么必须在每个中间派生类中调用Base构造函数?
你的Base类没有定义默认构造函数(仅提供了带int参数的构造函数)。在C++的虚拟继承规则中:
- 任何继承自虚拟基类的类,若本身可能被直接实例化(哪怕你当前代码里没这么做),编译器要求它必须能完成虚拟基类的初始化。
- 因为如果有人直接创建
AddsSomething1的对象,编译器需要知道如何构造它的Base部分——而Base没有默认构造函数,所以必须显式调用带参数的构造函数来初始化。 - 哪怕你只把这些中间类作为
Combined的基类使用,编译器仍然会强制要求每个中间类的构造函数显式调用虚拟基类的构造函数,这是语法层面的硬性要求。
另外你会发现,中间类里Base(1)/Base(2)这些调用的参数并没有生效——这是因为虚拟继承的核心规则:最派生类(也就是你的Combined)拥有虚拟基类的初始化控制权,中间类对虚拟基类的构造调用会被编译器忽略,最终生效的是Combined中Base(123)的初始化。
二、如何避免在每个中间类中调用Base构造函数?
可以,核心思路是给Base类提供一个默认构造函数(或者给现有构造函数的参数设置默认值),这样编译器会自动用默认构造函数初始化虚拟基类,中间类就不需要显式调用了。
修改后的代码示例:
#include <stdio.h> class Base { public: // 新增默认构造函数 Base() : n(0) {} // 保留原带参构造函数 Base(int n) : n(n) {} int n; }; class AddsSomething1 : virtual public Base { public: AddsSomething1() // 无需再显式调用Base构造函数 { printf("AddsSomething1(): base %d\n", this->n); } int something1; }; class AddsSomething2 : virtual public Base { public: AddsSomething2() // 无需再显式调用Base构造函数 { printf("AddsSomething2(): base %d\n", this->n); } int something2; }; class AddsSomething3 : virtual public Base { public: AddsSomething3() // 无需再显式调用Base构造函数 { printf("AddsSomething3(): base %d\n", this->n); } int something3; }; class Combined : public AddsSomething1, public AddsSomething2, public AddsSomething3 { public: Combined(int n) : Base(123) // 最派生类仍然负责初始化虚拟基类 { printf("Combined(): base %d\n", this->n); } }; int main() { Combined(123); }
输出结果和原代码一致:
AddsSomething1(): base 123 AddsSomething2(): base 123 AddsSomething3(): base 123 Combined(): base 123
如果不想给Base添加默认构造函数,那没有办法绕过这个要求——必须在每个中间派生类中显式调用Base的构造函数,这是C++为了保证虚拟基类初始化安全性的语法规则。
内容的提问来源于stack exchange,提问作者mopalinski
相关产品推荐
相关产品推荐

