C++-函数和函数指针

函数和函数指针

函数和函数指针是不同的，函数指针指向的是函数而非对象，和其他指针一样，函数指针指向某种特定的类型，函数的类型由它的返回类型和形参共同决定（换句话说一种调用形式对应一个函数类型），与函数名无关。

声明一个函数：

bool add(int a,int b);

声明一个函数指针，只要用指针替换函数名即可：

bool (*pf)(int a,int b);

*fp两边的括号是必须的，否则会变成声明一个函数

使用函数指针

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

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

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

bool b1=pf(1,2);
bool b2=(*pf)(1,2);//等价语句
bool b3=add(1,2)//等价语句

指向不同函数类型的指针间不存在转换规则，但都可赋值为nullptr，表示没有指向任何一个函数

函数指针形参

函数类型本不能作为参数或者返回值，但作为参数时，函数类型会自动转为函数指针类型，因此可以有如下声明：

//形参是函数类型，它会自动的转换成指向函数的指针
void use_func(bool pf(int a,int b));
//显示将形参声明为函数指针
void use_func(bool (*pf)(int a,int b));
//add自动转为函数指针
use_func(add);

但是函数类型作为函数返回类型时，不会自动转为函数指针类型，因此必须显式声明为函数指针形式

简化函数指针类型声明

typedef bool Func(int a,int b);//函数类型
typedef decltype(add) Func;//函数类型
using Func=int(int,int);//使用类型别名简化，函数类型
typedef bool (*Func)(int a,int b);//函数指针类型
typedef decltype(add) *Func;//函数指针类型
using Func=int(*)(int,int);//使用类型别名简化，函数类型

需要注意的是，decltype返回函数类型而非函数指针类型，声明指针时要加*

如何理解复杂的指针类型声明

int (*f(int))(int*,int);

采用从内到外的阅读方式：

1. f(int)表明f是个函数
2. (*f(int))表明我们可以对函数调用返回的结果进行解引用，即f的返回值是一个指针
3. (f(int))(int,int)表明解引用的结果可以进行函数调用，即f返回的是一个函数指针
4. int (f(int))(int,int)表明该函数指针指向的函数的返回类型的是一个int
5. 即我们声明了一个函数，该函数参数为int，返回值为函数指针，该函数指针指向的函数接受两个参数为int*和int，指向的函数的返回值为int