c++oding="utf-8" ?>
std::identity不是语法糖，而是std::ranges中唯一能安全、零开销表达恒等投影的标准函数对象；它必须显式用于需声明投影又不做变换的场景，如泛型模板默认投影、concept约束验证及views::transform占位优化，且参数位置必须严格为第三个（投影位），误放第二位将导致concept推导失败。
std::identity 不是语法糖，它是 std::ranges 投影机制中唯一能安全、零开销表达“不变换”的标准类型；用 lambda 替代在多数场景下能跑通，但会悄悄破坏 constexpr 性、concept 约束和编译器优化机会。
std::identity 必须显式出现的三种典型场景
它只在你需要「显式声明投影参数」，又「不想做任何变换」时才不可省略：
- 对
std::vector<:pair std::string>></:pair>排序，想用 pair 默认比较（即先比first，再比second），但误写成std::ranges::sort(v, &std::pair<int std::string>::first)</int>—— 这实际按 first 投影后比较，行为不符预期；正确做法是显式传std::identity{}作为第三个参数，让算法走原生 pair 比较逻辑 - 写一个泛型函数模板，要求其投影参数满足
std::regular_invocable<proj t></proj>约束，而你希望默认分支用恒等投影 —— 此时只能用std::identity，因为 lambda 类型无法通过该 concept 检查（除非手动加constexpr+noexcept+ 完整 SFINAE 支持，实操几乎不可行） - 在
std::views::transform(std::identity{})中作占位视图（例如配合views::filter做管道组合），此时编译器可将整个transform视为无操作并完全内联掉；换成[](auto&& x) { return x; }，某些 libstdc++ 版本会保留调用桩，影响最终汇编质量
std::identity 参数位置错放导致编译失败
最常见错误：把 std::identity{} 当成比较器传给 std::ranges::sort 第二个参数，比如写成 std::ranges::sort(v, std::identity{}) —— 这会让编译器尝试推导 Comp 模板参数为 std::identity，但它不满足 indirect_strict_weak_order 要求，直接报错（典型错误信息：no matching function for call to 'sort' 或更长的 concept failure 描述）。
正确调用方式只有两种：
- 省略比较器，只传投影：
std::ranges::sort(v, std::identity{})—— 此时std::identity{}是第三个参数，靠默认值机制绑定到Proj - 显式传全三个参数：
std::ranges::sort(v, std::ranges::less{}, std::identity{})
注意：不能写 std::ranges::sort(v, {}, std::identity{})，因为 {} 无法推导出 std::ranges::less 类型，仍会触发模板推导失败。
std::identity 和 lambda 在 transform / sort 中的行为差异
表面看 std::ranges::transform(src, dst, std::identity{}) 和 std::ranges::transform(src, dst, [](auto&& x) { return x; }) 效果一样，但底层处理不同：
-
std::identity是空类型，无状态、constexpr构造、noexcept调用，libstdc++ 和 MSVC 都会对它做特化路径识别，跳过函数调用开销 - lambda 即使写成
[]{return x;}，只要捕获为空，多数编译器也能优化掉，但一旦涉及[&ctx]或条件分支（如[flag](auto x) { return flag ? x*2 : x; }），就彻底失去投影优化资格 - 在
std::ranges::sort中，若投影返回类型不是原始元素类型（比如返回int而原容器是std::vector<long></long>），则比较器实际作用于投影结果；而std::identity{}保证返回原类型引用，避免隐式转换干扰排序稳定性
真正容易被忽略的是：std::identity 的存在意义不在“做什么”，而在“让编译器知道你明确选择了恒等映射”——这个意图声明本身，就是 C++20 ranges 安全性和可优化性的基础设施。漏掉它，有时程序照常运行；但一旦进入 template-heavy 场景或需要跨平台 ABI 兼容，问题就会从编译期错误变成静默性能退化或 concept 不匹配。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
