Двойная свобода или коррупция - почему?

Question

class matrix{ 
    private: 
     int n, *wsk; 
     friend istream & operator>>(istream&,matrix&); 
     friend ostream & operator<<(ostream&,matrix&); 
    public: 
     matrix(){ 
      wsk=0; 
      n=0;   
     } 
     matrix(const matrix &mat){ 
      this->n=mat.n; 
      if (wsk!=0) delete []wsk; 
      this->wsk=new int [this->n*this->n]; 
      for (int i=0;i<n*n;i++) 
       wsk[i]=mat.wsk[i]; 

     } 

     ~matrix(){ 
      if (this->wsk!=0) delete[]this->wsk; 
     } 

     const matrix & operator=(const matrix &mat){ 
      if(&mat==this) return *this; 
      if (this->wsk!=0) delete [] this->wsk; 
      n=mat.n; 
      this->wsk=new int [n*n]; 
      for (int i=0;i<mat.n*mat.n;i++) 
       this->wsk[i]=mat.wsk[i]; 
      return *this; 
    } 
}; 


istream & operator>>(istream &str, matrix& mat){ 

    str >> mat.n; 
    if (mat.n>0) { 
     if (mat.wsk != 0) delete[]mat.wsk; 
     mat.wsk= new int [mat.n*mat.n]; 
     for (int i=0;i<mat.n*mat.n;i++) 
      str >> mat.wsk[i]; 
    } 

    return str; 
} 

ostream & operator<<(ostream &str, matrix& mat){ 
    if (mat.wsk!=0){ 
     for (int i=0;i<mat.n*mat.n;i++){ 
      str << mat.wsk[i] << " "; 
      if ((i+1)%mat.n==0) str << endl; 
     } 
    } 
    return str; 
} 

Когда я пытаюсь сделать две матрицы в главном, где измерение первого меньше, чем второе, происходит двойное свободное. Когда обе матрицы имеют одинаковую размерность, или размерность первой матрицы выше второй, нет проблем. Может быть, кто-то может увидеть код и рассказать мне, в чем проблема?

Edit: Main:

int main(){ 
    matrix mac, a, b; 
    cout << "Put number of dimensions and numbers in matrix "; 
    cin >> mac; 
    cout << mac; 
    cin >> a; 
    cout << a; 
    mac.~matrix(); 
    return 0; 
} 

Answer 1

Одна ошибка, которую я вижу в том, что в конструкторе копирования, вы удаляете памяти, никогда не выделяются:

this->n=mat.n; 
if (wsk!=0) delete []wsk; 

Проверка для не-NULL Безразлично» Это поможет вам. Этот указатель может иметь ненулевое значение мусора, и вы вызываете delete[] с помощью указателя мусора. Просто удалите эту строку из своего конструктора копий.

Во-вторых, ваш оператор присваивания имеет проблемы:

const matrix & operator=(const matrix &mat){ 
      if(&mat==this) return *this; 

      // you've destroyed your data here 
      if (this->wsk!=0) delete [] this->wsk; 

      // you've changed one of your members here 
      n=mat.n; 

      // what if the line below throws a `std::bad_alloc` exception? 
      this->wsk=new int [n*n]; 

Комментарии объясняют этот вопрос. Вы удалили свои данные, и у вас нет возможности для восстановления, если позже new[].

Вы также возвращаете const. Это неортодоксально для оператора присваивания для возврата объекта const.

Лучший способ написать оператор присваивания бы это:

#include <algorithm> 
    //... 
    matrix & operator=(matrix mat) 
    { 
    std::swap(n, mat.n); 
    std::swap(wsk, mat.wsk); 
    return *this; 
    } 

Это гарантированно работать, учитывая конструктор рабочей копии и деструктор. Здесь используется идиома copy/swap.

Кроме того, нет необходимости проверять нулевой указатель при выдаче delete или delete[]. Так что ваш деструктор может быть просто так:

~matrix(){ delete[]this->wsk; } 

Edit: Вы делаете это в main функции:

mac.~matrix();

Вы явный вызов деструктора. Итак, что происходит, когда объект mac выходит за рамки? Деструктор будет вызван снова, автоматически, таким образом, вы получите ошибку двойного удаления.

Удалить эту линию с main. Деструктор объекта будет вызываться автоматически.

Answer 2

Мне кажется, что delete [] пытается вызвать деструктор для каждого элемента массива, тогда он уничтожает указатель. Это может привести к двойной ошибке.

Вы пытались заменить

int *foo=new int[n*m] 

со старым C таНос?

int *foo; 
foo=(int*)malloc(n*m*sizeof(int)); 

Таким образом, вы можете использовать delete вместо delete []. Надеюсь, это сработает.

Удачи и дайте мне знать

гс