map 的 compare 参数必须满足严格弱序：即对任意 a、b、c，需同时满足不可自反、反对称、传递性，且等价关系具传递性；违反任一条件将导致未定义行为。
map 的 compare 参数到底要满足什么条件
必须是严格弱序（strict weak ordering）：对任意 a、b、c，需同时满足：
– comp(a, a) 永远为 false（不可自反）
– 若 comp(a, b) 为 true，则 comp(b, a) 必须为 false（反对称）
– 若 comp(a, b) 和 comp(b, c) 均为 true，则 comp(a, c) 也必须为 true（传递性）
– 若 !comp(a, b) && !comp(b, a)，则 a 和 b 等价；该等价关系需具备传递性
违反任一条件都可能导致 map 行为未定义——插入失败、查找卡死、迭代器乱序，甚至崩溃
三种写法的实际差异和选型建议
函数对象（仿函数）、Lambda（C++17 后可作为模板参数）、函数指针都能用，但限制不同：
- 仿函数（如
struct MyCmp { bool operator()(const int& a, const int& b) const { return a > b; } };）最通用，支持状态保存，std::map<int int mycmp></int>可直接使用 - Lambda 仅当不捕获时能用于模板参数（如
auto cmp = [](int a, int b) { return a > b; };不行；但[](int a, int b) { return a > b; }可以）；C++20 起允许带捕获的 Lambda 作非类型模板参数，但主流编译器支持仍不稳定 - 普通函数指针（如
bool my_cmp(int a, int b) { return a > b; }）可用，但无法携带上下文，且模板推导易出错，不推荐
自定义 key 类型时 operator
如果自定义类已定义 operator，但想在某个 <code>map 中换排序逻辑，必须显式传入 compare 类型——operator 不会被自动忽略。常见错误是只改了 compare 却忘了删掉或禁用默认比较：
struct Point {
int x, y;
bool operator<(const Point& p) const { return x < p.x; } // 默认按 x 排
};
// 想按 y 排？不能只靠这个：
std::map<Point, int, [](const Point& a, const Point& b) { return a.y < b.y; }> m;
// ✅ 正确：但注意该 Lambda 不能捕获，且必须和 operator< 逻辑独立
// ❌ 错误：若没提供 compare，map 会默默调用 operator<，结果不是你想要的 y 排序
更安全的做法是把比较逻辑统一收口到一个命名类型里，避免散落多处。
立即学习“C++免费学习笔记（深入）”；
性能与 ABI 兼容性容易被忽略的点
compare 类型是 std::map 模板签名的一部分，意味着：
- 两个 map 类型即使 key/value 完全相同，只要 compare 不同，就是完全不同的类型，无法赋值、不能传参互换
- 若 compare 是带状态的仿函数（比如内部存了
std::string prefix），每次构造 map 都会拷贝该对象；若状态大或构造开销高，会影响插入性能 - 跨 DLL/so 边界传递自定义 compare 的 map 时，若 compare 定义不在头文件中（例如只在 .cpp 里实现），会导致 ODR 违规——Windows 下可能静默运行，Linux 下常因符号不一致 crash
复杂排序逻辑尽量抽成轻量、无状态、头文件内定义的结构体，比临时写个长 Lambda 更稳妥。
