1.我们先看一个例子
int x,y,z;
x = y = z =15;
上述连锁赋值表达式被解析为:
x = (y = (z = 15));
这里15先被赋值给z,然后其结果再被赋值给y,最后赋值给x。
2.如何实现“连锁赋值”
为了实现“连锁赋值”,赋值操作符必须返回一个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:shared_ptr或即将提供的类型共同遵守。除非你有一个标新立异的好理由,否则还是遵循这条协议吧。
3.定义一个返回this对象的函数
已知Sales_data类定义如下:
class Sales_data {
std::string isbn() const {return bookNo;}
Sales_data& combine(const Sales_data&);
double avg_price() const;
std::string bookNo;
unsigned units_sold = 0;
double revenue = 0.0;
};
成员函数combine用于将一个Sales_data对象加到另一个对象上。函数combine的设计初衷类似于复合赋值运算符+=,调用该函数的对象代表的是赋值运算符的左侧的运算对象,右侧运算对象则通过显示的实参被传入函数:
Sales_data& Sales_data::combine(const Sales_data& rhs) {
units_sold += rhs.units_sold;
revenue += rhs.revenue;
return *this;
}
当我们调用如下函数时:
Sales_data total,trans;
total.combine(trans);
total的地址被绑定到隐式的this参数上,而rhs绑定到了trans上。其中,return语句解引用this指针以获得执行该函数的对象,换句话说,上面这个调用返回total的引用。
4.请记住
令赋值(assignment)操作符返回一个reference to *this。
5.参考资料
- 《Effective C++》条款10
- 《C++ Primer》7.1 定义抽象数据类型