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

参见英文答案 > operator overloading,member and non-member function,which one has priority?2个
以下代码有2个operator的定义 – 一个在Foo类上,另一个是独立函数.

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

删除类方法以静默方式更改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;
}

解决方法

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

int operator+(const Foo& b) const

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

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

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

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