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