std::type_identity能阻止模板参数推导，因为它将T包装为非推导上下文，使编译器无法穿透推导内部类型；它仅用于函数模板参数中控制推导行为，不参与运行时操作，亦不改变cv限定符。
std::type_identity 为什么能阻止模板参数推导
因为 std::type_identity<t></t> 是一个别名模板，它把 T 包装成一个“不透明”的类型：编译器在函数模板实参推导阶段，不会穿透 std::type_identity 去查看内部的 T，从而让该位置变成非推导上下文（non-deduced context）。这和 std::identity（C++20）不同——后者是可调用对象，不参与类型推导；而 std::type_identity 是纯类型工具，专为阻断推导设计。
常见误用是把它当“类型转换”或“类型擦除”用，其实它不做任何运行时操作，仅影响编译期推导行为。
在函数模板中让某个参数不参与自动推导
典型场景：你希望用户显式指定某个模板参数（比如分配器类型、策略类型），但又不想把它放在模板参数列表最前面（破坏调用便利性），这时就用 std::type_identity 把它“藏”在参数类型里。
- 错误写法（
Alloc会被推导，失去控制权）：template<typename T, typename Alloc = std::allocator<T>> void foo(T, Alloc);
调用foo(42, std::pmr::polymorphic_allocator{})会尝试推导Alloc为std::pmr::polymorphic_allocator，但可能和默认值冲突或引发二义性 - 正确写法（强制
Alloc不推导）：template<typename T, typename Alloc = std::allocator<T>> void foo(T, std::type_identity_t<Alloc>);
此时第二个参数类型是std::type_identity_t<alloc></alloc>，编译器无法从实参反推Alloc，必须靠显式模板实参或默认值生效 - 调用时若需指定
Alloc，必须写成：foo<int std::pmr::polymorphic_allocator>>(42, {})</int>；若接受默认值，直接foo(42, {})即可（因为Alloc有默认值，且不推导）
和 std::declval + decltype 组合用于 SFINAE 场景
在需要延迟求值或屏蔽非法表达式的地方，std::type_identity 可避免过早触发 SFINAE 失败。例如判断某类型是否有 begin() 成员函数，但又不想因 T{} 不可构造而让整个重载集失效：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
template<typename T>
auto has_begin_impl(int) -> decltype(std::declval<std::type_identity_t<T>&>().begin(), std::true_type{});
template<typename T>
std::false_type has_begin_impl(...);
这里用 std::type_identity_t<t>&</t> 替代裸 T&，确保 T 不被推导（虽然此处没模板参数要推，但关键是阻止编译器在别名展开前就检查 T 的可构造性），使 SFINAE 更稳定。实际中更常见于 traits 内部实现，而非用户直写。
容易踩的坑：别在 alias template 中无意义套用
std::type_identity 不是“加了就安全”的银弹。以下写法毫无意义，甚至干扰可读性：
-
using U = std::type_identity_t<int>;</int>→ 就是int，纯冗余 -
template<typename t> using ptr = std::type_identity_t<t>;</t></typename>→ 等价于T*，没阻断任何推导（没出现在函数参数中） - 在类模板参数中使用：
template<typename t typename u="std::type_identity_t<int">> struct X {};</typename>→ 类模板参数本来就**不推导**，加它完全多余 - 误以为它能抑制 const/volatile 限定符：不能。
std::type_identity_t<const int></const>就是const int，限定符原样保留
它的作用域非常明确：只在函数模板参数中制造非推导上下文。离开这个上下文，它只是个恒等别名，没有魔法。
