​C++ 中的 Lambda​

2024-08-29 02:20
文章标签 c++ lambda

本文主要是介绍​C++ 中的 Lambda​，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

C++11引入了lambda表达式，使得C++程序员能够编写更简洁的回调函数和闭包，

Lambda 表达式用于定义并创建匿名的函数对象，以简化编程工作。

1  语法

[捕获列表] (参数) mutable 或 exception 声明 -> 返回值类型 {函数体}

//计算两个值的和
auto func = [](int a, int b) -> int{return a+b;};
//当返回值的类型是确定时，可以忽略返回值
auto func = [](int a, int b){return a + b;};
//调用
int sum = func(1, 3);

2 语法分析

2.1 捕获列表

Lambda 表达式相当于一个类，那么捕获列表就是传递给这个类的类成员。比如：

class Labmda
{
public:const int test;Labmda(int value):test(value){}
public:int run(int a, int b){return a + b + test;}
}int main()
{int test = 10;auto func = Labmda(test);int sum = func.run(1, 3);
}//使用Lambda 表达式的写法
int main()
{int test = 10;auto func = [test](int a, int b){return a + b + test;};int sum = func(1, 3);
}

捕获列表有以下格式：

版本一：
  • []：默认不捕获任何变量；
  • [=]：Lambda表达式之前的局部变量，包括所在类的this，变量按值方式传递，默认以值捕获所有变量；
  • [&]：Lambda表达式之前的局部变量，包括所在类的this，变量按引用方式传递，默认以引用捕获所有变量；
  • [x]：Lambda表达式之前的局部变量x的值，也可以传入多个值，如[a , b]，仅以值捕获x，其它变量不捕获；
  • [&x]：Lambda表达式之前的局部变量x的引用，仅以引用捕获x，其它变量不捕获；
  • [=, &x]：默认以值捕获所有变量，但是x是例外，通过引用捕获；
  • [&, x]：默认以引用捕获所有变量，但是x是例外，通过值捕获；
  • [this]：Lambda表达式所在类的this，通过引用捕获当前对象（其实是复制指针）；
  • [*this]：通过传值方式捕获当前对象；
版本二：

空：代表不捕获Lambda表达式外的变量；
&：代表以引用传递的方式捕获Lambda表达式外的变量；
=：代表以值传递的方式捕获Lambda表达式外的变量，即以const引用的方式传值；
this：表示Lambda表达式可以使用Lambda表达式所在类的成员变量；
a或=a：表示以值引用的方式传递变量a aa，即const int a,在函数体内不可改变a的值；但是可以对Lambda表达式使用mutable修饰符修饰，使得函数对象参数可以进行赋值，但是该函数对象参数不是被修改为引用传递方式，下面进行细说；
&a：表示以引用传递的方式传递变量a aa，在函数体内可以改变a的值；
x，&y：x为值传递方式，y为引用传值方式；
=，&x，&y：除x，y为引用传递方式以外，其他参数都为值传递方式进行传递；
&，x，y：除x，y为值传递方式以外，其他参数都为引用传递方式进行传递；
 

2.2 关键字声明

关键字声明一般都很少用到，也不建议随便使用，可以忽略不计。

mutable

当捕获列表以值的方式传递时有效，加上此关键字后，可以修改Lambda类成员（带const修饰符）。比如：

int test = 10;
//编译报错，test成员不能修改
auto func = [test](int a, int b){test = 8; return a + b + test;}; 
//编译正常
auto func = [test](int a, int b)mutable {test = 8; return a + b + test;};

这里需要注意的是：Lambda类成员test修改之后，并不会改变外部int test的值。

exception

exception 声明用于指定函数抛出的异常，如抛出整数类型的异常，可以使用 throw(int)

2.3 示例

捕获列表按值传递
int test = 10;
auto func = [=](int a, int b){return a + b + test;};
auto func2 = [test](int a, int b){return a + b + test;};
int sum = func(1, 3); //sum等于14

这里需要注意的是func表达式中test的值只更新到表达式之前：

int test = 10;
auto func = [=](int a, int b){return a + b + test;};
test = 5;
int sum = func(1, 3); //sum还是等于14
捕获列表按引用传递
int test = 10;
auto func = [&](int a, int b){test = 5; return a + b + test;};
auto func2 = [&test](int a, int b){test = 5; return a + b + test;};
int sum = func(1, 3); //sum等于9，test等于5

