a+b 和 operator+(a,b) 的区别

Question

考虑以下程序：

#include<functional>

typedef std::function< int( int ) > F;

F operator+( F, F )
{
    return F();
}

int f( int x ) { return x; }

int main()
{
    operator+(f,f); // ok
    f+f; // error: invalid operands to binary expression
}

为什么最后一行f+f; 无法编译？为什么和operator+(f,f);不一样？参考标准将不胜感激。

Answer 1

f 的类型是内置类型。对内置类型对象的操作从不考虑用户定义的操作符。调用operator+(f, f) 显式地强制进行两次转换，除非它们被强制，否则这些转换不会发生。相关条款是 13.3.1.2 [over.match.oper] 第 1 段：

如果表达式中没有运算符的操作数具有类或枚举类型，则假定该运算符是内置运算符并根据第 5 条进行解释。 ...