Item 26. Operator Function Lookup
有时候Operator Function看起来像是成员操作符函数overload一个非成员操作符,但事实并非如此。这不是overloading,只是一种不同的查找算法。
class X {
public:
X operator %( const X & ) const; // binary modulus
X memFunc1( const X & );
void memFunc2();
//...
};
X a, b, c;
a = b % c; // infix call to member operator %
a = b.operator %( c ); // member function call
a = b.memFunc1( c ); // another member function call
当使用member function call时,查找规则遵循 Member Function Lookup,使用infix call却有所不同,eg:
X operator %( const X &, int ); // non-member operator
//...
void X::memFunc2() {
*this % 12; // calls non-member operator %
operator %( *this, 12 ); // error! 参数个数不匹配,因为调用的是X ::operator %( const X & )
}
对于infix operator call,成员函数和非成员函数编译器都会考虑到。因此对operator %进行infix call时,会找到 non-member operator。这并不属于overloading,只是一种不同的查找算法。调用non-infix call 函数operator %( *this, 12 )时,遵循标准函数查找规则,于是找到成员函数,发生了参数个数不正确的错误。
为了效率,infix calls 使用了一种退化的ADL:在决定overload哪一个函数时,只考虑infix operator的左边参数类域和全局域。 ADL包括了由参数所引入的namespaces 域。