std::type_identity能阻止模板参数推导，因其别名模板展开后的类型属于非推导上下文；例如template<void foo(std::type_identity_t x)中，x类型严格为T，不随实参引用或cv限定而改变。
为什么std::type_identity能阻止模板参数推导
当你写一个函数模板，比如 template<typename t> void f(T)</typename>，编译器会根据实参类型自动推导 T。但有时你希望某个参数“不参与推导”，比如强制要求调用者显式指定 T，或让某个形参类型保持原样（哪怕传入的是引用、cv限定类型）。这时 std::type_identity 就是标准库提供的轻量级工具：它是个别名模板，定义为 template<typename t> struct type_identity { using type = T; };</typename>，所以 std::type_identity<t>::type</t> 就是 T，但它在模板实参推导中属于“非推导上下文”——编译器不会从它展开后的类型反推 T。
怎么用std::type_identity包装参数防止推导
典型场景是想让某个参数类型严格按模板参数 T 解释，而不是按实参类型推导。常见错误是直接写 void foo(T x)，结果传入 int& 时 T 被推成 int&，而非你期望的 int。
正确做法是把形参类型写成 std::type_identity_t<t></t>（C++20 起可用）：
template<typename T>
void foo(std::type_identity_t<T> x) {
// 这里 x 的类型就是 T，不是 T& 或 const T
}
使用示例：
立即学习“C++免费学习笔记（深入）”；
-
foo(42)→ 编译失败，因为T无法推导（std::type_identity_t<t></t>是非推导上下文） -
foo<int>(42)</int>→ 成功，x类型为，不是int&&或const int -
foo<int>(std::move(x))</int>→ 仍为int，不会退化成int&&
和std::decay_t、引用折叠比起来有什么区别
std::type_identity_t<t></t> 不做任何类型变换，只起“阻断推导”作用；而 std::decay_t<t></t> 会去掉引用、cv限定，并对数组/函数类型做转换，适合转发但不保留原始意图。
容易踩的坑：
- 误以为
std::type_identity_t<t>&</t>能保留引用——不行，它仍是非推导上下文，且加了&后类型变成T&，但推导依然被禁，必须显式指定T - 在类模板中滥用：类模板参数本身不推导，
std::type_identity主要用于函数模板参数控制 - C++17 及以前没有
std::type_identity，需手写等价物：template<class t> struct type_identity { using type = T; };</class>
实际项目中哪些地方必须用它
最典型的三个场景：
- 实现“显式类型要求”的工厂函数，例如
make_unique<:type_identity_t>>(...)</:type_identity_t>防止用户传入int*却让T被推成int* - 配合
std::invoke或自定义调用包装器，确保 callable 的返回类型不被实参干扰 - 写泛型容器的插入接口，如
emplace(std::type_identity_t<value_type>...)</value_type>，避免因传入临时对象导致value_type被推成右值引用
注意：它不解决所有推导问题，比如当多个参数都参与推导时，仅一个用 std::type_identity 只能保护那个位置；真正需要全链控制，还得结合 std::declval 或 SFINAE。
