std::type_identity是C++20引入的别名模板，用于阻止模板参数自动推导以实现类型“不透明”；它通过将类型T包装为std::type_identity_t，使编译器不穿透该包装推导内部T，从而强制显式指定类型，避免重载错误、SFINAE失效或cv/引用修饰丢失。
std::type_identity 是什么，为什么需要它
当你在模板函数中传入一个类型参数，编译器会尝试对实参做类型推导——这有时会绕过你精心设计的模板约束。比如你希望某个参数必须是 T 类型，但实际传入 int& 时，T 可能被推成 int，导致引用丢失、cv 限定符被忽略，甚至 SFINAE 失效。std::type_identity 就是为“阻止推导”而生的：它把 T 包装成一个不参与推导的别名，让模板参数变成非推导上下文。
怎么用 std::type_identity 阻止模板参数推导
核心写法就是把原本直接写 T 的位置，替换成 std::type_identity_t<t></t>（C++20 起可用）。它等价于 typename std::type_identity<t>::type</t>，但更简洁。
常见用法场景：
- 函数模板中强制要求某参数类型必须精确匹配，不许退化：
template<typename T> void foo(std::type_identity_t<T> x); // x 的类型不参与推导，T 必须显式指定或由其他参数决定
- 配合
auto参数和约束时防止意外推导：template<typename T> requires std::is_integral_v<T> void bar(std::type_identity_t<T> value) { /* ... */ }这样调用bar(42)会失败（无法推导T），必须写bar<int>(42)</int>或bar<long>(42)</long>，避免隐式转换绕过约束 - 在别名模板中“冻结”类型：
template<typename T> using my_wrapper = std::pair<std::type_identity_t<T>, std::string>;
确保my_wrapper<int></int>真正保留引用，而不是被推成int
不加 type_identity 会出什么问题
典型错误现象包括：
立即学习“C++免费学习笔记（深入）”；
- 传入
const int&，模板参数T却被推成int，导致static_assert(std::is_const_v<t>)</t>失败 - 想用
std::enable_if_t<:is_lvalue_reference_v>></:is_lvalue_reference_v>做重载，结果因为推导把int&→int，SFINAE 直接失效，重载决议走错分支 - 配合
std::declval或decltype写 trait 时，推导导致返回类型与预期不符，比如本该是T&&却成了T - 在概念（concept）约束中，因推导丢失引用/const，使得
requires T t = std::declval<t>()</t>意外通过
兼容性与替代方案
std::type_identity 是 C++20 引入的，没有它时常用两种模拟方式：
- 自定义空结构体：
template<typename T> struct type_identity { using type = T; };注意要配套写type_identity_t别名才能用type_identity_t<t></t> - 用
std::integral_constant<t nullptr></t>或std::array<t></t>等“无数据但带类型”的东西，但语义不清、可读性差，且可能触发额外实例化
真正要注意的是：即使用了 std::type_identity_t<t></t>，如果同一模板里还有其他可推导参数，T 仍可能被间接推出来——它只保证该形参位置不参与推导，不是全局锁死。
