c++类数组的神秘传递

Question

class Array
{
    double *mx; int mn;
public:

 Array();
~Array(){delete []mx};
 Array& operator-(Array& b);  //first right way
 Array operator -(Array b);  //wrong way, but I don't understand why
};

Array::Array ()
{ 
  mn=10;
  mx=new double[mn];
}

//first, works perfectly
Array& Array::operator -(Array& b)
{
    int i=0;

    for(i=0;i<mn ;i++)
       this->mx[i]-=b.mx[i];

  return *this;
 }


// here is Error

Array Array::operator -(Array b)
{ 
    int i=0;

    for(i=0;i<mn ;i++)
       this->mx[i]-=b.mx[i];

  }


int main() {
   Array x,b;
   x=x-b;
}

如果我使用第一个重载，一切正常。

但是如果我使用第二个，所有编译都很好，但是当程序执行时，我收到很多这样的错误：

"c++ ** glibc detected *** double free or corruption" 

我不明白为什么会发生这种情况。

据我了解，当我调用 Array Array::operator-(Array b) 时，必须复制对象并且一切都必须很好，但是出现错误。

好吧，我读到我必须反对在内存中的同一位置分配的对象。但我尝试这样做：

        Array Array::operator +(Array b)
 { Array c;
 int i=0;
 for(i=0;i<mn;i++) 
this->mx[i]+=b.mx[i];
 cout<<&this->mx<<" "<<&b.mx<<endl; 
exit(0);
 return c; }

我期望在内存中收到相同的地址....

答案是 0xbfb45188 0xbfb45178 为什么它们相等？

此外，当我在这里声明类名（一个对象）时
编译器必须在堆栈中为对象提供新的内存 我哪里错了？我不明白....

Answer 1

Array Array::operator -(Array b)

此行将创建数组的副本。由于您没有复制构造函数，编译器只会复制所有字段，包括指针字段“mx”。现在您有两个对象都指向相同的分配内存。当每个被破坏时，将调用delete []......

您需要编写一个复制构造函数或确保不发生复制。
要做到这一点，请通过引用传递

Array Array::operator -(Array& b)

（这可能也应该是 const...但这是一个不同的问题）

Answer 2

您违反了三规则。

Answer 3

• operator- 应该引用，否则您将执行不必要的复制。然而，它并不需要这样做。它当然应该返回一个值，因为 - 在语义上为您提供了一个新对象。当您编写 c = ab 时，您不会期望 a 或 b 发生变化。
• 如上所述，您不需要需要将引用引入operator-，并且在第二个示例中您按值获取。这没问题，除非你有第二个错误：
• • 您的Array类有一个内部缓冲区，它在构造时新建，并在销毁时删除（~数组）。
• • 但是，它没有有用户定义的复制构造函数，并且不会自动为您复制缓冲区；仅复制指针 mx。
• • 因此，当您复制Array时，您现在拥有两个对象，其指针mx指向同一个缓冲区。当一个副本超出范围时，该缓冲区将被删除；一段时间后，另一个副本尝试执行相同的操作，并且删除同一缓冲区两次是一个错误。

我的建议：

• 在您的类 Array 中编写一个复制构造函数和 operator= 。非常重要。
• 无论如何，让 operator- 获取参考。这很有意义。

希望有帮助。