1.84、能在构造函数或析构函数中调用虚函数吗？

调用行为与原因

在C++中，允许在构造函数或析构函数中调用虚函数，但其行为与常规多态调用不同，具体表现为：
调用的是当前构造/析构函数所属类的版本，而非派生类的重写版本。

原因分析：

1. 1. 构造阶段
   • • 对象构造顺序：从基类到派生类逐层构造。
   • • 虚函数表（vtable）状态：在基类构造期间，对象的虚函数表指针指向基类虚函数表，派生类部分尚未构造完成，无法触发多态。
   • • 结果：基类构造函数中调用虚函数时，实际调用的是基类版本（即使对象是派生类实例）。
2. 2. 析构阶段
   • • 对象析构顺序：从派生类到基类逐层析构。
   • • 虚函数表状态：在派生类析构后，基类析构期间，虚函数表指针已指向基类虚函数表。
   • • 结果：基类析构函数中调用虚函数时，实际调用的是基类版本（派生类版本已不可用）。
3. 3. 纯虚函数调用
   • • 若调用纯虚函数（基类未实现，派生类实现依赖完整构造/未被销毁），将导致未定义行为（程序崩溃或逻辑错误）。

为什么应避免这种设计？

1. 1. 对象状态不安全
   • • 构造时：派生类成员未初始化，调用派生类虚函数可能访问未初始化资源。
   • • 析构时：派生类成员已销毁，调用派生类虚函数可能访问已释放内存。
2. 2. 多态机制失效
   • • 调用行为不符合预期，违背面向对象设计的多态原则，导致代码逻辑混乱。
3. 3. 维护成本高
   • • 隐藏的非多态调用可能导致难以调试的bug，尤其在复杂继承体系中。

代码示范与运行结果

class Base {
public:
    Base() { foo(); }           // 调用的是 Base::foo
    virtual ~Base() { foo(); }  // 调用的是 Base::foo
    virtual void foo() { std::cout << "Base::foo\n"; }
};

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

int main() {
    Derived d;  // 输出：Base::foo（构造和析构时均调用基类版本）
}

运行结果：

Base::foo
Base::foo  // 析构时再次调用基类版本

考察点与面试价值

此问题是C++面试经典考点，核心考察：

1. 1. 虚函数表（vtable）机制：理解构造/析构过程中虚函数表的指向变化。
2. 2. 对象生命周期：掌握构造/析构顺序对多态的影响。
3. 3. 面向对象设计原则：判断候选人是否能避免不安全的设计模式，写出健壮代码。

总结：技术上允许调用，但会导致多态失效和潜在风险，设计时应严格避免在构造函数/析构函数中调用虚函数。
本文首发于【讳疾忌医-note】公众号，未经授权，不得转载。
（加入我的知识星球，免费获取账号，解锁所有文章。）