为何std::thread接受泛型lambda却拒绝未显式实例化的模板函数？

先看代码示例：

#include <thread>

template <class T>
void f(T t)
{
}

int main()
{
    std::thread t([](auto i){}, 1);  // 可以正常编译
    std::thread t(f, 1);          // 编译失败
    std::thread t(f<int>, 1);     // 可以正常编译

    t.join();
    return 0;
}

核心原因在于两者的本质差异： #

• 泛型lambda是具体的闭包对象
  C++14引入的泛型lambda，编译器会自动为它生成一个闭包类，这个类里包含一个模板化的operator()。当你把lambda传给std::thread时，传递的是这个闭包类的一个实例——这是确定的、具体的对象类型。std::thread的构造函数拿到这个对象后，会根据后续传入的参数（比如示例里的1），自动推导闭包类中operator()的模板参数，进而实例化出可执行的调用逻辑。

• 函数模板是模板家族，而非具体函数
  函数模板f本身不是可直接调用的实体，它只是一组函数的“蓝图”，代表无数个可能的函数实例（比如f<int>、f<double>等）。当直接写f试图传给std::thread时，编译器无法确定要使用哪个具体的实例——std::thread需要明确的可调用实体（函数指针、函数对象等），而模板本身无法直接作为实体传递，必须通过显式指定模板参数（比如f<int>），让编译器实例化出具体的函数，才能合法传递。

• 显式指定模板参数的情况
  写f<int>时，编译器会直接实例化出void f<int>(int)这个具体的函数，此时传递的是这个函数的指针，属于明确的可调用实体，std::thread自然可以正常接收并使用。

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