当前位置:首页 » 《资源分享》 » 正文

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

17 人参与  2024年11月14日 16:01  分类 : 《资源分享》  评论

点击全文阅读


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表达式没有任何意义[] {};// 省略参数列表和返回值类型,返回值类型由编译器推导为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内变成一个只读变量,不能对其进行修改

20e437029efd4481920cb84b4efeb4f5.png

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函数的实现,构造一个等价的仿函数,之后编译处理这个仿函数。        

639b3755f89a41d5a7a621d9a3cc435c.png两者是等价的。


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

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


点击全文阅读


本文链接:http://zhangshiyu.com/post/186095.html

<< 上一篇 下一篇 >>

  • 评论(0)
  • 赞助本站

◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。

关于我们 | 我要投稿 | 免责申明

Copyright © 2020-2022 ZhangShiYu.com Rights Reserved.豫ICP备2022013469号-1