【C++11】包装器

目录

1.function包装器

1.1什么是函数包装器(function)? 

1.2为啥使用函数包装器(function)?

2.bind包装器 

 2.1绑定普通函数和调整传参顺序

2.2绑定类成员函数


1.function包装器

头文件#include<functional>

1.1什么是函数包装器(function)? 

function:是一个通用多态函数包装器是一个类模板可以容纳除了类成员函数指针之外的所有可调用对象,它可以用统一的方式处理函数函数对象函数指针成员函数(静态和非静态)并允许保存和延迟它们的执行。

std::function可以取代函数指针的作用,因为它可以延迟函数的执行,特别适合作为回调函数使用。

​
template <class T> function;     // undefined
template <class Ret, class... Args> 
class function<Ret(Args...)>;

​
  • Ret被包装的可调用对象的返回值类型。
  • Args...被包装的可调用对象的形参类型。

function:是一个通用多态函数包装器是一个类模板可以容纳除了类成员函数指针之外的所有可调用对象,它可以用统一的方式处理函数函数对象函数指针成员函数(静态和非静态)并允许保存和延迟它们的执行。

std::function可以取代函数指针的作用,因为它可以延迟函数的执行,特别适合作为回调函数使用。

//function包装器
int Plus(int a, int b)
{
	return a + b;
}

class Sub
{
public:
	int sub(int a, int b)
	{
		return a - b;
	}
};

int main()
{
	function<int(int, int)>funcPlus = Plus;
	function<int(Sub, int, int)> funcSub = &Sub::sub;
}

这个就是一个简单的函数包装器。

1.2为啥使用函数包装器(function)?

由于函数调用可以使用函数名、函数指针、函数对象或有名称的lambda表达式,可调用类型太丰富导致模板的效率极低。包装器用于解决效率低的问题。

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()
{
	// 函数名
	cout << useF(f, 11.11) << endl;   //count:1 count:0025C140  5.555
	// 函数对象
	cout << useF(Functor(), 11.11) << endl;   //count:1 count: 0025C144 3.70333
	// lamber表达式
	cout << useF([](double d)->double { return d / 4; }, 11.11) << endl;  //count : 1 count: 0025C148 2.7775
	return 0;
}

在此源码(这份源码是我借用一位师兄的) 中发现useF实例化了三份并且每一个count地址都是不同的。

而C++11新出了函数包装器就可以对可调用对象进行包装,包括函数指针(函数名)、仿函数(函数对象)、lambda表达式、类的成员函数。

