std::pair 默认重载了关系运算符（==、!=、<、>、<=、>=），按字典序先比较 first 再比较 second；不支持算术运算符（如+、-），需用户自定义；也可通过仿函数或全局函数扩展比较逻辑。
std::pair 的 operator
std::pair 的默认 operator 实现是字典序比较：先比 <code>first，first 相等时再比 second。它不关心类型是否“逻辑相关”，只依赖 T1 和 T2 各自已有的 operator（或三路比较 C++20）。
常见误解是以为它会“加权”或“按语义组合”，其实没有——比如 pair<int string></int> 中 first 是 ID、second 是姓名，比较时 ID 不同就直接出结果，姓名完全不参与。
- 只要
T1支持，且 <code>T2支持，<code>pair<t1></t1>就天然可比较 - 若
T1的比较开销大（如自定义大对象），整个 <code>pair比较也会变慢，因为first总是优先被调用 - C++20 起，若
T1和T2都支持三路比较（），pair会自动用它替代operator，更高效也更一致
在 map/set 中用 pair 作 key 时的隐含要求
当你把 std::pair 当作 std::map 或 std::set 的 key，编译器会用其 operator 构建红黑树的排序逻辑。这意味着：<strong>你必须确保该比较满足严格弱序（strict weak ordering）</strong>——否则行为未定义，可能崩溃或查找失败。
绝大多数标准类型组合（如 pair<int string></int>、pair<double char></double>）都满足；但如果你自定义了 operator 且没写对（比如返回 <code>true 当两值相等），就会踩坑。
立即学习“C++免费学习笔记（深入）”；
- 不要重载
pair的operator —— 它是模板特化的，无法安全偏特化 - 若需非字典序（比如先比
second再比first），应封装成新结构体并明确定义operator，而不是硬套 <code>pair - 注意浮点数作
first或second：NaN 会让返回 false，破坏严格弱序；避免用 <code>pair<double int></double>做 key，除非你手动处理 NaN
和 tuple 的字典序行为有什么区别
std::tuple 的 operator 也是字典序，但它是递归展开的通用实现；而 <code>std::pair 是特化版本，语义等价但底层不共享逻辑。实际效果几乎一样，但有两点关键差异：
-
pair只有两个成员，编译期开销小；tuple支持任意长度，模板实例化更深，某些旧编译器可能报错或变慢 -
tuple在 C++14+ 支持std::get<I>(t)编译期索引，pair只能用.first/.second—— 这影响泛型代码的抽象能力 - 二者都不提供“忽略大小写比较”或“按绝对值比较”这类逻辑，所有定制必须靠外层包装或自定义比较函数对象
想改默认比较？别动 pair，换 comparator
你不能也不该修改 std::pair 自带的 operator 行为。真正可控的方式是给容器传自定义比较器，例如：
map<pair<int, string>, double,
[](const auto& a, const auto& b) {
return a.second < b.second || (a.second == b.second && a.first < b.first);
}> m;
这种写法把比较逻辑从类型绑定中解耦出来，清晰、安全、可测试。用 lambda 或独立函数均可，但注意：若比较器捕获外部变量，就不能用于无状态容器（如作为模板参数传入）。
容易忽略的一点：自定义比较器的签名必须严格匹配容器期望（两个 const 引用参数），且返回 bool；哪怕只差一个 const，有些编译器会静默失败或报奇怪错误。
