指定模板参数后，为何全局foo无法直接传lambda而类静态foo可以？

为什么两种调用结果不同？ #

当调用Class<int, int>::foo(lambda)时，类模板Class<int,int>已完成实例化，其静态成员函数foo的参数类型是确定的std::function<void(int, int)>——它不再是模板函数，而是一个普通函数。此时lambda可通过用户定义的隐式转换转为std::function<void(int, int)>，因此编译通过。

而调用foo<int, int>(lambda)时，尽管显式指定了模板参数TArgs=int,int，编译器仍会尝试对std::function<void(TArgs...)>的内部模板参数进行推导。lambda是匿名闭包类型，无法满足std::function的模板参数推导要求，导致类型匹配失败，触发编译错误。

无需局部std::function直接传lambda的方法 #

1. 显式转换lambda为目标std::function #

直接在调用时将lambda强制转换为指定的std::function类型：

foo<int, int>(std::function<void(int, int)>([](int a, int b) {}));

对于无捕获的lambda，还可以用+运算符将其转为函数指针，std::function会自动兼容：

foo<int, int>(+[](int a, int b) {});

2. 修改函数模板，接受任意可调用对象 #

放弃直接用std::function作为参数，改为接受任意可调用对象，让编译器自动推导lambda类型：

template <typename Callable>
void foo(Callable&& f) {
    // 若需存储为std::function，可在此转换
    using TargetFunc = std::function<void(int, int)>;
    TargetFunc func = std::forward<Callable>(f);
    // 后续业务逻辑
}

// 调用时无需指定模板参数，编译器自动推导
foo([](int a, int b) {});

如果需要保留TArgs的显式指定，可以结合类型萃取工具（如std::invoke_result_t）自动提取可调用对象的参数类型，确保类型匹配。

3. C++20+：用std::type_identity阻止参数推导 #

使用std::type_identity屏蔽编译器对std::function内部参数的推导，强制使用显式指定的TArgs：

#include <type_traits>

template <typename... TArgs>
void foo(std::function<void(std::type_identity_t<TArgs>...)> f) {
}

// 直接调用即可
foo<int, int>([](int a, int b) {});

std::type_identity_t会让编译器直接使用你指定的TArgs类型，此时lambda的隐式转换能正常完成。

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