int f(int a, int b)
{
	return a + b;
}
struct Functor
{
public:
	int operator()(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()
{
	//1、包装函数指针(函数名)
	function<int(int, int)> func1 = f;
	cout << func1(1, 2) << endl;

	//2、包装仿函数(函数对象)
	function<int(int, int)> func2 = Functor();
	cout << func2(1, 2) << endl;

	//3、包装lambda表达式
	function<int(int, int)> func3 = [](int a, int b){return a + b; };
	cout << func3(1, 2) << endl;

	//4、类的静态成员函数
	//function<int(int, int)> func4 = Plus::plusi;
	function<int(int, int)> func4 = &Plus::plusi; //&可省略
	cout << func4(1, 2) << endl;

	//5、类的非静态成员函数
	function<double(Plus, double, double)> func5 = &Plus::plusd; //&不可省略
	cout << func5(Plus(), 1.1, 2.2) << endl;
	return 0;
}
  • 取静态成员函数的地址可以不用取地址运算符“&”,但取非静态成员函数的地址必须使用取地址运算符“&”。
  • 包装非静态的成员函数时需要注意,非静态成员函数的第一个参数是隐藏this指针,因此在包装时需要指明第一个形参的类型为类的类型。

就像上面的源码一样,我们在包装f()和fector函数是只需要传2个参数,但是在包装plusd()时就需要传递3个参数。

假设我现在利用包装器建立字符串和对应函数的映射关系,并放到map容器里头,此时就会出现问题了:成员函数会有三个参数,而我map容器里的value位置仅允许传两个参数,导致参数无法匹配:所以此时C++大神们就想出来了bind捆绑器。

2.bind包装器 

  1. bind是一个标准库函数,定义在functional头文件中。可以将bind函数看作一个通用的函数适配器,它接受一个可调用对象,生成新的可调用对象来适应原对象的参数列表。
  2. bind将可调用对象与其参数一起进行绑定,绑定后的结果可以使用std::function保存。bind绑定完成后,返回一个函数对象,它内部保存了原可调用对象的拷贝,具有operator(),返回值类型被自动推导为原可调用对象的返回值类型。调用时,这个函数对象将把之前存储的参数转发给原可调用对象完成调用。

绑定函数参数:

template <class Fn, class... Args>
  /* unspecified */ bind (Fn&& fn, Args&&... args);
带返回类型 (2)	
template <class Ret, class Fn, class... Args>
  /* unspecified */ bind (Fn&& fn, Args&&... args);
  • fn:可调用对象。
  • args...:要绑定的参数列表:值或占位符。

调用bind的一般形式是:

auto newCallable=bind(callable,arg_list);
  • callable需要包装的可调用对象。
  • newCallable生成的新的可调用对象。
  • arg_list逗号分隔的参数列表,对应给定的callable的参数。当调用newCallable时,newCallable会调用callable,并传给它arg_list中的参数。
  • arg_list中的参数可能包含形如_n的占位符,如_1,_2,代表了newCallable中相应位置的参数等等。

 2.1绑定普通函数和调整传参顺序

第一个参数为要绑定的可调用对象,后跟参数列表(参数列表同可调用对象的参数列表匹配)。参数列表中可包含名字形如  _n (n为整数)的占位符,n表示生成的可调用对象中参数的位置。placeholders::_1和placeholders::_2,表示后续调用新生成的可调用对象时,传入的第一个参数传给placeholders::_1,传入的第二个参数传给placeholders::_2。占位符位于std::placeholders命名空间。

//bind捆绑器
int Add(int a, int b)
{
	return a + b;
}

int main()
{
	std::function<int(int)>func_Add2 = std::bind(Add, std::placeholders::_1, 5);
	//int result = func_add1(18); //等于18+5
	cout << "func_Add2(18+5):" << func_Add2(18) << endl;

	//对参数重排序
	using namespace std::placeholders;
	auto func_Add3 = std::bind(Add, _2, _1); //参数位置对换了
	cout << "func_Add3(18,5):" << func_Add3(18,5) << endl;
}

其实在第一个绑定中std::bind(Add, std::placeholders::_1, 5),我们把Plus函数的第二个参数固定绑定为5了,第一个定绑定参数没变,此时调用绑定后新生成的可调用对象时就只需要传入一个参数,它会将该值与5相加后的结果进行返回。

而第二个例子是把参数列表中的前两个参数的顺序给改变了,但是还是这两个数相加。这个不显,如果是两数相减就明显了。

2.2绑定类成员函数

bind绑定类成员函数时:

  • 第一个参数表示对象的成员函数的指针。
  • 第二个参数表示对象的地址。
struct Func {
	void Print_sum(int a, int b)
	{
		std::cout << a - b << '\n';
	}
	int data = 10;
};
int main()
{
	Func tmp;
	auto f = std::bind(&Func::Print_sum, &tmp, 12, std::placeholders::_1);
	f(25); // -13
}

注意:必须显示的指定&Func::Print_sum,因为编译器不会将对象的成员函数隐式转换成函数指针,所以必须在Func::Print_sum前添加&取地址符;使用对象成员函数的指针时,必须要知道该指针属于哪个对象,因此第二个参数为对象的地址 &tmp.

  • 12
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 19
    评论
评论 19
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值