C++虚继承场景下如何避免每层子类都调用虚基类构造函数

虚继承场景下，虚基类的构造函数只会由继承体系中的最派生类直接调用，所有中间父类对虚基类构造函数的调用都会被编译器忽略。这是C++标准规定的行为，目的是避免菱形继承中虚基类被多次构造。你示例中Child1、Child2构造函数里的Base(V)在构造GrandChild的时候完全不会执行，只有GrandChild、GrandGrandChild这些最派生类写的Base(V)才会生效，这就是必须每层都显式调用虚基类构造的原因。

根据你的使用场景，可以选择以下不同方案减少重复代码：

方案1：虚基类支持延迟初始化 #

如果Base类的成员不需要在构造阶段强制赋值，可以给Base增加默认构造，补充setter接口，只需要在最派生类构造完成后调用setter赋值即可，中间层完全不需要处理虚基类的构造逻辑。

// 修改后的Base类
class Base
{
public:
    Base() = default; // 保留默认构造
    Base(const double& V) : mV(V) {}
    void setV(const double& V) { mV = V; } // 新增setter
    const double& V() const {return mV;}
private:
    double mV = 0.0; // 给默认值
};

// 中间层不需要显式调用Base构造
class GrandChild : public Child1, public Child2
{
public:
    GrandChild(const double& V) : Child1(V), Child2(V)
    {
        setV(V); // 只需要在这里赋值一次
    }
};

这个方案的局限性是不适合必须在构造阶段完成初始化的场景，会破坏类的不可变性约束。

方案2：用CRTP模板自动注入构造逻辑（推荐） #

如果你需要保留虚基类构造时传参的强约束，可以用CRTP（奇异递归模板模式）写一个辅助模板，自动帮你生成虚基类的初始化逻辑，不用每层手动写初始化列表：

#include <iostream>
#include <utility>

class Base
{
public:
    Base() = delete; // 甚至可以禁用默认构造，强制必须传参
    Base(const double& V) : mV(V) {}
    const double& V() const {return mV;}
private:
    double mV;
};

// CRTP辅助模板：自动注入Base的构造逻辑
template<typename Derived>
class BaseInitHelper : virtual public Base {
public:
    template<typename... Args>
    BaseInitHelper(Args&&... args) : Base(std::forward<Args>(args)...) {}
};

// 中间层只需要继承辅助模板，继承构造函数即可
class Child1 : public BaseInitHelper<Child1> {
public:
    using BaseInitHelper<Child1>::BaseInitHelper;
};

class Child2 : public BaseInitHelper<Child2> {
public:
    using BaseInitHelper<Child2>::BaseInitHelper;
};

class GrandChild : public Child1, public Child2, public BaseInitHelper<GrandChild> {
public:
    using BaseInitHelper<GrandChild>::BaseInitHelper;
    void print() const {
       std::cout << this->V() << std::endl;
    }
};

class GrandGrandChild : public GrandChild, public BaseInitHelper<GrandGrandChild> {
public:
    using BaseInitHelper<GrandGrandChild>::BaseInitHelper;
};

class GrandGrandGrandChild : public GrandGrandChild, public BaseInitHelper<GrandGrandGrandChild> {
public:
    using BaseInitHelper<GrandGrandGrandChild>::BaseInitHelper;
};

// 测试逻辑完全和原代码一致
int main() {
    GrandGrandGrandChild obj(3.14);
    obj.print(); // 输出3.14
    return 0;
}

这个方案的优势是完全保留了原有的强约束，后续新增派生类只需要多继承一次辅助模板、声明继承构造函数即可，不需要再手动写Base(V)的重复代码。

C++的虚基类初始化规则是固定的，最派生类必须负责虚基类的构造，所有方案都只是减少重复手写代码，不会绕过这个规则。不要依赖中间层对虚基类的构造调用，这类调用在派生类构造时会被编译器直接忽略，容易产生隐蔽bug。

内容的提问来源于stack exchange，提问作者kstn