我的问题是为什么析构函数不释放我的临时数组的内存?Valgrind 告诉我,我在构造函数中使用了 new 运算符,但之后没有删除内存。当我简单地写delete temp
时,我在瓦尔格林德中遇到了许多错误,例如大小读取无效、双重释放等。你能告诉我这是怎么回事吗?
array_xyz(const int r, const int c, double **arg_array) {
rows = r;
cols = c;
array_xyz *temp = new array_xyz();
temp->arr = new double *[rows];
temp->rows = r;
temp->cols = c;
arr = new double *[rows];
for (int i = 0; i < rows; i++) {
arr[i] = new double [cols];
temp->arr[i] = new double [cols];
}
for (int j = 0; j < rows; j++) {
for (int k = 0; k < cols; k++)
temp->arr[j][k] = arg_array[j][k];
}
arr = temp->arr;
//delete temp; -> doesn't work, valgrind tells that I free memory twice
}
array_xyz() {
rows = 0;
cols = 0;
arr = NULL;
}
~array_xyz() {
for (int i = 0; i < rows; i++)
delete []arr[i];
delete []arr;
}
您可以同时分配arr
(及其所有行)和temp_arr
(及其所有行)。 然后你做arr=temp_arr;
. 它不会将 temp_arr
的值复制到 arr
。相反,它强制arr
指向与temp_arr
相同的地址。 以前分配给arr
的整个内存现在是孤立的(没有指向它的指针,因此您无法释放它,并且它没有任何可用用途)。 如果你删除temp_arr
,它会自动删除arr
,因为它们现在指向内存中的同一位置。
在此语句之后
arr = temp->arr;
指针arr
和temp->arr
都指向相同的内存扩展。
如果添加此声明
delete temp
然后,类 array_xyz
的析构函数释放此内存范围(以及动态分配数组的元素指向的范围)。此外,所创建对象的析构函数也将删除相同的内存范围,因为它自己的指针arr
指向相同的内存。因此,将尝试两次释放相同的内存扩展数据块。
不清楚为什么使用指针 temp
指向的中间动态创建对象。它完全是一个冗余代码,只会使构造函数的读者感到困惑。
谢谢你,我明白了。我想将值从 arg_array 复制到 arr,好在那里甚至不需要温度。
这是解决方案:
array_xyz(const int r, const int c, double **arg_array) {
rows = r;
cols = c;
arr = new double *[rows];
for (int i = 0; i < rows; i++) {
arr[i] = new double [cols];
}
for (int j = 0; j < rows; j++) {
for (int k = 0; k < cols; k++)
arr[j][k] = arg_array[j][k];
}
}