【C++】C++ 中 的 lambda 表达式（匿名函数）

C++11 引入的匿名函数，通常被称为 Lambda 函数，是语言的一个重要增强，它允许程序员在运行时创建简洁的、一次性使用的函数对象。Lambda 函数的主要特点是它们没有名称，但可以捕获周围作用域中的变量，这使得它们非常适合在函数式编程风格中使用，特别是在处理标准模板库（STL）的算法时。

1. 基本语法

Lambda 函数的如下：

[capture](parameters) -> return_type {body
}

• capture（捕获列表）：定义哪些外部变量可以被lambda函数访问。可以是按值捕获（=, 默认方式）、按引用捕获（&）或者是混合捕获（[=, &var]）。
• parameters（参数列表）：像普通函数一样，定义函数接收的参数。
• return_type（返回类型）：可选，如果能从函数体推断出来，可以省略。
• body（函数体）：包含要执行的代码。

2. 示例

#include <iostream>int main() {int a = 1, b = 2;auto add = [](int x, int y) -> int { return x + y; }; // 定义一个lambda函数std::cout << "Sum: " << add(a, b) << std::endl; // 使用lambda函数return 0;
}

3. 特性与限制

• 编译器隐式转换：lambda表达式可以隐式转换为函数指针、函数对象或者符合特定要求的函数对象类型。
• 可调用性：lambda表达式实例化后，可以像普通函数那样被调用。
• 闭包：lambda表达式加上其捕获的外部变量形成一个闭包，可以在定义它的范围之外使用。
• 类型：lambda表达式自身具有一个未命名的编译器生成的类类型，可以通过auto关键字来自动推导类型。

4. STL算法应用

作为函数对象传递给 STL 算法，如 std::sort 或 std::transform。
在异步编程中，作为回调函数。
实现函数式编程风格，如过滤、映射和折叠操作。

5. 演进

从C++11到C++20，lambda表达式的能力得到了不断的扩展，包括但不限于：

C++14开始支持初始化捕获（如x = someValue {}）。
C++17引入了通用捕获([=, &x])，允许混合使用默认捕获模式。
C++20进一步增强了lambda的功能，例如可以为lambda表达式指定模板参数列表。