当前位置: 首页 > article >正文

【C++】lambda表达式的理解与运用(C++11新特性)

75e194dacf184b278fe6cf99c1d32546.jpeg

🌈 个人主页:谁在夜里看海.

🔥 个人专栏:《C++系列》《Linux系列》

⛰️ 天高地阔,欲往观之。

d047c7b1ef574257b8397fe5cc5c290b.gif

目录

        前言

        C++11之前的例子

        一、lambda的语法

        lambda函数示例:

        二、lambda的捕获列表

        1.传值捕获

        mutable修饰 

        2.传引用捕获

        3.当前对象this捕获

        4.带初始化的捕获

        5.全捕获

        按值全捕获 [=]:

        按引用全捕获 [&]:

        三、等价于仿函数


前言

C++11引入了 lambda 函数这个概念,用来快速地构建一个闭包,闭包是函数式编程的一个概念,在函数式编程中使用闭包来实现一些高阶函数。

闭包是指一个匿名函数以及它所捕获的上下文环境的组合。闭包允许你在函数中捕获并使用周围作用域的变量,从而实现更灵活的函数行为。

使用 lambda 可以带来以下好处:

1.通过创建lambda对象,可以快速的构建比如谓词函数这种短小并局部使用的函数。这样可以使这部分代码局部化,不污染全局命名空间

2.通过lambda对象可以快速地创建一个可调用对象。和传统的可调用对象的场景方式相比(如仿函数),省略了编写类的构造函数以及调用操作符重载等相关代码

这样说可能不是很理解,下面列举一个例子,让我们感受一下:

C++11之前的例子

在C++11之前,如果想要对一个数据集合中的元素进行排序,可以使用std::sort方法。

#include <algorithm>

int main()
{
    int array[] = {4,1,8,5,3,7,0,9,2,6};
    // 默认按照小于比较,排出来结果是升序
    std::sort(array, array+sizeof(array)/sizeof(array[0]));
    // 如果需要降序,需要改变元素的比较规则
    std::sort(array, array + sizeof(array) / sizeof(array[0]), greater<int>());
    return 0;
}

如果待排序元素为自定义类型,需要用户定义排序时的比较规则:

struct Goods
{
	string _name;  // 名字
	double _price; // 价格
	int _evaluate; // 评价
	Goods(const char* str, double price, int evaluate)
		:_name(str)
		, _price(price)
		, _evaluate(evaluate)
	{}
};
struct ComparePriceLess
{
	bool operator()(const Goods& gl, const Goods& gr)
	{
		return gl._price < gr._price;
	}
};
struct ComparePriceGreater
{
	bool operator()(const Goods& gl, const Goods& gr)
	{
		return gl._price > gr._price;
	}
};
int main()
{
	vector<Goods> v = { { "苹果", 2.1, 5 }, { "香蕉", 3, 4 }, { "橙子", 2.2,
   3 }, { "菠萝", 1.5, 4 } };
	sort(v.begin(), v.end(), ComparePriceLess());
	sort(v.begin(), v.end(), ComparePriceGreater());
}

每次为了实现一个algorithm算法,都要重新去写一个类,如果每次比较的逻辑不一样,还要去实现多个类,特别是相同类的命名,这都给我们带来了极大的不便,于是C++11就出现了lambda表达式,下面是使用lambda表达式实现上述比较过程的代码:

int main()
{
	vector<Goods> v = { { "苹果", 2.1, 5 }, { "香蕉", 3, 4 }, { "橙子", 2.2,
   3 }, { "菠萝", 1.5, 4 } };
	sort(v.begin(), v.end(), [](const Goods& g1, const Goods& g2) {
		return g1._price < g2._price; });
	sort(v.begin(), v.end(), [](const Goods& g1, const Goods& g2) {
		return g1._price > g2._price; });
	sort(v.begin(), v.end(), [](const Goods& g1, const Goods& g2) {
		return g1._evaluate < g2._evaluate; });
	sort(v.begin(), v.end(), [](const Goods& g1, const Goods& g2) {
		return g1._evaluate > g2._evaluate; });
}

如此一来,是不是与上面讲到的优点对应上了:

①:快速构建了不同比较逻辑的函数,使代码局部化;

②:快速创建了可调用对象,省略了类的构造函数等的代码编写

