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函数体访问的外部变量。

如果满足以下条件，则表达式在使用此变量之前为不需要捕获

1. 非局部变量、静态或者线程局部存储期

1. 常量表达式初始化引用

如果满足以下条件，则表达式在读取此变量之前不需要先捕获

1. 具有const的整型或枚举类型，并已经用常量表达式初始化了
2. 此变量具有constexpr的成员且没有mutable成员

默认捕获符：

• &（按引用隐式捕获被使用的自动存储期变量）
• =（按复制隐式捕获被使用的自动存储期变量）

其他捕获符：

标识符	简单的按复制捕获
标识符…	作为包展开的简单的按赋值捕获
标识符 初始化器	带初始化器的按值复制捕获	C++14
& 标识符	简单的按引用捕获
& 标识符…	作为包展开的简单的按引用捕获
& 标识符 初始化器	带初始化器器的按引用的捕获	C++14
this	当前对象的简单按引用捕获
*this	当前对象按简单的复制捕获	C++17
… 标识符 初始化器	初始化器为包展开的按复制引用	C++20
& … 标识符 初始化器	初始化器为包展开的按引用捕获	C++20

注意事项：

1. 当默认捕获符是&时，后继的简单捕获符不能&开始。
2. 当默认捕获是=是，后继的简单捕获必须为&、*this（C++17）、this（C++20）中的其中一个为开始。
3. 任何捕获符只可以出现一次，并且名字不能与任何形参名相同。