有时候,我们会需要将一个函数作为变元传递给另一个函数,这时,就需要了解函数指针的作用了
先来回顾一下函数指针:
函数指针不同于普通指针,它存储的内容还包括一个函数的返回类型和参数列表,形式为:
返回类型( * 函数指针名 ) (参数列表),当一个函数指针创建后,它就只能指向对应返回类型和参数类型的函数,无法指向其他类型函数。
为了方便和正确起见,我们可以利用 auto 关键字让编译器自动识别函数类型并创建相应的函数指针,如:
int add(int a,int b) {
return a + b;
}
int main()
{
auto padd = add;//编译器自动推断padd为返回类型为int,参数列表为(int,int)的函数指针
}
而对于一个没有任何捕获子句的lambda表达式,其可以赋值给一个函数指针,如下面语句是合法的:
auto padd = [](int a, int b)->int {
return a + b;};//左为函数指针,右为lambda表达式
所以,当我们想将函数作为变元传递时,我们就可以将对应的函数指针传递过去。而对于lambda表达式而言,它本身是一个匿名函数,因此也可以赋值给函数指针然后传递过去。那么lambda表达式能不能直接作为变元传递而不依靠函数指针呢?
解答:
首先可以肯定的答案是,lambda表达式是可以作为参数传递的,但并非想象中那么直接。
在被调函数中,我们通常会使用一个函数指针来接受主调函数传递过来的lambda表达式,但是参考前面函数指针形式可以发现,我们必须事先确定好函数指针的类型才能创建一个函数指针,这就包括返回类型和参数列表。而每次lambda表达式的类型可能都是不一样的,这就要求我们每次都改变相对应的函数指针来接受lambda表达式,这相当麻烦。
所以,一个简单的方法就是创建一个函数指针模板,来接受任意类型的lambda表达式。编译器会自动推断在模板实例使用的参数类型。