//

#include "stdafx.h"
#include <iostream>
using namespace std;

class MyClass
{
public:
    MyClass()
    {
        pnumber = new int(5);
    }

    ~MyClass()
    {
        delete pnumber;
    }

    int number = 0;
    int *pnumber = nullptr;
};

int main()
{

    MyClass a;
    a.number = 300;
    cout << "a.n의 값 " << a.number << endl;
    cout << "a.pn의 값 " << *a.pnumber << endl;
    cout << "a.pn의 주소값 " << a.pnumber << endl;

    MyClass b(a);
    cout << "b.n의 값 " << b.number << endl;
    cout << "b.pn의 값 " << *b.pnumber << endl;
    cout << "b.pn의 주소값 " << b.pnumber << endl;

    a.number = 400;

    return 0;
}

아직 학부생이라 정확히 어떻게 질문을 해야할 지 몰라서 제목 및 질문이 좀 난해한 점 사과드립니다.

위 코드에서 인스턴스 b는 디폴트 복사 생성자를 통해 a를 복사하는데, 이 때 제가 배운 바로는

디폴트 복사 생성자는 얕은 복사기 때문에 그림과 같이 b.pnumber 변수는 a.pnumber가 가리키는 new int(5)를 가리키는 형태로 복사가 된다.

이 때 소멸자에 delete pnumber 가 포함되어 있으므로 이미 해제된 메모리(빨간 화살표)를 다시 해제하는 꼴이 되어 에러가 발생한다.

이렇게 알고있습니다.

여기서 궁금한 점은

a.pnumber는 생성자의 pnumber = new int(5) 코드를 통해 명백하게 할당을 받게 되는데, 복사 생성자로 생성된 b.number는 (복사 생성자로 그림과 같이 되기 이전에) 과연 할당을 받는가? 받는다면 어떠한 과정을 통해 언제 받게 되는가? 에 대한 것입니다.

에러가 발생했을 때

(1) b.pnumber가 new int(5) (빨간화살표)를 할당받음 -> 얕은 복사로 인한 메모리 (빨간화살표) 해제 -> 이미 해제된 영역을 소멸자 코드가 다시 해제를 요청하여 에러 발생

(2) b.pnumber는 생성과 동시에 a.pnumber를 얕은 복사함 -> 새로이 할당받은 적이 없음 -> 애초에 할당받지 못한 영역을 소멸자 코드가 해제 요청하여 에러 발생

이 둘 중 어떤 과정이 맞는 것인지 궁금합니다.

책이나 강의 등에서는 모두 (1)과 같이 얕은 복사 이전에 이미 어느 시점엔가 b.pnumber는 할당을 받았다는 전제가 깔리던데 이에 대한 설명은 따로 없어서 질문 드렸습니다.

감사합니다.