C++20中默认<=>可生成==，自定义实现为何无法生成？

这其实是C++20三路比较运算符（也就是你说的「飞船运算符」）的一个设计规则，我来给你拆解清楚：

1. 默认实现的特殊待遇 #

当你用= default来默认定义operator<=>时，编译器会把这个操作符和相等性检查绑定在一起处理。它会递归地比较结构体的所有非静态成员，不仅生成三路比较的逻辑，还会自动帮你生成对应的operator==——前提是你没有自己定义==运算符。

这就是为什么第一个例子里a == b能正常工作：编译器帮你隐式生成了X的operator==，逻辑是比较Dummy成员是否相等。

2. 自定义实现的「自主责任」 #

一旦你自己写了operator<=>的实现，编译器就会认为：「你既然手动写了比较逻辑，那相等性判断的逻辑也应该由你自己掌控」。它不会再自动生成operator==，因为你的自定义三路比较可能只处理了大小关系，或者有特殊的相等性规则（比如某些成员不参与相等判断，但参与大小比较）。

哪怕你的自定义实现只是简单返回成员的<=>结果，编译器也不会假设你想要默认的==逻辑——它必须严格遵守规则，不做额外的隐式生成。

解决方法 #

要让自定义operator<=>的结构体支持==，有两种简单的方式：

方式一：显式默认生成operator== #

直接让编译器帮你生成默认的相等性判断，和默认operator<=>的逻辑保持一致：

struct X {
 int Dummy = 0;
 auto operator<=>(const X& other) const {
 return Dummy <=> other.Dummy;
 }
 bool operator==(const X& other) const = default; // 显式请求默认生成
};

方式二：自定义operator== #

如果你的相等性逻辑和三路比较不一样（比如有特殊规则），可以手动实现：

struct X {
 int Dummy = 0;
 auto operator<=>(const X& other) const {
 return Dummy <=> other.Dummy;
 }
 bool operator==(const X& other) const {
 return Dummy == other.Dummy; // 自定义相等判断逻辑
 }
};

总结一下核心规则 #

• 用= default定义operator<=>时，编译器会自动生成operator==（无用户自定义==的情况下）
• 自定义operator<=>时，必须手动提供operator==（要么默认生成，要么自己写）

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