C++ std::identity默认投影函数的作用 _ ranges算法投影功能演示【详解】-C++-PHP中文网

c++oding="utf-8" ?>

std::identity{} 是 c++20 ranges 算法中唯一合法、零开销且满足 concept 约束的恒等投影对象，必须用花括号初始化，不可省略或替换为 lambda。

c++ std::identity默认投影函数的作用 _ ranges算法投影功能演示【详解】

std::identity{} 是 C++20 ranges 算法中唯一合法、零开销、满足 concept 约束的恒等投影对象；它不是可选语法糖，而是当你需要「显式声明不作变换」时不可替代的语义占位符。

std::identity 是空结构体类型，仅支持聚合初始化。写成 std::identity 是类型名，std::identity() 会尝试调用不存在的默认构造函数，二者都会导致模板参数推导失败或重载解析错误。

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

虽然 [](auto&& x) { return x; } 行为上等价，但它无法满足标准库对投影的严格约束：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

不保证 constexpr 构造与调用（影响 requires 检查）
每次实例化生成新类型，破坏编译缓存、增加模板膨胀
在 concept 约束如 std::regular_invocable<:identity t></:identity> 中，lambda 类型不满足该要求
部分 libstdc++ 实现会对 std::identity{} 做零开销内联优化，lambda 则无此保障

ranges 算法的投影参数（Proj）是独立于比较器（Comp）的第三个（或更后）参数。误将其传入第二个位置，会导致 Comp 模板参数推导失败。

std::ranges::sort(v, std::ranges::less{}, std::identity{}) ✅ 投影在第三位
std::ranges::sort(v, std::identity{}) ✅ 省略比较器，默认 less{}，std::identity{} 仍作为第三参数被接受
std::ranges::sort(v, std::identity{}, std::ranges::less{}) ❌ 编译失败：std::identity{} 被当作 Comp，不满足 indirect_strict_weak_order
类似地，std::ranges::max_element(v, {}, std::identity{}) ✅ 投影是第四个参数，顺序不能错

当你封装一个接受投影的函数模板时，Proj = std::identity{} 是唯一能同时满足「可省略」「可显式传入」「不破坏 concept 检查」三重要求的默认值。

template<typename r typename proj="std::identity"> void sort_by(R&& r, Proj proj = {});</typename> ❌ 错误：默认模板参数是类型，= {} 无法初始化类型名
template<typename r typename proj="std::identity"> void sort_by(R&& r, Proj proj = std::identity{})</typename> ✅ 正确：提供实例，且 std::identity{} 可参与模板实参推导
若用 Proj = [](auto&& x){return x;}，则每次调用生成新类型，模板无法复用
省略投影参数虽在简单调用中可行，但在 SFINAE 或 requires 子句中易引发推导歧义

最容易被忽略的一点是：std::identity{} 的语义不是“什么也不做”，而是“明确启用投影机制但不做变换”——这决定了它在算法重载选择、concept 约束、模板推导路径中的关键地位；漏掉花括号、放错位置、或用 lambda 替代，表面可能编译通过，实则已脱离标准行为边界。