派生对象销毁后基类指针仍可调用其虚函数？原因探究

这个问题戳中了C++里一个很容易踩坑的点——这绝对不是派生类对象要等所有指针销毁才会被销毁，而是典型的未定义行为（Undefined Behavior），所谓的“能调用成功”只是巧合而已。

我来拆解一下关键细节：

• 对象销毁的时机：栈上的局部对象（比如你场景里的Derived对象），在它所在的作用域结束时（比如函数返回、代码块闭合）就会立刻被销毁，内存被归还给操作系统/进程的栈空间。C++没有垃圾回收机制，完全不会关心有多少指针指向这个对象，该销毁的时候一定会销毁。
• 为什么“看起来能调用”：对象销毁后，它占用的内存并不会立刻被清零或者覆盖——这块内存暂时还是原来的样子，包括派生类对象的虚表指针（vptr）可能还没被新的数据改写。当你用基类指针调用虚函数时，编译器是通过虚表指针找到对应的函数地址的，如果虚表指针还没被覆盖，就会“碰巧”调用到派生类的虚函数。但这种情况完全不可靠：如果后续有其他操作占用了这块内存，再调用就会崩溃、输出乱码，甚至触发更诡异的问题。
• 举个直观的代码例子：

#include <iostream>
class Base {
public:
    virtual void print() { std::cout << "Base\n"; }
};

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

Base* get_dangling_ptr() {
    Derived local_derived;
    return &local_derived; // 返回局部对象的地址，函数结束后local_derived被销毁
}

int main() {
    Base* ptr = get_dangling_ptr();
    ptr->print(); // 未定义行为：可能输出Derived，也可能崩溃，完全看运气
    return 0;
}

运行这段代码，你可能某次看到输出Derived，但多运行几次或者换个编译器/平台，结果就可能完全不同——这就是未定义行为的典型特征。

总结一下：这种“能调用成功”只是内存还没被覆盖的巧合，绝对不能依赖。在C++里，一旦对象的生命周期结束，所有指向它的指针/引用都会变成悬空指针/引用，任何通过它们的操作都是未定义行为，后果不可预测。

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