C++如何使用std::type_identity实现非推导模板参数上下文-C++-PHP中文网

std::type_identity能阻止模板参数推导，因为它将t封装为非推导上下文的std::type_identity::type，使编译器在函数模板实参推导时跳过该位置，仅支持显式指定或从其他参数推导。

c++如何使用std::type_identity实现非推导模板参数上下文

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></type_traits>，别忘了 #include <type_traits></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"); // ❌
</mystrategy></args></class>

用 std::type_identity 把 Strategy “藏”在非推导位置：

C++14

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

下载

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"); // ✅
</mystrategy></args></strategy></class>

占位参数类型写成 std::type_identity_t<strategy>*</strategy> 是惯用法：指针确保不会意外绑定到临时对象，且 nullptr 可隐式转换
也可用 std::type_identity_t<strategy>&</strategy>，但需传左值（比如 Strategy{}），更麻烦
注意：这个技巧只影响推导，不改变 SFINAE 行为；如果 Strategy{...} 不合法，错误仍会在实例化时抛出

转发时保留原始类型信息（尤其引用和 cv 限定）

当写通用转发函数（如包装 std::function 构造或完美转发调用）时，若直接写 template<class t> void f(T&& x)</class>，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&（绑定到临时）
</int></int></t></class>

如果不加 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<:type_identity_t>>().foo())</:type_identity_t> —— 如果 T 没有 foo()，仍然 SFINAE 失败，type_identity 在这里没起作用
✅ 正确思路：若想条件启用函数，该用 requires（C++20）或 std::enable_if_t + decltype 检查原始类型
⚠️ 注意：std::type_identity_t<t></t> 和 T 在所有上下文中等价，除了模板参数推导——这是它唯一的作用域