【M22】考虑以操作符复合形式（op=）取代其独身形式（op）

1、对于内置类型，x = x+y 与x+=y的结果相同。

2、 x=x+y 与 x+=y的结果相同，但二者做的事情差别很大。

　　a、x=x+y做的事情：方法内有个局部对象，值为x+y，返回局部对象，返回值是个临时对象，这个临时对象赋值给x。

　　b、x+=y做的事情：直接在x上操作，修改x的内容，并返回x的引用。

3、从上面的分析可以知道，操作符复合形式（+=）比单独形式（+）效率高很多，复合形式避免了局部对象和临时对象的构造和析构，以及对x的copy赋值。

4、为了避免重复代码和保持代码的一致性，应该让+调用+=，如下：

　　template <typename T>

　　const T operator+(const T& lhs, const T& rhs)

　　{

　　　　return T(lhs)+=rhs;

　　}

　　这里的return T(lhs)+=rhs; 等价于T result(lhs); return result+=rhs; 但是强烈建议使用前一种方式，为什么？

　　前一种方式使用匿名对象，编译器更容易进行返回值优化（RVO）

5、考虑，复制操作符=返回引用，因此支持链式操作：a = b = c =d;  因此+=也支持链式操作。需要注意的是：=是从右向左进行，而+=应该是从左到右进行，为了保证从左到右进行必须使用小括号如下：(((a+=5)+=8)+=9)+=12; 这种方式有太多的括号，反而降低了可读性。使用a+=5;  a+=8;  a+=9;  a+=12; 这种方式更好。

6、复合形式效率高，但是不便利。单独形式效率低，但是很便利。两种方式都提供，用户可以自己选择。如下：

　　Rational a, b, c, d, result;

　　复合形式：

　　result=a;

　　result+=b;

　　result+=c;

　　result+=d;

　　单独形式：

　　result = a+b+c+d;