std::type_identity是c++20引入的工具，用于在函数模板参数中制造非推导上下文，使type_identity::type不参与模板实参推导，从而强制显式指定或由其他参数确定t，避免推导冲突。
std::type_identity 是什么，为什么能阻止模板推导
std::type_identity 是 C++20 引入的工具类型别名，定义在 <type_traits></type_traits> 中，本质就是 template<class t> struct type_identity { using type = T; };</class>。它不改变类型，但关键在于：当用作函数参数类型时，type_identity<t>::type</t> 不参与模板实参推导 —— 因为它是“非推导上下文”（non-deduced context）。
换句话说，你写 void f(std::type_identity<int>::type x)</int>，编译器不会从 x 的实参去反推 T；它必须显式指定或由其他参数确定。
典型用法：让某个模板参数“不被推导”，强制用户显式指定
常见于需要部分参数自动推导、部分参数由调用者明确控制的场景，比如封装工厂函数或策略选择。
- 错误写法（全部推导，可能误推）：
template<class t> void process(T value, std::function<void> f);</void></class>
如果传入process(42, [](auto x){})，T可能被推成int，但std::function构造失败 —— 因为 lambda 类型不是std::function<void></void>。 - 正确写法（锁定
T）：template<class t> void process(T value, std::function<void>::type)> f);</void></class>
此时T仅从value推导，std::function参数类型不再参与推导，避免冲突。 - 更清晰的封装：
template<class t> using identity_t = std::type_identity<t>::type;</t></class>
然后写void process(identity_t<int> x)</int>，语义更直白。
和 std::decay_t / std::remove_reference_t 的关键区别
它们都做类型变换，但目的和效果完全不同：
-
std::decay_t<t></t>会把T&、const T、数组等转成“值类型”，且该结果仍可参与推导； -
std::type_identity<t>::type</t>完全等价于T，但包裹后就进入非推导上下文 —— 这是它唯一且不可替代的作用； - 别试图用
std::remove_cv_t或std::remove_reference_t替代：它们不制造非推导上下文，推导照样发生。
容易踩的坑：别在返回类型或 using 声明里滥用
std::type_identity 只在“模板参数推导上下文”中起作用，脱离这个场景就只是个冗余 wrapper：
- 写
template<class t> std::type_identity<t>::type foo() { return {}; }</t></class>没有意义 —— 返回类型不参与推导，std::type_identity白套一层； - 写
using U = std::type_identity<int>::type;</int>等价于using U = int;，纯属多此一举； - 嵌套使用如
std::type_identity<:type_identity>::type>::type</:type_identity>不增加任何效果，反而干扰阅读。
真正起作用的地方非常窄：只在函数模板形参列表中，作为某个参数的类型，且该参数类型依赖模板参数时，才需要它。漏掉这个前提，就只是画蛇添足。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
