std::sort传入的lambda必须是二元谓词，接受两个const t&参数并返回bool，且满足严格弱序：comp(a,a)为false，若comp(a,b)和comp(b,c)为true则comp(a,c)必为true。
std::sort 传 lambda 必须是二元谓词
std::sort 要求比较函数（或 lambda）接受两个 const T& 参数，返回 bool，且必须满足严格弱序：对任意 a、b、c，若 comp(a, b) 为 true，则 a 排在 b 前；comp(a, a) 必须为 false；若 comp(a, b) 和 comp(b, c) 为 true，则 comp(a, c) 也必须为 true。常见错误是写成 [&](int a, int b) { return a —— <code> 不满足严格弱序，会导致 undefined behavior。
正确写法示例（升序）：
std::vector<int> v = {3, 1, 4, 1, 5};
std::sort(v.begin(), v.end(), [](int a, int b) { return a < b; });
- 降序：用
a > b - 按绝对值：用
std::abs(a) - 避免捕获局部变量用于比较逻辑，除非明确需要（如排序时依赖外部阈值）
捕获列表影响 lambda 类型和性能
带捕获的 lambda（如 [x]、[&]）无法转换为函数指针，但 std::sort 模板能直接接受闭包类型，所以完全可用。不过要注意：
-
[=]或[&]捕获大量对象会增加闭包大小，但对排序性能影响微乎其微（比较函数调用开销远大于闭包复制） - 若需把 lambda 传给非模板函数（比如某些 C 风格回调），则必须用无捕获 lambda（可隐式转为函数指针）
- 避免在 lambda 内做耗时操作（如文件读取、动态内存分配），排序过程会反复调用比较函数
例如按字符串长度排序并引用外部 min_len：
立即学习“C++免费学习笔记（深入）”；
int min_len = 3;
std::vector<std::string> words = {"a", "to", "the", "hello"};
std::sort(words.begin(), words.end(), [min_len](const auto& a, const auto& b) {
return a.size() < b.size() || (a.size() == b.size() && a < b);
});
自定义类型排序要重载 operator
如果该类型「天然」有唯一、稳定、复用性强的序（如 Point 按 x+y 排），优先定义 operator，这样 <code>std::sort(v.begin(), v.end()) 可免写 lambda，且容器（如 std::set）也能复用。
但多数场景下推荐 lambda —— 更灵活、意图更明确、不污染类接口：
- 临时需求（如调试时按 id 倒序看最后几条日志）
- 多种排序逻辑共存（同一结构体，有时按时间，有时按优先级）
- 涉及多个字段组合（
a.priority != b.priority ? a.priority > b.priority : a.timestamp ）
注意：lambda 中访问成员应使用 const 引用（const T& a），避免不必要的拷贝；若类型不可拷贝，这点尤为关键。
std::stable_sort 和 lambda 的配合要点
当需要保持相等元素的原始相对顺序（比如先按分数排，再按提交时间稳定排序），必须用 std::stable_sort，它对 lambda 的要求和 std::sort 完全一致，只是算法保证稳定性。
常见误判是认为“只要 lambda 返回 false 就算相等”——其实 std::sort 和 std::stable_sort 都只依赖比较结果：若 comp(a,b) 和 comp(b,a) 均为 false，则视为等价。
- 因此，lambda 中不要写
a == b判断，一律用构建全序或偏序 - 稳定排序不改变性能数量级（仍是 O(n log n)），但常数略大，仅在确实需要稳定性时启用
- 若自定义类型已定义
operator，<code>std::stable_sort同样适用，无需额外 lambda
真正容易被忽略的是：稳定性只在「等价」时起作用，而「等价」由你提供的比较逻辑决定——写错 lambda，稳定也没意义。
