C++:运算符重载:类内和类外。预自增运算符的歧义

Question

查看一下 this code :

struct A
{
    A operator+(A const& a) { cout << 1 << endl; return A(); }
    A& operator++() { cout << 2 << endl; return *this; }
    A operator++(int) { cout << 3 << endl; return *this; }
    bool operator!() { cout << 4 << endl; return true; }

};

A operator+(A const& a, A const& b)
{ cout << 5 << endl; return A(); }

A& operator++(A& a) { cout << 6 << endl; return a; }
A operator++(A const& a, int) { cout << 7 << endl; return A(); }
bool operator!(A const& a) { cout << 8 << endl; return false; }

int main()
{
    A a, b;

    a + b; // Prints 1 instead 5
    ++a;   // Ambiguity
    a++;   // Prints 3 instead 7
    !a;    // Prints 4 instead 8

    return 0;
}

在每种情况下，都会选择运算符的类内重载来反对同一运算符的任何其他类外重载，但预自增运算符是不同的:它会导致类内和类外重载之间的歧义.

为什么？

Answer 1

您的后自增成员运算符不是 const 成员，而非成员 const A& 参数。没有歧义，并且选择了非常量版本。这同样不适用于预增量版本。成员和非成员都绑定(bind)到非常量 A，因此存在歧义。

看:

// non-const member. Does not require A operand to be const
A operator++(int)

// non-member. Requires A operand to be const
A operator++(A const& a, int)