std::type_identity用于阻止模板参数推导：它将类型t包装为type_identity，使编译器不穿透该包装推导内部t，从而强制显式指定类型，c++20起提供type_identity_t别名。
std::type_identity 用来阻止模板参数推导
当你写一个函数模板，比如 template<typename t> void f(T)</typename>，编译器会根据传入实参自动推导 T。但有时你希望某个形参“不参与推导”，只按你显式指定的类型来用——std::type_identity<t></t> 就是干这个的：它把 T 包一层，让推导停在那一层外面。
它的定义极简：template<class t> struct type_identity { using type = T; };</class>，所以 std::type_identity<t>::type</t> 就是 T，但关键在于：编译器**不穿透** type_identity 去推导内部的 T。
- 常见错误现象：想写一个接受任意迭代器但要求其 value_type 是 int 的函数，却误写成
template<typename it> void foo(It it)</typename>→ 无法约束It::value_type，且推导可能意外匹配非预期类型 - 正确做法是把约束部分“包起来”：
template<typename t> void foo(std::type_identity_t<:vector>::iterator> it)</:vector></typename>，这样T就不会从it推导，必须显式指定 - 注意：C++20 起才有
std::type_identity_t（即typename std::type_identity<t>::type</t>的别名），C++17 需自己定义或用std::enable_if_t<true t></true>等等效方式
和 std::decay_t、std::remove_reference_t 的核心区别
它们都做类型变换，但目的完全不同：std::decay_t 和 std::remove_reference_t 是为了“归一化”类型（比如去掉引用、const、数组转指针），而 std::type_identity_t 是为了“冻结”推导，不做任何变换。
-
std::decay_t<int></int>→int（类型变了） -
std::remove_reference_t<int></int>→int（类型变了） -
std::type_identity_t<int></int>→（类型完全不变，只是推导被阻断） - 性能无影响：它纯属编译期元操作，不生成任何运行时代码
- 兼容性：仅 C++20 引入，旧标准需自行实现或改用其他 SFINAE 技巧
典型使用场景：显式指定模板参数 + 类型约束组合
最实用的地方不是单独用，而是配合 requires 或 std::enable_if 实现“可推导接口 + 不可推导约束”的混合设计。
立即学习“C++免费学习笔记（深入）”；
- 例如：写一个通用容器插入函数，允许用户传任意迭代器，但要求容器元素类型必须匹配：
template<typename container> void insert_at(Container& c, typename Container::const_iterator pos, std::type_identity_t<typename container::value_type> val)</typename></typename> - 这样调用时，
Container可由c推导，而val的类型必须与Container::value_type一致，不能靠推导“绕过”检查 - 若不用
std::type_identity_t，直接写typename Container::value_type val，编译器会尝试从val反推Container，导致推导失败或歧义 - 另一个常见坑：在别名模板中误用，比如
using my_iter = std::type_identity_t<:vector>::iterator></:vector>—— 这毫无意义，它只是多套了一层，没解决任何问题
容易忽略的细节：它不解决所有推导冲突
std::type_identity 只阻断对“该位置参数”的推导，不影响其他参数，也不影响重载决议中的匹配优先级。它不是万能锁，更像一个精准的推导闸门。
- 如果多个参数都涉及同一模板参数，只在一个地方用
type_identity可能不够，需全局协调 - 和
const/&组合时要小心：例如std::type_identity_t<int>&</int>是左值引用，而std::type_identity_t<int></int>是右值引用，别误以为它会自动调整值类别 - 调试时看不到它的存在：它在 AST 中几乎透明，错误信息里通常只显示展开后的类型，所以推导失败时要往上游找——是不是某处本该用
type_identity却忘了加
