std::type_identity 是 C++20 引入的类型标识工具，用于创建非推导上下文以阻止模板参数被直接推导，从而确保类型约束按预期生效；它不改变类型、无运行时开销，仅在编译期控制推导行为。
std::type_identity 是什么，为什么需要它
当你写模板函数时，编译器默认会对参数做类型推导，有时这会破坏你想要的精确类型约束。比如 std::vector 的构造函数接受两个迭代器，但如果你传入 int* 和 int*，推导出的迭代器类型是 int* —— 看似没问题，可一旦你希望强制要求“必须是 std::iterator_traits<t>::value_type</t> 可访问的类型”，推导就可能绕过你的检查。
std::type_identity 就是为解决这类问题而生：它不改变类型，但让模板参数变成非推导上下文（non-deduced context），迫使调用者显式指定类型或依赖其他参数推导路径。
怎么用 std::type_identity 阻止某个参数推导
典型场景是“想让某个模板参数由另一个参数决定，而不是被传入的实参直接推导”。例如写一个通用的容器构造辅助函数：
template <typename T>
void construct_from_range(std::type_identity_t<T>*,
typename std::vector<T>::iterator first,
typename std::vector<T>::iterator last) {
std::vector<T> v(first, last);
}
这里 std::type_identity_t<T>* 是个 dummy 指针参数，仅用于暴露 T；因为是指针类型且包裹在 std::type_identity_t 中，T 不会从该参数推导，只能靠 first 和 last 的类型反向确定（比如它们是 std::vector<double>::iterator，则 T 为 double）。
立即学习“C++免费学习笔记（深入）”；
-
std::type_identity_t<T>等价于std::type_identity<T>::type，C++20 引入，头文件是<type_traits> - 不能写成
std::type_identity<T>（这是个类模板，不是类型别名） - 常见误用：把它当成“类型擦除”工具 —— 它不做任何运行时操作，纯编译期语义
std::type_identity 在函数重载和 SFINAE 中的实际价值
当多个重载版本共享相同签名前缀，但需根据某个类型是否满足条件来启用时，std::type_identity 能帮你把类型约束“藏”到非推导位置，避免重载决议失败。
比如你想只对支持 std::hash 的类型启用哈希包装函数：
template <typename T>
auto hash_wrapper(T&& t)
-> std::enable_if_t<std::is_invocable_v<std::hash<std::type_identity_t<T>>, const T&>, size_t> {
return std::hash<std::type_identity_t<T>>{}(t);
}
这里用 std::type_identity_t<T> 替换原 T，确保 std::hash<T> 的实例化发生在 SFINAE 上下文中，而不是模板参数推导阶段 —— 否则编译器可能在推导时就报错，而非静默禁用重载。
- 若直接写
std::hash<T>，某些编译器（如早期 GCC）会在推导时尝试实例化，导致硬错误 -
std::type_identity_t<T>把T“延迟绑定”，使 SFINAE 正常生效 - 注意：C++20 后更推荐用
requires约束，但std::type_identity在需兼容 C++17 或复杂 trait 组合时仍有不可替代性
容易踩的坑：std::type_identity 不等于 std::declval 或 std::remove_reference
有人试图用 std::type_identity_t<T&&> 来“保留引用”，这是误解。它只是包装，不改变引用性：
-
std::type_identity_t<int&&>就是int&&，不是int - 它不会折叠引用（
T&&+U&→U&这种规则不受影响） - 它不能替代
std::remove_cvref_t或std::decay_t—— 那些是类型转换，而它是类型“透传” - 最常被忽略的一点：
std::type_identity_t<T>在模板参数中若未被其他参数关联，会导致编译失败（“无法推导 T”），必须确保至少有一个参数能提供推导依据
真正难的是设计好推导锚点 —— 多数人卡在这一步，而不是记不住语法。
