函数指针指向的是函数而非对象,和其他指针一样。函数指针指向某种特定类型,函数的类型由它的返回类型和形参类型共同决定,与函数名无关:
bool func(const string &, const string &);
该函数的类型是bool(const string &, const string &)。要想声明一个可以指向该函数的指针,只需要用指针替换函数名即可:
bool (*pf)(const string &, const string &);
从我们声明的名字开始,pf前面有个*,因此pf是指针;右侧是形参列表,表示pf指向的是函数;再观察左侧,发现函数的返回类型是布尔值。因此,pf是一个指向函数的指针,其中该函数的参数是两个const string的引用,返回值是bool类型。
*pf两端的括号必不可少,如果不写括号则pf是一个返回值为bool指针的函数:
bool *pf(const string &, const string &);
使用函数指针
当我们把函数名作为一个值使用时,该函数自动地转换成指针。例如,按照如下形式我们可以将func的地址赋给pf:
pf = func; //pf指向名为func的函数
pf = &func; //等价的赋值语句,取地址符是可选的
此外,我们还能直接使用指向函数的指针调用该函数,无须提前解引用指针:
bool b1 = pf("hello", "world"); //调用func函数
bool b2 = (*pf)("hello", "world"); //一个等价的调用
bool b3 = func("hello", "world"); //另一个等价的调用
在指向不同函数类型的指针间不存在转换规则。和普通指针一样,我们可以为函数指针赋一个nullptr或者值为0的整型常量表达式,表示该指针没有指向任何一个函数:
string::size_type func2(const string &, const string &);
bool func3(const int &, const int&);
pf = 0; //正确,pf不指向任何函数
pf = func2; //错误,返回类型不匹配
pf = func3; //错误,形参类型不匹配
pf = func; //正确,函数和指针的类型精确匹配
重载函数的指针
当我们使用重载函数时,上下文必须清晰地界定到底应该选用哪个函数。如果定义了指向重载函数的指针:
void ff(int *);
void ff(unsigned int);
void (*pf1)(unsigned int) = ff; //pf1指向void ff(unsigned int);
编译器通过指针类型决定选用哪个函数,指针类型必须与重载函数中的某一个精确匹配:
void (*pf2)(int) = ff; //错误,没有任何一个ff与该形参列表匹配
double (*pf3)(int *) = ff; //错误,ff和pf3的返回类型不匹配
函数指针形参
和数组类型,虽然不能定义函数类型的形参,但是形参可以是指向函数的指针。此时,形参看起来是函数类型,实际上却是当成指针使用:
//第三个参数是函数类型,它会自动地转换成指向函数的指针
void func_test(const string &s1, const string s2, bool pf(const string &s1, const string s2));
//等价的声明:显示地将形参定义成指向函数的指针
void func_test(const string &s1, const string s2, bool (*pf)(const string &s1, const string s2));
我们可以直接把函数作为实参使用,此时它会自动转换成指针:
func_test(s1,s2,func); //自动将函数func转换成指向该函数的指针
直接使用函数指针类型显得冗长而繁琐,类型别名和decltype能让我们简化使用了函数指针的代码:
//Func和Func2是函数类型
typedef bool Func(const string &, const string &);
typedef decltype(func) Func2;
//FuncP和FuncP2是指向函数的指针
typedef bool (*FuncP)(const string &, const string &);
typedef decltype(func) *FuncP2;
我们使用typedef定义自己的类型,Func和Func2是函数类型,而FuncP和FuncP2是指向函数的指针。需要注意的是,decltype返回函数类型,此时不会将函数类型自动转换成指针类型。因为decltype的结果是函数类型,所以只要在前面加上*才能得到指针。可以使用如下的形式重新声明func_test:
void func_test(const string &s1, const string s2, Func);
void func_test(const string &s1, const string s2, FuncP2);
这两个声明语句声明的是同一个函数,在第一条语句中,编译器自动地将Func表示的函数类型转换成指针。
返回指向函数的指针
和数组类似,虽然不能返回一个函数,但是能返回指向函数类型的指针。然而,我们必须把返回类型写成指针形式,编译器不会自动地将函数返回类型当成对应的指针类型处理。与往常一样,要想声明一个返回函数指针的函数,最简单的办法是使用类型别名:
using F = int(int*, int); //F是函数类型,不是指针
using PF = int(*)(int *, int); //PF是函数指针
其中我们使用类型别名将F定义成函数类型,将PF定义成指向函数类型的指针。必须时刻注意的是,和函数类型的形参不一样,返回类型不会自动地转换成指针,我们必须显示地将返回类型指定为指针:
PF f1(int); //正确,PF是指向函数的指针,f1返回指向函数的指针
F f1(int); //错误,F是函数类型,f1不能返回一个函数
F *f1(int); //正确,显示地指向返回类型是指向函数的指针
我们也可以用下面的形式直接声明f1:
int (*f1(int))(int *, int);
按照由内向外的顺序阅读这条声明语句:我们看到f1有形参列表,所以f1是一个函数;f1前面有*,所以f1返回一个指针;进一步观察发现,指针的类型本身也包含形参列表,因此指针指向函数,该函数的返回类型是int。
我们还可以事宜尾置返回类型的方式声明一个返回函数指针的函数:
auto f1(int) -> int (*)(int *, int);