如何在C++子类构造函数中条件调用父类构造函数？

首先要明确一个关键的C++规则：父类的构造必须在子类构造函数体执行之前完成。你当前的写法其实是先默认构造了OtherClass（如果没有显式在初始化列表调用父类构造，编译器会自动插入默认构造的调用），然后在子类构造函数体内通过赋值操作覆盖了父类对象——这和直接调用父类构造函数的行为有本质区别，而且会带来很多潜在问题：

• 如果OtherClass没有默认构造函数，你的代码会直接编译失败；
• 赋值操作可能无法完全复现构造函数的初始化逻辑（比如父类有const成员、引用成员，或者构造函数有特殊的副作用时，赋值是不允许或不符合预期的）；
• 这种写法会额外触发一次父类的构造（默认构造）+ 赋值，效率更低。

要实现“仅在特定条件下调用带参数的父类构造”，正确的做法是在初始化列表阶段完成父类的构造选择，下面提供两种可靠的方案：

方案1：使用委托构造函数（推荐） #

通过C++11引入的委托构造，我们可以把条件分支拆分为不同的私有构造函数，再根据条件委托到对应的构造函数，这样就能直接在初始化阶段调用目标父类构造：

#include <type_traits> // 用于std::conditional_t

class MyClass : public OtherClass {
private:
    // 条件满足时：调用父类带参构造
    template<typename... Args>
    MyClass(std::true_type, Args&&... args)
        : OtherClass(std::forward<Args>(args)...)
    {
        // 条件满足时的额外操作
    }

    // 条件不满足时：调用父类默认构造（或你需要的其他构造）
    MyClass(std::false_type)
        : OtherClass()
    {
        // 无关操作
    }

public:
    // 对外暴露的构造函数，根据条件委托到对应私有构造
    template<typename... Args>
    MyClass(bool condition, Args&&... args)
        : MyClass(std::conditional_t<condition, std::true_type, std::false_type>{},
                  std::forward<Args>(args)...)
    {}
};

这个方案的优势：

• 完全避免了父类的默认构造+赋值操作，直接在初始化阶段完成父类构造；
• 代码结构清晰，分支逻辑分离；
• 支持完美转发参数，避免不必要的拷贝。

方案2：初始化列表中的条件表达式 #

如果你的OtherClass支持移动构造，也可以用三元表达式在初始化列表中直接选择父类的构造方式：

class MyClass : public OtherClass {
public:
    template<typename... Args>
    MyClass(bool condition, Args&&... args)
        : OtherClass(condition ? OtherClass(std::forward<Args>(args)...) : OtherClass())
    {
        if (!condition) {
            // 无关操作
        }
    }
};

注意：这个方案会构造临时的OtherClass对象，然后通过移动构造初始化父类部分（如果编译器支持RVO，可能会优化掉临时对象，但不能完全依赖）。如果OtherClass的移动构造代价较高，建议优先选择方案1。

关键提醒 #

永远不要尝试在子类构造函数体内“调用父类构造函数”——父类对象在子类构造函数体执行前已经完成构造，此时再调用构造函数属于非法操作（你当前的写法是赋值，不是构造调用），会导致未定义行为或不符合预期的结果。

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