总结条款:11在operator=中处理“自我赋值”

“自我赋值”发生在对象被赋值给自己时 :

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、确定任何函数如果操作多个对象, 而其中对个对象指向一个对象时, 其运行依旧正确。不仅仅表现在赋值操作函数上 。

  

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值