0

我有一个名为 Matrix 的类，带有二维指针 bool** 矩阵。

看看这段代码：

void Matrix::operator=(const Matrix& A){ 

    cout << "address in A : " << A.matrix << endl ;
    cout << "address in y : " << matrix << endl ;

    //return *this;
}

我在我的主函数中调用了我的 = 运算符，如下所示：

Matrix x(3,5);
Matrix y(3,5);

x.set(1,4,1);
cout << "address out X: " << x.matrix << endl;
cout << "address out Y: " << y.matrix << endl;
y = x;
cout << "address out X: " << x.matrix << endl;
cout << "address out Y: " << y.matrix << endl;

析构函数是这样的：

Matrix::~Matrix(){
    cout << "address de : " << matrix <<endl;
    for (int i=0;i<m;i++)
        delete[] matrix[i];
    delete[] matrix;
    cout << "address de finish : " << matrix <<endl;
}

当我在 xcode 中运行我的程序时，我得到：

address out X: 0x100103ab0
address out Y: 0x100103af0
address in A : 0x100103ab0
address in y : 0x100103af0
address out X: 0x100103ab0
address out Y: 0x100103af0
address de : 0x100103af0
address de finish : 0x100103af0
address de : 0x100103ab0
address de finish : 0x100103ab0

它看起来不错，但是当我像这样更改 = 运算符函数时：

Matrix Matrix::operator=(const Matrix& A){

    cout << "address in A : " << A.matrix << endl ;
    cout << "address in y : " << matrix << endl ;

    return *this;
}

我得到这个结果：

address out X: 0x100103ab0
address out Y: 0x100103af0
address in A : 0x100103ab0
address in y : 0x100103af0
address de : 0x100103af0
address de finish : 0x100103af0
address out X: 0x100103ab0
address out Y: 0x100103af0
address de : 0x100103af0
Thesis(26190) malloc: *** error for object 0x100103b10: pointer being freed was not allocated

谁能向我解释为什么析构函数在后一个代码中触发得更快？！我该如何预防

先感谢您

4

2 回答 2

8

原因是您修改后的复制赋值运算符按值返回，它创建矩阵的副本，返回它，然后销毁它。

您的复制赋值运算符的规范签名将是Matrix& Matrix::operator=(const Matrix& A)（请注意，我通过非常量引用返回）。

编辑：请记住，如果您只是使用vector所有这些内存管理，那么所有这些功能都可以使用编译器默认值。尽管如果您实际上将bools 存储在矩阵中，vector<bool>则它是专门的，您应该确保了解该专门化如何与您的代码交互。

于 2013-07-24T15:17:00.920 回答
4

您的赋值运算符*this按值返回，复制它。通常，您会返回一个参考：

Matrix& Matrix::operator=(const Matrix& A)
//    ^

使用隐式复制构造函数进行复制，该构造函数只是复制成员指针。您现在有两个对象，它们都认为它们“拥有”分配的内存。返回的临时值operator=很快就被销毁，删除内存，y带着一个悬空指针离开；y当您再次尝试删除相同的内存时，您会收到错误消息。

这就是为什么管理资源的类应该遵循三法则，以确保它们可以安全复制。诸如此类的标准容器std::vector；使用这些而不是自己管理内存通常是个好主意。

于 2013-07-24T15:21:54.180 回答