《c++primer》第五版笔记：函数指针

原书p221

目录

使用函数指针

重载函数的指针

函数指针形参

返回指向函数的指针

---

函数的类型由它的返回类型和形参类型共同决定，与函数名无关。举个栗子：

bool lengthCompare(const string &,const string &)

该函数的类型是bool(const string&,const string&)。要想声明一个可以指向该函数的指针，只需要用指针替换函数即可：

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

*pf两端的括号必不可少。如果不写这对括号，pf时一个返回bool指针的函数。

使用函数指针

当我们把一个函数作为一个值使用时，该函数自动地转换成指针。举个栗子：

pf=lengthCompare;//pf指向lengthCompare函数
pf=&lengthCompare;//等价赋值语句，取地址符是可选的

此外，我们还能直接使用指向函数的指针调用该函数，无需提前解引用指针：

bool b1=pf("hello","good");
bool b2=(*pf)("hello","good");
bool b3=lengthCompare("hello","good");

在指向不同函数类型的指针间不存在转换规则。但是和往常一样，我们可以为函数指针赋一个nullptr或者为0的整型常量表达式，表示该指针没有指向任何一个函数。

重载函数的指针

当我们使用重载函数时，上下文必须清晰地界定到底应该选用哪个函数。如果定义了指向重载函数的指针：

void ff(int*);
void ff(unsigned int);
void (*pf1)(unsigned int)=ff;//pf1指向ff(unsigned int)
void (*pf2)(int)=ff;//错误：没有任何一个ff与该形参列表匹配
void (*pf3)(int*)=ff;//错误：ff和pf3的返回类型不匹配

函数指针形参

和数组类似，虽然不能定义函数类型的形参，但是形参可以是指向函数的指针。此时，形参看起来是函数类型，实际上确是当成指针使用：

//第三个形参是函数类型，自动转换成指向函数的指针
void useBigger(const string&s1,vonst string&s2,
              bool pf(const string&,const string&));
//显示声明：显示将形参转换成指向函数的指针
void useBigger(const string&s1,vonst string&s2,
              bool (*pf)(const string&,const string&));

我们可以直接把函数作为实参使用，它会自动转换成指针。

useBigger(s1,s2,lengthCompare);

我们还能用类型别名简化使用了函数指针的代码：

//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;

有了别名后的useBigger的等价声明如下所示：

void useBigger(const string&,const string&,Func);
void useBigger(const string&,const string&,FuncP2);

返回指向函数的指针

和数组类似，虽然不能返回一个函数，但是能返回指向函数类型的指针。然而，我们必须把返回类型写成指针形式，编译器不会自动地将函数返回类型当成对应的指针类型处理。与往常一样，要想声明一个返回函数指针的函数，最简单的方法是使用类型别名：

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

其中我们使用类型别名将F定义成函数类型，将PF定义成指向函数类型的指针。必须时刻注意的是，和函数类型的形参不一样，返回类型不会自动地转换成指针，我们必须显示将返回类型指定为指针：

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

当然，我们也能用下面的形式直接声明f1:

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

还有尾置返回类型的方式：

auto f1(int)->int(*)(int*,int);