std::type_identity 是 c++20 引入的模板别名，用于阻断模板参数类型推导：它不改变类型，但使编译器无法从对应实参推导模板参数 t，常用于强制参数按显式指定类型匹配，避免 cv-qualified 或隐式转换导致的推导偏差。
std::type_identity 是什么，为什么需要它
当你在模板函数里写 T，编译器会尝试从实参推导 T；但有时你希望某个参数“不参与推导”，只按你写的类型来用——比如强制要求传 int*，而不是让编译器把 int 或 const int* 也糊进来。这时候 std::type_identity 就是那个“套壳子”的工具：它不改变类型，但能阻断模板参数推导。
std::type_identity 的典型误用场景
最常见错误是直接把 std::type_identity<t>::type</t> 当作函数参数类型写，却忘了它只是个别名，不是“魔法开关”。真正起作用的是把 std::type_identity<t></t> 用在模板参数位置上，让编译器无法从对应实参反向推导出 T。
- 错误写法：
void f(std::type_identity<int>::type x)</int>→ 这等价于void f(int x)，完全没阻断推导 - 正确写法：
template<typename t> void f(std::type_identity_t<t> x)</t></typename>，此时T不再从x推导，必须显式指定或由其他参数决定 - 更常见的是用于第二个及以上参数：第一个参数决定
T，第二个用std::type_identity_t<t></t>强制要求同类型指针/引用，避免用户传错 cv-qualified 版本
实际例子：防止 const 与非 const 混淆
假设你写一个泛型容器的查找函数，想让 key 类型和容器 value_type 一致，但又不希望用户传 const std::string& 却被推导成 const std::string 导致后续匹配失败：
template<typename t>
void find_by_key(const std::vector<t>& vec, std::type_identity_t<t> key) {
// key 类型严格等于 T，不会因传入 const T& 而推导出 const T
}</t></t></typename>
调用时：
-
find_by_key(v, "hello")→ 如果T是std::string，则"hello"会隐式转为std::string，没问题 -
find_by_key<:string>(v, "hello")</:string>→ 显式指定T，std::type_identity_t<t></t>展开为std::string，推导被绕过 - 如果不用
std::type_identity_t，只写T key，传const char*可能意外推导成const char*，和std::string容器不匹配
替代方案对比：decltype、std::declval、std::remove_reference
有人会想用 decltype 或 std::declval 绕开推导，但这些本质是“换种方式获取类型”，并不阻止推导本身；而 std::type_identity 是标准库明确为此设计的轻量级工具。
-
std::remove_reference_t<decltype></decltype>→ 依赖实参x，仍需推导，且可能引入引用/const 问题 -
std::declval<t>()</t>→ 仅用于 SFINAE 场景，不能当函数参数类型用 -
std::type_identity_t<t></t>→ 零开销、语义清晰、C++20 起可用，唯一目的就是“封住推导口”
它不解决所有类型匹配问题，比如涉及重载决议或转换构造函数时，仍要靠约束（requires）或 static_assert 补位；但它是控制推导起点最干净的一环。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
