C++ std::identity用法 _ 默认投影函数在ranges算法中的应用【详解】-C++-PHP中文网

std::identity{}必须显式初始化，因为它是空结构体类型，仅支持聚合初始化；std::identity()调用不存在的默认构造函数，std::identity（无括号）是类型而非值，均导致编译失败。

c++ std::identity用法 _ 默认投影函数在ranges算法中的应用【详解】

std::identity 是 C++20 ranges 算法中唯一合法、零开销、满足 concept 约束的恒等投影类型；它不能用 []{return _1;} 或 std::ref 替代，显式传入时必须带花括号 std::identity{}，否则编译失败或触发错误重载。

为什么 std::identity{} 必须显式初始化（带 `{}`）

模板参数推导依赖初始化语法：std::ranges 算法如 std::ranges::sort 的投影参数默认是 Proj = std::identity，但该默认值是类型名，不是可调用对象。你传参时必须提供实例——而 std::identity 是空结构体类型，仅支持聚合初始化，即 std::identity{}。写成 std::identity() 会尝试调用默认构造函数（不存在），std::identity（无括号）则被当作类型而非值，导致编译器无法匹配参数签名。

错误写法：std::ranges::sort(v, std::identity) → 类型不匹配，SFINAE 失败
错误写法：std::ranges::sort(v, std::identity()) → “no matching constructor” 错误
正确写法：std::ranges::sort(v, std::identity{}) → 构造空对象，满足 indirectly_unary_invocable concept

std::identity{} 在哪些 ranges 场景下不可省略

当你需要「显式占位」以维持接口一致性、或配合其他参数调整顺序时，std::identity{} 就成了必要项。典型场景不是“默认行为”，而是“明确放弃变换”的语义声明。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

与自定义比较器共用：例如按 std::pair::second 排序，但又想保留未来切到 first 的扩展性，写成 std::ranges::sort(v, {}, &P::second) 是对的；但如果某天你想临时切回原样排序，就得改成 std::ranges::sort(v, {}, std::identity{})，而不是删掉第三个参数——删掉会导致投影退化为隐式默认，但部分算法（如 std::ranges::transform）没有该默认，会编译失败
在 std::ranges::transform 中做无变换复制：std::ranges::transform(src, dst.begin(), std::identity{}) 比 std::ranges::copy 更语义清晰，且能统一处理「可能有变换/可能无变换」的泛型逻辑
作为模板参数占位：比如封装一个排序函数模板 template<typename r typename proj="std::identity"> void sort_by(R&& r, Proj proj = {})</typename>，调用时若传 std::identity{}，可确保 Proj 被正确定义为具体类型，避免因默认模板参数未实例化导致 concept 检查绕过

std::identity{} 和 lambda 的关键差异（不只是写法不同）

表面上都是“返回原值”，但底层约束、编译行为和 ABI 影响完全不同。

std::identity{} 是标准库定义的单一类型，满足 regular_invocable 和 copy_constructible，且被标准要求必须 constexpr 可调用、可默认构造、无状态；编译器对其内联率接近 100%，汇编中完全消失
lambda 如 [](auto&& x) { return x; } 每次定义都生成新类型，头文件中被多 TU 包含时引发模板爆炸，符号体积膨胀；即使简单，也可能因捕获语义或返回类型推导（如引用折叠）意外产生非 const& 返回，破坏算法对投影结果的 const 正确性假设
更隐蔽的问题：lambda 返回 auto 时，若输入是 std::reference_wrapper<t></t>，lambda 可能返回 T&&，而 std::identity{} 始终保持原 cv/ref-qualifier —— 这在 std::ranges::for_each 遍历 std::vector<:reference_wrapper>></:reference_wrapper> 时会影响是否绑定到临时对象

容易被忽略的陷阱：投影返回引用时的生命周期风险

std::identity{} 不改变输入的值类别，但它不负责管理所返回引用的生命周期。这是最容易出错却最难调试的一点。

若你把 std::identity{} 用在临时对象上，比如 std::ranges::max({1,2,3}, {}, std::identity{})，没问题——因为 std::initializer_list 生命周期延长至整个表达式
但若投影目标本身是短生命周期临时量，例如 std::ranges::find(vec, 42, [](auto& x) { return x.data(); })（假设 x 是 std::string 临时），改用 std::identity{} 并不能规避问题；它只是透传，不延长生存期
尤其注意 std::identity{}(std::ref(x)) 返回的是 T&，不是 std::reference_wrapper<t></t> —— 所以它不能用于需要 wrapper 语义的上下文（如绑定到 std::function）