为何通过基类指针删除数组时派生类虚析构函数未被调用？

你遇到的情况是因为通过基类指针对派生类数组执行delete[]属于C++标准定义的未定义行为——哪怕基类拥有虚析构函数，也无法让数组的销毁逻辑正常工作。

根本原因 #

当你创建new Cat[1]时，编译器会在数组内存的额外区域存储数组元素数量等元数据，用于后续销毁时逐个调用元素的析构函数。但当你将这个数组的地址赋值给Animal*类型的指针后，调用delete[]时，编译器只能按照基类Animal的内存布局处理：它无法识别这是一个派生类数组，也就找不到正确的元数据来触发Cat的析构，最终只会调用Animal的析构函数，甚至可能引发内存泄漏或程序崩溃。

注意：虚析构函数的作用仅针对单个对象——当用基类指针指向单个派生类对象并执行delete时，虚机制会确保派生类析构被正确调用，但数组的销毁逻辑和单个对象完全不同，虚函数在这里无法发挥作用。

修复方案 #

你可以通过以下几种方式解决这个问题：

• 使用派生类指针管理数组：

  int main() {
      const Cat *j = new Cat[1];
      delete[] j; // 此时会正确调用Cat和Animal的析构函数
  }
  

  让编译器明确知道数组元素的类型，就能正确处理每个元素的销毁。

• 改用标准容器替代原生动态数组：
  推荐使用std::vector，它会自动管理内存，销毁时自动调用所有元素的析构函数：

  #include <iostream>
  #include <vector>
  
  struct Animal { /* ... 保持原有定义 ... */ };
  struct Cat : public Animal { /* ... 保持原有定义 ... */ };
  
  int main() {
      std::vector<Cat> cats(1);
      // 无需手动释放内存，容器销毁时会依次调用Cat和Animal的析构
  }
  

• 使用智能指针管理数组：
  如果必须使用动态数组，可借助std::unique_ptr的数组特化版本，它会自动正确调用delete[]：

  #include <iostream>
  #include <memory>
  
  struct Animal { /* ... 保持原有定义 ... */ };
  struct Cat : public Animal { /* ... 保持原有定义 ... */ };
  
  int main() {
      std::unique_ptr<Cat[]> j(new Cat[1]);
      // 智能指针生命周期结束时，自动触发正确的析构流程
  }
  

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