Item 26. Operator Function Lookup

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 域。

本文地址：http://com.8s8s.com/it/it22323.htm