sort的第三个参数必须是可调用对象；非静态成员函数因含隐式this指针而类型不匹配，应改用Static成员函数、全局函数或Lambda表达式。
sort 的第三个参数必须是可调用对象，不是函数指针类型声明
很多人写 sort(v.begin(), v.end(), cmp) 时，cmp 是个普通函数，却在类内定义成 bool cmp(...) —— 这会编译失败，因为非静态成员函数有隐式 this 指针，类型不匹配。c++ 要求比较器能被直接调用，且签名形如 bool( const T&, const T& )。
- ✅ 正确做法：把
cmp声明为static成员函数，或定义在全局/命名空间作用域 - ✅ 更推荐：用 lambda（尤其捕获局部变量时），比如
sort(v.begin(), v.end(), [&](const auto& a, const auto& b) { return a.x - ❌ 错误写法：
class A { bool cmp(...) { ... } }; sort(..., a.cmp)—— 编译报错no matching function for call to 'sort' - ⚠️ 注意：lambda 若需在类外复用，得用
auto接收或显式指定函数对象类型（如std::function<bool></bool>），但会带虚调用开销
自定义排序时，operator
这是最常被忽略的底层规则。一旦违反，sort 行为未定义：可能崩溃、死循环、结果乱序，甚至不同 STL 实现表现不一致。
- ✅ 正确实现：返回
true当且仅当第一个参数「严格小于」第二个（不能含等于逻辑） - ❌ 典型错误：
return a.x （含等号）、<code>return abs(a.x) （不满足传递性） - ⚠️ 特别注意：浮点数直接比较大小极易破坏弱序，建议用
std::abs(a - b) 判断相等后，再分情况返回 - ? 验证技巧：手写三元组测试，确保若
cmp(a,b)==true且cmp(b,c)==true，则cmp(a,c)也必须为true
vector> 排序时，按 first 升序、second 降序怎么写
默认 pair 的 operator 是字典序（先比 <code>first，相等再比 second），但「一升一降」无法靠默认行为达成，必须手动写比较逻辑。
- ✅ 简洁写法：
sort(v.begin(), v.end(), [](const auto& a, const auto& b) { return a.first != b.first ? a.first b.second; }) - ✅ 可读性更强的写法：先判断
first，相等再比second取反 - ⚠️ 不要用
return make_pair(a.first, -a.second) —— 字符串不能取负，且 <code>string没有负号重载 - ? 小技巧：如果
second是数值类型且范围可控，可用INT_MAX - b.second替代取反，避免溢出风险
sort 在 C++20 后支持 ranges::sort，但和传统 sort 行为不完全等价
新接口更简洁，但默认不支持原地修改容器以外的迭代器范围（比如 vector 子区间），且部分编译器对 ranges::sort 的诊断信息更模糊。
立即学习“C++免费学习笔记（深入）”；
- ✅ 新写法：
std::ranges::sort(v, {}, &MyStruct::score)（按成员变量排序） - ✅ 也可传 lambda：
std::ranges::sort(v, [](const auto& a, const auto& b) { return a.id - ❌ 注意：
ranges::sort第二个参数是投影（projection），不是比较器；比较器是第三个参数，顺序容易搞混 - ⚠️ 兼容性坑：MSVC 19.30+、GCC 10+、Clang 12+ 才稳定支持；旧项目混用时，
using namespace std::ranges可能意外劫持sort名称，引发 ODR 违规
实际写的时候，最容易卡住的不是语法，而是弱序没写对，或者把成员函数当成裸函数传进去——这两个点一错，编译器不一定报清楚，运行时才出问题。