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

자기대입(self assignment): 어떤 객체가 자기 자신에 대해 대입 연산자를 적용하는 것을 말함

*px = *py;

라는 구문의 경우 가리키는 대상이 같으면 자기 대입이 된다.(중복 참조)

자기 참조의 가능성이 높은 코드 예시

Widget& Widget::operator=(const Widget& rhs) //안전하지 않게 구현된 operator= { delete pb; //현재의 비트맵 사용을 중지 pb = new Bitmap(*rhs.pb); //rhs의 비트맵을 사용하도록 만듬 return *this; }

*문제 되는 상황

- operator= 내부에서 *this와 rhs가 같은 객체일 가능성이 있기 때문에 이를 검사해줄 필요가 있음.

*해결방법

1. 일치성 검사(identity test)

Widget& widget::operator=(const Widget& rhs) { if(this == &rhs) return *this; //객체가 같은지 자기 대입인지 검사, 자기대입인 경우 넘어감 delete pb; pb = new Bitmap(*rhs.pb); //rhs의 비트맵을 사용하도록 만듬 return *this;

- 자기 대입을 스스로 검사하여 이를 해결하려고 함.

- 예외가 터지면 widget 객체는 결국 삭제된 bitmap 포인터를 가지고 남게 되어버림

- 해결 방법

Widget& widget::operator=(const Widget& rhs) { Bitmap *pOrig = pb; //원래 pb를 어딘가에 기억 pb = new Bitmap(*rhs.pb); //rhs의 비트맵을 사용하도록 만듬 delete pOrig; // 원래의 pb 삭제 return *this;

2. 복사 후 맞바꾸기(copy and swap)

- swap 함수를 이용하여 pointer를 맞바꾸기로 하여 생성

- 문제되는 저은 전달되는 내용에 대한 사본이 생긴다는 것이다.