函数指针
一、最简单的函数指针
变量都包括声明和赋值,指针不例外,函数指针也不例外。我们来看一个简单的函数:
void add(int a, int b){ cout << a + b << endl; }
一个简单的加法计算并输出到命令行的函数。
那么如何通过函数指针来调用它呢?
1、声明:
void (*p1)(int a, int b);
函数指针的声明很简单,基本就是通过一个指针把函数名替换。指针p1的类型为void (*) (int a,int b),表明指针是一个指向某个函数的指针,指针指向的类型为void () (int a,int b)
2、赋值:
p1 = add;
3、也可以直接定义:
void (*p1)(int a, int b) = add;
注意,函数void add(int a,int b)的函数名add就是函数的地址。将地址add赋值给指针p1,那么就可以通过函数指针p1直接调用函数了。
4、调用:
(*p1)(1, 2); p1(1, 2);
注意!出于历史原因以上2种方式都是可以调用函数的。
二、包含多个函数指针的数组
有时候有这种情况,有一个数组,数组中的每个元素都是一个函数指针,该怎么定义这个数组呢?
1、解释*p[n]和(*p)[n]
我们知道,[]运算符的优先级要高于*,所以,p[3]表示含有3个元素的数组,而*p[3] 前面的 " * " 指明了数组中元素的类型,即*p[3]表示一个指向3个指针的数组。
p[3]表示含有3个元素的数组,那么(*p)[3]就是用 *p 替换了 p,很容易想到,(*p)[3] 表示指向一个包含3个元素的数组的指针。
2、声明:
void (*p2[2])(int a, int b);
数组名为p2,数组大小为2,数组中元素类型为void (*)(int a, int b),表明元素是一个指向某个函数的指针,指针指向的类型为void () (int a,int b)。
3、赋值:
p2[1] = add;
理解上跟上面是一样的。
4、调用:
p2[1](2,3); (*p2[1])(3,4);
同样是2种方式都可以。
三、指向“包含多个函数指针的数组“的指针
这个标题好像有点拗口。简而言之,这个指针指向上文中的 “包含多个函数指针的数组” 。其实很简单,说白了,就是把上文中的p2用一个指针来代替。
1、声明:
void (*(*p3)[2])(int a, int b);
可以看到,无非就是把p2用*p3代替。
2、赋值,注意,既然是指针,使用前必须初始化:
p3 = &p2;
(*p3)[1] = add;
注意!既然实质上就是把p2用*p3代替,c++11可以很简单的这样直接定义:auto p3 = &p2; 代替了void (*(*p3)[2])(int a, int b)= &p2;
3、调用:
(*p3)[1](1, 2); (*(*p3)[1])(1, 2);
* ————————如果觉得本博文还行,别忘了推荐一下哦,谢谢!
* 作者:钱书康
* 欢迎转载,请保留此段声明。
* 出处:http://www.cnblogs.com/zrtqsk/
指针函数
顾名思义,指针函数即返回指针的函数。其一般定义形式如下:
类型名 *函数名(函数参数表列);
其中,后缀运算符括号“()”表示这是一个函数,其前缀运算符星号“*”表示此函数为指针型函数,其函数值为指针,即它带回来的值的类型为指针,当调用这个函数后,将得到一个“指向返回值为…的指针(地址),“类型名”表示函数返回的指针指向的类型”。
“(函数参数表列)”中的括号为函数调用运算符,在调用语句中,即使函数不带参数,其参数表的一对括号也不能省略。其示例如下:
1 | int *pfun(int, int); |
由于“*”的优先级低于“()”的优先级,因而pfun首先和后面的“()”结合,也就意味着,pfun是一个函数。即:
1 | int *(pfun(int, int)); |
接着再和前面的“*”结合,说明这个函数的返回值是一个指针。由于前面还有一个int,也就是说,pfun是一个返回值为整型指针的函数。
我们不妨来再看一看,指针函数与函数指针有什么区别?
1 | int (*pfun)(int, int); |
通过括号强行将pfun首先与“*”结合,也就意味着,pfun是一个指针,接着与后面的“()”结合,说明该指针指向的是一个函数,然后再与前面的int结合,也就是说,该函数的返回值是int。由此可见,pfun是一个指向返回值为int的函数的指针。
结论: 虽然它们只有一个括号的差别,但是表示的意义却截然不同。函数指针的本身是一个指针,指针指向的是一个函数。指针函数的本身是一个函数,其函数的返回值是一个指针。
用函数指针作为指针函数的返回值
在上面提到的指针函数里面,有这样一类函数,它们也返回指针型数据(地址),但是这个指针不是指向int、char之类的基本类型,而是指向函数。对于初学者,别说写出这样的函数声明,就是看到这样的写法也是一头雾水。比如,下面的语句:
1 | int (*ff(int))(int *, int); |
我们用上面介绍的方法分析一下,ff首先与后面的“()”结合,即:
1 | int (*(ff(int)))(int *, int);// 用括号将ff(int)再括起来也就意味着,ff是一个函数。 |
接着与前面的“*”结合,说明ff函数的返回值是一个指针。然后再与后面的“()”结合,也就是说,该指针指向的是一个函数。
这种写法确实让人非常难懂,以至于一些初学者产生误解,认为写出别人看不懂的代码才能显示自己水平高。而事实上恰好相反,能否写出通俗易懂的代码是衡量程序员是否优秀的标准。一般来说,用typedef关键字会使该声明更简单易懂。在前面我们已经见过:
1 | int (*PF)(int *, int); |
也就是说,PF是一个函数指针“变量”。当使用typedef声明后,则PF就成为了一个函数指针“类型”,即:
1 | typedef int (*PF)(int *, int); |
这样就定义了返回值的类型。然后,再用PF作为返回值来声明函数:
1 | PF ff(int); |