Effective C++ 第10条:让赋值运算符返回一个指向*this的引用
第10条: 让赋值运算符返回一个指向 *this 的 引用
关于赋值有许多有趣的事情,其中之一就是:你可以把赋值操作连在一起:
int x, y, z;
x = y = z = 15; // 一连串的赋值
令一件有趣的事是:这一赋值工作是自右结合的,所以上面的赋值链可以解析成这样:
x = (y = (z = 15));
在这里, 15 首 先赋 值给 z ,然后这次赋值的结果(就是更新过的 z 的值)将赋给 y ,然后这次赋值的结果(就是更新过的 y 的值)又赋给 x 。
这种实现方法的本质是:赋值时,返回一个指向运算符左手边参数的引用,当你为你的类实现赋值运算符时,你应该遵循这一惯例:
class Widget {
public:
Widget& operator=(const Widget& rhs) // 返回值类型是一个引用,
{
// 该引用指向当前类
return *this; // 返回至运算符左边的对象
}
};
这一惯例对于所有的赋值运算符同样适用,不仅仅是上述的标准形式。于是,我们要这样书写:
class Widget {
public:
...
Widget& operator+=(const Widget& rhs) // 这一惯例对于 += 、 -= 、 *=
{
// 等运算符均使用
...
return *this;
}
Widget& operator=(int rhs) // 即使某些时刻运算符的参数不合常规,
{ // 这一惯例仍需要得到贯彻
...
return *this;
}
...
};
这仅仅是一个惯例,不遵循这一惯例的代码也能够得到编译。然而,所有的内建数据类型,以及标准库中所包括(或者即将包括的,可以参见第 54 条)的所有类型(比如说, string 、 vector 、 complex 、 tr1::shared_ptr ,等等)都遵守这一惯例。当你要做一些有悖于该惯例的事情时先要考虑一下,是否有充分的理由这样做?否则请遵循惯例。
需要记住的:让赋值运算符返回一个指 向 *this 的引用。