“自我赋值”发生在对象被赋值给自己时 :
class A {};
A a;
a = a;
虽然看起来很别扭 ,但是这是合法的。一般而言,如果某段代码操作pointer或者references而它们被用来“指向多个相同类型的对象”,我们就需要考虑这些对象是否为同一个;
class A{};
class B {
private:
A *pA;
}
B & operator=(const B & rhs)
{
delete pA;
pA = new A(*rhs.pA);
return *this;
}
这里的自我赋值问题是,operator=函数内的 *this和rhs为同一个对象,那么 delete pA就不仅仅销毁的是当前的pA,它也销毁了rhs的pA。
解决办法 : 在赋值函数中加入一个认同测试;
B & operator=(const B & rhs)
{
if (*this == rhs) return *this;
delete pA;
pA = new A(*rhs.pA)
return *this
}
1、确保当前对象自我赋值时,operator=有良好的行为。其中技术包括比较“来源对象”和“目标对象”的地址, 精心调试语句顺序, 以及copy-and-swap;
2、确定任何函数如果操作多个对象, 而其中对个对象指向一个对象时, 其运行依旧正确。不仅仅表现在赋值操作函数上 。