赋值运算符函数 operator=

来源:互联网 发布:mac pro 2016屏幕涂层 编辑:程序博客网 时间:2024/05/23 15:48

当我们写一个赋值运算符函数时,主要注意以下几点:
1)令operator=返回一个reference to *this。只有返回一个引用,才允许连续赋值,如:x = y = z = 3;
参考effective C++ 条款10.
2)是否把传入的参数类型声明为常量引用,如果传入的参数不是引用而是实例,那么从形参到实参会调用一次复制构造函数。参考effective C++条款20.
同时,我们不会改变传入的实例的状态,因此加上const关键字
3)是否释放实例自身已有的内存,避免内存泄漏。
4)是否判断传入的参数和当前的实例(*this)是否为同一实例。

effective C++ 条款11对此做了详细的描述,下面是该思路的参考代码:

Widget& Widget::operator= (const Widget& rhs){    if(this != &rhs)    {        Widget strTemp(rhs);        char *temp = strTemp.data;        strTemp.data = data;        data = temp;    }    return *this;}

在这个函数中,我们创建了一个临时实例strTemp,接着把strTemp.data和自身实例数据交换,以达到将赋值效果。因为strTemp为局部变量,即函数结束时将调用其析构函数进行自动销毁。
我们也可以理解为执行到if体内最后一个语句才改变了自身实例数据,所以达到了安全性。
而effective C++中的代码如下:

Bitmap& Bitmap::operator=(const Bitmap& rhs){    Bitmap* pOrig = pb;//记住原先的pb    pb = new Bitmap(*rhs.pb);//令pb指向*pb的一个复件(副本)    delete pOrig;//删除原先的pb    return *this;}

new可能会因为内存不足而抛出异常,我们还没修改原来实例的状态,因此实例的状态还是有效的。

其他两种手法:

class Widget{...    class swap(Widget& rhs);//此处为条款29,在此先不做多解析...};Widget& Widget::operator=(const Widget& rhs){    Widget temp(rhs);//为rhs数据制作一份复件(副本)    swap(temp);//将*this数据和上述复件的数据交换    return *this;}

手法二:

Widget& Widget::operator=(Widget rhs)//rhs是被传对象的一份复件                                    //pass by value{    swap(rhs);//将*this的数据和复件的数据交换    return *this;}

此处将“coping动作”从函数体内移至“函数参数构造阶段”

0 0
原创粉丝点击