std::type_identity是C++20引入的模板别名，用于创建非推导上下文以阻止模板参数自动推导；它通过typename std::type_identity<T>::type包裹类型，使编译器仅从其他参数推导T，而该参数仅作类型约束。

std::type_identity 是什么，为什么需要它 std::type_identity 是 C++20 引入的模板别名，定义在 <type_traits> 中，作用是把类型原封不动地“包一层”，让编译器在模板参数推导时**不穿透**进去。它本身不做任何类型转换，只是制造一个“非推导上下文”（non-deduced context）——这是解决某些模板推导歧义的关键工具。 常见错误现象：你写了一个函数模板，希望某个参数类型由调用者显式指定，而不是被自动推导出来，但编译器总是试图从实参推导，结果报错或选错重载。比如：

template<typename T>
void foo(std::vector<T> v, T x); // T 会从 v 和 x 同时推导，可能冲突

这时 std::type_identity 就能“挡住”推导。

怎么用 std::type_identity 阻止模板参数推导 核心用法：把你想固定、不参与推导的类型参数，用 std::type_identity<T>::type 包裹。

例如，强制要求第一个参数决定 T，第二个参数类型必须匹配但不参与推导：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

#include <type_traits>
#include <vector>

template<typename T>
void foo(std::vector<T> v, typename std::type_identity<T>::type x) {
    // T 仅从 v 推导；x 的类型必须是 T，但不会反向影响推导
}

• 调用 foo(std::vector{1,2,3}, 42) → 正确推导 T = int
• 调用 foo(std::vector{1,2,3}, 3.14) → 编译失败，因为 x 类型是 double，但 std::type_identity<int>::type 是 int，类型不匹配
• 不能写成 std::type_identity<T> 作为参数类型（那是类类型），必须用 typename std::type_identity<T>::type

替代写法与兼容性注意事项 C++20 之前没有 std::type_identity，常见替代是自定义类似结构：

template<typename T> struct identity { using type = T; };
// 或更简洁的 alias template（C++14 起支持）：
template<typename T> using type_identity_t = T;

但注意：type_identity_t<T> **不是**非推导上下文——它只是别名，编译器仍会穿透推导。真正起作用的是标准库中 std::type_identity 的定义方式（内部使用了依赖名称），所以必须用标准版。

• MSVC 19.29+、GCC 10+、Clang 12+ 支持 std::type_identity
• 如果项目需兼容 C++17，不能直接用 std::type_identity，得用 std::enable_if + SFINAE 或显式模板参数调用（如 foo<int>(v, 3.14)）来绕过
• 不要和 std::declval 混用——后者用于表达式语境，不解决推导问题

容易被忽略的典型误用场景 最常被忽略的是：**std::type_identity 只对模板参数推导生效，不影响函数重载决议或隐式转换**。

例如：

template<typename T>
void bar(typename std::type_identity<T>::type x, int);

template<typename T>
void bar(T x, double);

• 调用 bar(42, 0) → 第二个参数是 int，匹配第一个重载；但 T 从 x 推导为 int，没问题
• 调用 bar(3.14, 0) → x 是 double，第一个重载中 T 推导为 double，std::type_identity<double>::type 还是 double，能匹配
• 但如果你本意是“禁止 x 参与推导，只允许用户显式指定 T”，那就必须配合显式模板实参调用：bar<int>(3.14, 0) —— 否则推导仍会发生

非推导上下文不是“锁死类型”，只是“不从这个形参推”，实际类型仍要满足约束。这点不看清，很容易以为加了 std::type_identity 就万无一失。