C++ spaceship三向比较运算符怎么重载（C++20）-C++-PHP中文网

c++oding="utf-8" ?>

编译器仅对平凡类型自动生成三向比较运算符；若类含用户定义的operator==、非平凡成员（如std::vector）或需定制逻辑（如访问private成员），则必须手动定义，且返回类型应为std::strong_ordering等，不可用int或未明确推导的auto。

c++ spaceship三向比较运算符<=>怎么重载（c++20）

什么时候必须自己写 `operator`

编译器只对「平凡类型」（trivially comparable）自动生成 operator，比如所有成员都支持三向比较、且没有用户定义的比较运算符的类。一旦你加了 operator==、或某个成员不支持（如 std::vector 在 C++20 早期标准库中可能未完全实现）、或用了 private 成员需要定制逻辑，就必须手动定义。

常见错误现象：error: use of deleted function 'constexpr auto X::operator(const X&) const' —— 这通常是因为你声明了 operator== 却没提供 operator，编译器不再自动生成它。

若只重载 operator==，记得加 = default 或显式定义 operator，否则被隐式删除
手动定义时，返回类型必须是某类 std::strong_ordering / std::weak_ordering / std::partial_ordering，不能用 int 或 auto（除非确定推导正确）
优先复用成员的，避免手写 和 <code>> 组合：比如 a.x b.x 比 (a.x == b.x) ? 0 : (a.x 更安全、更符合语义

`operator` 的三种返回类型怎么选

选错类型会导致编译失败或运行时行为异常。核心区别不在“强弱”，而在「等价关系是否满足数学公理」：

std::strong_ordering：适用于整数、指针、std::string 等——相等即完全等价，且可交换、传递；绝大多数自定义类型该用这个
std::weak_ordering：用于值相同但对象不同（如大小写不敏感字符串），a b == 0 不代表 a == b；需配套重载 operator==
std::partial_ordering：仅用于可能产生 NaN 的浮点类型，因为 NaN x 返回 std::partial_ordering::unordered；普通业务类型别误用

示例：一个带 int id 和 std::string name 的结构体，应返回 std::strong_ordering：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

auto operator(const Person& other) const = default;

但如果 name 是 case-insensitive 比较，就不能用 = default，得手写并返回 std::weak_ordering：

std::weak_ordering operator(const Person& other) const {
    if (auto cmp = id  other.id; cmp != 0) return cmp;
    return case_insensitive_compare(name, other.name);
}

和旧版比较运算符共存时的坑

C++20 规定：只要定义了 operator，编译器就自动合成 ==、!=、、<code>、<code>>、>= —— 但前提是没同时定义同名的旧运算符。一旦你写了 bool operator==(const X&, const X&)，编译器就不会再为你合成 ==，哪怕你也有 operator。

想保留手写 operator==（比如做指针比较或跳过某些字段），必须确保它和 operator 语义一致，否则 a == b 和 (a b) == 0 可能返回不同结果
不要在同一个类里既写 operator 又写 operator：后者会被忽略，且容易引发 ODR-violation 或链接错误
若基类有 operator，派生类想扩展比较逻辑，需显式调用基类版本，不能只靠 = default（它只比较本类成员）

调试 `operator` 不生效的常见线索

最常被忽略的是模板推导和 ADL（argument-dependent lookup）。当你在泛型代码里用 a b 却报错，不是因为你没写，而是编译器根本没找到它。

检查函数是否在类内部定义（inline）或在类作用域内声明；外部定义需确保声明在使用前可见
确认参数类型完全匹配：比如 const T& vs T&&，或是否遗漏 const 限定符（operator 通常应为 const 成员函数）
如果涉及模板类（如 template<typename t> struct Vec</typename>），operator 必须是模板函数，且要处理 T 是否支持三向比较（可用 requires 约束）
用 static_assert(std::is_same_v<decltype> b), std::strong_ordering>)</decltype> 快速验证返回类型是否符合预期