std::type_identity 是 C++20 引入的模板别名，其 type 成员为 T 本身，但用在函数模板形参类型中构成非推导上下文，阻止编译器从实参推导对应模板参数，从而强制显式指定。
std::type_identity 是什么，为什么它能阻止类型推导
std::type_identity 是 C++20 引入的一个模板别名，定义为 template<class t> using type_identity = std::type_identity_t<t>;</t></class>，而 std::type_identity_t<t></t> 就是 T 本身。它看似“什么都没做”，但关键在于：当它用在函数模板参数中时，编译器**不把 std::type_identity<t>::type</t> 视为可推导的上下文**——也就是所谓的“非推导上下文”（non-deduced context）。
这意味着，如果一个形参类型写成 std::type_identity<t>::type</t>，编译器不会尝试从实参反推 T，从而强制调用者显式指定模板参数。
在模板函数中用 std::type_identity 阻止某个参数推导
典型场景是：你希望函数接受一个 T 类型的值，但同时又想让另一个参数（比如回调、容器或策略类型）由用户明确传入，而不是被实参“带偏”。
- 错误写法（推导被干扰）：
template<typename T, typename F> void process(T value, F func) { /* ... */ } // 调用 process(42, [](int x){ return x * 2; }); → F 被推成 lambda 类型，T 可能意外推成 int 或 long - 正确写法（锁定
T）：template<typename T, typename F> void process(std::type_identity_t<T> value, F func) { // T 不再从 value 推导，必须显式指定，如 process<int>(42, ...) } - 更常见的用途是“只锁一个参数”：
template<typename Container, typename Predicate> void filter(Container&& c, std::type_identity_t<pre class="brush:php;toolbar:false;"dicate> pred) { // Container 可从 c 推导，Predicate 必须显式指定或靠其他参数间接确定 }
std::type_identity 和 std::decay_t / std::remove_reference_t 的区别
它们都改变类型，但目的和效果完全不同：
立即学习“C++免费学习笔记（深入）”；
-
std::decay_t<t></t>会去掉引用、const/volatile，并对数组/函数类型做转换（比如转成指针），属于“类型规范化”，且仍是可推导的上下文； -
std::remove_reference_t<t></t>只去引用，也不构成非推导上下文； - 只有
std::type_identity_t<t></t>在模板形参中能可靠制造非推导上下文——它不改变语义，只“遮住”推导路径。
例如：template<typename t> void f(std::decay_t<t> x)</t></typename> 中，T 仍可被推导；而 template<typename t> void f(std::type_identity_t<t> x)</t></typename> 中，T 完全不可推导。
容易踩的坑：不是所有位置都有效
std::type_identity_t 只有在**模板参数声明中的形参类型位置**起作用。以下写法无效或达不到目的：
- 放在返回类型里：
template<typename t> std::type_identity_t<t> g() { ... }</t></typename>—— 返回类型不影响参数推导； - 嵌套在别的模板中：
std::vector<:type_identity_t>></:type_identity_t>—— 这里T仍可能被外层推导； - 用在默认模板参数里：
template<typename t typename u="std::type_identity_t<T">></typename>—— 默认参数不参与推导逻辑，也起不到“阻断”作用； - 忘记加
_t后缀：std::type_identity<t></t>是类模板，不能直接当类型用，必须用std::type_identity_t<t></t>。
真正起效的位置只有：函数模板的形参类型、类模板的成员函数形参类型、或者作为别名模板参数的一部分（如 template<template> class TT> struct X { ... };</template> 中的 TT 本身不可推，但那是另一回事）。
