C++ std::strong_ordering三向比较 _ 运算符深度定制技巧【详解】-C++-PHP中文网

手动实现 operator 比 = default 更灵活，但必须严格保证全序性；返回值不能用 int 或 bool 模拟，否则编译失败或未定义行为。

c++ std::strong_ordering三向比较 _ <=>运算符深度定制技巧【详解】

直接说结论：用 operator 返回 std::strong_ordering 时，手动实现比 = default 更灵活，但必须严格保证全序性；返回值不能靠 int 或 bool 模拟，否则编译失败或行为未定义。

什么时候必须手动实现 `operator`

默认生成（= default）只适用于“按成员字典序逐个比较”的场景。一旦需要跳过某些字段、调整顺序、做转换（比如忽略大小写）、或引入外部逻辑（如按 ID 查缓存再比），就必须手动写。

类里有 std::vector 成员，你想按 size 比而不是逐元素比
字符串字段需 case-insensitive 比较，而 std::string 自带的 operator 是区分大小写的
某个成员是 std::optional，你想把 nullopt 视为最大值而非最小值
你正在封装一个 C 风格结构体（比如 struct tm），它没有原生三向比较支持

手动返回 `std::strong_ordering` 的正确写法

不能直接 return a —— 这返回的是 int，不是 std::strong_ordering。必须用标准库提供的字面量或转换函数。

最安全：用 std::strong_ordering::less / ::equal / ::greater
次选：用 std::strong_ordering{0}（0 → equal）、std::strong_ordering{-1}（-1 → less）、std::strong_ordering{1}（1 → greater）
别用 static_cast<:strong_ordering>(a - b) —— 整数溢出或符号截断会导致未定义行为
多个字段比较时，推荐用级联 if + auto cmp = ...; if (cmp != 0) return cmp;，避免重复计算

示例：

C++14

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

下载

#include <compare>
#include <string>
#include <algorithm><p>struct CaseInsensitiveString {
std::string s;
auto operator(const CaseInsensitiveString& rhs) const -> std::strong_ordering {
std::string a = s, b = rhs.s;
std::transform(a.begin(), a.end(), a.begin(), ::tolower);
std::transform(b.begin(), b.end(), b.begin(), ::tolower);
if (auto cmp = a  b; cmp != 0) return cmp;
return std::strong_ordering::equal;
}
};</p></algorithm></string></compare>

`std::strong_ordering` 和 `==` 的关系容易被误读

声明了 operator = default，编译器会自动生成 operator==；但如果你手动实现了 operator，operator== 不会自动产生——哪怕返回类型是 std::strong_ordering。

如果没定义 operator==，a == b 会尝试调用 operator 并检查是否等于 std::strong_ordering::equal，但这依赖 ADL 和可见性，不一定成功
更糟的是：手动 operator 返回 std::strong_ordering::equal，不代表对象逻辑上“等价”——比如两个不同指针指向相同内容的字符串，你可能想让 == 返回 true，但只比较内容，不比较地址
所以，只要用了手动 operator，就该显式定义 operator==，且确保它和的“相等”语义一致（即：当且仅当 operator 返回 ::equal 时，operator== 返回 true）