std::bind和std::function详解

std::function

在看Cocos2d-x的范例代码时，随处可见“很奇怪”的语法：

static std::function<Layer*()> createFunctions[] =
{
    CL(CameraTest1),
    //...
};

其中CL是一个宏，对应如下lambda表达式：

#define CL(__className__) [](){ return __className__::create();}

还算好懂，感觉是个工厂模式，同时用宏模拟了接口。

但是这个std::function<Layer*()>却让我少见多怪了，翻开第五版《C++ Primer》，才知道原来是C++11的新特性——可调用对象模板类。一句话说明问题，std::function<Layer*()>代表一个可调用对象，接收0个参数，返回Layer*。

至于function的深入理解，还是用代码说明吧。

#include <iostream>
#include <map>
#include <functional>
using namespace std;
 
// 普通函数
int add(int i, int j) { return i + j; }
// lambda表达式
auto mod = [](int i, int j){return i % j; };
// 函数对象类
struct divide
{
	int operator() (int denominator, int divisor)
	{
		return denominator / divisor;
	}
};
 
///SubMain//
int main(int argc, char *argv[])
{
	// 受限的map
	map<char, int(*)(int, int)> binops_limit;
	binops_limit.insert({ '+', add });
	binops_limit.insert({ '%', mod });
	// 错误	1	error C2664: “void std::_Tree<std::_Tmap_traits<_Kty,_Ty,_Pr,_Alloc,false>>::insert(std::initializer_list<std::pair<const _Kty,_Ty>>)”: 无法将参数 1 从“initializer-list”转换为“std::pair<const _Kty,_Ty> &&”
	// binops_limit.insert({ '%', divide() });
 
	// 更灵活的map
	map<char, function<int(int, int)>> binops = 
	{
		{ '+', add },
		{ '-', minus<int>() },
		{ '*', [](int i, int j){return i - j; } },
		{ '/', divide() },
		{ '%', mod },
	};
	cout << binops['+'](10, 5) << endl;
	cout << binops['-'](10, 5) << endl;
	cout << binops['*'](10, 5) << endl;
	cout << binops['/'](10, 5) << endl;
	cout << binops['%'](10, 5) << endl;
	system("pause");
	return 0;
}
///End Sub//

如上所示，function可以将普通函数，lambda表达式和函数对象类统一起来。它们并不是相同的类型，然而通过function模板类，可以转化为相同类型的对象（function对象），从而放入一个map里。

另外我实际测试的结果来看，在VS2013编译器下，上述代码可以通过，而第五版《C++ Primer》第512页第一行所言“错误：mod不是一个函数指针”并没有发生错误，有可能是对C++11标准的不同实现吧。

std::bind

http://blog.chinaunix.net/uid-20726254-id-3483489.html

虽然也在泛型那一章，但这个挺好玩的，单拿出来总结下，越来越有python的感觉.

std::bind通俗说就是一个 callabe adapter，因为有些场合需要的callable的参数个数不一样，可能实现差不多，完全重写又价值不大，以前的版本有bind1st和bind2nd，在c++11中这哥俩已经deprecated了，没准哪天就彻底game over了。

bind的语法格式：auto newCallable = bind(callable, arg_list); 看个简单例子

点击(此处)折叠或打开

1. #include<functional>
   
2. 
   
3. using namespace std::placeholders;
   
4.   void f5(int i,int j)
   
5.   {
   
6.       if(i<j> cout<<i<<endl;
   
7.       else cout<<j<<endl;
   
8.   } 
   
9. auto f_bind=bind(f5,_1,10);
   
10.  
    
11.   int main(){
    
12.   f_bind(6);
    
13.   f_bind(10);
    
14.   cout<<"end in main \n"<<endl;
    
15.   return 0
    
16.   }

首先bind在functional头文件中，记得引入。f5函数比较2个参数大小，输出小的。可是某些场景下，我们想要带一个参数的比较函数，内部直接和10进行比较，这时就可以把f5用bind包裹一下。

新函数是f_bind，右侧bind的参数里带下划线的数字称为placeholder，表示新函数的第几个参数，当然最大的数值就是f_bind的参数个数。词条语句的意思是新函数f_bind包裹了f5，其第一个也是唯一的参数作为f5的第一个参数，同时将整数10作为f5的第二个参数传入。

placeholder在std内部定义的placeholders空间内，如果不用using声明下就要使用全称。其数值的编号要按顺序，但在bind参数列表可以不按书序出现：

点击(此处)折叠或打开

1. auto g = bind(f, a, b, _2, c, _1);
   
2. g(X, Y) ;
   
3. f(a, b, Y, c, X);

书中这个例子对照一看就应该明白了。g(X,Y)等于调用了f(a,b,Y,c,X);

bind和lambda表达式一样，默认都是传值的，如果想要用引用，需要ref或cref函数，后者是常引用，也都位于functional头文件。

auto g = bind(f, ref(a), cref(b).....)

---

std::function  std::bind 区别
http://blog.csdn.net/qq575787460/article/details/8531397

此篇解释的非常好
http://www.cnblogs.com/slysky/p/3822640.html