c++oding="utf-8" ?>
std::stable_sort更适合需要稳定性的场景，因为它保证相等元素的相对顺序不变；而std::sort不稳定，可能因快排或堆排优化打乱原始次序。
std::stable_sort 为什么比 std::sort 更适合需要稳定性的场景
因为 std::stable_sort 明确保证相等元素的相对顺序不变，而 std::sort 是不稳定的——哪怕你用的是相同比较逻辑，std::sort 也可能在内部做快排或堆排的优化，打乱原始次序。如果你排序前有“先按时间戳插入、再按优先级重排”的逻辑，或者要保留日志中同 priority 请求的到达顺序，就必须用 stable_sort。
怎么写一个安全的比较函数（谓词）来配合 stable_sort
稳定性只在“相等”时起作用，而“相等”由你的比较谓词定义：若 comp(a, b) == false && comp(b, a) == false，则 a 和 b 被视为等价。所以谓词必须满足严格弱序，且不能依赖易变状态（比如全局计数器或随机数）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- ✅ 正确：按字段值比较，如
[&](const Job& a, const Job& b) { return a.priority - ❌ 危险：引入副作用或非确定性，如
[i=0](auto& a, auto& b) mutable { return (i++ % 2) ? a.id —— 这会让等价判断失效，破坏稳定性 - ⚠️ 注意：如果想按多级条件稳定排序（比如先按 priority，priority 相同时保持原序），不要把次要条件写进谓词里；否则会覆盖稳定性。应该用两次
stable_sort：先按次要条件排，再按主条件排
性能和内存开销差异有多大
std::stable_sort 通常基于归并排序或混合策略，在大多数标准库实现中（libstdc++、libc++）时间复杂度是 O(N log N) 平均，最坏也是 O(N log N)，但常数更大；空间上需要 O(N) 额外缓冲（部分实现支持就地优化，但不可依赖）。而 std::sort 一般只需 O(log N) 栈空间。
- 数据量小（stable_sort 更省心
- 数据量大且内存敏感（嵌入式/实时系统）：需实测——某些 libc++ 版本对
vector<int></int>做stable_sort会触发额外分配，而 libstdc++ 可能复用临时 buffer - 无法避免的场景：比如
vector<unique_ptr>></unique_ptr>排序，移动语义下stable_sort的稳定性才有实际意义，此时别纠结常数
常见误用导致“看起来不稳定”的原因
不是 stable_sort 失效，而是你没意识到它只保障“比较谓词认定为等价”的元素顺序。下面这些情况都会让你误以为它不稳定：
- 谓词写成
a.priority ：违反严格弱序，行为未定义 - 排序对象含指针或浮点字段，比较时用了
==或memcmp，而浮点精度误差让本该等价的元素被判定为不等 - 容器是
list，却调用了std::stable_sort(list.begin(), list.end())：虽然合法，但性能极差（链表随机访问 O(N)）；应改用list.sort()成员函数，它也是稳定且针对链表优化的 - 使用自定义分配器且未正确传播，导致 move 构造异常，引发部分重排（虽罕见，但一旦发生，稳定性即被破坏）
真正容易被忽略的是：稳定性只在单次排序中成立。如果你在排序中途修改了参与比较的字段（比如一边排一边更新 priority），那结果完全不可预测——stable_sort 不做并发保护，也不冻结数据快照。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
