为何按值传递std::function可行，按引用传递却编译失败？

现象复现 #

按值传递std::function时代码可正常编译运行：

void foo(std::function<int(int)> stuff){
   // 任意逻辑
}

auto fct = [](int x){return 0;};
foo(fct);

但将参数改为非const引用后，代码无法编译：

void foo(std::function<int(int)>& stuff){ // 仅修改为引用传递
   // 任意逻辑
}

auto fct = [](int x){return 0;};
foo(fct);

原因解析 #

问题核心在于C++临时对象与引用的绑定规则：

1. 按值传递时，foo(fct)会隐式将lambda表达式转换为std::function<int(int)>类型的临时对象，这个临时对象会被拷贝到函数形参中，完全符合语法规则。
2. 当参数是非const左值引用时，C++标准明确禁止临时对象（右值）绑定到非const的左值引用。临时对象生命周期短暂，绑定到非const引用可能引发误修改或悬空引用的风险，因此编译器直接报错阻止该行为。

解决方法 #

有两种可行的修复方式：

• 使用const左值引用：const引用允许绑定临时对象，同时还能避免拷贝开销，是更推荐的写法：

  void foo(const std::function<int(int)>& stuff){
     // 任意逻辑
  }
  

• 显式构造std::function对象：先将lambda转换为命名的std::function左值，再传递给函数：

  std::function<int(int)> fct = [](int x){return 0;};
  foo(fct);
  

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