std::list::sort() 是稳定排序，基于归并排序实现；不同于 std::sort()，其成员函数为特化实现；自定义比较需满足严格弱序，否则行为未定义。
std::list::sort() 本身就是稳定排序，别自己重写
直接调用 std::list::sort() 就行，它不基于 quicksort 或 heapsort，而是用归并排序实现的 —— 这决定了它天然稳定（相同值的相对顺序不变）。很多人误以为它像 std::sort() 那样不稳定，其实那是针对随机访问迭代器的版本，std::list 的成员函数是特化实现。
自定义比较时必须满足严格弱序，否则行为未定义
传入比较函数（或 lambda）时，如果逻辑写错，sort() 可能崩溃、死循环，或看似排好但实际乱序。常见错误是把 当成 <code> 用：
// ❌ 错误：违反严格弱序
list<int> l = {1, 1, 2};
l.sort([](int a, int b) { return a <= b; }); // UB！
// ✅ 正确：只用 <
l.sort([](int a, int b) { return a < b; });
- 比较函数必须对任意 a, b 返回 bool，且满足：若
comp(a,b)和comp(b,c)为 true，则comp(a,c)必须为 true - 不能对同一对参数多次调用返回不同结果（比如依赖外部可变状态）
- lambda 捕获引用时要确保被引用对象生命周期覆盖整个排序过程
排序后迭代器仍有效，但节点物理位置变了
std::list 排序不移动元素内存，只调整内部指针 —— 所以所有指向元素的迭代器、指针、引用在排序后依然有效。这点和 std::vector 完全不同：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
list<string> l = {"beta", "alpha", "gamma"};
auto it = next(l.begin()); // 指向 "alpha"
l.sort(); // 排序后 l = {"alpha", "beta", "gamma"}
// it 仍然合法，且 *it == "alpha"
- 别指望迭代器顺序反映排序后位置 ——
it还是指向原来那个节点，只是该节点现在在链表更前面了 - 如果你存了多个迭代器并依赖它们的相对位置（比如做差值），那会出错 —— list 迭代器不支持算术运算
- 排序不触发元素的拷贝或移动构造，前提是你的类型满足要求（无抛异常的移动/拷贝）
想按字段排序？避免捕获局部变量导致悬垂引用
比如按 Person 对象的 age 字段排序，又想用 name 做次级排序：
立即学习“C++免费学习笔记（深入）”；
struct Person { string name; int age; };
list<Person> people = {{"Alice", 30}, {"Bob", 25}, {"Charlie", 30}};
// ❌ 危险：如果 names 是局部 vector，排序时 lambda 捕获的引用可能已失效
vector<string> names = {"Alice", "Bob"};
people.sort([&names](const Person& a, const Person& b) {
return a.age < b.age || (a.age == b.age && names[a.age] < names[b.age]); // 悬垂！
});
// ✅ 安全：只捕获必要且生命周期足够的东西，或直接用字段
people.sort([](const Person& a, const Person& b) {
return a.age < b.age || (a.age == b.age && a.name < b.name);
});
真正容易被忽略的是：哪怕你没显式捕获，lambda 里用到的局部变量（比如临时 string）如果在排序中途析构，而排序算法又恰好在比较中访问它，就会踩内存。稳定排序本身没问题，但比较逻辑的健壮性得自己兜住。
