C++ Lambda表达式第二篇， Lambda表达式

C++ Lambda表达式

  • Lambda 捕获
  • 含有模板参数的Lambda表达式
  • 无模板参数的Lambda表达式

Lambda 捕获

captures是零个或多个捕获的逗号分隔列表，可以选择以capture-default开头。捕获列表定义可从 lambda 函数体内访问的外部变量。唯一的捕获默认值是

  • &，变量引用方式，隐式捕获已使用的变量，存储持续时间限于Lambda表达式内
  • =，值引用方式，隐式捕获已使用的变量，存储持续时间限于Lambda表达式内。

如果存在任一捕获默认值，则当前对象 (*this)可以隐式捕获。如果隐式捕获，则始终通过引用捕获，即使捕获默认值为=。从C++20开始，当捕获默认值为 = 时，不推荐使用 *this 的隐式捕获。

captures 中单个捕获的语法是

下面展示一些 内联代码片。

 - identifier                            简单的值引用捕获- identifier ...                        简单的值引用捕获，捕获是一个包扩展- identifier initializer                简单的值引用捕获，捕获包括初始化器- &identifier                           简单的变量引用捕获- &identifier...                        简单的变量引用捕获，捕获是一个包扩展- &identifier initializer               简单的变量引用捕获，捕获包括初始化器- this                                  当前对象的简单的变量引用捕获- *this                                 当前对象的简单的值引用捕获- ...identifier initializer             值引用捕获，捕获是一个包扩展， 包扩展包含初始化器- &...identifier initializer            变量引用捕获，捕获是一个包扩展， 包扩展包含初始化器

如果capture-default 为 &，则后续的简单捕获不能以 & 开头。

#include  <iostream>using namespace std;struct S2 { void f(int i, int j); };
void S2::f(int i, int j)
{[&] {i = i + 1;};          // OK: by-reference capture defaultcout << "i = " << i << endl;//	[&, i] {i=0; j=j+1;};       // error: assignment of read-only variable ‘i’[&, i] {j=i+1;};cout << "j=" << j << endl;//	[&, &i] {};      // Error: by-reference capture when by-reference is the default[=, &j] {j=i+1;};cout << "j=" << j << endl;[&, this, i] {}; // OK, equivalent to [&, i]
}int main() {	S2 s1;s1.f(1, 2);cout << endl;s1.f(9, 10);
}

代码运行的屏幕输出

i = 1
j=2
j=2i = 9
j=10
j=10

只有在块作用域或默认成员初始器中定义的 lambda 表达式，才可以有一个默认捕获或不带初始器的捕获。对于此类 lambda 表达式，其有效范围定义为一组封闭范围，这个范围包括最内层封闭函数（及其参数）。这包括嵌套的块作用域和封闭 lambda 的作用域（如果该 lambda 是嵌套的）。

任何没有初始化程序的捕获（除了 this-capture）中的 identifier，都是在 lambda 的到达范围内，使用通常的非限定名称查找来查找的。查找的结果必须是，在到达范围内声明的具有自动存储持续时间的变量，或者是其对应变量满足此类要求的结构化绑定。该实体被显式捕获。

带初始器的捕获的行为，就好像它声明，并显式捕获一个变量，这个变量使用类型说明符 auto 和相同的初始器声明。其声明区域是 lambda 表达式的主体（即，它不在其初始器设定的范围内），但不包括下列情况：

  • 如果捕获是通过值引用，则闭包对象引入的非静态数据成员，是引用该变量的另一种方式；
    换句话说，源变量实际上并不存在，并且通过 auto 进行类型推导和初始化，适用于该非静态数据成员；
  • 如果捕获是通过变量引用，则闭包对象的生命周期结束时，引用变量的生命周期也结束。

这用于通过 x = std::move(x) 等捕获，来捕获仅移动类型。
这也使得可以使用 &cr = std::as_const(x) 或类似方法，使const 引用捕获成为可能。

#include  <iostream>using namespace std;int x = 4;
auto y = [&r = x, x = x + 1]()->int{r += 2; return x * x;};int main()
{auto val = y();cout << "x=" << x  <<  endl;cout << val << endl;
}

x=6
25

如果捕获表有一个默认捕获，并且未显式捕获封闭对象（如 this 或 *this），或者自动变量，或者结构化绑定；那么，它会隐式捕获实体， 该实体在一个表达式中，在potentially-evaluated表达式中命名。
该自动变量在lambda 主体中是odr-usable。结构化绑定有原子存储持续时间。

