std::ranges::sort的投影参数是作用于每个元素的提取器，需接受const左值引用并返回待比较值；必须显式传入比较器（如std::less<>{}），因投影不改变比较器输入类型；投影须安全、返回类型一致。
std::ranges::sort 投影参数到底传什么
投影（projection）不是函数对象本身，而是作用在每个元素上的“提取器”——它必须能被调用一次，接收一个 const T&（或对应迭代器解引用类型），返回你真正想比较的值。常见错误是传错签名，比如传 [](auto x) { return x.name; } 却忘了 x 是 const Person&，导致编译失败。
正确写法要求投影可接受 const 左值引用。例如对 std::vector<person></person> 按姓名排序：
std::ranges::sort(people, std::less<>{}, &Person::name);
这里 &Person::name 是指向成员变量的指针，std::ranges::sort 内部会自动做 std::invoke(proj, *it)；若要用 lambda，则必须显式支持 const 引用：
std::ranges::sort(people, std::less<>{}, [](const Person& p) { return p.name; });
为什么 std::less<>{} 必须显式传，不能省略
因为一旦用了投影，编译器无法自动推导比较逻辑该用哪个 operator<：你投影出的是 std::string，但原始元素是 Person，默认比较器仍试图比较 Person 类型。不传比较器会触发 SFINAE 失败或模糊重载错误。
立即学习“C++免费学习笔记（深入）”；
- 只传投影不传比较器 → 编译错误：
no matching function for call to 'sort(..., ...)' - 投影返回
int，但漏传比较器 → 同样失败，哪怕int有内置< - 想用默认升序？必须写
std::less<>{}或std::ranges::less{}（C++20 起推荐后者）
投影和自定义比较器能一起用吗
能，而且这是投影的核心价值：分离“取值”和“比大小”。比如按绝对值排序整数，但希望负数排在正数前面（即 -5 在 +3 前）：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
std::vector<int> v = {-5, 3, -1, 4};<br>std::ranges::sort(v,<br> [](int a, int b) { return std::abs(a) < std::abs(b) || (std::abs(a) == std::abs(b) && a < b); },<br> [](int x) { return std::abs(x); });
注意：此时比较器的两个参数 a、b 是原始元素（int），不是投影结果；投影仅用于预处理，不参与比较器逻辑。常见误区是以为比较器参数已经是投影后的值 —— 并不是。
- 投影只影响“每次取哪个字段/值来参与比较”，不改变比较器的输入类型
- 若比较逻辑复杂且依赖投影结果，建议把全部逻辑写进比较器里，不用投影
- 投影适合简单提取（成员指针、lambda 返回标量/字符串），避免在投影里做耗时计算
std::ranges::sort 投影在容器嵌套时的陷阱
对 std::vector<std::optional<Data>> 排序时，若投影写成 &std::optional<Data>::value，会在遇到 std::nullopt 时崩溃。投影函数必须对所有合法迭代器位置都安全。
安全做法是用 lambda 显式检查：
std::ranges::sort(opts,<br> std::less<>{},<br> [](const std::optional<Data>& opt) -> const Data& {<br> return opt.has_value() ? opt.value() : dummy_data;<br> });
更稳妥的方式是先移除空值，或用 std::views::filter 预处理 —— 投影不是容错机制，它假设输入数据满足业务约束。
另一个易忽略点：投影返回类型必须一致。若有的元素返回 std::string，有的返回 std::string_view，模板推导会失败。统一用 std::string 或确保底层类型完全相同。
