std::sort比较函数需满足严格弱序且参数类型匹配，应使用const T&、避免捕获悬垂引用、勿修改参数；自定义类型需注意operator< const修饰；非稳定需求用std::stable_sort；务必确保返回值收敛且无异常。
std::sort 的比较函数必须是可调用且满足严格弱序
直接写一个返回 bool 的普通函数或 lambda 是最稳妥的，但很多人卡在“为什么传了函数却编译失败”——常见原因是参数类型不匹配、捕获了不可拷贝对象，或者用了 std::less 以外的仿函数却没声明 const。比如把 vector<string>&</string> 传给只接受 const string& 的比较函数，编译器会报错 invalid operands to binary expression。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 比较函数两个参数都该用
const T&（如const int&、const Person&），避免不必要的拷贝和类型推导失败 - lambda 捕获列表尽量为空或只捕获
[&]；若需捕获局部变量，确保它生命周期覆盖std::sort调用全程 - 不要在比较函数里修改参数值，否则违反严格弱序，可能导致
std::sort崩溃或无限循环 - 如果排序自定义结构体，别漏掉
operator<的const修饰：bool operator<(const Person& other) const { ... }
用 lambda 写比较函数时，捕获变量要小心生命周期
很多人喜欢在 lambda 里捕获一个外部 vector<int> 来做权重比较，比如按某个映射关系排序。但若这个 vector 是函数局部变量，而 std::sort 在底层可能把 lambda 复制多次（尤其在并行版本中），就容易触发悬垂引用。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 优先用值捕获
[weights = weights]，而不是引用捕获[&weights]，除非你确认weights的生命周期一定更长 - 如果权重数据很大，改用指针或
std::shared_ptr捕获，比如[weights_ptr = std::make_shared<vector<int>>(weights)] - 避免捕获 this 指针后，在比较函数里调用非 const 成员函数——这会让 lambda 无法被
std::sort安全复制
std::sort 不稳定，需要稳定排序得换 std::stable_sort
如果你排序的是带 ID 的日志记录，又希望相同时间戳的条目保持原始顺序，用 std::sort 会打乱原有相对位置。这不是 bug，是标准规定：它只保证“有序”，不保证“稳定”。错误现象常表现为：两次运行结果一致，但和输入顺序对不上，误以为逻辑错了。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 只要需求里有“相同关键字下保持原序”这一条，直接换
std::stable_sort，接口完全一样，只是性能略低（一般 O(n log²n)） -
std::stable_sort对内存更敏感，大数据量时可能 fallback 到std::malloc分配临时缓冲区；若内存受限，得预估峰值占用 - 别指望靠“加个微小偏移”来模拟稳定——比如
a.time == b.time ? a.id < b.id : a.time < b.time，这虽能 work，但 id 可能溢出或破坏语义，不如直接换函数
自定义类型排序时，operator< 和比较函数别混用
有人给 struct Point 实现了 operator<，又额外写了个 lambda 用于按距离原点排序，结果传错参数类型：把 std::sort(v.begin(), v.end(), [](auto& a, auto& b) { return a.x < b.x; }) 用在 vector<Point> 上没问题，但若 vector 是 vector<unique_ptr<Point>>，lambda 就得改成 *(a) < *(b)，否则编译失败提示 no match for 'operator<'。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 明确容器元素类型：是
Point还是Point*或unique_ptr<Point>？比较函数参数类型必须一一对应 - 用
auto&推导时，注意它不会自动解指针；unique_ptr<T>的operator<默认比较的是指针地址，不是所指对象 - 如果类型已定义
operator<，又想临时换规则，别删它，而是显式传 lambda，这样两者互不干扰
最容易被忽略的是：比较函数的返回值必须在所有输入组合下都收敛，不能依赖未初始化变量、不能抛异常、也不能出现 a < b 和 b < a 同时为 true 的情况——这种错误往往只在特定数据集上暴露，调试成本很高。
