std::type_identity是c++20引入的别名模板，用于阻止模板参数自动推导以实现类型“不透明”；它通过std::type_identity_t将t包装为非推导上下文，强制显式指定类型，避免重载错误、sfinae失效或cv/引用修饰丢失。
std::type_identity 是什么，为什么需要它
当你写模板函数时，编译器默认会对参数做类型推导，有时这会绕过你精心设计的模板约束。比如 std::vector 构造函数接受一个 size_type，但如果你传入 int，它会被推导成 int 而非 size_type——除非你用 std::type_identity 把参数“包一层”，让推导停在那一层。
它本质是个空壳模板：template<class t> struct type_identity { using type = T; };</class>，C++20 引入，作用就是“让类型不参与推导”。
怎么在函数参数中阻止模板推导
最常见场景：你想强制用户显式指定某个模板参数，不让编译器从实参猜。比如实现一个只接受 std::size_t 的容器构造辅助函数：
template<class t>
void make_container(std::size_t n, std::type_identity_t<:size_t> = {}) {
// n 仍可推导，但第二个参数不参与推导，且强制调用者必须传 std::size_t
}</:size_t></class>
但更典型的是把它用在形参位置封住某个类型：
- 写成
template<class t> void foo(std::type_identity_t<t> x)</t></class>→x的类型不会反向推导T - 写成
template<class t> void foo(T x)</class>→x的类型直接决定T，完全失控 - 若你希望
T由第一个参数定，第二个参数只是“检查是否匹配T”，就必须用std::type_identity_t<t></t>
和 std::decay_t、std::remove_reference_t 的关键区别
很多人误以为 std::decay_t 或 std::remove_reference_t 也能“阻止推导”，其实不能——它们只是做类型变换，变换后的类型依然参与推导。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
比如：
-
template<class t> void f(std::decay_t<t> x)</t></class>→x的实际类型（如int&&变成int）仍用于推导T，等价于void f(int x) -
template<class t> void f(std::type_identity_t<t> x)</t></class>→ 编译器看到的是“一个叫std::type_identity_t<t></t>的类型”，而T在此上下文中不可推导，必须显式指定或由其他参数决定
换句话说：std::type_identity_t 不改变类型，只断开推导链；其它 _t 别名都会先算出具体类型，再参与推导。
实际踩坑点：别在返回类型或模板参数列表里乱用
std::type_identity 只对函数参数中的类型有推导抑制效果，用错位置毫无意义：
- 写成
template<class t> std::type_identity_t<t> bar() { ... }</t></class>→ 返回类型不影响推导，没用 - 写成
template<:type_identity_t> N> struct X {};</:type_identity_t>→ 编译错误，非类型模板参数不能套std::type_identity - 真正有效的只有：函数形参类型、作为别名模板的中间层、配合
requires做 SFINAE 检查
最容易被忽略的是——它只在“模板参数推导发生的位置”起作用，而推导只发生在函数调用时的实参匹配阶段。一旦模板已经实例化，它就只是个普通别名。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
