소멸자가 프로그램을 크래시시킵니다.

Question

저는 복사 생성자로 소멸자를 사용하는 개념에 정말로 고심하고 있습니다. 소멸자를 사용하지 않으면 코드가 자동으로 작동하므로 잘 작동합니다. 만약 그렇다면 'Debug Assertion Failed!'라는 오류 메시지가 나타납니다. 및 '표현식 : _BLOCK_TYPE_IS_VALID (pHead-> nBlockUse).

하지만 소멸자 사용법을 이해하고 싶습니다. 아래에 코드가 있습니다. 내가 잘못했거나해야 할 일을 설명하는 데 도움을 주셔서 감사합니다!
클래스 매트릭스 {복사 - 생성자에서

private: 
    int M; 
    int N; 
    double *data; 

public: 
    Matrix(); 
    int getM() const { return M; } 
    int getN() const { return N; } 

    //CONSTRUCTOR 
    Matrix(int sizeR, int sizeC,double * input_data) 
    { 
     M = sizeR; //Rows 
     N = sizeC; //Columns 

     data = new double[M*N]; //creation of 1D array, uses m&n values 

     cout << "\nMatrix::Matrix(int sizeR, int sizeC, double * data_value) is invoked...\n\n"; 

     //ENTER DATA INTO MATRIX HERE: 
     for(int i=0; i < M*N; i++) //Loops for every data entry into 1D array, uses r&c as referenece to 
      data[i] = input_data[i];//Accesses each value at specific location, inputs value 'val' 
     for(int i = 0; i < M*N; i++) //Loops for every data entry into 1D array, uses r&c as referenece to size 
      cout << data[i] << " "; 
    } 

    //get function uses row and column from user 
    double get(int i, int j) 
    { 
     return data[i*N+j]; 
    } 

    double set(int i, int j, double val) 
    { 
     data[i*N+j] = val; 

     cout << "\n\nNEW MATRIX: "; 
     for(int i = 0; i < M*N; i++)//Loops for every data entry into 1D array, uses r&c as referenece to size 
      cout << data[i] << " "; 

     return val; 
    } 

    Matrix(const Matrix& oldMatrix) 
    { 
     cout¸<< "\nMatrix::Matrix(const Matrix&) is invoked...."; 
     M = oldMatrix.getM(); 
     N = oldMatrix.getN(); 
     data = oldMatrix.data; 

     cout << "\n\n"; 

     //ENTER DATA INTO MATRIX HERE: 

     for(int i = 0; i < M*N; i++)//Loops for every data entry into 1D array, uses r&c as referenece to size 
      cout << data[i] << " "; 

    } 

    //DESTRUCTOR 
    ~Matrix() 
    { 
     //delete data 
     delete [] data; 
     data = NULL; 
     cout << "\n\nMatrix::~Matrix() is invoked...\n\n"; 
    } 



}; 

int main() 
{ 
    int sizeR, sizeC; 
    double val; 

    cout << "Enter No. Rows: "; 
    cin >> sizeR; 

    cout << "Enter No. Columns: "; 
    cin >> sizeC; 

    double * input_data; 


    input_data = new double[sizeR*sizeC]; 

    //INPUTS VALUES TO ARRAY 
    for(int i = 0; i < sizeR*sizeC; i++)//Loops for every row 
     input_data[i] = i; 

    Matrix M1(sizeR, sizeC, input_data); 

    cout << "Enter row that value you are after is in: "; 
    cin >> sizeR; 
    cout << " & now the column that it is in: "; 
    cin >> sizeC; 


    cout << "Change value: " << M1.get(sizeR, sizeC) << " to:"; 
    cin >> val; 
    M1.set(sizeR, sizeC, val); 

    //calls copy constructor 
    M1 = Matrix(M1); 
} 

Answer 1

당신은 당신이 지금 두 개체 같은 포인터를 가지고 모두가 당신을 의미 포인터를 복사합니다. 이러한 객체 중 하나가 파괴되면 다른 객체에 현재 유효하지 않은 포인터가 남습니다.

어쨌든이 포인터를 역 참조하거나 해방하려고 시도하면 undefined behavior이됩니다.

이

M1 = Matrix(M1); 

그 라인이 일시적으로 객체를 생성, 복사는 임시 개체에 M1의 데이터는, 그것은 (M1 다시 임시 객체를 할당합니다

문제의 문제 라인

이 하나입니다 컴파일러에서 생성 한 복사 할당 연산자는 복사 생성자와 크게 다르지 않은 멤버의 단순 복사본을 수행 한 다음 임시 객체를 소멸시켜 표류 및 유효하지 않은 포인터를 M1으로 유도합니다. 약간 관련 문제에

---

은 또한에 대한 the rule of three을 배울 수도 있습니다.

Answer 2

당신은 복사 생성자 안에 다른에 하나의 객체의 포인터를 복사 : 동일한 memoryblock 참조 두 개체가

Matrix(const Matrix& oldMatrix) 
{ 
    ... 
    data = oldMatrix.data; 

복사 생성자를 호출 한 후. 그리고 한 개체가 파괴되면 메모리 블록이 삭제되고 두 번째 개체가 잘못된 메모리 위치를 가리 킵니다.

복사 생성자에서 새 버퍼를 할당해야합니다!

Answer 3

솔루션은 Matrix 클래스에 bool 변수 (예 : is_copy)를 추가 할 수 있습니다. 생성자에서는 false로 설정하고 복사 생성자에서는 true로 설정하십시오. is_copy가 false 인 경우에만 소멸자에서 메모리를 할당 해제하십시오.

또는 의견에 제안 된대로 스마트 포인터를 사용하는 것이 좋습니다.