C++构造函数中调用虚函数的陷阱与解决方案

1次阅读

共计 1778 个字符，预计需要花费 5 分钟才能阅读完成。

对象构造过程：C++ 对象构造遵循基类到派生类的顺序，每个构造函数按继承链自顶向下执行。此时对象处于 ” 半构造 ” 状态，派生类成员尚未初始化。
vptr 初始化时机：编译器在每个构造函数开始处隐式插入 vptr 初始化代码。关键点在于：
基类构造函数执行时，vptr 指向当前类的虚函数表
这意味着在基类构造期间调用虚函数，不会触发派生类重写版本

class Base {
public:
    Base() { 
        // 此处 vptr 指向 Base 的 vtable
        foo(); // 总是调用 Base::foo()
    }
    virtual void foo() { cout << "Base";}
};

class Derived : public Base {
public:
    void foo() override { cout << "Derived";}
};
// 创建 Derived 对象时输出 "Base" 而非 "Derived"

多态失效：如上述代码所示，构造函数内虚函数调用静态绑定到当前类版本，失去多态性
未定义行为风险：若虚函数访问未初始化的派生类成员，可能导致崩溃或数据污染
设计矛盾：常见的 ” 初始化虚函数 ” 模式实际上是反模式，违反对象生命周期原则

class SafeBase {
protected:
    virtual void init() {} // 空实现作为默认
public:
    SafeBase() {}
    void initialize() { init(); } // 显式初始化
};

class SafeDerived : public SafeBase {
    int resource;
protected:
    void init() override {
        resource = 42; // 安全访问派生类成员
        cout << "Derived initialized";
    }
};

// 使用方式
auto obj = std::make_unique<SafeDerived>();
obj->initialize(); // 显式初始化

class Interface {
public:
    virtual ~Interface() = default;
    virtual void operation() = 0;
    template<typename T>
    static std::unique_ptr<T> create() {auto obj = std::make_unique<T>();
        obj->postConstruction();
        return obj;
    }
protected:
    virtual void postConstruction() {}
};

class Impl : public Interface {void operation() override {/*...*/}
    void postConstruction() override {// 安全的多态初始化}
};

// 使用方式
auto obj = Interface::create<Impl>();

template<typename Derived>
class CRTPBase {
protected:
    CRTPBase() {static_cast<Derived*>(this)->init();}
};

class CRTPDerived : public CRTPBase<CRTPDerived> {
    friend class CRTPBase<CRTPDerived>;
    void init() {// 编译期绑定的初始化}
};