std::type_identity 是 C++20 引入的模板别名，用于构造非推导上下文以阻止模板参数从对应实参推导，其核心作用是保留类型限定符并实现精准类型约束。
std::type_identity 是什么，为什么能阻止类型推导
std::type_identity 是 C++20 引入的模板别名，定义为 template<class t> using type_identity = T;</class>。它不改变类型，但关键在于：当用在函数模板参数中时，std::type_identity<t>::type</t>（或更常见的 std::type_identity_t<t></t>）构成“非推导上下文”——编译器不会从实参反推这个位置的 T。
典型误推导场景是函数模板形如 template<typename t> void f(T x, T y)</typename>，调用 f(42, 3.14) 会失败，因为 T 无法同时匹配 int 和 double；而若写成 template<typename t> void f(T x, std::type_identity_t<t> y)</t></typename>，第二个参数就不再参与推导，T 只由第一个参数确定，第二个参数只做类型检查。
什么时候必须用 std::type_identity_t 而不是直接写 T
常见于需要“显式指定某参数类型、但又不想让该参数影响模板参数推导”的接口设计，比如：
- 构造函数中分离“推导来源”和“约束类型”的参数（如容器插入接口）
- 回调注册函数，要求回调签名匹配某个固定类型，但不希望回调对象本身参与模板推导
- 避免 SFINAE 失效：某些 traits 检查依赖精确类型，推导后可能变成引用/const 修饰过的版本
错误做法：template<typename t> void g(std::vector<t> v, T limit)</t></typename> —— limit 会参与推导，若传入 std::vector<int>{1,2}</int> 和 5L（long），推导冲突。正确写法：template<typename t> void g(std::vector<t> v, std::type_identity_t<t> limit)</t></t></typename>，此时 T 仅由 v 确定，limit 必须是 T 类型，否则编译失败（而非推导失败）。
立即学习“C++免费学习笔记（深入）”；
std::type_identity_t 在函数参数中的实际写法与常见坑
必须注意：只有出现在“非推导位置”才生效。以下写法无效：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
std::type_identity<t>::type</t>写在返回类型里 → 不阻止推导（返回类型不参与推导） -
std::type_identity_t<t></t>写在默认模板参数中 → 完全不相关 - 嵌套在另一个模板内，如
std::optional<:type_identity_t>></:type_identity_t>→ 外层std::optional仍会触发推导，需确保std::type_identity_t<t></t>直接作为函数参数类型
正确最小示例：
template<typename T>
void accept_only_same_type(T a, std::type_identity_t<T> b) {
static_assert(std::is_same_v<decltype(a), decltype(b)>);
}
// accept_only_same_type(1, 2); // OK: T=int
// accept_only_same_type(1, 2.0); // error: cannot convert double to int
这里 b 的类型被强制为已推导出的 T，而不是尝试重新推导一个新 T。
替代方案对比：decltype、std::declval、std::remove_cvref_t 哪个合适
std::type_identity_t 的不可替代性在于“零开销 + 精确保留 cv/ref 限定符”。其他方式容易出错：
-
decltype(x)依赖变量名，无法用于未声明的形参；且若x是右值引用，decltype(x)是T&&，不是T -
std::declval<t>()</t>返回T&&，不能直接作参数类型（除非加std::remove_reference_t，但又丢失了原始引用意图） -
std::remove_cvref_t<t></t>会抹除 const/volatile/&/&&，而std::type_identity_t<t></t>保持原样 —— 这对重载解析和完美转发至关重要
例如，想写一个只接受左值 T 的函数（拒绝右值），用 std::type_identity_t<t>&</t> 就能准确表达；用 std::remove_cvref_t<t>&</t> 则可能把 const T& 也转成 T&，破坏语义。
真正难的是记住：它只在函数参数声明的顶层类型中起作用，且必须配合显式模板参数或前序参数完成推导；漏掉这一点，就只是多打几个字而已。
