目录
前言
一.lambda的引入
二、lambda函数的使用
1.一般使用
2.引用
三、包装器
1.包装普通对象
2.包装类成员对象
3.bind
学习过python的同学应该对lambda函数不陌生,这是一个匿名函数,不需要写函数的名字。在不会多地方调用某个简单函数的地方,就可以使用lambda。
在学习lambda函数之前,我们来看一个用例。这是一些商品,我们需要对商品进行排序。
struct Goods
{
string _name; // 名字
double _price; // 价格
int _evaluate; // 评价
Goods(const char* str, double price, int evaluate)
:_name(str)
, _price(price)
, _evaluate(evaluate)
{}
};
int main()
{
vector v = { { "苹果", 2.1, 5 }, { "香蕉", 3, 4 },
{ "橙子", 2.2,3 }, { "菠萝", 1.5, 4 } };
sort(v.begin(), v.end());
sort(v.begin(), v.end());
}
由于商品是自定义类型,比较函数要我们自己写,在Goods类里面写operator>很不方面。
因此一般情况下我们都会写仿函数来帮助我们进行比较。例如下面两个仿函数
struct CompareEvaluateLess
{
bool operator()(const Goods& gl, const Goods& gr)
{
return gl._evaluate < gr._evaluate;
}
};
struct ComparePriceGreater
{
bool operator()(const Goods& gl, const Goods& gr)
{
return gl._price > gr._price;
}
};
给sort函数传递仿函数就可以按照我们的想法进行排序了。
随着C++语法的发展,人们开始觉得上面的写法太复杂了,每次为了实现一个algorithm算法, 都要重新去写一个类,如果每次比较的逻辑不一样,还要去实现多个类,特别是相同类的命名, 这些都给编程者带来了极大的不便。因此,在C++11语法中出现了Lambda表达式。
lambda使用方法如下,有点长,先不用看,直接看后面的例子
lambda书写格式:[capture-list] (parameters) mutable -> return-type { statement }
- [capture-list] : 捕捉列表,该列表总是出现在lambda函数的开始位置,编译器根据[]来 判断接下来的代码是否为lambda函数,捕捉列表能够捕捉上下文中的变量供lambda 函数使用。
- (parameters):参数列表。与普通函数的参数列表一致,如果不需要参数传递,则可以 连同()一起省略
- mutable:默认情况下,lambda函数总是一个const函数,mutable可以取消其常量性。使用该修饰符时,参数列表不可省略(即使参数为空)。
- ->returntype:返回值类型。用追踪返回类型形式声明函数的返回值类型,没有返回值时此部分可省略。返回值类型明确情况下,也可省略,由编译器对返回类型进行推导。
- {statement}:函数体。在该函数体内,除了可以使用其参数外,还可以使用所有捕获到的变量。
举个例子,如下,[]为捕捉列表(先不捕捉,后续会讲),(int x)为参数,->int返回类型为int,{}里面存放函数内容。
[](int x)->int {cout << x << endl; return 0; };
如下两个方法可以进行lambda函数的调用,
第一个是直接在后面给参数调用。
对于之前商品排序,现在我们也会修改了,一下子就搞定了。
方法一:参数传引用,这是我们熟悉的方法,由于不需要返回参数,因此省略->()。如下
方法二:捕获列表
使用正常捕获,是const的无法修改,需要加mutable变为可修改(见二、1使用方法第三条)。使用引用捕获,不加mutable也可以修改(引用的目的大多是为了修改,这里编译器做了特殊处理)。如下引用捕获了x和y,同时也不需要传参了,因为我们使用了捕获列表,参数列表没有参数。
引用捕获列表还可以使用&,代表引用捕捉当前作用域中的所有变量,如下(这里只有x,y)。
function包装器也叫作适配器。他的主要目的是为了包装可调用对象,主要的可调用对象有函数指针,仿函数,lambda。
为什么要包装可调用对象呢?我们来看看他们的弊端。
函数指针用起来太不方便了,写起来很难受。
仿函数需要在全局定义,不够简洁和美观。
lambda类型是匿名的,一般取不到类型。
如果现在我想像cmd命令一样,输入一个指令,计算机进行相应的操作,这个操作就可以是相关的函数,那么我可以进行如下定义。使用map的operator[]进行相关操作,红色方框的类型应该填什么呢?写函数指针和仿函数很不方便,写lambda类型都没有没办法写。这时就需要包装器上场了。
比如我要进行数字的加减乘除操作,我们可以这样传递第二个参数function
代码如下
class Add
{
public:
static int addi(int a, int b)
{
return a + b;
}
double addb(double a, double b)
{
return a + b;
}
};
int main()
{
function f1 = &Add::addi;
cout << f1(5, 3) << endl;
}
包装类里面的静态函数,指定类域即可直接包装,&最好填,也可以不填。
如果是非静态呢? 由于类的非静态变量有this指针,因此这里编译不通过。
我们可以给第一个参数传递类指针,再定义一个类对象,取地址传过去就可以了。
还有一种写法,算是编译器的特殊处理,可以不用再生成类对象。
但是始终这个方法不太好,本来我就只想传两个参数,你一定要让我传第一个一直固定的,不是多此一举嘛,这时bind函数就出场了。
bind也是在头文件
如下,绑定了一个减法lambda函数,第一个参数使用placeholders作用域_2(代表前面那个函数的第二个参数),第二个参数为该作用域下的_1(代表前面那个函数的第一个参数)。相当于10给到了y,3给到了x,因此输出结果是-7。
如果我们给lambda函数第一个参数x为固定值,如下给20,那么我们需要将前面function的参数个数减少一个,同时调用的时候也只需要传一个参数,也就是placeholders::_1(因为只有一个参数)。
当然第二个参数也可以给固定值。
学会了基本用法,我们回过头来修改类的成员函数。将function只设置两个参数,同时将Add::addb函数的第一个参数固定死传Add(),后续再传placeholders::_1, placeholders::_2,代表实参的第一个和第二个就好。
这样就可以按照我们的想法进行传参了。
谢谢大家观看