在operator =中要处理“自我赋值”

 

防止自我赋值很有必要

Widget w;
w = w;
a[i] = a[j]; //a[i]和a[j]实际上指向同一个元素
*pi = *pj; //pi和pj实际上指向同一个元素

自我赋值的危害：

Widget
{
private:Test *p;
};
Widget &Widget::operator=(const Widget &w)
{delete p;p = new int (*w.p);return *this;
}

如果是自我赋值，会把自己的空间释放掉，即当执行delete p后，w.p已经指向一个被释放的内存空间（此时*w.p的内容未知）；当执行 p = new int(*w.p);即让p重新指向一个存储了(*w.p)的内存空间，该内存空间内容又是未知的。当再次引用时，会出现未定义的行为。

改良版本

Widget &Widget::operator=(const Widget &w)
{if (this == &w){return *this;}delete p;p = new Test(*w.p);return *this;
};

这个类虽然能避免自我赋值的问题，但是，如果new Test时抛出异常，那么Widget最终会持有一个指针指向一块被删除的内存区域，这样的指针是有害的。

改成这样：

Widget &Widget::operator=(const Widget &rhs)
{Test *porg = p;p = new Test(*rhs.p);delete porg;return *this;
}

此时new Test发生异常，那么p可以保持原状。（异常发生的时候，不会给p赋值）

delete prog;保证了p原来指向的内存空间也会被顺利释放。