关于赋值,有趣的是你可以把它们写成连锁形式:
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。