第九章:重载赋值运算符中需要注意的两个问题

前言

       如果系统自动生成的赋值运算符重载函数不合乎你的要求,那么就应当定制自己的赋值运算符。

       然而,定制赋值运算符有两点是非常值得注意的,本文将讲解这两点,让你写出更优质的 =运算符。

第一点:请返回 reference to *this

       我们经常使用如 "a=b=c=1" 这种形式的连锁赋值语句,而重载的赋值运算符自然也应当能够这样使用。

       因此,在重载运算符函数末尾请写上如这样的语句 return *this;

       除了赋值运算符,+=,-=这样的赋值运算符同样需要这样做。

第二点:处理好自我赋值

       首先,我们看一段问题代码:

 1 // 位图资源类
 2 class Bitmap { /*......*/ };
 3 
 4 // 位图资源管理类
 5 class Widget {
 6 public:
 7     //......
 8     Widget & operator=(const Widget & rhs);
 9     //......
10 private:
11     //......
12     Bitmap *pb;    // 位图资源。指针类型,指向 heap 分配而得的空间
13     //......
14 };
15 
16 Widget & Widget::operator=(const Widget & rhs)
17 {
18     delete pb;    // 删除原有资源
19     pb = new Bitmap(*rhs.pb);    // 申请新的资源并存放右操作数的数据
20     return *this;
21 }

       问题出在重载函数中,如果左右操作数是相同的对象,delete 掉原有资源之后,所有数据信息就全丢了。

       因此,运算符重载函数需要加上一个证同测试:

 1 Widget & Widget::operator=(const Widget & rhs)
 2 {
 3     // 加入证同测试
 4     if (this == &rhs)
 5         return *this;
 6 
 7     delete pb;    // 删除原有资源
 8     pb = new Bitmap(*rhs.pb);    // 申请新的资源
 9 
10     return *this;
11 }

       但这依然不是最好的做法:因为 new 有可能失败,导致资源丢失。

       下面这个精心设计的重载函数才是我们需要的:

1 Widget & Widget::operator=(const Widget & rhs)
2 {
3     Bitmap * pOrig = pb;
4     pb = new Bitmap(*rhs.pb);
5     delete pOrig;
6 
7     return *this;
8 }

       这个实现就保证了赋值的安全,健壮,是个非常可取的方案。

小结

       赋值运算符还有一些其他的非常可取的实现,这里就不一一讲解了。

posted @ 2017-01-27 12:14  穆晨  阅读(492)  评论(0编辑  收藏  举报