C++如何使用 std::type_identity 防止模板函数参数被自动推导-C++-PHP中文网

std::type_identity 是 c++20 引入的模板别名，其 type 成员为 t 本身，但用在函数模板形参类型中构成非推导上下文，阻止编译器从实参推导对应模板参数，从而强制显式指定。

c++如何使用 std::type_identity 防止模板函数参数被自动推导

std::type_identity 是什么，为什么它能阻止类型推导

std::type_identity 是 C++20 引入的一个模板别名，定义为 template<class t> using type_identity = std::type_identity_t<t>;</t></class>，而 std::type_identity_t<t></t> 就是 T 本身。它看似“什么都没做”，但关键在于：当它用在函数模板参数中时，编译器**不把 std::type_identity<t>::type</t> 视为可推导的上下文**——也就是所谓的“非推导上下文”（non-deduced context）。

这意味着，如果一个形参类型写成 std::type_identity<t>::type</t>，编译器不会尝试从实参反推 T，从而强制调用者显式指定模板参数。

在模板函数中用 std::type_identity 阻止某个参数推导

典型场景是：你希望函数接受一个 T 类型的值，但同时又想让另一个参数（比如回调、容器或策略类型）由用户明确传入，而不是被实参“带偏”。

错误写法（推导被干扰）：

template<typename t typename f>
void process(T value, F func) { /* ... */ }
// 调用 process(42, [](int x){ return x * 2; }); → F 被推成 lambda 类型，T 可能意外推成 int 或 long</typename>

正确写法（锁定 T）：

template<typename t typename f>
void process(std::type_identity_t<t> value, F func) {
    // T 不再从 value 推导，必须显式指定，如 process<int>(42, ...)
}</int></t></typename>

更常见的用途是“只锁一个参数”：

template<typename container typename predicate>
void filter(Container&& c, std::type_identity_t<pre class="brush:php;toolbar:false;" dicate> pred) {
    // Container 可从 c 推导，Predicate 必须显式指定或靠其他参数间接确定
}

std::type_identity 和 std::decay_t / std::remove_reference_t 的区别

它们都改变类型，但目的和效果完全不同：

C++14

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

下载

std::decay_t<t></t> 会去掉引用、const/volatile，并对数组/函数类型做转换（比如转成指针），属于“类型规范化”，且仍是可推导的上下文；
std::remove_reference_t<t></t> 只去引用，也不构成非推导上下文；
只有 std::type_identity_t<t></t> 在模板形参中能可靠制造非推导上下文——它不改变语义，只“遮住”推导路径。

例如：template<typename t> void f(std::decay_t<t> x)</t></typename> 中，T 仍可被推导；而 template<typename t> void f(std::type_identity_t<t> x)</t></typename> 中，T 完全不可推导。

容易踩的坑：不是所有位置都有效

std::type_identity_t 只有在**模板参数声明中的形参类型位置**起作用。以下写法无效或达不到目的：

放在返回类型里：template<typename t> std::type_identity_t<t> g() { ... }</t></typename> —— 返回类型不影响参数推导；
嵌套在别的模板中：std::vector<:type_identity_t>></:type_identity_t> —— 这里 T 仍可能被外层推导；
用在默认模板参数里：template<typename t typename u="std::type_identity_t<T">></typename> —— 默认参数不参与推导逻辑，也起不到“阻断”作用；
忘记加 _t 后缀：std::type_identity<t></t> 是类模板，不能直接当类型用，必须用 std::type_identity_t<t></t>。