为何此C++函数模板无法自动推导模板类型？

先看你给出的两个模板函数：

template <typename T>
void gorp(T*, std::function<void(T*)>)
{
}

template <typename T>
void klop(T*, std::function<void()>)
{
}

核心原因在于C++模板参数推导的规则限制，尤其是涉及到依赖模板参数的std::function类型时的推导逻辑：

1. klop能正常推导的原因 #

klop的第二个参数是std::function<void()>，这个类型和模板参数T完全无关。编译器处理调用时：

• 首先从第一个实参&x（类型int*）推导出T=int；
• 然后再将匿名lambda或clang block隐式转换为std::function<void()>——这个转换不需要依赖任何模板参数，是明确可行的，所以编译通过。

2. gorp推导失败的原因 #

gorp的第二个参数是std::function<void(T*)>，这个类型直接依赖模板参数T，这里存在推导的循环依赖：

• 虽然第一个实参&x看起来能直接推导出T=int，但编译器在模板推导阶段，会同时尝试从所有实参推导模板参数；
• 第二个实参是lambda或block，它们的类型是编译器生成的匿名闭包类型，不是std::function<void(T*)>。要把闭包转换成这个std::function，必须先确定T是什么，但T又需要从std::function的类型推导——这就形成了死循环；
• 更关键的是：用户定义的隐式转换（比如闭包到std::function的转换）不会参与模板参数推导，只有当模板参数完全确定后，编译器才会尝试这类转换。

当你显式指定gorp<int>时，std::function的类型被明确为std::function<void(int*)>，此时闭包到该类型的转换就可以正常进行，所以编译通过。

补充说明 #

不管是lambda还是clang block，它们到std::function的转换都属于用户定义转换，在模板推导阶段都会被忽略，这就是为什么gorp的调用1和3都失败，而显式指定模板参数后就能成功的原因。

内容的提问来源于stack exchange，提问作者Mustang