Effective C++ 10 令operator=返回一个reference to *this 笔记
关于赋值,有趣的是你可以把它们写成连锁形式:
1 int x, y, z;
2 x = y = z = 15; //赋值连锁形式
2 x = y = z = 15; //赋值连锁形式
同样有趣的是,赋值采用右结合律,所以上述连锁赋值被解析为:
1 x = (y = (z = 15));
这里15先被赋值给z,然后其结果(更新后的z)再被赋值给y,然后其结果(更新后的y)再被赋值给x。
为了实现“连锁赋值”,赋值操作符必须返回一个reference指向操作符的左侧实参。这是你为classes实现赋值操作符时应该遵循的协议:
1 class Widget {
2 public:
3 ...
4 Widget& operator=(const Widget& rhs) //返回类型是个reference,指向当前对象。
5 {
6 ...
7 return* this; //返回左侧对象
8 }
9 ...
10 };
2 public:
3 ...
4 Widget& operator=(const Widget& rhs) //返回类型是个reference,指向当前对象。
5 {
6 ...
7 return* this; //返回左侧对象
8 }
9 ...
10 };
这个协议不仅适用于以上的标准赋值形式,也适用于所有赋值相关运算,例如:
1 class Widget {
2 public:
3 ...
4 Widget& operator+=(const Widget& rhs) //这个协议适用于+=,-=,*=,等等。
5 {
6 ...
7 return *this;
8 }
9 Widget& operator=(int rhs) //此函数也适用,即使此一操作符的参数类型不符协议。
10 {
11 ...
12 return *this;
13 }
14 };
2 public:
3 ...
4 Widget& operator+=(const Widget& rhs) //这个协议适用于+=,-=,*=,等等。
5 {
6 ...
7 return *this;
8 }
9 Widget& operator=(int rhs) //此函数也适用,即使此一操作符的参数类型不符协议。
10 {
11 ...
12 return *this;
13 }
14 };
注意,这只是个协议,并无强制性。如果不遵循它,代码一样可通过编译。然而这份协议被所有内置类型和标准程序库提供的类型如: string, vector, complex, tr1::shared_ptr或即将提供的类型(见条款54)共同遵守。因此除非你有一个标新立异的好理由,不然还是随众吧。
请记住:
令赋值操作符返回一个reference to *this。