std::type_identity 是 c++20 引入的模板别名，用于在函数模板参数推导中阻止类型自动推导，其本质是透传类型但禁止编译器穿透推导，仅影响函数模板实参推导，对 decltype、sizeof 等完全透明，且零运行时开销。
std::type_identity 是什么，为什么能阻止类型推导
std::type_identity 是 C++20 引入的模板别名，定义在 <type_traits></type_traits> 中，作用是“原样透传类型但禁止编译器在模板实参推导中穿透它”。它不改变类型语义，但像一层薄薄的包装纸——对 decltype、sizeof 等完全透明，唯独在模板函数参数推导阶段，会让编译器停止自动展开嵌套类型。
常见误推导场景：比如你写 template<typename t> void f(T&& x)</typename>，传入 std::string{"abc"}，T 会被推成 std::string；但如果参数是 std::type_identity<t>::type&&</t>，T 就不会从实参反推，必须显式指定。
怎么用 std::type_identity 阻止模板参数推导
核心写法：把原本直接暴露的模板参数，换成 std::type_identity<t>::type</t> 作为形参类型。
- 错误写法（仍会推导）：
template<typename t> void foo(T x)</typename> - 正确写法（阻断推导）：
template<typename t> void foo(std::type_identity_t<t> x)</t></typename>（std::type_identity_t是std::type_identity<t>::type</t>的简写） - 若需转发引用，用
std::type_identity_t<t>&&</t>，不是T&& - 注意：只对函数模板参数推导生效，类模板推导（CTAD）不受影响
典型误推导场景与修复示例
比如你想写一个只接受 int 的重载，但又想保留模板形式做泛化预留：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
template<typename t>
void process(std::type_identity_t<t> value) {
static_assert(std::is_same_v<t int>, "only int allowed");
// ...
}</t></t></typename>
调用时必须显式写 process<int>(42)</int>；若写 process(42)，编译失败（因为 T 无法推导）——这正是你要的效果。
另一个常见坑：和 std::forward 混用时，别写错类型：
- ❌ 错误：
std::forward<t>(x)</t>—— 此时T是用户显式指定的，但x类型是std::type_identity_t<t>&&</t>，转发没问题 - ✅ 正确：
std::forward<:type_identity_t>>(x)</:type_identity_t>更直白，但通常用std::forward<t>(x)</t>也成立（因std::type_identity_t<t></t>与T是同一类型）
替代方案对比与兼容性提醒
在 C++20 之前常用 std::enable_if + 非类型参数或额外模板参数来“占位”，但写法冗长且易出错。而 std::type_identity 是标准、轻量、语义清晰的解法。
- 仅支持 C++20 及以上；C++17 项目需自行定义：
template<typename t> struct type_identity { using type = T; };</typename> - 不能用于非推导上下文（如默认模板参数、别名模板），否则无意义
- 对性能零影响：所有实例化后都被优化掉，汇编层面不存在任何开销
- 容易忽略的一点：如果函数有多个参数，只对加了
std::type_identity的那个参数起效，其余参数照常推导
真正要用好，关键是意识到：它不是用来“隐藏类型”，而是主动放弃推导权——把控制权交还给调用者，让接口契约更明确。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
