More Effective C++读书笔记：条款22

22考虑以操作符符合形式（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、复合形式效率高，但是不便利。单独形式效率低，但是很便利。两种方式都提供，用户可以自己选择。如下：

class Rational
{
public:
    Rational(double x = 0, double y = 0) :x(x), y(y) { cout << "构造" << endl; }
    Rational(const Rational&rhs):x(rhs.x),y(rhs.y){ cout << "构造" << endl; }
    ~Rational()noexcept{ cout << "析构" << endl; }

    Rational& operator+=(const Rational& rhs)
    {
        x += rhs.x;
        y += rhs.y;
        return *this;
    }

    const Rational operator+(const Rational& rhs)
    {
        return Rational(*this) += rhs;
    }

    double x;
    double y;

};

int main()
{
    _CrtSetDbgFlag(33);

	
    Rational x(10, 20);
    Rational y(20, 30);
    Rational t = (x += y);  //这个方式构造了三次

    Rational t = (x + y);  //这个方式构造了四次
    cout << t.x << endl;
   
    return 0;
}