c++ - 释放对象的校验和不正确 - 打印时出错

Question

我制作了一个类，该类应该制作对称的 toeplitz 矩阵 ( see here )。类的实现显示在这里

class toeplitz{
private:
    int size;
    double* matrix;
public:
    toeplitz(const double* array, const int dim){
         size = dim;
         matrix = new double(size*size);
         for(int i = 0; i < size; i++){
             for (int j = 0; j < size; j++){
                 int index = std::abs(i - j);
                 matrix[i*size + j] = array[index];
             }
         }
    }

    ~toeplitz(){
        delete[] matrix;
    }

    void print() const{
        //loop over rows
        for (int i = 0; i < size; i++){
            //loop over colums
            for (int j = 0; j < size; j++){
                double out = matrix[i*size + j];
                std::cout << std::setw(4) << out;
            }
        //start new line for each row
        std::cout << "\n";
        }
    }

};

我看不出这有什么问题，但是当我尝试在一个简单的测试函数中使用它时，我遇到了 malloc 错误。我的主要功能是

int main(){
    double array[] = {0,1,1,2};
    int len = sizeof(array)/sizeof(array[0]);
    std::cout<<"length of array " << len << std::endl;
    toeplitz tp = toeplitz(array, len);
    tp.print();
}

当我省略 tp.print() 行时它编译并运行，但是当我添加这一行时我得到错误

test_toeplitz(8747,0x7fffdbee63c0) malloc: *** error for object 0x7fb119402788: 
incorrect checksum for 
freed object - object was probably modified after being freed.
*** set a breakpoint in malloc_error_break to debug
Abort trap: 6

我想不通这是为什么。我在这里查看了有关此的其他问题，但我无法说出它们与我所做的有何关系。据我了解，它与双重释放内存或在释放内存后尝试修改内存有关，但我看不到我的代码在哪里执行此操作。任何对正在发生的事情的洞察力将不胜感激。

Answer 1

你偶然发现了经典:

matrix = new double(size*size);

它分配了一个双倍值 size*size当你想做的时候:

matrix = new double[size*size];

分配一个适当大小的数组。所以你会得到未定义的行为。有时它工作有时不依赖于内存配置。

由于您使用的是 C++，我建议您使用 std::vector<double>或 Eigen 矩阵模板，并永远丢弃 C 数组(不再有内存泄漏，不再有分配失败，可能的边界检查，只有优点)