#include  <iostream>using namespace std;void f(int x, const int (&)[2] = {}) { cout <<"f1:" << x <<endl;}   // #1
void f(const int &x, const int (&)[1]) { cout <<"f2:" << x <<endl;} // #2struct NoncopyableLiteralType
{constexpr explicit NoncopyableLiteralType(int n) : n_(n) {}NoncopyableLiteralType(const NoncopyableLiteralType&) = delete;int n_;
};int main ()
{const int x = 17;auto l0 = []{ f(x); };           // OK: calls #1, does not capture xauto g0 = [](auto a) { f(x); };  // same as aboveauto l1 = [=]{ f(x); };          // OK: captures x (since P0588R1) and calls #1// the capture can be optimized awayauto g1 = [=](auto a) { f(x); }; // same as aboveauto g2 = [=](auto a) {int selector[sizeof(a) == 1 ? 1 : 2] = {};f(x, selector); 					// OK: is a dependent expression, so captures xcout << "g2" << endl;};auto ltid = [=]{ return typeid(x).name(); };   // OK: captures x (since P0588R1)// even though x is unevaluated// the capture can be optimized awayauto g3 = [=](auto a) {auto type = typeid(a + x).name();  // captures x regardless of// whether a + x is an unevaluated operandcout << "g3: " << type << endl;};auto g4 = [&](auto a) {int selector[sizeof(a) == 1 ? 1 : 2] = {};f(x, selector); 					// OK: is a dependent expression, so captures xcout << "g2" << endl;};l1();g1(1);g2(1);g2(2);cout << "x id:" << ltid() << endl;g3(4);g4(1);constexpr NoncopyableLiteralType w{42};auto l4 = []{ return w.n_; };      // OK: w is not odr-used, capture is unnecessary// auto l5 = [=]{ return w.n_; };  // error: w needs to be captured by copycout << l4() << endl;
}
f1:17
f1:17
f1:17
g2
f1:17
g2
x id:i
g3: i
f1:17
g2
42

含有模板参数的Lambda表达式

 - [captures ] front-attr (optional) (params ) specs (optional) exception (optional) back-attr (optional) trailing-type (optional) requires (optional) { body }- [captures ] { body }- [captures ] front-attr (optional) trailing-type (optional) { body }	- [captures ] front-attr (optional) exception back-attr (optional) trailing-type (optional) { body }	- [captures ] front-attr (optional) specs exception (optional) back-attr (optional) trailing-type (optional) { body }
  • captures - Lambda表达式可以拥有零个或多个逗号分隔的捕获列表，可以选择以捕获默认值开头。
    lambda 表达式可以使用变量而不捕获它，如果该变量
  • 是非局部变量或具有静态或线程局部存储持续时间（在这种情况下无法捕获该变量），或者
  • 是已使用常量表达式初始化的引用。

lambda 表达式可以读取变量的值而不捕获它，如果变量

  • 具有 const 非易失性整型或枚举类型，并且已使用常量表达式进行初始化，或者

  • 是 constexpr 并且没有可变成员。

  • tparams - 模板参数的非空逗号分隔列表，用于为通用 lambda 的模板参数提供名称。

  • t-requires - 给tparams 添加约束。
    如果 t-requires 以属性说明符序列结尾，则序列中的属性将被视为 front-attr 中的属性。

  • front-attr - 属性说明符序列适用于闭包类型的operator()。

  • params - 闭包类型的operator()的参数列表。
    它可以有一个显式的对象参数。

  • specs - 以下说明符的列表，每个说明符在每个序列中最多允许出现一次。

说明符意义
mutable允许 body 修改通过复制捕获的对象，并调用它们的非常量成员函数。如果存在显式对象参数，则无法使用。
constexpr显式指定 operator() 是 constexpr 函数。如果 operator() 满足所有 constexpr 函数要求，则即使 constexpr 不存在，operator() 也将是constexpr 。
consteval指定 operator() 是立即函数。consteval 和 constexpr 不能同时使用。
static指定 operator() 是静态成员函数。static 和 mutable 不能同时使用。如果 captures 不为空，或者存在显式对象参数，则无法使用。

  • exception - 为闭包类型的operator()提供动态异常规范，或noexcept说明符。

  • back-attr - 属性说明符序列适用于闭包（Closure）类型的operator()类型（因此不能使用noreturn属性）。

  • Trailing-type - -> ret，其中 ret 指定返回类型。

  • require - 给闭包类型的 operator() 添加约束。

  • body - 函数体。

在 body 的开头隐式定义 __func __

无模板参数的Lambda表达式

 - [captures ] <tparams > t-requires (optional) front-attr (optional) (params ) specs (optional) exception (optional) back-attr (optional) trailing-type (optional) requires (optional) { body }- [captures ] <tparams > t-requires (optional) { body }- [captures ] <tparams > t-requires (optional) front-attr (optional) trailing-type (optional) { body }	- [captures ] <tparams > t-requires (optional) front-attr (optional) exception back-attr (optional) trailing-type (optional) { body } - [captures ] <tparams > t-requires (optional) front-attr (optional) specs exception (optional) back-attr (optional) trailing-type (optional) { body }

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/pingmian/42308.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

