C++操作符重载的隐式交换性相关技术咨询

嘿，这个问题问到点子上了！很多刚接触C++运算符重载的开发者都会踩这个坑，咱们把它掰扯清楚：

核心结论先放前面：C++标准不会为跨类型的比较运算符提供任何默认行为，不管是==还是<，找不到匹配的重载时都会直接编译失败，不会“fallback”到同类型的运算符重载。

关于operator==的详细情况 #

当你写b == a（b是类B的实例，a是类A的实例）时，编译器会按优先级查找两种重载：

• 首先找B类的成员函数：bool B::operator==(const A&) const（这里的const很重要，如果b是const对象，非const的成员函数会被排除）
• 然后找全局的非成员重载：bool operator==(const B&, const A&)

如果这两种重载都不存在，编译器不会搞任何“小聪明”：

• 不会去调用B类的同类型比较bool B::operator==(const B&)，因为a是A类型，除非你手动定义了A到B的隐式转换（这属于另一个特性，不是默认行为），否则参数类型完全不匹配
• 也不会自动生成跨类型的==运算符——哪怕是C++20之后，编译器只会为同类型的比较生成默认的逐成员operator==，跨类型的依然不会管

小补充：C20之前，连同类型的operator==都需要你手动定义，编译器不会自动生成；C20之后才加入了同类型默认operator==的特性。

关于operator<的详细情况 #

规则和==基本一致，但有个关键差异：

• 不管是哪个C版本，编译器都不会自动生成任何版本的operator<——哪怕是同类型的比较，你也得手动定义，或者在C20中通过定义三路比较运算符operator<=>来让编译器推导生成（但依然只适合同类型）。
• 当写b < a时，编译器同样只会查找B的成员operator<(const A&)或者全局的operator<(const B&, const A&)，找不到就直接抛出编译错误，没有任何默认的fallback逻辑。

一句话总结 #

不管是==还是<，跨类型比较时如果没有对应的重载：

• 编译器不会自动生成匹配的运算符
• 不会尝试调用同类型的比较运算符（参数类型不匹配）
• 最终结果就是编译失败，你会看到类似“no match for ‘operator==’ (operand types are ‘B’ and ‘A’)”的错误提示。

内容的提问来源于stack exchange，提问作者Benjamin Barrois