std::function與std::bind 函數指針

function模板類和bind模板函數，使用它們可以實現類似函數指針的功能，但卻卻比函數指針更加靈活，特別是函數指向類 的非靜態成員函數時。

std::function可以綁定到全局函數/類靜態成員函數(類靜態成員函數與全局函數沒有區別),如果要綁定到類的非靜態成員函數，則需要使用std::bind。

#include <iostream>
#include <functional>
using namespace std;

typedef std::function<void ()> fp;
void g_fun()
{
	cout<<"g_fun()"<<endl;
}
class A
{
public:
	static void A_fun_static()
	{
		cout<<"A_fun_static()"<<endl;
	}
	void A_fun()
	{
		cout<<"A_fun()"<<endl;
	}
	void A_fun_int(int i)
	{
		cout<<"A_fun_int() "<<i<<endl;
	}

	//非靜態類成員，因爲含有this指針，所以需要使用bind
	void init()
	{
		fp fp1=std::bind(&A::A_fun,this);
		fp1();
	}

	void init2()
	{
		typedef std::function<void (int)> fpi;
		//對於參數要使用佔位符 std::placeholders::_1
		fpi f=std::bind(&A::A_fun_int,this,std::placeholders::_1);
		f(5);
	}
};
int main()
{
	//綁定到全局函數
	fp f2=fp(&g_fun);
	f2();

	//綁定到類靜態成員函數
	fp f1=fp(&A::A_fun_static);
	f1();

	A().init();
	A().init2();
	return 0;
}

同時，std::bind綁定到虛函數時會表現出多態行爲。

#include <iostream>
#include <functional>
using namespace std;

typedef std::function<void ()> fp;

class A
{
public:
	virtual void f()
	{
		cout<<"A::f()"<<endl;
	}

	void init()
	{
		//std::bind可以表現出多態行爲
		fp f=std::bind(&A::f,this);
		f();
	}
};
class B:public A
{
public:
	virtual void f()
	{
		cout<<"B::f()"<<endl;
	}
};
int main()
{
	A* pa=new B;
	pa->init();

	return 0;
}