C++全局基类类型数组在不同函数初始化时的多态行为差异及异常原因探究

咱们直接戳破问题的核心：你遇到的所有异常，本质都是局部变量的生命周期结束后，全局数组里的指针变成了「悬空指针」，进而引发了C++中的「未定义行为」。

先看main函数内正常工作的原因 #

在第一个代码示例里，Circle c1和Rectangle s1是main函数的局部变量。它们的生命周期和main函数完全绑定——从声明处开始，直到main函数执行完毕才会被销毁。当你在for循环里通过s2d[i]->toString()调用虚函数时，这些派生类对象还好好地存在于内存中，基类指针指向的是有效的派生类实例，虚函数表（vtable）的指针也完全正常，所以多态机制能正确触发，调用到派生类的toString方法。

再分析test函数里的问题 #

而第二个示例的test函数中，c1和s1是test的局部变量。当test函数执行完毕、返回main时，这些局部变量会被立即销毁：它们占用的栈内存会被操作系统回收（或者标记为可复用），对象的析构函数也会被调用。

这时候全局数组s2d里保存的两个指针，就变成了悬空指针——它们指向的内存地址已经不再属于原来的Circle或Rectangle对象了。接下来的行为就是标准的未定义行为，会出现两种常见情况：

• 程序报错崩溃：如果操作系统检测到你访问了已经被回收的内存，就会直接抛出段错误（Segmentation Fault）终止程序。
• 多态失效，调用基类方法：如果内存没有被立即覆盖，可能残留了部分基类对象的信息，或者虚函数表指针被破坏后指向了基类的虚表，这时候调用toString就会意外触发基类的版本。但这种结果完全不可控，每次运行都可能不一样。

怎么修复这个问题？ #

如果想在自定义函数里初始化全局指针数组并保留多态行为，你需要让派生类对象的生命周期超过main函数的循环执行阶段。最常见的做法是用动态分配（在堆上创建对象）：

void test() {
    s2d[0] = new Circle(/*parameter*/);
    s2d[1] = new Rectangle(/*parameter*/);
}

这样对象会被分配在堆内存中，不会随test函数返回而销毁。不过要记得在程序结束前用delete释放这些对象，避免内存泄漏。

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