这里func表达式中test的值就能随时更新：

int test = 10;
auto func = [&](int a, int b){return a + b + test;};
test = 5;
int sum = func(1, 3); //sum等于9，test等于5

例

using camera_output_target_ptr =
    std::unique_ptr<ACameraOutputTarget, void (*)(ACameraOutputTarget*)>; auto target= camera_output_target_ptr{
        [=]() {
            ACameraOutputTarget* target{};
            ACameraOutputTarget_create(
                    window, addressof(target));
            return target;
        }(),
        ACameraOutputTarget_free
    };      camera_output_target_ptr lambda表达式后面为什么要加（）

等价于

ANativeWindow* window, 指针传递

auto create_target = [=]() {  ACameraOutputTarget* target = nullptr;  ACameraOutputTarget_create(window, &target); // 确保使用正确的地址传递  return target;  
};  auto target = camera_output_target_ptr(create_target(), ACameraOutputTarget_free);

3 注意事项

lambda表达式提供了一种定义匿名函数对象的方式，这些对象可以捕获其所在作用域中的变量。Lambda表达式的参数捕获机制允许你选择是按值捕获还是按引用捕获这些变量。这里有一些在使用时需要注意的地方：

3.1 参数捕获方式

  • 按值捕获 ([=])：lambda表达式内部将使用捕获变量的副本。如果捕获的变量在lambda表达式外部被修改，lambda表达式内部使用的是修改前的值。
  • 按引用捕获 ([&])：lambda表达式内部将直接引用捕获的变量。如果捕获的变量在lambda表达式外部被修改，lambda表达式内部将看到这些修改。
  • 明确捕获：你也可以明确指定哪些变量按值捕获，哪些按引用捕获（例如，[&, x] 表示按引用捕获所有变量，但x按值捕获；[=, &y] 表示按值捕获所有变量，但y按引用捕获）。

3.2 注意事项

  • 生命周期问题：如果lambda表达式按引用捕获了一个变量，并且这个lambda表达式在原始变量的生命周期之后被调用，那么这将导致未定义行为（通常是访问悬挂指针或引用）。
  • 修改捕获的变量：如果lambda表达式需要修改捕获的变量（按值捕获的除外），则这些变量必须按引用捕获。但是，这也要求调用者注意lambda表达式的副作用。
  • 性能考虑：按值捕获可能导致不必要的复制或移动操作，特别是当捕获大型对象时。按引用捕获可能更有效率，但需要注意生命周期问题。
  • 闭包：Lambda表达式与其捕获的变量一起形成了一个闭包。闭包中的变量在lambda表达式的作用域之外是不可见的，但lambda表达式可以访问和修改这些变量（取决于捕获方式）。
  • 默认捕获：如果不指定捕获列表（例如，[]），则不会捕获任何外部变量。这可能会导致编译错误，如果lambda表达式内部试图访问外部变量的话。
  • mutable关键字：默认情况下，lambda表达式的捕获列表中的变量在lambda体内是只读的（如果它们是按值捕获的）。如果你需要在lambda体内修改这些变量（即使是按值捕获的），你需要在lambda表达式的参数列表后添加mutable关键字。然而，这通常与按引用捕获一起使用更有意义。

int main() {  int x = 10;  auto lambda = [&]() { x = 20; }; // 按引用捕获，可以修改x  lambda();  std::cout << x << std::endl; // 输出 20  int y = 10;  auto lambda2 = [y]() mutable { y = 20; }; // 错误，y是按值捕获的，不能修改  // lambda2(); // 如果取消注释，将编译失败  // 正确的做法（如果需要修改）  auto lambda3 = [&y]() { y = 20; }; // 按引用捕获y  lambda3();  // 注意：这里的y是main函数中的y的引用，但如果lambda3的作用域超出了main函数，则会导致问题  
}

这篇关于​C++ 中的 Lambda​的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/1116570。

相关文章

【C++ Primer Plus习题】13.4

【C++ Primer Plus习题】13.4

