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

实际上你打电话给print_product时引用了myVector，所以一切都很好问题始于按值传递myVector，因为默认复制构造函数将复制elem指针而不是复制整个数组。
ALL_Vector::Vector elem指针都将引用相同的内存存储，因此会被删除两次要解决此问题，您必须实现复制构造函数来创建新数组并复制所有元素。

Answer 2

如果每个值传递Vector，则调用复制构造函数，而不是您实现的构造函数。在这种情况下，elem不会重复，但指针将复制到新对象中，然后由析构函数删除两次。您必须实现一个复制构造函数，该复制构造函数分配新的elem并复制所有元素。

函数副本中的C ++双重自由错误

2 个答案: