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

1次阅读

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

在 C ++ 中，对象的构造遵循严格的顺序（C++ 标准第 12.6.2 节）：

基类构造（按继承顺序）
成员变量初始化（按声明顺序）
执行构造函数体

虚函数表 (vtable) 的初始化发生在基类构造完成后。这意味着在构造函数体内调用虚函数时，子类的虚函数表尚未初始化，因此调用的永远是当前类的虚函数实现。

class Base {
public:
    Base() { foo(); }  // 危险操作！virtual void foo() { cout << "Base::foo" << endl;}
};

class Derived : public Base {
public:
    void foo() override { cout << "Derived::foo" << endl;}
};

int main() {Derived d;  // 输出 Base::foo 而非预期的 Derived::foo}

这种反直觉的行为可能导致：
– 资源泄漏（子类资源未初始化就被使用）
– 数据不一致（使用了基类的默认实现）
– 程序崩溃（访问未初始化的子类成员）

class SafeBase {
protected:
    virtual void postInitialize() {}  // 真正的多态方法
public:
    template<typename T>
    static std::unique_ptr<T> create() {auto obj = std::make_unique<T>();
        obj->postInitialize();  // 安全调用虚函数
        return obj;
    }
};

class SafeDerived : public SafeBase {
protected:
    void postInitialize() override {cout << "Derived initialized" << endl;}
};

优点：
– 完全避免构造函数内调用虚函数
– 天然支持 RAII

class TwoPhaseObj {
    bool initialized = false;
protected:
    virtual void init() = 0;
public:
    void initialize() {if (!initialized) {init();
            initialized = true;
        }
    }
};

class ConcreteObj : public TwoPhaseObj {void init() override {cout << "Concrete init" << endl;}
};

适用场景：
– 需要显式控制初始化时机的场景
– 框架类对象

class NVIBase {
public:
    void execute() {  // 非虚外壳
        doExecute();  // 虚实现}
private:
    virtual void doExecute() = 0;};

class NVIDerived : public NVIBase {void doExecute() override {cout << "Real work" << endl;}
};

方案	内存开销	CPU 开销	适用场景
工厂方法	+ 1 虚表	多 1 次间接调用	高频创建对象
两阶段初始化	+1bool	多 1 次条件判断	初始化耗时的对象
NVI 模式	无新增	多 1 次跳转	需要统一接口控制的场景