Effective C++ 条款11：在operator=中处理"自我赋值"

class Widget { ... };

Widget w;

...

w = w;					// 赋值给自己

a[i] = a[j];			// 潜在的自我赋值

*px = *py;				// 潜在的自我赋值

class Base { ... };

class Derived: public Base { ... };

void doSomething(const Base& rb, Derived* pd);	// rb和*pd有可能其实是同一对象

class Bitmap { ... };

class Widget {

	...

private:

	Bitmap* pb;			// 指针，指向一个从heap分配而得的对象

};

// 一个不安全的operator=实现版本

Widget& Widget::operator=(const Widget& rhs) {

	delete pb;						// 停止使用当前的bitmap

	pb = new Bitmap(*rhs.pb);		// 使用rhs's bitmap的副本

	return *this;					// 见条款10

}

自我安全性

Widget& Widget::operator=(const Widget& rhs) {

	if (this == rhs) return *this;			// 证同测试

											// 如果是自我赋值，就不做任何事情

	delete pb;

	pb = new Bitmap(*rhs.pb);

	return *this;

}

异常安全性

Widget& Widget::operator=(const Widget& rhs) {

	Bitmap* pOrig = pb;						// 记住原先的pb

	pb = new Bitmap(*rhs.pb);

	delete pOrig;							// 删除原先的pb

	return *this;

}

copy and swap

class Widget {

...

void swap(Widget& rhs);

...

};

Widget& Widget::operator=(const Widget& rhs) {

	Widget temp(rhs);

	swap(temp);

	return *this;

}

Widget& Widget::operator=(Widget rhs) {	// 注意这里是传值

	swap(rhs);

	return *this;

}

总结

1. 确保当对象自我赋值时operator=有良好行为。其中技术包括比较”来源对象”和”目标对象”的地址、精心周到的语句顺序、以及copy-and-swap.
2. 确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其行为仍然正确。