为什么 C 中的递归 Lambda 函数因自动类型推断而失败？

递归 Lambda 函数和类型推断

考虑以下递归 lambda 函数：

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

此代码无法使用以下内容进行编译错误：

error: ‘`((<lambda(int, int)>*)this)-><lambda(int, int)>::sum`’ cannot be used as a function

问题源于使用 auto 来推断 lambda 函数的类型。使用 auto 时，编译器会尝试从初始化表达式推断类型。然而，在这种情况下，初始化表达式本身需要知道它捕获的类型，从而创建循环依赖关系。

要解决此问题，可以使用完全指定的函数对象的类型：

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

在这种情况下，编译器不需要推断 lambda 闭包的类型，并且 lambda 可以完全获知它的类型

虽然递归 lambda 函数可以与类型推断一起使用，但通常不建议这样做，因为它可能会导致编译问题。相反，显式指定类型可确保编译器在编译时拥有所有必要的信息。

以上是为什么 C 中的递归 Lambda 函数因自动类型推断而失败？的详细内容。更多信息请关注PHP中文网其他相关文章！