C++：Lambda表达式

先进青年dbv

于 2023-11-27 20:52:53 发布

阅读量28

点赞数 1

分类专栏： C++基础知识文章标签： c++

本文链接：https://blog.csdn.net/abcsdbv/article/details/134654302

版权

C++基础知识专栏收录该内容

5 篇文章 0 订阅

订阅专栏

Lambda表达式是C++11引入的一个新特性，允许你在代码中定义匿名函数。Lambda表达式可以捕获外部作用域中的变量，并且可以像普通函数那样被调用。

以下是一个lambda表达式的基本形式：

auto func = [](int x, int y) { return x + y; };

Lambda表达式由三部分组成：

捕获列表（Capture List）：位于[]内。这里你可以指定该lambda需要从外部作用域“捕获”哪些变量以及如何捕获（按值或者按引用）。例如，[x, &y]表示按值捕获变量x，并按引用捕获变量y。
参数列表（Parameter List）：位于() 内。这与普通函数的参数列表类似。
函数体（Function Body）：位于 {} 内。这里定义了该lambda实际执行的代码。

原理方面，每个lambda表达式都会被编译器转换为一个唯一的未命名类型（也称为闭包类型）。这种类型重载了 operator() ，使得我们可以像调用函数一样来使用它。如果lambda从其环境中捕获了任何变量，那么这些变量就会被存储为闭包对象的成员数据。

捕获的原理

当你在lambda表达式中使用捕获列表来捕获变量时，编译器会自动生成一个闭包类型。这个闭包类型是一个特殊的类，它包含了被捕获的所有变量作为其数据成员。

如果你按值捕获一个变量，那么这个变量的副本就会作为闭包对象的一个数据成员。在创建闭包对象时，将使用该副本来初始化这个数据成员。
如果你按引用捕获一个变量，那么对该变量的引用将作为闭包对象的一个数据成员。在创建闭包对象时，将使用对该变量的引用来初始化这个数据成员。

因此，在lambda表达式体中访问被捕获的变量实际上就是访问了闭包对象中对应的数据成员。

传参原理

当你调用一个lambda表达式并传入参数时，实际上就是像调用普通函数一样传递参数给operator()方法。

函数对象

每个Lambda表达式都会被编译器转换为一个唯一未命名类型（也称为闭包类型）。闭包类型是一种特殊类型，它重载了 operator() ，使得我们可以像调用函数一样来使用它。

闭包对象中保存了需要从环境中“捕获”的数据成员，并且这些数据成员在构造闭包对象时就已经初始化完毕。当调用 operator() 方法时，就等同于执行Lambda表达式主体，并且能够访问这些捕获的变量。

命名函数和匿名函数使用场景

具体命名的函数通常用于以下场合：

当函数较复杂，包含多行代码，或需要在多个地方重复使用时，通常会选择定义具体命名的函数。这样可以提高代码的可读性和可维护性。
如果函数需要被递归调用，那么必须使用具体命名的函数，因为匿名函数无法引用自身。

补充：Lambda表达式本身是匿名的，也就是说在其定义的时候，它还没有名字。这意味着在lambda表达式体内部，它不能直接引用自身以实现递归。因为在定义的时候，它还不知道自己是谁，所以无法调用自己。

然而，有一种技巧可以让lambda表达式实现递归。那就是通过使用std::function来给lambda表达式一个名字，然后在lambda表达式体内部使用这个名字来调用自身。例如

#include <iostream>
#include <functional>

int main() {
   std::function<int(int)> factorial = [&factorial](int n) {
       if (n == 0) {
           return 1;
       } else {
           return n * factorial(n - 1);
       }
   };

   std::cout << factorial(5) << std::endl;  // 输出: 120

   return 0;
}

在上述代码中，我们定义了一个std::function对象factorial，并将一个lambda表达式赋值给它。这个lambda表达式捕获了factorial，并在其体内部使用factorial来实现递归。

匿名函数通常用于以下场合：