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
<ul>
<li>比较函数必须对任意 a, b 返回 bool,且满足:若 <code>comp(a,b)</code> 和 <code>comp(b,c)</code> 为 true,则 <code>comp(a,c)</code> 必须为 true</li>
<li>不能对同一对参数多次调用返回不同结果(比如依赖外部可变状态)</li>
<li>lambda 捕获引用时要确保被引用对象生命周期覆盖整个排序过程</li>
</ul>
<h3>排序后迭代器仍有效,但节点物理位置变了</h3>
<p><code>std::list</code> 排序不移动元素内存,只调整内部指针 —— 所以所有指向元素的迭代器、指针、引用在排序后依然有效。这点和 <code>std::vector</code> 完全不同:</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master"><img
src="https://img.php.cn/upload/skill/000/000/081/179051228971575.jpg" alt="C++ Code Review Master" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="overflowclass">C++ Code Review Master</a>
<p class="overflowclass">组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。</p>
</div>
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<pre class="brush:php;toolbar:false;">
list<string> l = {"beta", "alpha", "gamma"};
auto it = next(l.begin()); // 指向 "alpha"
l.sort(); // 排序后 l = {"alpha", "beta", "gamma"}
// it 仍然合法,且 *it == "alpha"
</string>
- 别指望迭代器顺序反映排序后位置 ——
it还是指向原来那个节点,只是该节点现在在链表更前面了 - 如果你存了多个迭代器并依赖它们的相对位置(比如做差值),那会出错 —— list 迭代器不支持算术运算
- 排序不触发元素的拷贝或移动构造,前提是你的类型满足要求(无抛异常的移动/拷贝)
想按字段排序?避免捕获局部变量导致悬垂引用
比如按 Person 对象的 age 字段排序,又想用 name 做次级排序:
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
<p>真正容易被忽略的是:哪怕你没显式捕获,lambda 里用到的局部变量(比如临时 <code>string</code>)如果在排序中途析构,而排序算法又恰好在比较中访问它,就会踩内存。稳定排序本身没问题,但比较逻辑的健壮性得自己兜住。</p></string></person>C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










