为何前两种std::function模板参数包展开方式可通过编译？

先看示例代码：

#include<functional>
template <typename ReturnType, typename... ArgumentTypes>
struct Caller
{
    static void Call(std::function<ReturnType(ArgumentTypes...)>);
};
template <typename ReturnType, typename...ArgumentTypes>
void Call(std::function<ReturnType(ArgumentTypes...)>f);
int main()
{
    Caller<void>::Call([]() {});//合法，可编译
    Call<void>({[]() {}});//合法，可编译
    Call<void>([]() {});//非法，编译失败
}

核心问题本质 #

第三种调用编译失败的根本原因是：C++模板参数推导无法直接从lambda闭包类型推导出std::function的模板参数包ArgumentTypes...。lambda是编译器生成的匿名闭包类型，和std::function是完全不同的类型，模板推导阶段没有规则能把闭包类型反向映射到std::function的模板参数组合。

第一种调用：Caller<void>::Call([]() {})的工作原理 #

这里通过Caller<void>明确指定了模板参数ReturnType = void，同时未给出其他模板参数，ArgumentTypes...被推导为空参数包。此时Call函数的参数类型已确定为std::function<void()>，编译器只需执行隐式类型转换：把lambda闭包类型转换为std::function<void()>——这是C++标准允许的转换，因此编译通过。

简单说：模板参数已完全确定，不需要推导，只做常规类型转换。

第二种调用：Call<void>({[]() {}})的工作原理 #

这里显式指定了ReturnType = void，剩下的ArgumentTypes...需要推导，但传递的是**初始化列表{[]() {}}**而非直接传递lambda。

对于函数参数std::function<void(ArgumentTypes...)>，编译器会把初始化列表作为std::function构造函数的参数来匹配：由于lambda是无参的，编译器可以推导出ArgumentTypes...是空参数包，目标类型确定为std::function<void()>，随后lambda隐式转换为该类型，完成匹配。

初始化列表在这里起到了“桥梁”作用，让编译器先明确std::function的目标类型，再进行转换，避免了直接从闭包类型推导模板参数的问题。

第三种调用：Call<void>([]() {})失败的原因 #

虽然指定了ReturnType = void，但ArgumentTypes...仍需推导。此时函数参数是std::function<void(ArgumentTypes...)>，传入的是原始lambda闭包类型。模板推导阶段，编译器无法从闭包类型推断出ArgumentTypes...的具体内容——因为闭包类型和std::function之间没有直接的推导规则，因此推导失败，编译报错。

内容的提问来源于stack exchange，提问作者埃博拉酱