为什么C++没有抱怨运算符函数的多个定义？

Question

以下代码有2个定义operator+- 一个在类上Foo,另一个是独立函数.

我觉得编译器应该抱怨这个,但事实并非如此.当我operator+在main函数中使用时,它会选择类中定义的那个.当我删除类中的那个时,它开始使用独立功能.

删除类方法以静默方式更改C++程序的行为这一事实非常令人担忧.这有什么理由吗？

https://ideone.com/rtfEFP

#include <iostream>

class Foo
{
public:
    int operator+(const Foo& b)
    {
        return 5;
    }
};

int operator+(const Foo& a, const Foo& b)
{
    return 6;
}

int main()
{
    Foo a, b;
    int c{ a + b };
    std::wcout << c << std::endl;
    return 0;
}

Answer 1

这两个签名并不真正匹配,因为第一个对第一个操作数采用非const引用.要"修复"这个,使它成为const:

int operator+(const Foo& b) const

或者使非成员非const的第一个参数(不要在实际代码中这样做!)

int operator+(Foo& a, const Foo& b)

这将导致您的代码产生不明确的重载编译器诊断.

使用原始代码,选择成员,因为非const引用更好地匹配操作数.