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;