为何以下C++代码无法编译？如何修复？std::function与Lambda模板问题

错误原因 #

你的代码触发了模板参数推导失败。call_with的第一个参数是std::function<void(T)>, 而你传入的lambda是匿名闭包类型，并非std::function实例。模板推导过程中，编译器需要同时从两个参数推导T：第二个参数42能推导出T=int，但第一个参数的std::function<void(T)>无法直接从lambda推导（模板推导不会考虑隐式转换），最终导致整个推导失败，因此报错没有匹配的函数模板实例。

解决方法 #

有两种常用修复方式：

• 显式指定模板参数：调用时明确告知编译器T的类型，让编译器可以将lambda隐式转换为对应的std::function：

  call_with<int>(print, 42);
  

• 修改模板参数，直接接受可调用对象：放弃用std::function作为参数类型，改用模板类型直接捕获可调用对象，编译器能直接推导类型，执行效率也更高：

  template <typename F, typename T>
  void call_with(F f, T val)
  {
      f(val);
  }
  

关于std::function的作用 #

你疑惑既然lambda无法自动转换为std::function用于模板推导，那它的价值在哪？其实std::function的核心作用是类型擦除：

• lambda是匿名类型，无法直接声明为固定类型的变量（只能用auto），也不能直接存入容器（比如std::vector需要明确的元素类型）。而std::function可以把不同类型的可调用对象（lambda、普通函数、成员函数、自定义函数对象）统一包装成同一类型，比如std::function<void(int)>能包装所有接受int参数且返回void的可调用对象。
• 当你需要在类中保存可调用对象作为成员，或者需要定义统一的回调接口时，std::function是刚需——它让你不用关心底层可调用对象的具体类型，只需要关注调用签名即可。

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