std::type_identity用于阻止模板参数推导和类型折叠，保持类型原样传递。1. 通过std::type_identity_t包装类型，可防止函数模板参数参与自动推导；2. 在create工厂函数中强制T由实参推导，提升类型安全；3. 在变参模板中配合指针使用，避免Ts...被意外推导；4. 常用于延迟展开、保护decltype类型不退化，是元编程中实现类型保持的关键工具。
在C++模板元编程中，std::type_identity 是一个类型包装工具，它的主要作用是阻止模板参数的自动推导或类型折叠，从而保持类型原样传递。它定义在头文件 <type_traits></type_traits> 中，结构非常简单：
template<class T>
struct type_identity {
using type = T;
};通过这个别名模板，我们可以将类型 T 包装起来，使得在某些上下文中编译器不会对它进行推导或隐式转换。
防止模板参数推导
当一个函数模板的参数使用了 std::type_identity_t<t></t>（即 typename type_identity<t>::type</t>），该位置的参数将不会参与模板实参推导。
例如：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
void func(T x, std::type_identity_t<T> y) {
// x 的类型会被推导
// y 的类型不会被推导，必须显式指定 T 或由 x 推导后强制匹配
}调用时：
```cpp func(10, 20); // OK：x 和 y 都是 int，T 被推导为 int func(10, 2.5); // 错误：T 推导为 int（来自 x），但 y 要求是 int，而 2.5 不匹配 ```这在需要控制推导行为、避免意外匹配时非常有用，比如实现安全的转发接口或约束参数一致性。
延迟类型展开与元编程中的占位
在模板元编程中，有时我们希望传递一个类型而不立即实例化模板，或者避免 const、& 等修饰符被去除（类型折叠）。
常见场景包括：
- 在
decltype表达式中保护类型不被退化 - 作为模板别名的中间层，避免过早求值
- 配合
std::common_type、std::is_same等 trait 使用，确保比较的是原始类型
实际应用示例
假设我们要写一个通用工厂函数，要求第二个参数的类型必须和模板参数一致，但不能让用户随意指定：
template<typename T>
T create(const std::type_identity_t<T>& init) {
return T{init};
}这样调用时，T 必须由 init 推导出来，用户无法显式传入不匹配的类型，增强了类型安全性。
另一个典型用途是在变参模板中，对某些参数禁用推导：
```cpp template这里确保 Ts... 必须显式提供，不会从指针类型反推，避免歧义。
基本上就这些。std::type_identity 看似简单，但在精细控制模板行为时非常关键，是现代 C++ 元编程中实现“类型保持”和“推导抑制”的标准工具之一。
