C++自定义Array类默认声明后赋值触发_CrtIsValidHeapPointer错误如何解决

你遇到的_CrtIsValidHeapPointer(block)报错核心是堆内存重复释放，触发原因是类未实现正确的拷贝赋值运算符，触发了编译器默认生成的浅拷贝逻辑：

1. 执行y = Array(10);时，会先生成一个临时的Array(10)对象，它的values指针指向一块堆内存
2. 编译器默认生成的拷贝赋值运算符只会按字节复制成员变量，将临时对象的values指针值、length值直接复制给y，此时y和临时对象的values指向同一块堆内存
3. 该行语句执行结束后，临时对象会被析构，它持有的values指向的堆内存会被delete[]释放，此时y的values变成野指针
4. 当y所在作用域结束触发析构时，会尝试再次delete[]已经被释放的堆内存，就会抛出该报错
   额外还存在内存泄漏风险：如果y之前已经分配过堆内存，浅拷贝赋值会直接覆盖values指针，导致旧内存没有被释放。

方案1：实现深拷贝的拷贝赋值运算符 #

在类中声明并实现符合深拷贝逻辑的拷贝赋值运算符，确保赋值时资源独立：

1. 类内声明：

public:
    Array& operator=(const Array& other);

2. 类外实现：

Array& Array::operator=(const Array& other) {
    // 规避自赋值问题
    if (this == &other) {
        return *this;
    }
    // 先释放当前对象持有的旧内存
    delete[] values;
    length = other.length;
    if (length == 0) {
        values = nullptr;
        return *this;
    }
    // 分配新内存并拷贝所有元素，保证两个对象资源独立
    values = new double[length];
    for (int i = 0; i < length; ++i) {
        values[i] = other.values[i];
    }
    return *this;
}

方案2：禁用拷贝语义（无需拷贝场景下推荐） #

如果业务场景不需要对Array对象做拷贝，可以显式禁用拷贝构造和拷贝赋值，从编译期避免意外的浅拷贝调用：

public:
    Array(const Array&) = delete;
    Array& operator=(const Array&) = delete;

此时原来的y = Array(10)写法会直接编译报错，可以改为初始化时直接传参Array y(10)，或者新增移动赋值运算符支持右值赋值。

方案3：实现移动语义（C++11及以上版本适用） #

针对y = Array(10)这种右值赋值场景，可以实现移动赋值运算符直接转移资源，性能比深拷贝更高：

1. 类内声明：

public:
    Array& operator=(Array&& other) noexcept;

2. 类外实现：

Array& Array::operator=(Array&& other) noexcept {
    if (this == &other) {
        return *this;
    }
    // 释放当前旧内存
    delete[] values;
    // 直接接管临时对象的资源
    length = other.length;
    values = other.values;
    // 将临时对象的成员置空，避免它析构时释放已经转移的资源
    other.length = 0;
    other.values = nullptr;
    return *this;
}

• C++类特殊成员函数的默认行为与触发时机：默认构造、拷贝构造、拷贝赋值、析构、移动构造、移动赋值
• 深拷贝与浅拷贝的区别，以及各自的适用场景
• C++三/五/零法则（Rule of Three/Five/Zero）
• C++堆内存管理规则、new/delete配对使用、野指针与重复释放问题排查

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