大家好,这里是国中之林! ❥前些天发现了一个巨牛的人工智能学习网站，通俗易懂，风趣幽默，忍不住分享一下给大家。点击跳转到网站。有兴趣的可以点点进去看看← 问题: 解答: main.cpp #include <iostream>#include "port.h"int main() {Port p1;Port p2("Abc", "Bcc", 30);std::cout <<
阅读更多...
C++包装器

C++包装器

包装器 在 C++ 中，“包装器”通常指的是一种设计模式或编程技巧，用于封装其他代码或对象，使其更易于使用、管理或扩展。包装器的概念在编程中非常普遍，可以用于函数、类、库等多个方面。下面是几个常见的 “包装器” 类型： 1. 函数包装器 函数包装器用于封装一个或多个函数，使其接口更统一或更便于调用。例如，std::function 是一个通用的函数包装器，它可以存储任意可调用对象（函数、函数
阅读更多...
C++11第三弹：lambda表达式 | 新的类功能 | 模板的可变参数

C++11第三弹：lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页： 南桥几晴秋 🌈C++专栏： 南桥谈C++ 🌈C语言专栏： C语言学习系列 🌈Linux学习专栏： 南桥谈Linux 🌈数据结构学习专栏： 数据结构杂谈 🌈数据库学习专栏： 南桥谈MySQL 🌈Qt学习专栏： 南桥谈Qt 🌈菜鸡代码练习： 练习随想记录 🌈git学习： 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�
阅读更多...
【C++】_list常用方法解析及模拟实现

【C++】_list常用方法解析及模拟实现

相信自己的力量，只要对自己始终保持信心，尽自己最大努力去完成任何事，就算事情最终结果是失败了，努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一：什么是list？ •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二：list常用接口 •🌰1.默认成员函数 🔥构造函数（⭐） 🔥析构函数 •🌰2.list对象
阅读更多...
06 C++Lambda表达式

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获：包含零个或者多个捕获符的逗号分隔列表 模板形参：用于泛型lambda提供个模板形参的名
阅读更多...
6.1.数据结构-c/c++堆详解下篇（堆排序，TopK问题）

6.1.数据结构-c/c++堆详解下篇（堆排序，TopK问题）

上篇：6.1.数据结构-c/c++模拟实现堆上篇（向下，上调整算法，建堆，增删数据）-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小)： 2.2 C语言代码（手写堆） 2.3 C++代码（使用优先级队列 priority_queue）
阅读更多...
【C++高阶】C++类型转换全攻略：深入理解并高效应用

【C++高阶】C++类型转换全攻略：深入理解并高效应用

📝个人主页🌹：Eternity._ ⏩收录专栏⏪：C++ “ 登神长阶 ” 🤡往期回顾🤡：C++ 智能指针 🌹🌹期待您的关注 🌹🌹 ❀C++的类型转换 📒1. C语言中的类型转换📚2. C++强制类型转换⛰️static_cast🌞reinterpret_cast⭐const_cast🍁dynamic_cast 📜3. C++强制类型转换的原因📝
阅读更多...
C++——stack、queue的实现及deque的介绍

C++——stack、queue的实现及deque的介绍

目录 1.stack与queue的实现 1.1stack的实现  1.2 queue的实现 2.重温vector、list、stack、queue的介绍 2.1 STL标准库中stack和queue的底层结构  3.deque的简单介绍 3.1为什么选择deque作为stack和queue的底层默认容器  3.2 STL中对stack与queue的模拟实现 ①stack模拟实现
阅读更多...
c++的初始化列表与const成员

c++的初始化列表与const成员

初始化列表与const成员 const成员 使用const修饰的类、结构、联合的成员变量，在类对象创建完成前一定要初始化。 不能在构造函数中初始化const成员，因为执行构造函数时，类对象已经创建完成，只有类对象创建完成才能调用成员函数，构造函数虽然特殊但也是成员函数。 在定义const成员时进行初始化，该语法只有在C11语法标准下才支持。 初始化列表 在构造函数小括号后面，主要用于给
阅读更多...
2024/9/8 c++ smart

2024/9/8 c++ smart

1.通过自己编写的class来实现unique_ptr指针的功能 #include <iostream> using namespace std; template<class T> class unique_ptr { public:         //无参构造函数         unique_ptr();         //有参构造函数         unique_ptr(
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2