函数指针

指向函数的指针

函数指针指向的是函数而非对象。像其他指针一样，函数指针也指向某个特定的类型。函数类型由其返回类型以及形参表确定，而与函数名无关：

//比较两个对象的长度
bool lengthCompare(const string &, const string &);

//pf指向一个函数，该函数的参数是两个const string的引用，返回值是bool类型
bool (*pf)(const string &, const string &);

Note:

• *pf 两侧的圆括号是必需的,否则pf为一个函数，返回类型为bool指针

---

使用指向函数的指针

当把函数名作为一个值使用时，该函数自动转化为指针

pf = lengthCompare;        //pf指向名为lengthCompare的函数
pf = &lengthCompare;       //等价于上一条语句：取地址符可选

可以直接使用指向函数的指针调用该函数，无需提前解引用：

bool b1 = pf("hello","goodbye");            //调用lengthCompare函数
bool b2 = (*pf)("hello","goodbye");         //一个等价的调用
bool b3 = lengthCompare("hello","goodbye"); //另一个等价的调用

---

函数指针作形参

函数的形参不能是函数类型，但可以是指向函数类型的指针。形参位置上放置一个看起来是函数类型的形参，实际上却是一个指向函数类型的指针。

//第三个类型是函数类型，它会自动转化为指向函数的指针
void useBigger(const string &s1, const string &s2,
                    bool pf(const string &, const string &));
//等价的声明:显式地将形参定义成指向函数的指针
void useBigger(const string &s1, const string &s2,
                    bool (*pf)(const string &, const string &));

我们可以直接把函数作为实参使用，此时它会自动指向该函数的指针：

//自动将函数lengthCompare转换成指向该函数的指针
useBigger(s1,s2,lengthCompare);

---

简化函数指针

正如useBigger的声明语句所示，直接使用函数指针类型太冗长了。类型别名和decltype能简化这些代码：

//Func和Func2是函数类型
typedef bool Func(const string&,const string&);
typedef decltype(lengthCompare) Func2;              //等价的类型
//FuncP和FuncP2是指向函数的指针
typedef bool(*FuncP)(const string&,const string&);
typedef decltype(lengthCompare) *FuncP2;            //等价的类型

---

返回指向函数的指针

虽然不能返回一个函数，但可以返回一个指向函数类型的指针，然而必须把返回类型写成指针形式。可以声明一个返回函数指针的函数，最简单的办法是使用类型别名：

using F = int(int*,int);            //P是函数，不是指针
using PF = int(*)(int *,int);       //PF是指针类型

调用方式：

PF f1(int);             //正确：PF是指向函数的指针，f1返回指向函数的指针
F f1(int);              //错误：F是函数类型，f1不能返回一个函数
F *f1(int);             //正确：显示地指定返回类型是指向函数的指针

当然，我们也能用下面的形式直接声明f1,但这样的声明理解起来可不容易：

int (*f1(int))(int*, int);

可以采用由内向外的方法去分析：

1. 我们看到f1有形参列表，所以f1是一个函数；

2. f1前面有*，所以f1返回一个指针；

3. 进一步观察，指针的类型本身也包含形参列表，因此指针指向函数，该函数的返回类型是int。