std::type_identity能阻止模板参数推导，因为它将T封装为非推导上下文的std::type_identity<T>::type，使编译器在函数模板实参推导时跳过该位置，仅支持显式指定或从其他参数推导。
std::type_identity 为什么能阻止模板参数推导
因为 std::type_identity<t></t> 是一个别名模板，它把 T 包装成 std::type_identity<t>::type</t>，而这个 type 是非推导上下文（non-deduced context）——编译器在模板实参推导阶段会跳过对它的类型推导，只能靠显式指定或从其他位置推导出 T。
典型场景是：你希望某个模板参数不参与函数调用时的自动推导，强制用户显式传入，或者让它“锚定”为调用前已确定的类型（比如转发时保持 cv 限定符或引用类别）。
- 它不是黑魔法，底层就是
template<class t> struct type_identity { using type = T; };</class> - 不要把它和
std::decay_t或std::remove_reference_t混用——后者会改变类型，type_identity只做“透明封装” - C++20 引入，头文件是
<type_traits>，别忘了#include <type_traits>
在函数模板中让某个参数不参与推导
常见需求：写一个通用 wrapper 函数，第一个参数是策略类型（应由用户显式指定），其余参数用于构造该策略对象。若不加干预，编译器会试图从实参推导策略类型，往往失败或误推。
template<class Strategy, class... Args>
auto make_strategy(Args&&... args) {
return Strategy{std::forward<Args>(args)...};
}
// 调用时必须写：
// auto s = make_strategy<MyStrategy>(42, "hello");
// 但下面这行会报错：无法推导 Strategy
// auto s = make_strategy(42, "hello"); // ❌
用 std::type_identity 把 Strategy “藏”在非推导位置：
立即学习“C++免费学习笔记（深入）”；
template<class Strategy, class... Args>
auto make_strategy(std::type_identity_t<Strategy>*, Args&&... args) {
return Strategy{std::forward<Args>(args)...};
}
// 现在调用必须显式指定 Strategy，且第一个参数只是占位（传 nullptr 即可）：
// auto s = make_strategy<MyStrategy>(nullptr, 42, "hello"); // ✅
- 占位参数类型写成
std::type_identity_t<Strategy>*是惯用法：指针确保不会意外绑定到临时对象，且nullptr可隐式转换 - 也可用
std::type_identity_t<Strategy>&，但需传左值（比如Strategy{}），更麻烦 - 注意：这个技巧只影响推导，不改变 SFINAE 行为；如果
Strategy{...}不合法，错误仍会在实例化时抛出
转发时保留原始类型信息（尤其引用和 cv 限定）
当写通用转发函数（如包装 std::function 构造或完美转发调用）时，若直接写 template<class T> void f(T&& x)，T 会被推导为 int&、const int& 等，但有时你希望它“固定”为某个已知类型（比如接口要求的 const T&），这时 std::type_identity 可切断推导链。
template<class T>
void store_as_const_ref(std::type_identity_t<T> const& x) {
// 这里 x 的类型永远是 const T&，无论调用时传入什么
}
int i = 42;
store_as_const_ref<int>(i); // x 是 const int&
store_as_const_ref<int>(42); // x 是 const int&（绑定到临时）
- 如果不加
std::type_identity_t，写成void store_as_const_ref(const T& x)，T仍会被推导（例如传int&时T=int，没问题；但传const int&时T=const int，导致const const int&合法但冗余） - 真正关键点在于：当你需要把“用户指定的 T”和“实参推导出的 T”解耦时，
std::type_identity是最轻量的解耦手段 - 它不引入额外运行时代价，纯编译期机制
和 std::declval、decltype 配合使用时的典型陷阱
有人试图在 decltype 中用 std::type_identity “绕过”SFINAE，这是无效的：std::type_identity 不抑制表达式求值，也不改变替换失败行为。
- ❌ 错误用法：
decltype(std::declval<std::type_identity_t<T>>().foo())—— 如果T没有foo()，仍然 SFINAE 失败，type_identity在这里没起作用 - ✅ 正确思路：若想条件启用函数，该用
requires（C++20）或std::enable_if_t+decltype检查原始类型 - ⚠️ 注意：
std::type_identity_t<T>和T在所有上下文中等价，除了模板参数推导——这是它唯一的作用域
最易被忽略的一点：它不能用于类模板参数列表的非推导上下文（比如 template<class T> struct X<std::type_identity_t<T>>），因为类模板实参不支持这种写法；它只在函数模板形参中生效。