Kylin系列（二）架构解析：深入理解 Kylin 的架构设计

Kylin系列（二）架构解析：深入理解 Kylin 的架构设计

目录 1. 引言 2. Kylin 的基本概念 2.1 预计算 2.2 多维数据集&#xff08;Cube&#xff09; 2.3 维度和度量 3. Kylin 的架构设计 3.1 数据源 3.2 数据建模 3.2.1 星型模型 3.2.2 雪花模型 3.3 多维数据集构建 3.3.1 数据导入 3.3.2 维度和度量计算 3.3.3 存储优…
阅读更多...
AI微电影制作教程：轻松打造高清小人国画面

AI微电影制作教程：轻松打造高清小人国画面

AI微电影作为一种新兴的视频内容形式&#xff0c;以其独特的视觉效果和制作技术在各大视频平台上取得了显著的流量表现。 2. AI微电影的特点 2.1 高清画质与流畅动作&#xff1a;AI微电影以其高分辨率和流畅的动作给观众带来优质的视觉体验。 2.2 微缩画面效果&#xff1a;独…
阅读更多...
大数据面试题之Presto[Trino](6)

大数据面试题之Presto[Trino](6)

如何诊断Presto查询慢的问题&#xff1f; 诊断Presto查询慢的问题通常需要一个系统化的方法&#xff0c;结合监控、日志分析、查询优化策略和系统配置调整等多个方面。以下是一些具体的步骤和建议&#xff1a;1、查看Presto Dashboard&#xff1a; 登录Presto的Web UI&#xf…
阅读更多...
WebKit 入门案例教程

WebKit 入门案例教程

WebKit 的基本概念 1.什么是 WebKit&#xff1f;&#xff1a;WebKit 是一个开源的浏览器引擎&#xff0c;用于渲染 HTML、CSS 和 JavaScript 等内容。 2.WebKit 的组件&#xff1a;WebKit 的组件包括 HTML 解析器、CSS 解析器、JavaScript 引擎、布局引擎等。 3.WebKit 的应用…
阅读更多...
用 adb 来模拟手机插上电源和拔掉电源的情形

用 adb 来模拟手机插上电源和拔掉电源的情形

实用的 ADB 命令 要模拟手机从 USB 充电器上拔掉的情形&#xff0c;你可以使用&#xff1a; adb shell dumpsys battery set usb 0或者&#xff0c;如果你使用的是 Android 6.0 或更高版本的设备&#xff0c;你可以使用&#xff1a; adb shell dumpsys battery unplug要重新…
阅读更多...
使用Docker、Docker-compose部署单机版达梦数据库（DM8）

使用Docker、Docker-compose部署单机版达梦数据库（DM8）

安装前准备 Linux Centos7安装&#xff1a;https://blog.csdn.net/andyLyysh/article/details/127248551?spm1001.2014.3001.5502 Docker、Docker-compose安装&#xff1a;https://blog.csdn.net/andyLyysh/article/details/126738190?spm1001.2014.3001.5502 下载DM8镜像 …
阅读更多...
三种 FRR 技术演进 LFA、rLFA、Ti-LFA

三种 FRR 技术演进 LFA、rLFA、Ti-LFA

FRR&#xff1a;Fast ReRoute 快速重路由&#xff0c;是为最大程度地减少流量损失&#xff0c;路由器预先安装一条备份路径&#xff0c;当故障发生的时候&#xff0c;由邻近故障点的路由器&#xff08;PLR&#xff1a;Point of Local Repair&#xff0c;本地修复节点&#xff0…
阅读更多...
在Java Web项目中遇到过哪些技术难题以及如何解决的

在Java Web项目中遇到过哪些技术难题以及如何解决的

在Java Web项目中&#xff0c;开发者可能会遇到多种技术难题。这些难题可能涉及框架使用、性能优化、安全性、数据库交互、前后端交互等多个方面。以下是一些常见的技术难题及其可能的解决方案&#xff1a; 1. 框架使用问题 难题&#xff1a; Spring Boot、Spring MVC等框架…
阅读更多...
自动控制：前馈控制

自动控制：前馈控制

自动控制&#xff1a;前馈控制 前馈控制是一种在控制系统中通过预先计算和调整输入来应对已知扰动或变化的方法。相比于反馈控制&#xff0c;前馈控制能够更快速地响应系统的变化&#xff0c;因为它不依赖于系统输出的反馈信号。前馈控制的应用在工业过程中尤为广泛&#xff0…
阅读更多...
银河麒麟(V10SP1)-arm版交叉编译-qt-5.12.12源码

银河麒麟(V10SP1)-arm版交叉编译-qt-5.12.12源码

