关于赋值,有趣的是你可以把它们写成连锁形式:
int x, y, z;
x = y = z = 15; // 赋值连锁形式
同样有趣的是,赋值采用右结合律,所以上述连锁赋值被解析为:
x = (y = (z = 15));
这里15 先被赋值给z,然后其结果(更新后的z) 再被赋值给y,然后其结果(更新后的y) 再被赋值给x 。
int x, y, z;
x = y = z = 15; // 赋值连锁形式
同样有趣的是,赋值采用右结合律,所以上述连锁赋值被解析为:
x = (y = (z = 15));
这里15 先被赋值给z,然后其结果(更新后的z) 再被赋值给y,然后其结果(更新后的y) 再被赋值给x 。
为了实现"连锁赋值",赋值操作符必须返回一个reference 指向操作符的左侧实参。这是你为classes 实现赋值操作符时应该遵循的协议:
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;
}
......
};
注意,这只是个协议,并无强制性。如果不遵循它,代码一样可通过编译。然而这份协议被所有内置类型和标准程序库提供的类型如string, vector,complex,trl::sharedytr 或即将提供的类型(见条款54) 共同遵守。因此除非你有一个标新立异的好理由,不然还是随众吧。
需要记住的
令赋值( assignment) 操作符返回一个reference to *this。