为何指定部分模板参数后仍无法将lambda作为std::function参数传入？

核心原因：模板推导不考虑用户定义转换 #

当你调用foo<std::string>(s, []() { return "a"; })时，虽然显式指定了T1=std::string且T2默认值为T1，但编译器依然会尝试从第二个参数（lambda）推导T2。而模板参数推导过程不会考虑用户定义的类型转换——lambda是编译器生成的匿名闭包类型，和std::function<T2()>完全是不同的类型，两者的转换依赖std::function的构造函数（属于用户定义转换），这种转换在推导阶段不被认可，因此T2推导失败，导致调用无法匹配。

详细拆解推导逻辑 #

模板参数推导的优先级规则：

• 显式指定部分模板参数后，剩余参数会优先尝试从函数参数推导；
• 只有当推导彻底无法完成时，才会使用参数的默认值（此处是推导过程本身无法进行，并非推导结果与默认值冲突）。

在你的调用场景中：

1. 显式指定T1=std::string，T2默认值为std::string；
2. 编译器看到第二个函数参数类型是std::function<T2()>，传入的是lambda，于是尝试推导T2；
3. 由于lambda不是std::function的实例，且推导不允许用户定义转换，无法推导出T2，最终匹配失败。

对比成功场景的本质 #

你之前成功的两种调用方式，本质都是跳过了T2的推导：

• 显式转换lambda为std::function<std::string()>：此时第二个参数类型明确为std::function<std::string()>，编译器直接匹配T2=std::string，无需推导；
• 显式指定两个模板参数：此时编译器不需要推导任何参数，直接使用指定的T1和T2，函数调用阶段会自动把lambda转换为std::function<T2()>（这一步属于普通函数参数类型转换，不在推导阶段，因此被允许）。

可行的解决办法 #

方法1：用模板参数直接接受可调用对象 #

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

#include <iostream>
#include <functional>

template<typename T1, typename Func>
void foo(T1& t, Func f)
{
    t = f(); // 只要f()的返回值可转换为T1即可
}

int main() {
    std::string s;
    foo(s, []() { return "a"; }); // 正常工作
    std::cout << s;
    return 0;
}

这种方式更灵活，避免了std::function的额外开销，同时彻底解决推导问题。

方法2：强制使用默认值，跳过推导 #

如果一定要保留std::function参数，可以通过std::type_identity（C++20及以上）禁止对第二个参数的推导，强制使用T2的默认值：

#include <iostream>
#include <functional>
#include <type_traits>

template<typename T1, typename T2 = T1>
void foo(T1& t, std::function<std::type_identity_t<T2>()> f)
{
    t = f();
}

int main() {
    std::string s;
    foo<std::string>(s, []() { return "a"; }); // 正常工作
    std::cout << s;
    return 0;
}

std::type_identity_t会阻止编译器从第二个参数推导T2，此时编译器会直接使用T2的默认值，再将lambda转换为对应的std::function类型。

内容的提问来源于stack exchange，提问作者H.v.M.