关于非成员运算符和成员运算符的区别

运算符的重载一般我们会使用以下两种形式

1. 成员函数
2. 非成员函数

其实这两种定义不仅在语法上，在语义上也是有差别的。语法上，定义为成员函数，比如 operator+=，只接受一个参数，而非成员函数接受2个参数语义上，这涉及到临时对象无法绑定到左值引用的问题，比如我们重载operator +=, operator ++

struct foo{#ifndef NON_MEMBER_OPERATOR    foo& operator +=(const foo& rhs)    {        return *this;    }    foo& operator ++()    {        return *this;    }#endif};#ifdef NON_MEMBER_OPERATORfoo& operator +=(foo& lhs, const foo& rhs){    return lhs;}foo& operator ++(foo& lhs){    return lhs;}#endif

这里，如果是使用成员函数的形式，那么我们就可以在临时对象上调用operator+=,或者operator++

foo() += foo();++foo();

该语句将可以通过编译。但通常情况下我们不希望修改临时对象，因为修改通常会随着临时对象的销毁而丢失。使用非成员函数的情况，上述语句将无法编译，因为临时对象无法绑定到左值引用，这通常是符合我们要求的，并且更容易防止误用的情况。所以从这点上，对于mutating的运算符重载，我们更倾向于使用非成员函数的形式。