C++比较运算符重载：类内类外实现差异、std::map适配及选择方法

1. 以operator<为例，类内部和类外部重载的差异 #

• 参数与隐含指针：类内重载是成员函数，仅需传入右操作数，左操作数是隐含的this指针指向的对象；类外重载是非成员函数，必须显式传入左、右两个操作数。
• const兼容性：类内重载若未用const修饰成员函数，无法被const对象调用；类外重载可给两个参数都加上const限定，适配const对象、临时对象的比较场景。
• 对称性支持：类内重载仅能处理左操作数为当前类对象的情况（比如Foo < Foo），无法支持5 < Foo这类跨类型的左操作数；类外重载可通过重载不同参数组合实现这类不对称比较。
• 访问权限：类内重载可直接访问类的私有成员，无需额外接口；类外重载若要访问私有成员，需声明为友元，或通过类的公共接口（如getA()）实现。

2. 为何std::map选用类外实现，而你的代码调用了类内版本？ #

• std::map的场景：map内部存储的键是const限定的（键不可修改），你的类内operator<未添加const修饰，const对象无法调用非const成员函数，因此编译器只能匹配类外的、参数为const Foo&的重载版本。
• main函数的场景：你定义的f和f2是非const的Foo对象，此时类内成员函数operator<是可行调用的；在重载解析规则中，成员函数的匹配优先级高于非成员函数，因此编译器选择了类内版本。

3. 如何判断选用类内还是类外重载？ #

优先选类外重载的场景 #

• 需要支持跨类型的对称比较（如内置类型 < 自定义类）。
• 需适配const对象、临时对象的比较场景，确保运算符的通用性。
• 遵循最小权限原则，不想让运算符直接访问类私有成员，通过公共接口实现逻辑。

优先选类内重载的场景 #

• 运算符逻辑紧密依赖类内部私有状态，直接访问私有成员能简化实现。
• 运算符是类的“自然”行为（比如同类对象的比较属于类本身职责）。

关键注意点 #

如果选择类内重载，务必根据需求给成员函数加上const修饰（比如将类内operator<改为inline bool operator<(const Foo& f) const），这样const对象也能正常调用，避免出现类似std::map的适配问题。

测试代码 #

#include <iostream>
#include <map>
using namespace std;

class Foo
{
public:
    Foo() {}
    Foo(int val) : a(val) {}
    int getA() const { return a; }
    void setA(const int& val) { a = val; }

    inline bool operator<(const Foo& f)
    {
        cout<<"operator< inside\n";
        return a < f.getA();
    } 
    
private:
    int a = 1;
};

inline bool operator<(const Foo& f1, const Foo& f2)
{
    cout<<"operator< outside\n";
    return f1.getA() < f2.getA();
}

std::map<Foo, const char*> fMap = { {Foo(2), "Val 2"}, {Foo(3), "Val 3"} };

int main()
{
    cout<<"Hello World\n";
    
    Foo f, f2;
    f.setA(3);
    f2.setA(7);
    
    cout << (f < f2) << "\n";

    return 0;
}

运行输出 #

operator< outside
operator< outside
Hello World
operator< inside
1

内容的提问来源于stack exchange，提问作者Dmitry Groker