std::type_identity 是一个模板别名，用于创建非推导上下文以阻止模板参数被错误推导；它不改变类型语义，仅控制编译器推导行为，区别于 std::decay_t 等语义转换工具。
std::type_identity 是什么，为什么需要它
它就是一个模板别名，定义为 template<class T> using type_identity = T;。表面看啥也没干，但关键在于：它把模板参数 T 包装成一个“非推导上下文”（non-deduced context）。编译器在模板实参推导时，遇到 type_identity<T>::type 这类写法会跳过推导，强制你显式指定 T，或者依赖其他位置已推导出的 T。
阻止模板参数被错误推导的典型场景
常见于函数模板中，当某个参数既要参与重载决议、又不能干扰类型推导时：
- 比如想让
foo(std::vector<int>)调用foo<int>(std::vector<int>)，但又不希望用户传入foo(std::vector<double>)时意外推导出T = double—— 此时把第二个参数写成std::type_identity_t<T>就能切断推导链 - 配合 SFINAE 或
requires做约束时，避免因推导失败导致整个重载集被丢弃（而不是静默忽略） - 在可变参数模板中固定某个形参类型，例如
template<class T, class... Args> void bar(T, std::type_identity_t<Args>...)，确保Args...不从第一个参数反推
和 std::decay_t、std::remove_reference_t 的本质区别
它们都做类型变换，但目的完全不同：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
std::decay_t<T>是语义转换：去掉引用、const/volatile，数组转指针，函数转函数指针 —— 改变类型本身 -
std::type_identity_t<T>是语法屏障：类型完全不变，只告诉编译器“这里别推” —— 不改变语义，只控制推导行为 - 误用
std::decay_t替代type_identity可能导致类型擦除（比如丢失引用性），引发静默行为变更
实际写法与容易踩的坑
标准库提供的是 std::type_identity 模板，使用时需加 ::type 或更常用的别名 std::type_identity_t<T>：
立即学习“C++免费学习笔记（深入）”；
template<class T>
void process(std::vector<T> v, std::type_identity_t<T> sentinel) {
// T 由 vector 推导，sentinel 类型必须匹配，但不会反过来影响推导
}
- 别写成
std::type_identity<T>（没加::type），那是个模板类类型，不是类型别名 - C++20 前没有
std::type_identity，有人手写template<class T> struct type_identity { using type = T; };，注意命名冲突 - 它不解决所有推导问题——比如在返回类型中单独使用
std::type_identity_t<T>，依然无法触发推导，得靠参数位置带出T
真正难的不是记住怎么写，而是判断什么时候该用它：当你发现模板调用结果和预期不符，且怀疑是某个参数“偷偷参与了推导”，就该想到它。
