如何在C++中为父类指针数组动态分配子类对象？

错误根源 #

你碰到的类型不匹配错误，本质是两个核心问题：

1. 类型层级不匹配：new child<T>[10]返回的是child<T>*（指向子类数组首元素的指针），而你要赋值的parent<T>**是指向父类指针的指针，二者不存在合法的隐式转换。
2. 数组多态的陷阱：哪怕你把ptr改成parent<T>*，直接赋值ptr = new child<T>[10]也是绝对不安全的——数组存储的是连续的子类对象，通过父类指针访问时，会按父类的内存大小计算元素偏移，直接导致内存越界或行为异常，而且抽象父类的数组本身就违背了抽象类的设计初衷。

正确实现方案 #

方案1：手动构建父类指针数组 #

先分配存储父类指针的数组，再逐个将指针指向子类实例：

// 分配指针数组，每个元素是parent<T>*类型
parent<T>** ptr = new parent<T>*[10];
// 逐个初始化，指向child<T>实例（也可替换为child2<T>）
for (int i = 0; i < 10; ++i) {
    ptr[i] = new child<T>();
}

内存释放注意：必须先逐个删除子类对象，再释放指针数组，避免内存泄漏：

for (int i = 0; i < 10; ++i) {
    delete ptr[i];
}
delete[] ptr;

方案2：使用智能指针容器（推荐） #

用标准库容器结合智能指针，彻底规避裸指针的内存管理风险：

#include <vector>
#include <memory>

// 在mainClass<T>中声明容器
std::vector<std::unique_ptr<parent<T>>> obj_list;

// 批量创建子类对象
for (int i = 0; i < 10; ++i) {
    obj_list.emplace_back(std::make_unique<child<T>>());
    // 切换为child2<T>只需替换为std::make_unique<child2<T>>()
}

这种方式无需手动释放内存，智能指针会自动处理对象生命周期，容器还支持动态扩容，比裸指针数组更安全、灵活。

重要提醒 #

• 抽象父类parent<T>必须包含至少一个纯虚函数，确保子类实现了必要的接口，这样通过父类指针调用子类方法时才能触发多态行为。
• 永远不要尝试将子类数组直接赋值给父类指针，这属于C++中的未定义行为，大概率会导致程序崩溃或异常。

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