sort 函数默认用 operator< 比较元素大小,要求元素类型支持该运算符重载,以升序排列。

sort 函数默认用 operator,要自定义就得传比较函数
std::sort 默认对元素调用 operator 比较,所以自定义排序必须显式传入第三个参数——一个可调用对象(函数指针、lambda、functor)。不传就只能排内置类型或已重载 <code> 的类,否则编译失败。
- 比较函数签名必须是
bool( const T&, const T& ),返回true表示第一个参数应排在第二个之前 - 不能修改参数(必须是
const引用),否则 lambda 无法推导或编译报错 - 如果用普通函数,需确保作用域可见;用 lambda 最常用,也最灵活
用 lambda 写升序/降序,注意捕获和参数类型
lambda 是最简洁的方式,尤其涉及外部变量时。但要注意:参数类型必须和容器元素类型严格匹配(比如 vector<int></int> 就用 int,不是 auto —— C++17 虽支持 auto 参数,但 sort 要求可推导的明确签名)。
vector<pair<int, string>> v = {{3,"c"}, {1,"a"}, {2,"b"}};
// 按 first 升序
sort(v.begin(), v.end(), [](const auto& a, const auto& b) { return a.first < b.first; });
// 按 second 长度降序(C++17+)
sort(v.begin(), v.end(), [](const auto& a, const auto& b) { return a.second.size() > b.second.size(); });- 写
const auto&比auto更安全,避免拷贝且兼容 const 成员访问 - 若需访问局部变量(如按某个阈值过滤),用
[&threshold]捕获,但别捕获将被排序的容器本身 - 降序直接把
<换成>,别用greater<>()—— 它只对单一类型有效,不适用于结构体字段
用函数对象(functor)适合复用或带状态的规则
当排序逻辑复杂、需多次使用,或需要保存中间状态(比如计数、引用外部配置),函数对象比 lambda 更合适。它本质是重载了 operator() 的 struct/class。
struct ByNameLength {
bool operator()(const string& a, const string& b) const {
return a.length() < b.length();
}
};
vector<string> names = {"Alice", "Bob", "Charlie"};
sort(names.begin(), names.end(), ByNameLength()); // 注意括号:构造临时对象- 必须加
const修饰operator(),否则sort内部调用可能失败 - 如果 functor 有成员变量(比如
case_sensitive标志),可在构造时传入,实现策略复用 - 相比 lambda,编译期更易内联,但代码略冗长
常见错误:谓词不满足严格弱序,导致 undefined behavior
这是最隐蔽也最危险的问题。如果比较函数返回结果不满足「严格弱序」(比如对相同元素有时返回 true 有时 false,或 a<b 和 b<c 为真但 a<c 为假),sort 可能崩溃、死循环或产生乱序——而且只在特定数据下触发,极难复现。
立即学习“C++免费学习笔记(深入)”;
- 禁止在比较函数里调用随机数、修改全局状态、读取未同步的共享变量
- 避免浮点数直接用
<比较(精度问题),应改用abs(a - b) < eps判断相等后再比大小 - 对结构体多字段排序,务必用「短路逻辑」:先比主键,相等再比次键,例如
return a.x != b.x ? a.x < b.x : a.y < b.y;
实际项目里,只要比较逻辑稍复杂,就值得单独抽成命名函数或 functor,并加单元测试验证其满足严格弱序——这点比语法正确更重要。