下面我们来具体聊聊 lambda 的使用方法:

一、lambda的语法

lambda 表达式书写格式如下:

[ capture-list ] ( params ) mutable -> return-type { body }

各部分说明:

[ capture-list ]捕捉列表,能够捕捉上下文中的变量供lambda函数内部使用
( params ) 参数列表,与普通函数一致,没有参数可省略
 mutable修饰符,lambda函数默认为const属性,mutable可以取消其常量性。使用该修饰符时,参数列表不可省略
-> return-type返回值类型,可以省略(由编译器自行推导)
{ body }函数体,可以使用自身参数和捕获变量

注意:

在lambda表达式中,参数列表和返回值类型都可以省略,而捕捉列表和函数体不可省略,但可以为空。因此C++11最简单的lambda表达式为:[]{}; 该表达式没有任何含义。

lambda函数示例:

int main()
{
	// 最简单的lambda表达式, 该lambda表达式没有任何意义
	[] {};

	// 省略参数列表和返回值类型,返回值类型由编译器推导为int
	int a = 3, b = 4;
	[=] {return a + 3; };

	// 省略了返回值类型,无返回值类型
	auto fun1 = [&](int c) {b = a + c; };
	fun1(10);
	cout << a << " " << b << endl;

	// 各部分都很完善的lambda函数
	auto fun2 = [=, &b](int c)->int {return b += a + c; };
	cout << fun2(10) << endl;

	// 复制捕捉x
	int x = 10;
	auto add_x = [x](int a) mutable { x *= 2; return a + x; };
	cout << add_x(10) << endl;
	return 0;
}

通过上述例子我们可以看出,lambda表达式可以理解成无名函数,该函数无法直接调用,如果想直接调用,可以借助auto将其赋值给一个变量。

二、lambda的捕获列表

lambda的捕获方式主要分为两大类:传值捕获和传引用捕获

1.传值捕获

传值捕获时,意味着闭包在创建时会拷贝一份变量的当前值,并在闭包中使用这份拷贝。这种捕获方式使得变量在lambda内变成一个只读变量,不能对其进行修改

20e437029efd4481920cb84b4efeb4f5.png

mutable修饰 

如果想要对传值捕获的变量在lambda函数内部进行修改,可以通过mutable关键字修饰来实现,但是要注意,mutable关键字允许对按值捕获的变量进行内部修改,而且不影响外部的变量:

int main()
{
	int num = 0;
	auto func = [num]() mutable
	{
		return ++num;
	};
	cout << func() << endl; // 此时显示为1
	cout << num << endl; // 显示为0,内部的修改不影响外部
}

2.传引用捕获

按引用捕获会直接引用外部变量,因此在lambda内部对该变量的修改会影响外部变量的值。引用捕获不会创建变量的副本,而是共享相同的内存地址

int main()
{
	int num = 0;
	auto func = [&num]()
	{
		return ++num;
	};
	cout << func() << endl; // 此时显示为1
	cout << num << endl; // 显示为1
}

但是要注意,在lambda表达式没有被调用时,内部代码不会执行,也不会发生相应的修改

int main()
{
	int num = 10;
	auto algo = [&num](int a = 1, int b = 2)
	{
		num = 5;
		return (a + b) * num;
	};
	cout << num << endl; // 此时显示为10,没有发生修改
	return 0;
}

只有调用了lambda表达式,才会执行内部的代码:

int main()
{
	int num = 10;
	auto algo = [&num](int a = 1, int b = 2)
	{
		num = 5;
		return (a + b) * num;
	};
	algo();
	cout << num << endl; // 此时显示为5,发生修改
	return 0;
}

那么当传引用捕获时使用了mutable关键字,会有什么效果呢?mutable关键字失效

mutable关键字的作用是允许修改lambda函数内部的拷贝对象,而引用捕获不涉及拷贝,所以在这种情况下,mutable不会发挥作用,没有实际意义。

3.当前对象this捕获

当前对象捕获 [this] 允许lambda表达式访问器所在类的成员变量和成员函数,它实际上是按引用捕获当前对象指针,因此在lambda内部对成员的任何修改都会直接作用于当前对象本身。

class Counter {
public:
    Counter(int start) : count(start) {}

    void increase(int amount) {
        // 使用 [this] 捕获当前对象
        auto increment = [this, amount]() {
            count += amount; // 访问并修改当前对象的成员变量 count
        };
        increment();  // 调用 Lambda 表达式
    }

