항목11. operator=에서는 자기대입에 대한 처리가 빠지지 않도록 하자.

자기 대입이란 어떤 객체가 자기 자신에게 대입 연산자를 적용하는 것을 말한다.

 

    Widget a;
 
    a = a;            //대놓고 미친짓.
 
    int arr1[1000];
 
    arr1[i] = arr[i]; //복잡한 반복문에서 발생할 수도 있는 일.
 
    *px = *py;        //px, py가 가리키는 대상이 같으면 자기 대입이 된다.

 

이러한 자기 대입이 생기는 이유는 여러 곳에서 하나의 객체를 참조하는 상태인 중복참조 때문이다.

같은 타입으로 만들어진 객체 여러 개를 참조자 혹은 포인터로 물어 놓고 동작하는 코드를 작성할 때는

같은 객체가 사용될 가능성을 고려하는 것이 좋다.

 

특히 자원 관리와 엮여있는 경우에는 더욱 더 주의해야 한다.

 

class Bitmap { ... };
 
class Widget
{
public:
    ...
    
    Widget& operator=(const Widget& rhs)
    {
        delete pb;
        pb = new Bitmap(rhs.pb);
        return *this;
    }
 
private:
    Bitmap* pb;
};

 

상기와 같이 작성된 코드에서 자기 대입이 진행된다면, 좌변 객체(this)와 우변 객체(rhs)가 동일하므로 멤버 변수인 pb 또한

this의 것이기도 하면서 rhs의 것이기도 하다.

사용자의 의도는 원래 pb를 제거하고 다시 새로운 정보를 가지고 pb를 생성하려고 했던 것인데...

bp를 제거함으로써 this의 pb 뿐만 아니라 초기화 재료로 사용하려던 rhs의 pb 또한 제거가 된다.

 

그러므로 결국 operator= 함수에서 새로 생성되는 pb는 쓰레기 값을 가진 Data가 된다. (아니면 null이 되어 null exception 발생)

 

해결 방법 1

 

전통적인 방법으로 operator=의 첫머리에 일치성 검사를 통해 자기대입을 검사한다.

 

    Widget& operator=(const Widget& rhs)
    {
        if (this == &rhs) return this; //자기 대입이라면 아무것도 하지 않는다.
 
        delete pb;
        pb = new Bitmap(rhs.pb)
        return *this;
    }

 

그러나 이 방법은 예외에는 안전하지 않다.

무슨 말이냐하면, new Bitmap 부분에서 예외가 터지게 되면 (동적 할당에 필요한 메모리 부족, 복사 생성자에서

예외 발생 등...), Widget 객체는 삭제된 Bitmap을 가리키는 포인터를 껴안고 남게된다.

즉, 아무것도 가리키지 않는 포인터가 하나 남게되고 이것을 delete 시켜줄 방법 또한 없다.

 

또한 if문으로 조건 처리하는데 속도 저하에도 영향을 미칠 수 있다.

 

해결 방법 2.

 

    Widget& operator=(const Widget& rhs)
    {
        Bitmap* pTemp = pb;
        pb = new Bitmap(rhs.pb);
        delete pTemp;
 
        return *this;
    }