c++11新特性-lambda表达式

2024-09-02 01:12
文章标签 c++ 特性 表达式 lambda

本文主要是介绍c++11新特性-lambda表达式，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

1. 概念

lambda表达式实际上是一个匿名类的成员函数，该类由编译器为lambda创建，该函数被隐式地定义为内联。因此，调用lambda表达式相当于直接调用它的operator()函数，这个函数可以被编译器内联优化（建议）。

例如快速排序算法，STL允许用户自定义比较方式，在C++11之前，通常使用仿函数实现。但是代码一旦很长，使用之处和仿函数实现的地方相隔甚远，而且如果仿函数的命名不规范，很容易造成使用上的困难。

仿函数，又叫做函数对象（functor，function object），因为实现仿函数的方式就是重载一个类的operator()，只是用起来跟函数一样，其本质依然是一个对象。

2. 语法

C++11的lambda表达式是一种允许内联函数的特性，它可以用于不需要重用和命名的代码片段。lambda表达式的一般形式是：

[capture clause] (parameters) mutable -> return-type { function body }

[captureclause]：捕捉列表。该列表总是出现在lambda函数的开始位置，编译器根据[]来判断接下来的代码是否为lambda函数，捕捉列表能够捕捉上下文中的变量供lambda函数使用。
(parameters)：参数列表。与普通函数的参数列表一致，如果不需要参数传递，则可以连同()一起省略。
mutable：默认情况下，lambda函数总是一个const函数，mutable可以取消其常量性。使用该修饰符时，参数列表不可省略（即使参数为空）。
->return-type：返回值类型。用追踪返回类型形式声明函数的返回值类型，没有返回值时此部分可以省略。返回值类型明确情况下，也可省略，由编译器对返回类型进行推导。
{statement}：函数体。在该函数体内，除了可以使用其参数外，还可以使用所有捕获到的变量。
以一个简单的例子理解lambda表达式的语法：

#include <iostream>
using namespace std;int main()
{[] () {cout << "hello lambda" << endl;};return 0;
}

一般不会以这种方式写代码，还不如直接打印来得快，比较可能得一种使用形式：

#include <iostream>
using namespace std;int main()
{auto l = [] {cout << "hello lambda" << endl;};l();return 0;
}

注意：
1> 上面的例子和概念中的“内联”属性并没有关系。
2> lambda表达式在main函数之外定义也不影响结果。
3> lambda表达式的最后有分号。
4< lambda函数的参数列表和返回值类型不是必要的，但捕捉列表和函数体是不可省略的。习惯上不写返回值，让表达式自动推导。

3. 示例:

3.1 示例1
int main()
{int id = 0;auto f = [id] () mutable {cout << "id:" << id << endl;++id;};id = 42;f();f();f();cout << "id:" << id << endl;
}

注：在这里先不管mutable。
[id]表示在lambda表达式外部的所有名为id的变量都能被使用
()表示这个lambda表达式不用传参

3.2 示例2
int main()
{int id = 0;auto f = [&id] (int param) {cout << "id:" << id << ", ";cout << "param:" << param << endl;++id;++param;};id = 42;f(7);f(7);f(7);cout << "id:" << id << endl;return 0;
}

例2和例1的区别：去掉了mutable，以传引用方式捕捉变量，新增参数param。

[&id]，表示以引用方式捕捉变量id。那么匿名函数内部和外界处理的变量id就是同一个，函数内部和外部都会互相影响。

