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

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

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_OPERATOR
foo& operator +=(foo& lhs, const foo& rhs)
{
    return lhs;
}
foo& operator ++(foo& lhs)
{
    return lhs;
}
#endif

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

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

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