std::ranges::sort的投影参数必须是可调用对象，不能是数据成员指针；需用lambda或std::mem_fn实现字段提取，且投影返回类型须与比较器参数类型一致，同时要求迭代器满足随机访问概念。
std::ranges::sort 投影参数必须是可调用对象，不是成员变量名
很多人写 std::ranges::sort(v, {}, &Person::name) 以为能按姓名排序，结果编译失败——&Person::name 是数据成员指针，不是可调用对象。投影（projection）要求传入一个函数对象，它接受结构体对象并返回用于比较的值。
正确做法是用 lambda 或 std::mem_fn：
std::ranges::sort(people, std::less<>{}, [](const Person& p) { return p.name; });
或者更简洁地依赖默认比较：
std::ranges::sort(people, {}, [](const Person& p) { return p.name; });
- lambda 比
std::mem_fn(&Person::name)更直观，且支持自动类型推导 - 如果
name是std::string，默认std::less<>{}就够用；若需忽略大小写等定制逻辑，需显式传入比较器 - 投影函数不能修改原对象，否则行为未定义；避免在 lambda 中写
p.name = "xxx"
投影 + 自定义比较器组合使用时，比较器作用于投影后的值
比如按年龄倒序排列，但只对 18 岁以上的人生效（其他人排在末尾），这时投影和比较器要协同设计：
立即学习“C++免费学习笔记（深入）”；
std::ranges::sort(people, [](int a, int b) {
bool validA = (a >= 18), validB = (b >= 18);
if (validA != validB) return validA > validB;
return a > b;
}, [](const Person& p) { return p.age; });
注意：比较器的两个参数 a 和 b 是投影函数返回的值（这里是 int），不是 Person 对象本身。
- 投影先被调用一次获得每个元素的“键”，再把所有键两两送入比较器
- 比较器签名必须是
bool(T, T)，其中T是投影返回类型，不能是结构体类型 - 若投影返回
std::string_view，比较器就不能接收const std::string&—— 类型不匹配直接编译失败
结构体字段为 const 或私有时，投影 lambda 必须有对应访问权限
如果 Person::id 是 private const int，而你又没提供 public getter，lambda 里直接写 p.id 会编译报错：error: 'id' is a private member of 'Person'。
解决方式只有两种：
- 加 public getter：例如
int get_id() const { return id; }，然后投影写成[](const Person& p) { return p.get_id(); } - 把 lambda 定义在
Person的友元上下文中（极少用，破坏封装） - 不要试图用
const_cast强转或 reinterpret_cast 绕过 —— 这属于未定义行为，且现代编译器可能优化掉访问
另外，字段为 const 不影响投影读取，只要可访问就行；但若字段是 mutable，投影中修改它虽语法合法，却违背排序语义（排序不应改变数据状态）。
std::ranges::sort 要求迭代器可随机访问，vector/string 可用，list/map 不行
写 std::ranges::sort(my_list, {}, &Node::value) 会触发 SFINAE 失败或静态断言错误，因为 std::list::iterator 是双向迭代器，不满足 std::random_access_iterator 概念。
常见容器适配情况：
-
std::vector、std::deque、std::string、原生数组：✅ 直接可用 -
std::list、std::forward_list：❌ 必须先拷贝到 vector 再排，或改用std::list::sort()成员函数 -
std::map、std::unordered_map：❌ 键值对不可重排；如需按 value 排序，得提取为std::vector<std::pair<K,V>>后再排
运行时报错不常见，基本都在编译期卡住，错误信息通常含 concept not satisfied 或 no matching function，重点看模板实参推导失败的位置。
