C++矩阵与运算符重载引发的内存泄漏问题求助

你的问题根源在于没有遵循C++的“三大法则”（Rule of Three）：当类包含动态分配的内存时，必须显式实现析构函数、拷贝构造函数和拷贝赋值运算符，否则会出现浅拷贝导致的内存泄漏和重复释放错误。

1. 修正析构函数 #

你用new[]分配数组，必须对应使用delete[]释放，而不是delete（delete仅用于单个对象）。修改后的析构函数：

~matrix(){
    delete[] data; // 正确释放数组内存
    data = nullptr; // 置空指针，避免悬空指针问题
}

2. 实现拷贝构造函数（深拷贝） #

默认的拷贝构造函数是浅拷贝，会让多个对象共享同一块内存，导致析构时重复释放。需要实现深拷贝：

matrix(const matrix<T>& other){
    col = other.col;
    row = other.row;
    size = other.size;
    data = new T[size]; // 分配新的内存块
    // 逐元素拷贝数据
    for(int i = 0; i < size; ++i){
        data[i] = other.data[i];
    }
}

3. 实现拷贝赋值运算符（深拷贝+自我赋值检查） #

默认赋值运算符同样是浅拷贝，不仅会泄漏旧内存，还会引发重复释放。实现安全的赋值运算符：

matrix<T>& operator=(const matrix<T>& other){
    // 先检查自我赋值，避免不必要的操作和内存错误
    if(this == &other){
        return *this;
    }
    // 释放当前对象已有的内存
    delete[] data;
    // 分配新内存并拷贝数据
    col = other.col;
    row = other.row;
    size = other.size;
    data = new T[size];
    for(int i = 0; i < size; ++i){
        data[i] = other.data[i];
    }
    return *this;
}

4. 验证运算符实现 #

确保你的operator&和operator+返回的是新创建的matrix对象（而非引用或指向现有内存的对象），示例实现如下：

点积运算符& #

template <typename T>
matrix<T> matrix<T>::operator&(const matrix<T>& other){
    // 先检查矩阵维度是否匹配（可选但建议）
    if(col != other.col || row != other.row){
        throw std::invalid_argument("Matrices must have the same dimensions for element-wise product");
    }
    matrix<T> result(col, row);
    for(int i = 0; i < size; ++i){
        result.data[i] = data[i] * other.data[i];
    }
    return result;
}

标量加法运算符+ #

template <typename T>
matrix<T> matrix<T>::operator+(const T& other){
    matrix<T> result(col, row);
    for(int i = 0; i < size; ++i){
        result.data[i] = data[i] + other;
    }
    return result;
}

问题原因总结 #

• 内存泄漏：当执行r = (...)时，默认赋值运算符不会释放r原来指向的内存，导致这块内存无法被回收，持续累积引发泄漏。
• 析构报错：浅拷贝导致多个matrix对象共享同一块data内存，当其中一个对象析构释放内存后，其他对象再访问或析构时就会操作已释放的指针，触发错误。

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