operator== = default 仅在满足“一致比较”条件时由编译器自动生成，若类含std::unique_ptr等不可比较成员，或已手动定义任一比较运算符，则不生成。
为什么 operator = default 有时不生成 operator==
编译器只在满足“一致比较”隐式生成条件时，才为 operator== 自动生成定义。写了 operator = default 并不自动带来 operator== —— 这是最多人踩坑的地方。
常见触发失败的场景包括：
- 类中含
std::unique_ptr、std::function等不可默认比较的成员（它们没有operator或operator==） - 手动定义了任意一个比较运算符（哪怕只是
operator），就会抑制所有默认比较生成 - 基类未声明可比较接口（如基类没
operator = default或operator== = default），派生类= default会因基类成员不可比而编译失败 - 你用了
auto operator(...) const = default;，但没加bool operator==(const T&) const = default;声明
解决办法很简单：显式加上 bool operator==(const T&) const = default;。只要所有成员支持 ==，这条语句就能通过；否则它会立刻报错，帮你定位问题成员。
手写 operator 时必须返回 std::strong_ordering 吗
不是必须，但绝大多数自定义类型该用 std::strong_ordering。它的语义最严格：相等意味着可互换，大小关系满足全序（transitive、antisymmetric、total），适配 std::sort、std::map 等所有标准容器和算法。
立即学习“C++免费学习笔记（深入）”；
std::weak_ordering 和 std::partial_ordering 有明确适用边界：
-
std::weak_ordering：用于“值相等但对象不可互换”的场景，比如忽略大小写的字符串比较——"A"和"a"排序等价，但内存布局不同，不能直接 memcpy 替换 -
std::partial_ordering：几乎只用于浮点数，因为NaN NaN是std::partial_ordering::unordered，其他所有类型都不该返回它
错误示例：int operator(const T&) const { return 0; } —— 返回 int 不触发任何默认运算符生成，且无法参与 ADL 查找；正确写法是 std::strong_ordering operator(const T&) const { ... }。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
std::strong_ordering 的三个值怎么用在逻辑分支里
不能直接拿 std::strong_ordering 和数字（比如 0）比较，它重载了 ==、!=、 等运算符，但语义是枚举常量比较，不是数值计算。
典型写法是：
auto operator<=>(const Point& other) const {
if (auto cmp = x <=> other.x; cmp != 0) return cmp;
return y <=> other.y;
}
注意三点：
-
cmp != 0实际调用的是cmp != std::strong_ordering::equal，不是整数零判断 - 每个成员比较都用
<=>，而不是==或<，保证类型一致、短路行为可控 - 顺序很重要：先比
x，再比y，这决定了字典序行为；改顺序就得改逻辑
别写 if (cmp < 0) —— 虽然能编译（因为 std::strong_ordering 支持 <），但可读性差，且易与旧代码混淆。
性能敏感场景下，= default 和手写哪个更快
= default 按成员声明顺序逐个调用 operator<=> 并短路，对 POD 类型或简单结构体，和手写无差别；但一旦涉及昂贵操作，就容易出问题。
典型慢点：
- 字符串深层比较：默认按字符逐个
<=>，但业务上可能只需比长度或哈希前缀 - 浮点字段：默认用
std::partial_ordering处理NaN，但若你确定不会出现NaN，手写用std::strong_ordering+ 直接memcmp更快 - 指针成员：默认比较地址值，但业务上可能需解引用后比较所指对象
所以规则很直接：如果成员比较开销小、语义即业务语义，用 = default；否则手写，且务必同步更新 operator== = default 或手写实现，保持一致性。