3.3 示例3
int main()
{int id = 0;auto f = [id] () {cout << "id:" << id << ", ";++id; // 编译错误};id = 42;f();f();f();cout << "id:" << id << endl;return 0;
}

error: cannot assign to a variable captured by copy in a non-mutable lambda
提示不能赋值给一个非可变的（non-mutable）变量。结合例1，言外之意是mutable的修饰使得lambda表达式能够在内部修改捕捉到的变量。

3.4 示例4
int main()
{int id = 0;auto f = [id] () mutable {cout << "id:" << id << endl;++id;static int x = 5;int y = 6;return id;};f();return 0;
}

此例仅为了说明lambda表达式本质是一个匿名函数（底层由仿函数实现），所有函数的内部都能定义不同类型的变量，也允许有返回值。

4. 捕捉方式

4.1 基本方式

Lambda表达式的捕捉方式是指它如何访问外部变量，也就是定义在lambda表达式之外的变量。Lambda表达式的最基本的两种捕获方式是：按值捕获（Capture by Value）和按引用捕获（Capture by Reference）。
1> 按值捕获是指lambda表达式内部保存一份外部变量的副本，对这个副本进行操作不会影响原来的变量。
2> 按引用捕获是指lambda表达式内部直接使用外部变量的引用，对这个引用进行操作会影响原来的变量。

4.2 隐式和混合

除此之外，还有两种方式：隐式捕获和混合方式。它们是两种更简便的捕获方式，它们可以让编译器自动推断需要捕获的外部变量。
1> 隐式捕获：
[=]表示以值捕获的方式捕获所有外部变量（默认），成员函数包括this指针；
[&]表示以引用捕获的方式捕获所有外部变量，成员函数包括this指针。
混合方式是指在隐式捕获的基础上，显式地指定某些变量的不同捕获方式。

2> 混合使用时，要求捕获列表中第一个元素必须是隐式捕获（&或=），然后后面可以跟上显式指定的变量名和符号。
混合使用时，若隐式捕获采用引用捕获&，则显式指定的变量必须采用值捕获的方式；若隐式捕获采用值捕获=，则显式指定的变量必须采用引用捕获的方式，即变量名前加&。

一个例子：

int main()
{int a = 123;int b = 456;auto f = [=, &b] () {    // 隐式值捕获a，显式引用捕获bcout << a << endl;  // 输出：123cout << b << endl;  // 输出：456b = 789;            // 修改b的值};f();cout << b << endl;      // 输出：789return 0;
}

注意点：
1> [=]以值捕获，是默认状态一般不写。
2> 不允许以相同方式重复捕捉，例如[=, a]，前者已经表示以值捕获所有外部变量，后者就重复了。但是[=, &a]是被允许的，因为它们的捕获方式不同。
3> Lambda表达式的父作用域是指定义lambda表达式的那个作用域，通常是一个函数或者一个类。Lambda表达式的块作用域是指lambda表达式本身的作用域，它是一个匿名函数，可以在其他地方调用。
4> Lambda表达式可以捕获父作用域中的局部变量，但是不能捕获其他作用域或者非局部变量。Lambda表达式捕获父作用域中的局部变量时，要求这个变量必须是声明为final的，或者实际上是final的（即不会被修改）。Lambda表达式不能在自己的块作用域中声明和父作用域中同名的参数或者局部变量。
5> Lambda表达式之间不能相互赋值，因为它们的本质是函数对象。即使从文本层面看它们的名字相同，但是底层编译器给它们取的名字是不同的。

5. 传递lambda表达式

C++传递lambda表达式的方法有以下几种：

1> 将lambda表达式转换为相应的函数指针（如果没有捕获任何变量）。使用std::function作为参数类型，它可以接受任何可调用对象（包括捕获变量的lambda表达式）。例如：

void foo(std::function<bool(int)> f) 
{// 函数动作
}foo ([] (int x) { // 传递lambda表达式return x > 0; }
);

2> 将lambda表达式赋值给一个变量，然后将这个变量传递给函数。例如：

auto add = [] (int a, int b) {// 将lambda表达式赋值给add变量 return a + b; 
}; int result = add(1, 2); // 调用lambda表达式
bar(add); // 传递lambda表达式给变量bar

3> 使用decltype来推导出lambda表达式的类型，然后将这个类型作为模板参数传递给函数。例如：

template<typename F>
void baz(F f) 
{// 函数动作
}auto mul = [] (int a, int b)  {return a * b; 
};  // 定义lambda表达式baz<decltype(mul)>(mul); // 传递lambda表达式和它的类型给变量baz

示例：

int main()
{auto cmp = [] (int a, int b) {return a > b;};set<int, decltype(cmp)> s(cmp);return 0;
}

这段代码中使用了decltype是为了推断出lambda表达式的类型。decltype是一个C++11引入的关键字，它可以根据表达式的类型返回一个类型。在这个例子中，decltype(cmp)就是lambda表达式的类型，它被用作set容器的第二个模板参数，指定了set中元素的比较方式。set的第三个模板参数需要一个比较函数类型，而lambda表达式本身没有一个固定的类型，decltype可以根据lambda表达式的operator()来推导出它的函数类型，从而满足set的要求。

如果不使用decltype，就需要显式地写出lambda表达式的类型，但这很麻烦，因为lambda表达式的类型是编译器生成的，并没有一个具体的名字。你就需要自己定义一个比较类或者函数，并将其作为模板参数传递给std::set。

6. 原理

在上文已经提到，lambda表达式的本质就是一个函数对象，即仿函数，下面分别是两个功能相同的lambda表达式和函数对象：

class Add
{
public:Add(int base) :_base(base) {}int operator()(int num){return _base + num;}
private:int _base;
};
int main()
{int base = 1;// 函数对象Add add1(base);add1(1);// lambda表达式auto add2 = [base](int num){return base + num;};add2(1);return 0;
}

在这里插入图片描述
通过汇编代码，可以看到编译器处理lambda表达式的方式和处理函数对象相同。原因是C++的lambda表达式底层实现是一个类，它重载了operator()运算符，使得它可以像函数一样被调用。这个类还包含了lambda表达式捕获的变量，它们可以是值捕获或引用捕获。

一个lambda表达式产生一个临时对象，它可以用来初始化一个栈上的变量。这个对象有构造函数和析构函数，并且遵循所有C++规则。

这就是lambda表达式即使在上层看来名字相同也不能相互赋值的原因，编译器在底层给它们各自的函数对象的类起了不同的名字。例如在VS编译器中，具体类名为：lambda_uuid。

类名的 uuid （Universally Unique Identifier）是一个用于标识类的唯一标识符。

lambda_uuid即lambda表达式的类型。所以lambda表达式的“匿名”属性是对于使用者而言的，对于编译器来说是有名的。

7. 内联属性

C++的lambda表达式是一种方便的定义匿名函数对象（Go语言中的闭包）的方法，它可以在调用或作为参数传递给函数的地方直接定义。通常lambda表达式用于封装一些传递给算法或异步函数的代码。

C++11中引入了λ表达式，它可以用来定义一个**内联 (inline)**的函数，作为一个本地的对象或者一个参数。内联函数是一种编译器优化技术，它可以避免函数调用的开销，提高执行效率。λ表达式可以被编译器自动内联展开，从而减少函数调用的次数。但是，并不是所有的λ表达式都会被内联，这取决于编译器的实现和优化策略。

一般来说，lambda表达式会被内联的条件是：
1> lambda表达式作为参数传递给一个内联函数
2> lambda表达式没有被保存或者传递到其他地方
3> lambda表达式没有从更外层的函数返回
如果不满足这些条件，可以使用noinline关键字来标记lambda参数，表示不要求内联。另外，编译器也会根据实现和优化策略来决定是否内联lambda表达式。

如果一个函数被调用的频率很低，甚至只有一次，那么内联属性使得它在被调用的位置展开，能减少调用函数创建栈帧的开销。lambda表达式的内联属性是默认的，只要编译器认为它可以在某处展开，那么它就像一个内嵌语句一样。

补充，lambda表达式在递归调用时能提供便利。例如我们要写一个DFS，我们知道这需要传参，然后再递归调用，然而这可以通过在函数内定义一个lambda表达式，然后在函数内调用它，就像调用普通函数一样。例如在这道题中最长公共子序列：

class Solution {
public:int longestCommonSubsequence(string text1, string text2) {int m = text1.size(), n = text2.size();function<int(int, int)> dfs = [&](int i, int j) -> int{// 如果任一字符串长度为0，LCS长度为0if (i == 0 || j == 0) return 0;// 如果字符匹配，继续检查剩余的字符串if (text1[i - 1] == text2[j - 1]) return dfs(i - 1, j - 1) + 1;// 如果字符不匹配，处理两个子问题elsereturn max(dfs(i - 1, j), dfs(i, j - 1));};return dfs(m, n);}
};

这篇关于c++11新特性-lambda表达式的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


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

相关文章

Spring Security 基于表达式的权限控制

Spring Security 基于表达式的权限控制

前言 spring security 3.0已经可以使用spring el表达式来控制授权，允许在表达式中使用复杂的布尔逻辑来控制访问的权限。 常见的表达式 Spring Security可用表达式对象的基类是SecurityExpressionRoot。 表达式描述hasRole([role])用户拥有制定的角色时返回true （Spring security默认会带有ROLE_前缀）,去
阅读更多...
【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语法标准下才支持。 初始化列表 在构造函数小括号后面，主要用于给
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2