运算符的重载一般我们会使用以下两种形式
- 成员函数
- 非成员函数
其实这两种定义不仅在语法上,在语义上也是有差别的。语法上,定义为成员函数,比如 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的运算符重载,我们更倾向于使用非成员函数的形式。