? 个人主页:谁在夜里看海.
? 个人专栏:《C++系列》《Linux系列》
⛰️ 天高地阔,欲往观之。
目录
前言
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表达式没有任何意义[] {};// 省略参数列表和返回值类型,返回值类型由编译器推导为intint 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;// 复制捕捉xint 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内变成一个只读变量,不能对其进行修改:
mutable修饰
如果想要对传值捕获的变量在lambda函数内部进行修改,可以通过mutable关键字修饰来实现,但是要注意,mutable关键字允许对按值捕获的变量进行内部修改,而且不影响外部的变量:
int main(){int num = 0;auto func = [num]() mutable{return ++num;};cout << func() << endl; // 此时显示为1cout << num << endl; // 显示为0,内部的修改不影响外部}
2.传引用捕获
按引用捕获会直接引用外部变量,因此在lambda内部对该变量的修改会影响外部变量的值。引用捕获不会创建变量的副本,而是共享相同的内存地址:
int main(){int num = 0;auto func = [&num](){return ++num;};cout << func() << endl; // 此时显示为1cout << 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函数的实现,构造一个等价的仿函数,之后编译处理这个仿函数。
两者是等价的。
以上就是对C++11lambda表达式的介绍与个人理解,欢迎指正~
码文不易,还请多多关注支持,这是我持续创作的最大动力!