    int getCount() const { return count; }

private:
    int count;
};

 4.带初始化的捕获

C++14标准中还引入了带初始化的捕获方式。通过这种方式已进行捕获的时候,可以用捕获到的信息初始化一个新的变量,在函数体内使用这个新的变量。同时,这个捕获方式也是有传值和传引用两种方式:

传值,内部修改不会影响外部

int main()
{
	int num = 10;
	auto algo = [n = num](int a = 1, int b = 2) mutable
	{
		n = 5;
		return (a + b) * n;
	};
	algo();
	cout << num << endl; // 此时显示为10,不发生修改
	return 0;
}

传引用,内部修改会影响外部

int main()
{
	int num = 10;
	auto algo = [&n = num](int a = 1, int b = 2)
	{
		n = 5;
		return (a + b) * n;
	};
	algo();
	cout << num << endl; // 此时显示为5,发生修改
	return 0;
}

5.全捕获

全捕获可以通过 [=](按值捕获所有外部变量)或者 [&](按引用捕获所以外部变量)来实现。全捕获非常地便捷,不需要对外部变量一一列举。

按值全捕获 [=]:

#include <iostream>
using namespace std;

int main() {
    int x = 10;
    int y = 20;

    auto calculate = [=]() {
        // 按值捕获,内部可以访问 x 和 y,但无法修改它们的值
        return x + y;
    };

    cout << "Sum: " << calculate() << endl; // 输出 30
    // 由于是按值捕获,x 和 y 的值在外部保持不变
    return 0;
}

按引用全捕获 [&]:

#include <iostream>
using namespace std;

int main() {
    int x = 10;
    int y = 20;

    auto increment = [&]() {
        // 按引用捕获,允许修改 x 和 y 的值
        x += 5;
        y += 5;
    };

    increment();  // 调用 Lambda,x 和 y 的值将被修改
    cout << "x: " << x << ", y: " << y << endl; // 输出 x: 15, y: 25

    return 0;
}

三、等价于仿函数

lambda 函数对象其实是C++11标准实现的语法糖,其编译器的处理也可以等价于仿函数:根据lambda函数的实现,构造一个等价的仿函数,之后编译处理这个仿函数。        

639b3755f89a41d5a7a621d9a3cc435c.png两者是等价的。


以上就是对C++11lambda表达式的介绍与个人理解,欢迎指正~ 

码文不易,还请多多关注支持,这是我持续创作的最大动力!


http://www.kler.cn/a/383053.html

相关文章:

  • 5、mysql的读写分离
  • PostgreSQL JOIN
  • R语言数据分析案例46-不同区域教育情况回归分析和探索
  • 24/12/24 力扣每日一题 # LeetCode 524. 通过删除字母匹配到字典里最长单词 全网最详细解释
  • Docker搭建kafka环境
  • MySQL 8.0:explain analyze 分析 SQL 执行过程
  • [C++ 核心编程]笔记 4.4.2 类做友元
  • 【Vue 2.x】之指令详解
  • Nat Med 病理AI系列|人工智能在肝病临床试验中的应用·顶刊精析·24-11-06
  • QT开发:掌握现代UI动画技术:深入解析QML和Qt Quick中的动画效果
  • 用PyQt 5 开发的雷达基数据可视化软件
  • 关于c指针的一些说明
  • 第2篇 使用Intel FPGA Monitor Program创建基于ARM处理器的汇编或C语言工程<二>
  • 【5.10】指针算法-快慢指针将有序链表转二叉搜索树
  • Java项目实战II基于Spring Boot的问卷调查系统的设计与实现(开发文档+数据库+源码)
  • Linux 文件基本属性
  • SQL Server 日志记录
  • linux arm板启动时间同步服务
  • 数组和指针的复杂关系
  • 上尚优选项目
  • 【LeetCode】【算法】406. 根据身高重建队列
  • [数组排序] LCR 159. 库存管理
  • MyBatis几种SQL写法
  • 不用JS实现鼠标悬停提示框,以及Emotion里:hover使用踩坑
  • python识别ocr 图片和pdf文件
  • 【LeetCode】每日一题 2024_11_6 长度为 K 的子数组的能量值 I(模拟、一次遍历)