前言 确实是编译出来了qtbase库和qtwebengine库&#xff0c;如果按照文章没有操作出来有两种情况 (1) 读者阅读不仔细 (2) 我后期记录整理时写错了 不完美之处和遗留问题 读者阅读前须知 1. 最后发现没有生成libqxcb库文件,如果在国产化系统上执行qt程序时依赖的是自己编译…
阅读更多...
element-ui输入框如何实现回显的多选样式？

element-ui输入框如何实现回显的多选样式？

废话不多说直接上效果&#x1f9d0; 效果图 <template><div><el-form:model"params"ref"queryForm"size"small":inline"true"label-width"68px"><el-form-item label"标签" prop"tag&q…
阅读更多...
基于java+springboot+vue实现的仓库管理系统（文末源码+lw+ppt）23-499

基于java+springboot+vue实现的仓库管理系统（文末源码+lw+ppt）23-499

第1章 绪论 伴随着信息社会的飞速发展&#xff0c;仓库管理所面临的问题也一个接一个的出现&#xff0c;所以现在最该解决的问题就是信息的实时查询和访问需求的问题&#xff0c;以及如何利用快捷便利的方式让访问者在广大信息系统中进行查询、分享、储存和管理。这对我们的现…
阅读更多...
微积分-导数5（链式法则）

微积分-导数5（链式法则）

链式法则 假设你想求下面的函数的导数 f ( x ) x 2 1 f(x) \sqrt{x^2 1} f(x)x21 ​ 之前学到的微分法则没求 F ′ ( x ) F(x) F′(x)。 我们观察到 F F F 是一个复合函数。实际上&#xff0c;如果我们令 y f ( u ) u y f(u) \sqrt{u} yf(u)u ​ 并且 u g ( x ) …
阅读更多...
Oracle PL / SQL运算符

Oracle PL / SQL运算符

连接运算符 串联运算符||将一个字符串操作数附加到另一个。 每个字符串可以是CHAR&#xff0c;VARCHAR2&#xff0c;CLOB。 如果任一个字符串是CLOB&#xff0c;则结果是临时CLOB; 否则&#xff0c;它是一个VARCHAR2值。 下面的代码连接运算符。 DECLARE x VARCHAR2(4) : …
阅读更多...
Golang 类型断言+反射+序列化

Golang 类型断言+反射+序列化

类型断言 什么是类型断言 由于多态的存在&#xff0c;接口变量不知道其指向的具体类型&#xff0c;如果需要转为具体类型&#xff0c;则需要使用类型断言 类型断言语法 接口变量名.(具体类型) // 此处变量必须为 interface 类型类型断言返回值 x : 变量名.(具体类型) // 如…
阅读更多...
【第三版 系统集成项目管理工程师】第4章 信息系统架构

【第三版 系统集成项目管理工程师】第4章 信息系统架构

持续更新。。。。。。。。。。。。。。。 【第三版】系统集成项目管理工程师 考情分析4.1架构基础4.1.1指导思想&#xff08;非重点&#xff09; P1364.1.2设计原则&#xff08;非重点&#xff09; P1364.1.3建设目标&#xff08;非重点&#xff09; P1374.1.4总体框架 P138练习…
阅读更多...
常见的Java运行时异常

常见的Java运行时异常

常见的Java运行时异常 1、ArithmeticException&#xff08;算术异常&#xff09;2、ClassCastException &#xff08;类转换异常&#xff09;3、IllegalArgumentException &#xff08;非法参数异常&#xff09;4、IndexOutOfBoundsException &#xff08;下标越界异常&#xf…
阅读更多...
Vue3 监听属性

Vue3 监听属性

Vue3 监听属性 Vue.js 是一个流行的前端框架，以其响应式系统和组件化开发而闻名。在 Vue3 中，监听属性（Watchers）是一个核心功能，允许开发者监控和响应数据的变化。本文将详细介绍 Vue3 中监听属性的使用方法、场景和最佳实践。 监听属性的基本概念 在 Vue3 中，监听属…
阅读更多...
windows无法访问github

windows无法访问github

##一、如果发现windows无法访问github时 一般就是我们的dns出现了问题&#xff0c;此时我们需要更换一个dns访问 ##二、解决方法 首先我们访问ip查询地址&#xff0c; https://ipchaxun.com/github.com/ 可更换下面历史ip进行测试&#xff0c;在windows的cmd里面输入ping git…
阅读更多...
VirtualBox虚拟机网络设置（四种方式）

VirtualBox虚拟机网络设置（四种方式）

在使用VirtualBox进行虚拟化操作时&#xff0c;网络配置是一个重要的环节。VirtualBox提供了四种主要的网络连接方式&#xff0c;每种方式都有其特定的应用场景和特点。以下是详细的介绍&#xff1a; 1. NAT (Network Address Translation) 特点&#xff1a; - 工作原理&#…
阅读更多...
最新文章

Copyright @ 2022~2023