当排序后需保持相等元素原始相对位置时必须用std::stable_sort；如按成绩排序时同分者按报名顺序排列，或日志中同优先级事件保持时间先后。
std::stable_sort 什么时候必须用
当排序后需要保持相等元素的原始相对位置时，std::stable_sort 是唯一选择。比如按学生成绩排序，但同分学生要按报名顺序排；或处理带时间戳的日志，相同优先级事件不能打乱发生次序。而 std::sort 不保证这点，内部可能用快排或堆排，会重排相等元素。
基本用法和常见错误参数
最简调用就是传两个迭代器，和可选的比较函数。容易出错的是：把 std::less<int>()</int> 写成 std::less<int></int>（少括号），编译直接失败；或者误传反向迭代器范围导致未定义行为。
正确写法示例：
std::vector<std::pair<int, std::string>> data = {{90,"Alice"}, {85,"Bob"}, {90,"Charlie"}};
std::stable_sort(data.begin(), data.end(), [](const auto& a, const auto& b) {
return a.first < b.first; // 按分数升序，同分者保持原序
});
- 比较函数必须是严格弱序（即
a 和 <code>b 不能同时为真） - 如果用默认升序，直接省略第三个参数，别写
std::less<T>()—— 多余且易错 - 容器必须支持随机访问迭代器（
std::vector、std::deque可用；std::list要用list.sort()成员函数）
性能和内存开销比 std::sort 高多少
std::stable_sort 通常基于归并排序变体，最坏和平均时间复杂度都是 O(n log n)，但常数因子更大，且需要额外 O(n) 临时存储空间。在小数据量（比如 n < 32）时，部分标准库实现会切回插入排序，但稳定性的代价始终存在。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
实测中，对 10 万整数排序，std::stable_sort 比 std::sort 慢约 1.5–2 倍，内存多用一倍左右。所以别为了“图个安心”滥用它——只在业务逻辑明确要求稳定性时才启用。
自定义类型排序时 operator< 不够用怎么办
如果类已定义 operator<，但某次排序想按其他字段（比如按创建时间而非 ID），就不能依赖默认行为，必须显式传比较 lambda 或函数对象。此时容易忽略 const 正确性，导致编译失败。
例如：
struct LogEntry {
int level;
std::string msg;
long timestamp;
};
// 错误：lambda 参数没加 const 引用，可能触发拷贝或编译报错
std::stable_sort(v.begin(), v.end(), [](LogEntry a, LogEntry b) { return a.timestamp < b.timestamp; });
// 正确：
std::stable_sort(v.begin(), v.end(), [](const LogEntry& a, const LogEntry& b) { return a.timestamp < b.timestamp; });
另外，若比较逻辑较重（比如涉及字符串比较或函数调用），建议捕获局部变量时用 [&] 而非 [=]，避免意外拷贝大对象。
稳定性不是免费的，也不是默认选项。每次写 std::stable_sort 前，先问自己：这个“相等元素的原始顺序”是否真的被下游逻辑依赖？漏掉这个问题，后期调试会卡在完全想不到的地方。
