C++11中lambda、std::function和std:bind详解
|
前言 在C++11新标准中，语言本身和标准库都增加了很多新内容，本文只涉及了一些皮毛。不过我相信这些新特性当中有一些，应该成为所有C++开发者的常规装备。本文主要介绍了C++11中lambda、std::function和std:bind，下面来一起看看详细的介绍吧。 lambda 表达式 C++11中新增了lambda 表达式这一语言特性。lambda表达式可以让我们快速和便捷的创建一个”函数”。 下面是lambda表达式的语法：
[ capture-list ] { body }
[ capture-list ] ( params ) { body }
[ capture-list ] ( params ) -> ret { body }
[ capture-list ] ( params ) mutable exception attribute -> ret { body }
这其中：
下面，我们通过经典的Hello World示例来看一下lambda表达式：
auto lambda1 = [] {std::cout << "Hello,World!n";};
lambda1();
这个lambda表达式将打印出字符串“Hello,World!”。 同时，我们将这个表达式赋值给“lambda1”这个变量，然后像调用函数一样，调用这个lambda表达式。 使用lambda表达式，可以让我们省却定义函数的麻烦，以inline的方式写出代码，这样的代码通常更简洁。 下面，我们来看另外一个例子。这个例子的需求是： 分两次，打印出一个vector集合中，所有： 1. 模 5 = 0 2. 大于 20 的数字。 现假设已有这个集合的定义如下：
我们最先想到的方法自然是定义两个函数，分别按照上面的要求打印出需要的数字，它们的定义如下：
void printNumber1(vector<int>& numbers) {
for (const int& i : numbers) {
if (i % 5 == 0) {
cout<<i<<endl;
}
}
}
void printNumber1(vector<int>& numbers) {
for (const int& i : numbers) {
if (i % 5 == 0) {
cout<<i<<endl;
}
}
}
然后，我们在需要的地方，调用它们： printNumber1(numbers); printNumber2(numbers); 这里逻辑上并没有问题，但是： 1. 这里我们必须先定义这个函数，才能使用。而这样的函数，可能实际上我们只会使用一次。 2. 当工程大到一定程度，我们可能不记得每个函数的实现（所以函数命名很重要，原谅我这里给函数起了很含糊的名字，你在实际上工程中，请不要这样做），为了知道每个函数的实现，我们不得不查看函数的定义，这无疑给代码的阅读造成了一定的麻烦。 下面，我们来看看使用lambda表达式如何改善上面说的问题。 使用lambda表达式，我们可以这样写：
for_each(numbers.begin(),numbers.end(),[] (int i) {
if(i % 5 == 0) {
cout<<i<<endl;
}
});
for_each(numbers.begin(),[] (int i) {
if(i > 20) {
cout<<i<<endl;
}
});
这里，我们不用单独定义函数，直接以inline的方式解决了问题。并且，这段代码一气呵成，你很直观的看到了执行的逻辑。 下面，我们再详细看一下lambda表达式中的捕获列表的语法，它可能是以下几种情况中的一种：
下面，我们再以一个例子说明捕获列表的用法。 这里，我们的需求是： 打印出一个vector<int>的所有数字之和 同样的，我们先以函数的方式来解决这个问题，这个函数的定义可以是这样的：
void printSum(vector<int>& numbers) {
int sum = 0;
for (const int& i : numbers) {
sum += i;
}
cout<<sum<<endl;
}
然后，我们在需要的地方调用这个函数：
vector<int> numbers { 1,50 };
printSum (numbers);
而假设我们用lambda表达式来写，这样写就可以了：
vector<int> numbers { 1,50 };
int sum = 0;
std::for_each(numbers.begin(),[&sum] (const int& i) { sum += i;});
cout<<sum<<endl;
这里,我们用 [&sum]以引用的形式捕获了sum这个变量，并且在lambda表达式中修改了这个变量。 这样写，是不是比定义函数的方式简洁了很多？ 对于这种，能够捕获其定义时上下文变量的函数，我们称之为“闭包”，下文还将提到。 std::function 上文中，对于分两次，打印出一个vector集合中，所有： 1. 模 5 = 0 2. 大于 20 的数字。 这个需求，我们的实现其实还不够好。 回头看一下printNumber1和printNumber2这两个函数，这两个函数大部分都是重复的：它们都需要遍历集合，都需要做if判断，然后打印出结果。 实际上，我们在项目中经常遇到这个的问题： 两（多）个函数，有大部分的代码都是一样的，其中只有一两行代码有不一样的地方。 其实，我们可以对这个不一样的地方，再做一个抽象，把它们共通起来。 具体到这个例子就是：无论是“模 5 = 0”还是“大于 20”都是满足“某种条件”。 而很自然的会想到，我们是否可以通过一个类似这样的函数来做这个判断：
然后实现两个函数，通过函数指针的形式来完成判断就好了。 但是，我们马上又意识到，这两个函数会很小，并且也是只会用一遍而已，定义一个函数又太“浪费”了。 很自然的，我们就会想lambda。但是，lambda似乎没法转成函数指针。。。 C++11中，提供了一个通用的描述方法，就是std::function。 std::function可以hold住任何可以通过“()”来调用的对象，包括：
std::function的语法是这样：
例如： 因此，上面的代码可以改写成这样：
void printNumber(vector<int>& number,function<bool (int)> filter) {
for (const int& i : number) {
if (filter(i)) {
cout<<i<<endl;
}
}
}
然后在需要的地方，这样调用即可：
printNumber(numbers,[] (int i){ return i % 5 == 0;});
printNumber(numbers,[] (int i){ return i > 20;});
这种做法，是不是又简洁了不少？ 闭包 前面提到了“闭包”这个词，这里我们来聊一下闭包。 下面是维基百度对于闭包的定义： 在计算机科学中，闭包（英语：Closure），又称词法闭包（Lexical Closure）或函数闭包（function closures），是引用了自由变量的函数。 这个被引用的自由变量将和这个函数一同存在，即使已经离开了创造它的环境也不例外。 简单来说：闭包可以记忆住创建它时候的那些变量。 下面，我们再通过一个例子来说明。 现在，假设我们的需求是：获取一个集合中最小和最大值，并在稍后的时候（可能是另外一个函数中）打印它们。 这里，我们常规的做法通常是：通过一个函数获取集合的最大，最小值，然后保存住，最后在需要的时候访问这两个值，然后打印它们。 但实际上，这里我们可以考虑用闭包来实现这个功能，让闭包把最大，最小两个值捕获下来，然后在需要的地方调用就可以了。 请看一下下面这段代码：
void getMinMax(vector<int>& number,function<void ()>& printer) {
int min = number.front();
int max = number.front();
for (int i : number) {
if (i < min) {
min = i;
}
if (i > max) {
max = i;
}
}
printer = [=] () {
cout << "min:" <<min<< endl;
cout << "max:" << max << endl;
};
}
这里，我们通过 function<void()> printer; getMinMax(numbers,printer); ...... printer(); 这里的printer其实是我们前面从getMinMax函数出传出的闭包，这个闭包捕获了min和max。我们直接传递这个闭包给需要的地方使用，而不用传递裸的两个数值，是不是优雅的不少？ std::bind 下面，我们再改进一下需求，假设我们要 打印出vector<int>中，20<x<40范围内的值 ，该怎么办？ 毕竟，
这个时候，我们可以用 std::bind 。 std::bind的语法是这样的： template <class Fn,class... Args> bind (Fn&& fn,Args&&... args); template <class Ret,class Fn,Args&&... args); std::bind可以将调用函数时的部分参数先指定好，留下一部分在真正调用的时候确定。 （当然，你也可以直接指定全部参数，在调用时不再指定。） 这里，isBetween中，最小，最大值其实我们是确定了的，即：20和40。而不确定的，其实是真正待判断的数字本身，那么我们就可以这么做：
占位符的数量可以是任意多的，像这样：
于是乎，对于 打印出vector<int>中，20<x<40范围内的值 这个需求，我们在不修改printNumber函数的基础上，通过定义一个isBetween函数：
bool isBetween( int i,int max) {
return i >= min && i <= max;
}
然后，再这样就搞定了： function<bool(int)> filter = std::bind(isBetween,40); printNumber(numbers,filter); 当然，你甚至可以直接把这里的两行写成一行。 如果你不明白这段代码，请再看一下printNumber函数的定义：
void printNumber(vector<int>& number,function<bool (int)> filter) {
for (const int& i : number) {
if (filter(i)) {
cout<<i<<endl;
}
}
}
这里其实调用了filter(i)这个函数对象，而这个函数对象只接受一个int值作为参数，然后返回一个bool值。
绑定之后，只缺一个int型参数，所以正好对应得上。 如果不过瘾，我们再来看一个bind的例子。 我们常常需要在程序中，调用一些用户传过来的回调函数。而在回调函数中，用户常常会需要记录一些状态，于是常常希望通过一个对象的成员函数传给过来作为回调函数。但是在C++中，这样做是很麻烦的一个事情。因为，回调函数的类型我们很难定义。 但是，结合std::function和std::bind，一切变得容易多了。 结合前面的例子，现在就假设我们的回调函数是需要打印集合中的最大，最小值。 这里假设我们是通过一个类来记录和打印值的，这个类的定义是这样的：
class Printer {
private:
int min,max;
public:
Printer(int x,int y) {
min = x;
max = y;
}
void print() {
cout << "min:" << min << endl;
cout << "max:" << max << endl;
}
};
由于回调函数不需要参数，因此使用回调函数的代码是这样的：
void usingCallback(function<void ()> print) {
print();
}
然后，我们可以通过下面的方法来调用print函数 Printer printer = Printer(10,50); function<void ()> print = bind(&Printer::print,printer); usingCallback(print); 成员函数其实是类中的方法绑定到一个对象上，然后执行调用。这里的代码很直观的表达了这个关系。 lambda表达式是如何实现的 lambda表达式是如何实现的呢？ 其实是编译器为我们了创建了一个类，这个类重载了()，让我们可以像调用函数一样使用。所以，你写的lambda表达式和真正的实现，是这个样子的：
而对于捕获变量的lambda表达式来说，编译器在创建类的时候，通过成员函数的形式保存了需要捕获的变量，所以看起来是这个样子：
似乎也没有什么神奇的地方。但正是由于编译器帮我们实现了细节，使我们的代码变得优雅和简洁了许多。 参考资料 http://www.cprogramming.com/c++11/c++11-lambda-closures.html http://www.drdobbs.com/cpp/lambdas-in-c11/240168241 https://en.wikipedia.org/wiki/Closure_(computer_programming) http://www.jellythink.com/archives/771 http://en.cppreference.com/w/cpp/utility/functional/function https://en.wikipedia.org/wiki/First-class_function https://blog.feabhas.com/2014/03/demystifying-c-lambdas/ 总结 以上就是这篇文章的全部内容了，希望本文的内容对大家学习或者工作能带来一定的帮助，如果有疑问大家可以留言交流。谢谢大家对编程小技巧的支持。 （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |
