C++高级——function应用及底层实现

function

function 这个东西我了解也不是很多，如有错误，请大佬们指正。

function是一个函数包装器模板，最早来自boost库。在c11标准中将其纳入标准库。该函数包装器模板可以包装任何类型的可调用元素，例如普通函数和函数对象。
我老师说，function最大的作用就是保留可调用元素的类型。

function的应用

我们先随便写几个函数：

void hello1()
{
	cout << "hello world!" << endl;
}
void hello2(string str) // 类型void (*pfunc)(string)
{
	cout << str << endl;
}
int sum(int a, int b)
{
	return a + b;
}
class Test
{
public: // 必须依赖一个对象void (Test::*pfunc)(string)
	void hello(string str) { cout << str << endl; }
};

然后在主函数中使用function：
function使用：function<返回值类型(参数类型)>

int main()
{
	function<void()> func1 = hello1;
	func1(); // func1.operator()() => hello1()

	function<void(string)> func2 = hello2;
	func2("hello hello2!"); // func2.operator()(string str) => hello2(str)

	function<int(int, int)> func3 = sum;
	cout<<func3(20, 30)<<endl;

	// operator()
	function<int(int, int)> func4 = [](int a, int b)->int {return a + b; };
	cout << func4(100, 200) << endl;

	function<void(Test*, string)> func5 = &Test::hello;
	func5(&Test(), "call Test::hello!");

	return 0;
}

先是用函数类型实例化function
然后通过function调用相应的operator（）函数，传入相应参数

其中fun4直接对lambda表达式进行了一个封装，使其能够达到和sum函数等同的效果。
func5由于在类中所以要多传入一个Test*来代替类中的this指针。

看到这里，不禁有个想法？
我直接调用函数不好么？为啥要脱裤子放屁。

后来老师给我演示了这么一个例子：

void doShowAllBooks() { cout << "查看所有书籍信息" << endl; }
void doBorrow() { cout << "借书" << endl; }
void doBack() { cout << "还书" << endl; }
void doQueryBooks() { cout << "查询书籍" << endl; }
void doLoginOut() { cout << "注销" << endl; }

int main()
{
	int choice = 0;
	//       C的函数指针
	map<int, function<void()>> actionMap;
	actionMap.insert({ 1, doShowAllBooks }); // insert(make_pair(xx,xx));
	actionMap.insert({ 2, doBorrow });
	actionMap.insert({ 3, doBack });
	actionMap.insert({ 4, doQueryBooks });
	actionMap.insert({ 5, doLoginOut });

	for (;;)
	{
		cout << "-----------------" << endl;
		cout << "1.查看所有书籍信息" << endl;
		cout << "2.借书" << endl;
		cout << "3.还书" << endl;
		cout << "4.查询书籍" << endl;
		cout << "5.注销" << endl;
		cout << "-----------------" << endl;
		cout << "请选择:";
		cin >> choice;

		auto it = actionMap.find(choice); // map  pair  first second
		if (it == actionMap.end())
		{
			cout << "输入数字无效，重新选择!" << endl;
		}
		else
		{
			it->second();
		}
	return 0;
}

取代了原来笨逼且违反开闭原则的switch——case操作：

	/*switch (choice)
		{
		case 1:
			break;
		case 2:
			break;
		case 3:
			break;
		case 4:
			break;
		case 5:
			break;
		default:
			break;
		}*/

而且function能很好的避免以前c++遍地都是类的局面。其实现函数对象机制更能使得编译器实现内联调用，减少函数调用开销。

function实现原理

//R为返回值类型,A是传入的参数类型
template<typename R, typename... A>
class myfunction<R(A...)>
{
public:
	using PFUNC = R(*)(A...);
	myfunction(PFUNC pfunc) :_pfunc(pfunc) {}
	R operator()(A... arg)
	{
		return _pfunc(arg...); // hello(arg)
	}
private:
	PFUNC _pfunc;
};

利用template的强大机制，用...表示多个传入的参数。
避免了因为参数的个数不同重写多个myfunction。
诺，就是这样：

template<typename R, typename A1>
class myfunction<R(A1)>
{
public:
	using PFUNC = R(*)(A1);
	myfunction(PFUNC pfunc) :_pfunc(pfunc) {}
	R operator()(A1 arg)
	{
		return _pfunc(arg); // hello(arg)
	}
private:
	PFUNC _pfunc;
};
template<typename R, typename A1, typename A2>
class myfunction<R(A1, A2)>
{
public:
	using PFUNC = R(*)(A1, A2);
	myfunction(PFUNC pfunc) :_pfunc(pfunc) {}
	R operator()(A1 arg1, A2 arg2)
	{
		return _pfunc(arg1, arg2); // hello(arg)
	}
private:
	PFUNC _pfunc;
};
*/

说白了，这个就是对函数的一种包装，本质还是调用那个函数。

参考文献

[1] 施磊．腾讯课堂——C++高级．图论科技，2020.7．
[2]小天_y，博客园，https://www.cnblogs.com/yyxt/p/3987717.html，2014-9-23.