std::ranges::sort单靠projection无法实现多级排序，因其仅将每个元素映射为单一可比较值；必须用std::tuple打包多字段（如{p.age, -p.salary, p.name}）并依赖其字典序完成多级排序。
直接说结论：用 std::ranges::sort 做多级排序，靠投影（projection）本身做不到；必须组合多个 std::tuple 成员访问器，或自定义投影返回可比较的元组。
为什么单个 projection 无法实现多级排序
投影函数（如 [](const auto& x) { return x.age; }）只负责把每个元素映射成一个值，std::ranges::sort 拿到的仍是“一维”比较依据。它不支持像 Python 的 key + stable_sort 链式调用，也没有内置的“先按 A 排、A 相等再按 B 排”的语法糖。
常见错误现象是：写了两个 proj 参数，编译失败 —— std::ranges::sort 只接受一个 proj 参数，第二个会被当成比较器，类型不匹配。
- 投影本质是预处理，不是排序逻辑扩展
- 多级排序本质是定义一个“复合序”，需一次性给出全序关系
- 标准库没提供
then_by或and_then投影组合器（C++26 可能有，但目前没有）
最简洁可靠的写法：用 std::tuple 投影
把多个字段打包成 std::tuple，利用其字典序天然支持多级比较。这是目前最直观、零依赖、无需额外 lambda 嵌套的方案。
立即学习“C++免费学习笔记（深入）”；
假设有个结构体：
struct Person {
std::string name;
int age;
double salary;
};要按 age 升序，salary 降序，name 升序：
- 升序字段直接写
x.field - 降序字段取反（
-x.salary）或用std::greater{}包裹 —— 但 tuple 元素类型需一致，所以推荐取反（仅限算术类型）或用std::tuple+std::ref不现实，稳妥做法是统一升序语义后反转字段逻辑 - 更通用的做法：所有字段都升序，但对降序字段用
std::negate{}或手动取反
实操示例（C++20）：
std::ranges::sort(people, {}, [](const auto& p) {
return std::tuple{p.age, -p.salary, p.name}; // age↑, salary↓, name↑
});注意：{} 是默认比较器 std::less{}，不能省略（否则编译器可能推导失败）；投影返回的 tuple 必须所有成员可比较且类型稳定（避免 std::string& 引用悬垂）。
容易踩的坑：投影返回值生命周期和 const 正确性
投影函数返回的临时对象（如 std::tuple）会被拷贝进排序算法内部，通常安全；但若误写成返回局部引用或绑定临时字符串视图，就会出问题。
- 别写
[](const auto& x) -> const auto& { return x.name; }—— 返回的是std::string&，但 tuple 构造时会尝试绑定引用，引发未定义行为 - 避免投影中调用非 const 成员函数（如
x.getName().c_str()），除非确认getName()是 const 且返回值生命周期足够 - 如果字段是
std::optional<int></int>等类型，投影里记得处理value_or(0)，否则tuple无法比较空状态 - 性能上：
tuple投影每次排序都要构造，若对象很大且字段多，可考虑预计算索引数组 +std::ranges::sort索引，但绝大多数场景无感
替代方案：手写比较器 vs 投影 tuple，怎么选
有人倾向写完整 operator 或 lambda 比较器：
std::ranges::sort(people, [](const auto& a, const auto& b) {
return std::tie(a.age, -a.salary, a.name) < std::tie(b.age, -b.salary, b.name);
});这和 tuple 投影写法效果一致，但更啰嗦、重复字段名三次。区别在于：
- 投影版：逻辑集中、复用性强（同一个投影可用于
std::ranges::max_element等） - 比较器版：更灵活（可加 if 分支、短路逻辑），但无法被其他算法复用
- 编译器优化程度接近，不必为性能纠结写法
- 若排序逻辑复杂（比如按城市分组内排序），还是老实用比较器，别硬塞进投影
真正容易被忽略的是：当字段涉及浮点数（如 salary）时，直接取负可能导致 -0.0 和 0.0 比较异常；此时应改用 std::tuple{a.age, std::numeric_limits<double>::max() - a.salary, a.name}</double> 或显式比较器分支。
