关于C++中显式默认化operator!=、operator<等比较运算符的实际用途问询

嘿，这个问题问得挺戳痛点的！毕竟C++20引入三路比较运算符operator<=>之后，编译器自动帮你生成反向比较逻辑的规则，确实让显式默认化operator!=、operator<这些操作看起来有点多此一举。不过在实际编码里，还真有几个场景离不开这么写，我给你掰扯掰扯：

1. 兼容C++17及更早的旧标准 #

在C20之前，编译器可没这么智能——你默认化了operator==，要是不显式默认化operator!=，那你根本没法用!=运算符比较对象。这在C17及更早的项目里是家常便饭的写法，毕竟没人想手动写一堆重复的字段比较逻辑：

// C++17及更早版本的典型写法
struct User {
    std::string name;
    int age;

    bool operator==(const User&) const = default;
    bool operator!=(const User&) const = default; // 必须显式写，不然用不了!=
    bool operator<(const User&) const = default; // 同理，要支持<就得显式默认化
};

2. 覆盖基类中的虚比较运算符 #

如果你的基类把某个比较运算符声明为虚函数，子类想要用编译器默认生成的比较逻辑，就必须显式默认化它。因为虚函数的实现不能自动继承，你得明确告诉编译器“我要用默认的字段比较逻辑来覆盖这个虚函数”。举个实际例子：

struct BaseEntity {
    virtual bool operator<(const BaseEntity&) const = 0;
    virtual bool operator==(const BaseEntity&) const = 0;
};

struct Player : BaseEntity {
    std::string id;
    int level;

    // 显式默认化，直接用编译器生成的Player对象间的比较逻辑
    bool operator<(const Player&) const = default;
    bool operator==(const Player&) const = default;

    // 覆盖基类虚函数，内部调用默认生成的版本
    bool operator<(const BaseEntity& other) const override {
        if (const auto* p = dynamic_cast<const Player*>(&other)) {
            return *this < *p;
        }
        // 处理和其他子类的比较逻辑
        return false;
    }

    bool operator==(const BaseEntity& other) const override {
        if (const auto* p = dynamic_cast<const Player*>(&other)) {
            return *this == *p;
        }
        return false;
    }
};

3. 满足旧代码/第三方接口的显式声明要求 #

有些遗留代码库或者第三方框架，会通过模板元编程或者静态检查来确认你的类是否显式声明了某个比较运算符——哪怕编译器能自动生成，它也不认。这时候显式默认化对应的运算符，既能满足接口的检查要求，又不用自己手写重复的比较逻辑，完美折中。

4. 明确文档化代码意图 #

很多团队的编码规范会要求：哪怕编译器能自动生成比较运算符，也要显式默认化它们。这么做不是没事找事，而是为了让后续看代码的人（尤其是新手）一眼就明白：这个类支持这些比较操作，而且用的是编译器默认的成员逐字段比较逻辑，不用去猜有没有藏着手动实现的特殊逻辑。

5. 精细控制运算符的访问权限 #

有时候你想让某个比较运算符只在特定范围内可用，这时候可以在类的私有区域显式默认化它，再通过using声明把它暴露到需要的访问级别。比如：

struct SensitiveData {
private:
    // 私有区域默认化运算符，只有类内部能直接调用
    bool operator<(const SensitiveData&) const = default;
public:
    // 把operator<暴露到public，同时保留默认的比较逻辑
    using operator<;

    // 其他敏感数据成员...
};

总的来说，在C++20及以后的新项目里，显式默认化这些运算符的场景确实少了很多，但在涉及兼容旧代码、虚函数覆盖、团队编码规范这些场景时，它还是有不可替代的实际用处的。

内容来源于stack exchange