Item11:在operator=中处理自我赋值
在C++编程中,赋值运算符(operator=
)的实现看似简单,实则暗藏玄机。《Effective C++》中的Item11“在operator=中处理自我赋值”(Handle assignment to self in operator=)提醒我们,在实现赋值运算符时,必须考虑自我赋值(self-assignment)的情况,并确保代码在这种情况下依然安全可靠。本文将深入探讨这一条款,分析自我赋值的潜在风险、检测方法以及安全实现赋值运算符的策略。
一、自我赋值的潜在风险
自我赋值是指将一个对象赋值给自己,例如:
MyClass obj;
obj = obj; // 自我赋值
这种操作看似毫无意义,但在实际编程中可能以更隐蔽的方式出现,比如:
a[i] = a[j]; // 当i和j相等时,即为自我赋值
*px = *py; // 当px和py指向同一个对象时,发生自我赋值
在未处理自我赋值的情况下,赋值运算符可能会导致严重问题。考虑以下简单的类实现:
class Bitmap { /* ... */ };
class Widget {
private:Bitmap* pb; // 指针,指向一个从堆分配的对象
public:Widget& operator=(const Widget