std::ranges::sort的投影参数必须是一元可调用对象，不能是成员指针；它先对元素应用投影再比较结果，需确保返回类型一致且可被比较器处理。
std::ranges::sort 投影参数必须是可调用对象，不能是成员变量名
很多人写 std::ranges::sort(v, std::less{}, &Person::name) 能编译通过，但换成 &Person::age 就报错“no matching function”，其实是误用了指针到成员的语法。投影（projection）要求传入的是一个**一元可调用对象**，而 &Person::age 是 int Person::* 类型，不是函数——它只有在绑定到具体对象时才能取值。
正确做法是用 lambda 或 std::mem_fn：
std::ranges::sort(people, {}, [](const auto& p) { return p.age; });
或
std::ranges::sort(people, {}, std::mem_fn(&Person::age));
- lambda 更直观、支持任意表达式（比如
p.name.size()） -
std::mem_fn略快（无闭包开销），但仅限直接访问成员 - 别用
std::bind：它生成的可调用体在 C++20 ranges 中可能不满足indirectly_unary_invocable概念
投影和比较器的组合顺序影响排序逻辑
调用形式是 std::ranges::sort(r, comp, proj)，实际行为是：对每对元素 a、b，先分别调用 proj(a) 和 proj(b)，再用 comp(proj(a), proj(b)) 判断大小。也就是说，comp 比较的是**投影后的结果**，不是原对象。
立即学习“C++免费学习笔记（深入）”；
常见误用：
- 传
std::greater{}但投影返回std::string→ 按字典逆序排字符串，不是按结构体字段逆序 - 想按
abs(x)升序，却写成std::ranges::sort(v, std::less{}, [](int x){return abs(x);})→ 正确，但若写成std::greater{}就变成按abs(x)降序 - 投影返回
std::optional<int></int>时，std::less{}会把nullopt视为最小值（符合预期），但自定义比较器需显式处理空值
投影导致迭代器失效风险比传统 sort 更隐蔽
std::ranges::sort 要求范围 r 必须满足 random_access_range 且其迭代器可移动赋值。如果投影捕获了局部引用或指针（比如 lambda 中用了 &local_map），而排序过程中容器重分配（如 std::vector 扩容），投影内部的悬垂引用就会触发未定义行为。
安全写法：
- 投影只访问传入对象的成员，不捕获外部状态
- 必须捕获时，用值捕获（
[map = local_map]）而非引用 - 对
std::list或std::forward_list，根本不能用std::ranges::sort（不满足 random_access_range），得回退到list::sort
错误示例（运行时崩溃风险）：
auto& cache = get_cache(); // 返回局部 static map
std::ranges::sort(items, {}, [&cache](const Item& i) { return cache.at(i.id); });
结构体字段类型不支持 operator
比如结构体里有个 std::array<float></float> 表示坐标，你想按欧氏距离排序。C++20 不给 std::array 默认定义 operator，传统 <code>std::sort 得写完整比较函数；而 std::ranges::sort 可以靠投影剥离计算逻辑：
std::ranges::sort(points,
[](const auto& a, const auto& b) { return a.dist_sq < b.dist_sq; },
[](const Point& p) -> float { return p.x*p.x + p.y*p.y + p.z*p.z; });
但更简洁的是把距离预存或用 lambda 一次算清：
std::ranges::sort(points, {}, [](const Point& p) {
return p.x*p.x + p.y*p.y + p.z*p.z;
});
注意：这里依赖 float 的 operator，如果字段是自定义类型且没实现比较，就必须同时提供投影和比较器，缺一不可。
真正容易被忽略的点是：投影函数的返回类型必须一致，且所有返回值能被同一个比较器处理——比如混用 int 和 long long 可能触发模板推导失败，显式标注 lambda 返回类型更稳妥。
