小编典典

C++11 中的递归 lambda 函数

all

我是 C++11 的新手。我正在编写以下递归 lambda 函数，但它无法编译。

总和.cpp

#include <iostream>
#include <functional>

auto term = [](int a)->int {
  return a*a;
};

auto next = [](int a)->int {
  return ++a;
};

auto sum = [term,next,&sum](int a, int b)mutable ->int {
  if(a>b)
    return 0;
  else
    return term(a) + sum(next(a),b);
};

int main(){
  std::cout<<sum(1,10)<<std::endl;
  return 0;
}

编译错误：

vimal@linux-718q:~/Study/09C/c0x/lambda> g -std=c0x sum.cpp

sum.cpp：在 lambda 函数中：sum.cpp:18:36: 错误：“ ((<lambda(int, int)>*)this)-><lambda(int, int)>::sum”不能作为函数使用

gcc 版本

gcc 版本 4.5.0 20091231（实验性）（GCC）

但是，如果我更改如下声明sum()，它将起作用：

std::function<int(int,int)> sum = [term,next,&sum](int a, int b)->int {
   if(a>b)
     return 0;
   else
     return term(a) + sum(next(a),b);
};

有人可以解释一下吗？

阅读 99

2022-07-13

共1个答案

小编典典

想想自动版本和完全指定的类型版本之间的区别。 auto
关键字从它初始化的任何东西中推断出它的类型，但是你初始化它的东西需要知道它的类型是什么（在这种情况下，lambda
闭包需要知道它正在捕获的类型）。有点鸡和蛋的问题。

另一方面，完全指定的函数对象的类型不需要“知道”任何关于分配给它的内容，因此 lambda 的闭包同样可以完全了解其捕获的类型。

考虑一下对代码的这种轻微修改，它可能更有意义：

std::function<int(int,int)> sum;
sum = [term,next,&sum](int a, int b)->int {
if(a>b)
    return 0;
else
    return term(a) + sum(next(a),b);
};

显然，这不适用于 auto 。递归 lambda 函数运行良好（至少它们在 MSVC
中运行良好，我有使用它们的经验），只是它们与类型推断并不真正兼容。

2022-07-13