目录
1.概念
“In C, a function itself is not a variable, but it is possible to define pointers to functions, which can be assigned, placed in arrays, passed to functions, returned by functions, and so on.”
在C语言中,一个函数的函数名其实就是一个地址,即该函数的入口地址。我们可以声明一个函数指针,并将函数的入口地址(函数名)赋值给这个指针,然后使用这个指针来调用具体的函数。
(1)声明函数指针
有两种方法,第一种:
int (*fun1)(int , int ) ;
第二种:
typedef int (*calculate_fun_t)(int ,int) ;
calculate_fun_t fun1 ;
在原理上,两种都是一样的,都是声明了一个名为fun1的函数指针,该指针指向的是一个带有两个int型参数且返回值类型为int的函数。两种方法的区别在于,第二种方法使用了类型定义(typedef)。一般在项目开发的时候,都是使用第二种方法。
使用类型定义有四个明显的好处:1.自定义的类型名(此例为calculate_fun_t)为程序提供了更好更直观的说明;2.在视觉上才像是声明,便于理解;3.当函数指针指向的函数有很多参数且它们的类型各式各样时,使用类型定义可以减少很多重复的东西,让程序更简洁;4.当一个函数的参数类型是函数指针时(这里可能有些拗口,不过看了例程后你就明白了),使用类型定义能让程序更直观易懂。
下面举个例子,假设要声明5个函数指针,它们都是指向一个带有6个参数(具体类型如下所示)且返回值类型为int的函数。很明显,第二种方法写出来的程序更顺眼一些,能很直观的看到声明了5个函数指针,而第一种方法让人眼花缭乱。
第一种:
int (*fun1)(int , char , void * , char * , short , long) ;
int (*fun2)(int , char , void * , char * , short , long) ;
int (*fun3)(int , char , void * , char * , short , long) ;
int (*fun4)(int , char , void * , char * , short , long) ;
int (*fun5)(int , char , void * , char * , short , long) ;
第二种:
typedef int (*fun_t)(int , char , void * , char * , short , long) ;
fun_t fun1 ;
fun_t fun2 ;
fun_t fun3 ;
fun_t fun4 ;
fun_t fun5 ;
在声明函数指针的时候要特别注意括号,有没有括号完全是两种截然不同的意思。
int (*fun1)(int , int ) ;
int *fun1(int , int ) ;
第一行表示声明了一个名为fun1的函数指针,该指针指向的是一个带有两个int型参数且返回值类型为int的函数;下面一行表示声明了一个名为fun1的函数,该函数的返回类型是int *,有两个int型的参数。
(2)给函数指针赋值
函数指针和指向数据类型的指针没有太大的区别,都可以被赋值、成为数组元素、成为结构体成员、作为函数的参数、作为函数的返回值等等。指针是一种特殊的变量,里面存放的是地址,对32位系统而言,存放的是一个4字节的无符号整数,对64位系统而言,指针存放的是一个8字节的无符号整数。
函数指针存放的也是地址,这个地址是一个函数的入口地址,更直观一点来说就是函数名。给函数指针赋值就是将一个函数的入口地址存放到函数指针中。要特别注意的一点是,函数的参数个数,参数类型,返回值类型要和声明函数指针时完全一致,才能赋值给函数指针。
给函数指针赋值有两种形式,结果是一样的:
int add(int , int) ;
typedef int (*calculate_fun_t)(int ,int) ;
calculate_fun_t fun1 ;
fun1 = add ; /* 第一种形式 */
fun1 = &add ; /* 第二种形式 */
第一种形式很直观,函数名就是函数的入口地址,可以直接将它赋给函数指针;
第二种形式很奇怪,先对函数名取地址操作,再赋给函数指针。这时候就有疑问了,函数名不是变量,怎么可以对它用取地址符呢?取地址之后会变成什么呢?
“本来对函数名取地址是非法的,但很久以前有些编译器已经允许这样做,c/c++标准的制定者出于对象的概念已经有所发展的缘故,也承认了对函数名取地址的合法性。”
add和&add的地址值是一样的,但它们的类型不一样,后者的类型是 int (*)(int ,int)。所以,&add、(calculate_fun_t)add、(int (*)(int ,int))add是完全等价的,地址值和类型都相同。
(3)使用函数指针
给函数指针赋值后,就可以使用函数指针来调用具体的函数了。
使用函数指针也有两种形式,这两种形式的结果也是一样的。
int a = 20 , b = 10 ;
calculate_fun_t fun1 = add ;
fun1(a,b) ; /* 第一种形式 */
(*fun1)(a,b); /* 第二种形式 */
下面用一个具体的例程来说明上面描述的概念
2.例程
例程的编辑环境和执行环境是Ubuntu16.04
源码:
#include <stdio.h>
typedef int (*calculate_fun_t)(int , int ) ;
int add(int param_a , int param_b)
{
return param_a + param_b ;
}
int sub(int param_a , int param_b)
{
return param_a - param_b ;
}
int mul(int param_a , int param_b)
{
return param_a * param_b ;
}
int math1(int param_a , int param_b , calculate_fun_t fun)
{
int result = 0 ;
result = (*fun)(param_a , param_b) ;
return result ;
}
int math2(int param_a , int param_b , calculate_fun_t fun)
{
int result = 0 ;
result = fun(param_a , param_b) ;
return result ;
}
int math3(int param_a , int param_b , int (*fun)(int, int))
{
int result = 0 ;
result = (*fun)(param_a , param_b) ;
return result ;
}
int math4(int param_a , int param_b , int (*fun)(int, int))
{
int result = 0 ;
result = fun(param_a , param_b) ;
return result ;
}
int main()
{
int a = 20 , b = 10 ;
printf("\nmath1:\n") ;
printf("%d + %d = %d \n",a,b,math1(a,b,add)) ;
printf("%d - %d = %d \n",a,b,math1(a,b,&sub)) ;
printf("%d * %d = %d \n",a,b,math1(a,b,(calculate_fun_t)mul)) ;
printf("\nmath2:\n") ;
printf("%d + %d = %d \n",a,b,math2(a,b,add)) ;
printf("%d - %d = %d \n",a,b,math2(a,b,&sub)) ;
printf("%d * %d = %d \n",a,b,math2(a,b,(calculate_fun_t)mul)) ;
printf("\nmath3:\n") ;
printf("%d + %d = %d \n",a,b,math3(a,b,add)) ;
printf("%d - %d = %d \n",a,b,math3(a,b,&sub)) ;
printf("%d * %d = %d \n",a,b,math3(a,b,(calculate_fun_t)mul)) ;
printf("\nmath4:\n") ;
printf("%d + %d = %d \n",a,b,math4(a,b,add)) ;
printf("%d - %d = %d \n",a,b,math4(a,b,&sub)) ;
printf("%d * %d = %d \n",a,b,math4(a,b,(calculate_fun_t)mul)) ;
printf("\n") ;
}
执行结果:
3.参考文献
【1】Brian W. Kernighan,Dennis M. Ritchie.The C Programming Language[M]