函数复制中的 C++ 双重错误

Question

我正在阅读 Stroustrup C++ 11 一书，遇到了双重释放异常。我知道它释放了两次内存，但我不明白的是为什么它会发生在通过拷贝传递的函数中:

#include <iostream>

using namespace std;

namespace ALL_Vector { 

  class Vector {
    public:
      // Intitialize elem and sz before the actual function
      Vector(int size) :elem {new double[size]}, sz {size} {};
      ~Vector() {delete[] elem;};

      double& operator[](int i) {
        return elem[i];
      };
      int size() {return sz;};
    private:
      double* elem;
      int sz;
  };


  void print_product(Vector& y) {
    double result {1};

    for (auto x = 0; x < y.size() ; x++){
      if (y[x] > 0) {result *= y[x]; };
    }

    cout << "The product of Vector y is: " << result << ", or so it would appear ;)\n";
  } 

}


/*
  Self test of the Vector class.  
*/

int main(){  
    ALL_Vector::Vector myVector(15);
    cout << "The size of Vector y is: " << myVector.size() << "\n"; 
    myVector[0] = 12;
    myVector[2] = 7;
    myVector[3] = 19;
    myVector[4] = 2;

    ALL_Vector::print_product(myVector);

  return 0;
}

print_product() 正在使用 Vector 类并创建一个具有重复内容的新 Vector？为什么这会导致双重释放？我假设 RIIA 在这种情况下以某种方式与 Vector::~Vector() 交互，类似于竞争条件？

我知道如果我更改它以通过引用传递它的参数，它将避免双重释放。我试图更好地理解传递拷贝的问题。

谢谢!

Answer 1

实际上，您是通过引用 myVector 调用 print_product，所以一切正常。
麻烦始于按值传递 myVector，因为默认复制构造函数将复制 elem 指针，而不是复制整个数组。
ALL_Vector::Vector elem 指针将引用相同的内存存储，因此被删除两次。
要解决这个问题，您必须实现复制构造函数来创建一个新数组并复制所有元素。