本文主要是介绍06 C++Lambda表达式，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
lambda表达式的定义
没有显式模版形参的lambda表达式
[捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体}
有显式模版形参的lambda表达式
[捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体}
含义
捕获：包含零个或者多个捕获符的逗号分隔列表
模板形参：用于泛型lambda提供个模板形参的名字
模板约束：向模板形参添加约束，如果模板约束以属性说明符序列结尾，那么该序列中的属性会被视为前属性中的属性（C++23）
前属性：适用于闭包类型的operator()的属性说明符序列 （C++23）
形参列表：闭包类型的operator()的形参列表，他可以有一个显式对象形参 （C++23）
说明符：可包含以下说明符的序列，每个说明符在序列中最多允许出现一次
1、mutable 允许函数体修改赋值捕获的对象，以及调用它们非const成员函数。
异常：为闭包类型的operator()提供动态异常说明符（C++20）noexcept说明符
后属性：使用于闭包类型的operator()的类型的属性说明序列
尾随类型：->返回值类型，其中返回类型指定返回类型
约束：向闭包类型的operator添加约束（C++20）
函数体：lambad表达式的函数体
注意：在正常使用 lambda 的时候很少用到前属性、说明符 、异常 、后属性 、约束等，不做深究，只知道有这个东西即可。
闭包类型：在 C++ 中，"闭包类型"（或称为闭合类型）通常与闭包相关联。闭包是一个函数对象，能够捕获其定义时的上下文环境。闭包类型通常用于实现 lambda 表达式或其他函数对象，这些函数对象能够记住并操作其定义环境中的变量。当且仅当捕获为空的时候，闭包类型是结构化类型
闭包类型有下列成员，他们不能被显示化实例、显式特化和在有元声明中指名
闭包类型::operator()(形参)
1、返回类型 operator()(形参){函数体}
2、template<模版形参>
返回类型 operator()(形参){函数体}
注意 ：在实际使用过程中我们很少使用自定义的闭包类型，一般都是和 lambda 一起使用，所以这里了解一个概念即可。我们常见的常用的自定义闭包类型就是重写 "()" 运算符。
捕获
捕获是有零个或多个捕获符的逗号分隔列表，用于使lambda函数体访问的外部变量。
如果满足以下条件，则表达式在使用此变量之前为不需要捕获
- 非局部变量、静态或者线程局部存储期
- 常量表达式初始化引用
如果满足以下条件，则表达式在读取此变量之前不需要先捕获
- 具有const的整型或枚举类型，并已经用常量表达式初始化了
- 此变量具有constexpr的成员且没有mutable成员
默认捕获符：
- &（按引用隐式捕获被使用的自动存储期变量）
- =（按复制隐式捕获被使用的自动存储期变量）
其他捕获符：
| 标识符 | 简单的按复制捕获 | |
| 标识符… | 作为包展开的简单的按赋值捕获 | |
| 标识符 初始化器 | 带初始化器的按值复制捕获 | C++14 |
| & 标识符 | 简单的按引用捕获 | |
| & 标识符… | 作为包展开的简单的按引用捕获 | |
| & 标识符 初始化器 | 带初始化器器的按引用的捕获 | C++14 |
| this | 当前对象的简单按引用捕获 | |
| *this | 当前对象按简单的复制捕获 | C++17 |
| … 标识符 初始化器 | 初始化器为包展开的按复制引用 | C++20 |
| & … 标识符 初始化器 | 初始化器为包展开的按引用捕获 | C++20 |
注意事项：
- 当默认捕获符是&时，后继的简单捕获符不能&开始。
- 当默认捕获是=是，后继的简单捕获必须为&、*this（C++17）、this（C++20）中的其中一个为开始。
- 任何捕获符只可以出现一次，并且名字不能与任何形参名相同。
这篇关于06 C++Lambda表达式的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
