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

자기대입이 왜 위험한가?
같은 객체를 가리키는 참조자 두개(A 와 B)가 A = B 라고 해 놓고 delete B 라고 했을 때, A가 가르킨 객체는 이미 전기적 신호를 받고 날라간 상태이다.

그렇기 때문에, 같은 타입으로 만들어진 객체 여러 개를 참조자 혹은 포인터로 물어 놓고 동작하는 코드를 작성할 때는 같은 객체가 사용될 가능성을 고려하는 것이 일반적으로 바람직한 자세이다.

어떻게 이 위험으로부터 보호하겠는가?
참조자의 경우, 주소가 같기 때문에, 같은 주소인지 if문으로 비교하여, 같다면 하는일 없이 리턴을 하지만, 자기 대입이 일어날 경우는 적기 때문에, 모든 객체에 대해서 조사하는것은 효율이 낮다.

그렇기 때문에 우선 매개체를 복사한 후에, 복사된 매개체와 내자신과 바꾸는 방법을 많이 사용한다.
흔히들 이 기법을 복사후 맞바꾸기(copy and swap)라고 한다

이것만은 잊지 말자!
1. operator=을 구현할 때는 꼭 자기대입에 대한 처리도 염두해 두어야 한다.
2. 두개 이상의 객체를 받는 함수도 같은 객체가 넘겨졌을 때 이 처리 역시 염두해 두어야 한다.


기법 소스

문제가 있는 코드

struct INTLIST
{
    int a;            // 그냥 이런게 있다고 만든것이니 너무 태클걸지 말자.
    int b;
    int c;
    int d;
};

class CBabo
{
public:
    CBabo& operator= (const CBabo& rhs)
    {
                                            // 이것이 효율 문제1
        if(this == &rhs) return *this;    // 왜 *this를 반환하는지도 알아야 한다.
                                            // 이 코드가 바로 효율이 나쁜 코드이다.
                                            // 왜냐하면 모든 대입 연산을 할때 비교하기 때문이다.
                                            // 실제로 자기대입은 많이 일어나지 않는다.
                                           

                                                // 안정성 문제 2
        delete pInt;                            // 전기적 쇼크!
        pInt = new INTLIST(*rhs.pInt);    // 여기서 만약 new가 실패 할 경우 기존의 값은 이미
                                                // 전기적인 쇼크를 먹은 상태이기 때문에, 잘못된 설계이다.

                                                // 짜게된다면 복사 후 맞바꾸기(copy and swap) 기법을 이용한다.
                                               
        return *this;                           
    }
private:
    INTLIST *pInt;
}

해결 코드

struct INTLIST
{
    int a;            // 그냥 이런게 있다고 만든것이니 너무 태클걸지 말자.
    int b;
    int c;
    int d;
};

class CBabo
{
public:
    void Swap(const CBabo& rhs)
    {
        ::swap(rhs.pInt, pInt);        // 라이브러리 함수를 이용하여 swap 한다.
    }

    CBabo& operator= (const CBabo& rhs)
    {
                                                // 효율문제 1과 안정성 문제 1 둘대 해결보는 설계
        CBabo Temp(rhs);                    // 물론 복사생성자는 정의되어 있다고 친다.
       
        Swap(Temp);                            // 복사한것을 교체 한다. Swap 내부에서 이 교체가 이루어진다.

        return *this;                           
    }
private:
    INTLIST *pInt;
}

관련링크
http://jangyeol.springnote.com/pages/348598.xhtml
http://evax.springnote.com/pages/871438
http://ilu8318.egloos.com/1705010
http://ikpil.tistory.com/299