十九、C++11
9. lambda表达式
在C++98中,如果想要对一个数据集合中的元素进行排序,可以使用std::sort方法。如果待排序元素为自定义类型,需要用户定义排序时的比较规则。一般可以使用 函数指针 或者 仿函数 来解决。人们开始觉得上面的写法太复杂了,每次为了实现一个algorithm算法, 都要重新去写一个类,如果每次比较的逻辑不一样,还要去实现多个类,特别是相同类的命名,这些都给编程者带来了极大的不便。因此,在C++11语法中出现了Lambda表达式。lambda表达式实际是一个匿名函数。
lambda表达式语法
lambda表达式书写格式:[capture-list] (parameters) mutable -> return-type { statement }
lambda表达式各部分说明:
- [capture-list] : 捕捉列表,该列表总是出现在lambda函数的开始位置,编译器根据[]来判断接下来的代码是否为lambda函数,捕捉列表能够捕捉上下文中的变量供lambda函数使用。
- (parameters):参数列表。与普通函数的参数列表一致,如果不需要参数传递,则可以连同()一起省略。
- mutable:默认情况下,lambda函数总是一个const函数,mutable可以取消其常量性。使用该修饰符时,参数列表不可省略(即使参数为空)。
- ->returntype:返回值类型。用追踪返回类型形式声明函数的返回值类型,没有返回值时此部分可省略。返回值类型明确情况下,也可省略,由编译器对返回类型进行推导。
- {statement}:函数体。在该函数体内,除了可以使用其参数外,还可以使用所有捕获到的变量。
#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;
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<Goods> v = { { "苹果", 2.1, 5 }, { "香蕉", 3, 4 }, { "橙子", 2.2,
3 }, { "菠萝", 1.5, 4 } };
// lambda 表达式
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; });
return 0;
}
如果想要调用它而不是在函数传参里,则需要将其赋值给一个变量。
参数列表说明:
- [var]:表示值传递方式捕捉变量var
- [=]:表示值传递方式捕获所有父作用域中的变量(包括this)
- [&var]:表示引用传递捕捉变量var
- [&]:表示引用传递捕捉所有父作用域中的变量(包括this)
- [this]:表示值传递方式捕捉当前的this指针
#include <iostream>
using namespace std;
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表达式非常像函数。还有什么像函数?当然是 仿函数 。仿函数就是重载了括号的类,其实lambda表达式底层就是重载括号。如果使用了lambda表达式,编译器会自动生成一个类,在该类中重载了operator()。
10. 包装器
function包装器
function包装器 也叫作适配器。C++中的function本质是一个类模板。C++中可调用的对象有很多种,比如函数,函数指针,仿函数,类的静态成员函数,类的非静态成员函数以及lambda表达式等。这些可调用对象的定义方式五花八门,传递方式也千奇百怪。我们要如何使用统一的方式来操作他们呢?function就解决了这种问题。
使用function需要包含头文件 functional
function包装器的使用方法为:function<返回值(形参列表) 对象名 = 要包装的对象
#include <iostream>
// 注意包含头文件
#include<functional>
using namespace std;
// 函数模板
template<class F, class T>
T useF(F f, T x)
{
static int count = 0;
cout << "count:" << ++count << endl;
cout << "count:" << &count << endl;
return f(x);
}
double f(double i)
{
return i / 2;
}
struct Functor
{
double operator()(double d)
{
return d / 3;
}
};
int main()
{
// 函数指针
function<double(double)> fc1 = f;
fc1(11.11);
cout << useF(fc1, 11.11) << endl;
// 函数对象
function<double(double)> fc2 = Functor();
fc2(11.11);
cout << useF(fc2, 11.11) << endl;
// lambda表达式
function<double(double)> fc3 = [](double d)->double { return d / 4; };
fc3(11.11);
cout << useF(fc3, 11.11) << endl;
return 0;
}
这里我们发现,count的值变成了3,说明我们调用的是同一个函数模板,即函数模板只实例化出了一份,并且这一份实例化出来的函数可以统一的调用各种类型的函数。这就是包装器的功能。
包装器可以包装类中的非静态成员吗?我们知道,类中的非静态成员的第一个参数是this指针,那function还能用吗?当然可以:
#include <iostream>
#include<functional>
using namespace std;
int f(int a, int b)
{
return a + b;
}
class Plus
{
public:
// 静态成员函数
static int plusi(int a, int b)
{
return a + b;
}
// 非静态成员函数
double plusd(double a, double b)
{
return a + b;
}
};
int main()
{
// 普通函数
function<int(int, int)> fc1 = f;
cout << fc1(1, 1) << endl;
// 静态成员函数
function<int(int, int)> fc2 = &Plus::plusi;
cout << fc2(2, 2) << endl;
// 非静态成员函数, 非静态成员函数需要对象的指针或者对象去进行调用
Plus plus;
// 指针
function<double(Plus*, double, double)> fc3 = &Plus::plusd;
cout << fc3(&plus, 3, 3) << endl;
// 对象
function<double(Plus, double, double)> fc4 = &Plus::plusd;
cout << fc4(Plus(), 4, 4) << endl;
return 0;
}
bind
std::bind函数定义在头文件中,是一个函数模板,它就像一个函数包装器(适配器),接受一个可调用对象(callable object),生成一个新的可调用对象来“适应”原对象的参数列表。什么意思呢?说人话就是:
bind可以修改形参顺序以及形参个数。(没多大用其实)
#include <iostream>
#include<functional>
using namespace std;
int Sub(int a, int b)
{
return a - b;
}
class Plus
{
public:
static int plusi(int a, int b)
{
return a + b;
}
double plusd(double a, double b)
{
return a - b;
}
};
int main()
{
// 调整参数顺序
int x = 10, y = 20;
cout << Sub(x, y) << endl;
// bing 后,f1 的 x 就是 Sub 的 2 号参数,y 就是 Sub 的 1 号参数
auto f1 = bind(Sub, placeholders::_2, placeholders::_1);
cout << f1(x, y) << endl;
function<double(Plus, double, double)> fc3 = &Plus::plusd;
cout << fc3(Plus(), 1, 1) << endl;
// 调整参数的个数
// 某些参数绑死
function<double(double, double)> fc4 = bind(&Plus::plusd, Plus(), placeholders::_1, placeholders::_2);
cout << fc4(2, 3) << endl;
// bind 后,fc5 就没有了第二个参数(第二个参数同一被设置成20)
function<double(double)> fc5 = bind(&Plus::plusd, Plus(), placeholders::_1, 20);
cout << fc5(2) << endl;
return 0;
}