自定义Array类嵌套实例化时触发Segmentation Fault问题求助

看起来你遇到的是典型的浅拷贝导致重复内存释放的坑——这也是自定义容器类新手常踩的问题，尤其是当容器存储的对象本身包含动态内存管理成员时。

问题根源分析 #

你的自定义Array类处理基础类型正常，是因为基础类型（比如int、float）的浅拷贝完全安全：它们没有动态分配的内存，拷贝就是值的直接复制。但当存储Scene这类包含Array的对象时，情况就变了：

• C++默认生成的拷贝构造函数和赋值运算符都是浅拷贝逻辑——只会复制对象的成员变量值，比如Array里指向堆内存的指针、大小变量。
• 当你把Scene对象拷贝到Array<Scene>中时，两个Scene对象里的Array成员会指向同一块堆内存。当容器析构（或元素被销毁）时，第一个Array析构会释放这块内存，第二个Array析构时再去释放已经被释放的内存，直接触发Segmentation Fault（段错误），也就是Windows提示的“停止工作”。

解决方案：实现深拷贝语义 #

要解决这个问题，你必须给自定义Array类手动实现拷贝构造函数和赋值运算符重载，确保每次拷贝都是深拷贝——重新分配内存，把原对象的元素逐个复制到新内存中，而非只复制指针。

1. 实现拷贝构造函数

假设你的Array类核心成员如下，拷贝构造可以这么写：

template<typename T>
class Array {
private:
    T* data;
    size_t size;
    size_t capacity;
public:
    // 基础构造、析构函数...
    
    // 拷贝构造函数：深拷贝原对象的所有元素
    Array(const Array& other) {
        size = other.size;
        capacity = other.capacity;
        data = new T[capacity];
        // 逐个拷贝元素（会调用T的拷贝构造，对Scene来说就是深拷贝它的Array成员）
        for (size_t i = 0; i < size; ++i) {
            data[i] = other.data[i];
        }
    }
    
    // ...其他成员函数
};

2. 实现赋值运算符重载（推荐用拷贝交换Idiom）

拷贝交换是更简洁安全的实现方式，利用拷贝构造和交换逻辑避免代码重复，同时保证异常安全：

template<typename T>
Array<T>& Array<T>::operator=(Array other) { // 传值触发拷贝构造，生成临时对象
    // 交换当前对象和临时对象的核心成员
    swap(data, other.data);
    swap(size, other.size);
    swap(capacity, other.capacity);
    return *this;
    // 临时对象other会在函数结束时析构，带走原来的旧内存
}

// 自定义swap函数（因为你没使用std库）
template<typename U>
void swap(U& a, U& b) {
    U temp = a;
    a = b;
    b = temp;
}

3. （可选但推荐）实现移动构造和移动赋值

如果你的场景有大量对象转移操作，实现移动语义可以避免不必要的深拷贝，提升性能：

// 移动构造函数：转移原对象的资源，而非拷贝
Array(Array&& other) noexcept : data(other.data), size(other.size), capacity(other.capacity) {
    // 把原对象置为安全状态，避免它析构时释放已转移的内存
    other.data = nullptr;
    other.size = 0;
    other.capacity = 0;
}

// 移动赋值运算符
Array& operator=(Array&& other) noexcept {
    if (this != &other) {
        // 先释放当前对象的内存
        delete[] data;
        // 转移原对象的资源
        data = other.data;
        size = other.size;
        capacity = other.capacity;
        // 置空原对象
        other.data = nullptr;
        other.size = 0;
        other.capacity = 0;
    }
    return *this;
}

额外检查点 #

• 确保Array的析构函数正确释放内存：delete[] data;，同时移动操作后要把原对象的data置为nullptr，避免重复释放。
• 检查Scene类的拷贝逻辑：只要你的Array实现了深拷贝，Scene的默认拷贝构造会自动调用Array的拷贝构造，从而实现正确的深拷贝。

按照这个思路修改Array类后，存储嵌套对象时的析构崩溃问题应该就能解决了。

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