std::type_identity 是 c++20 引入的模板工具，用于阻止模板参数推导：其定义为 template struct type_identity { using type = t; }，通过将形参类型写为 std::type_identity_t（即 typename type_identity::type），使该参数成为非推导上下文，强制调用者显式指定 t。
std::type_identity 是什么，为什么需要它
当你写模板函数时，编译器默认会尝试从实参推导模板参数类型。但有时你**不希望推导发生**——比如想强制要求调用者显式指定类型，或防止类型被意外退化（如 int& 推导成 int）。std::type_identity 就是为此设计的：它是个空壳模板，只做“原样透传”，但能阻止模板参数推导。
它的定义极简：
template<class t> struct type_identity { using type = T; };</class> C++20 起可用，头文件是 <type_traits></type_traits>。怎么用 std::type_identity 阻止模板参数推导
关键在于把模板参数包装进 std::type_identity<t>::type</t>，让形参类型变成“非推导上下文”。编译器看到这种写法，就不再从实参反推 T。
常见写法：
- 直接在函数参数中使用
typename std::type_identity<t>::type</t> - C++20 起可简写为
std::type_identity_t<t></t>（等价于typename std::type_identity<t>::type</t>）
示例：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
template<typename t><br>void foo(std::type_identity_t<t> x) { /* ... */ }</t></typename>
此时调用 foo(42) 会编译失败——因为 T 无法推导；必须写成 foo<int>(42)</int> 或 foo<long>(42)</long>。
容易踩的坑：别和 std::decay 混用，也别套在返回类型上
std::type_identity 的作用仅限于“阻断推导”，它不改变类型语义。常见误用：
- 误以为它能消除引用/const：它不会做
std::decay那样的转换，std::type_identity_t<int></int>就是int&，不是int - 把它用在返回类型上：如
auto bar() -> std::type_identity_t<t></t>—— 这对推导没影响，因为返回类型不参与模板参数推导 - 在多个参数中只包装部分参数：如果还有其他未包装的
T类型参数，推导仍可能从那些参数发生，导致行为不符合预期
实际适用场景：转发、策略选择、避免重载歧义
它最常出现在需要精确控制类型契约的地方：
- 写通用转发函数时，确保用户明确指定目标类型，避免因隐式转换导致意外匹配
- 实现策略类模板，要求策略类型必须显式提供，而不是靠实参“猜”
- 配合
std::function或回调签名约束，防止函数指针退化成std::nullptr_t等边缘情况
例如，一个强制用户指定回调类型的注册函数：
template<typename f><br>void on_event(std::type_identity_t<f> callback);<br>// 调用必须写 on_event<void>([](int){});<br>// 而不是 on_event([](int){}); —— 后者会因推导失败而报错</void></f></typename>
真正要注意的是：它解决的是“推导失控”问题，不是类型转换问题。用错地方反而会让接口更难用——比如对普通工具函数加 std::type_identity，等于平白增加调用负担。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
