函数指针是指向函数的指针变量。因而函数指针本身首先应是指针变量,只不过该指针变量指向函数。正如指针变量可指向整型变量、字符型、数组一样,这里是指向函数。C在编译时,每一个函数都有一个入口地址,该入口地址就是函数指针所指向的地址。有了指向函数的指针变量后,可用该指针变量调用函数,就如同使用指针变量可引用其他类型变量一样。函数指针有两个用途:调用函数和做函数的参数。
函数指针的声明方法为:
返回值类型 (*指针变量名)([形参列表]);
注:返回值类型说明函数的返回类型,“(*指针变量名)”中的括号不能省,括号改变了运算符的优先级。若省略整体则成为一个函数说明,说明了一个函数的数据类型是指针的函数,后面的“形参列表”表示指针变量指向的函数所带的参数列表。
定义函数指针类型:
typedef 返回值类型 (*指针类型名)([形参列表]);
指针函数是指返回值是指针的函数,本质上是一个函数。我们知道函数都有返回值,只不过指针函数返回类型是某一类型的指针。
指针数组:
函数返回值类型 (*数组名[])([形参列表])
复杂函数指针的解析:
1) float (*(*fp)(int,int,float))(int);
解析:float X(int)其中X是一个函数,有一个整型参数,返回值是一个浮点数。
X=*(*fp)(int,int,float);
fp是一个函数指针,它有三个参数,前两个是整型,最后一个是浮点型。其返回值是一个指针,是一个指向函数的指针(函数指针)。这个函数指针所指向的函数的原型是只有一个整型参数,返回值是一个浮点数。
2) int (*(*fp())[10])();
解析:fp是一个函数,他没有参数,返回值是一个指针;
X= (*fp());
int (*X[10])();
X是一个数组,其有10个元素,每个元素都是一个函数指针,这个函数指针所代表的函数原型是一个没有参数,返回值是整型的函数。
综合起来就是:fp是一个函数,他没有参数,返回值时一个指向数据的指针,这个数组有10个元素,每个元素都是一个函数指针,这个函数指针所代表的函数圆型是一个没有参数,返回值是整型的函数。
3) typedef double (*(*(*fp)())[10])();
解析:fp是一个函数指针;它不带参数;返回值是一个指针。
X=(*(*fp)())
typedef double (*X[10])()
X是一个数组,他有10个元素,它的元素都是函数指针,这个函数指针所指向的函数原型是一个没有参数,返回值为double类型的函数。
综合起来就是:fp是一个新定义的数据类型,它是一个函数指针,这个函数指针所指向的函数原型是不带参数,返回值是一个指向数组的指针。这个数组有10个元素,其元素类型是一个函数指针,这个函数指针所指向的函数原型是一个没有参数,返回值为double类型的函数。
#include <stdio.h>
#include <iostream>
using namespace std;
int(*func_ptr)(int, int);
typedef int(*func_ptr_t)(int, int);
typedef int(*func_ptr_array_t[])(int, int);
int Max(int a, int b)
{
return a > b ? a : b;
}
int Min(int a, int b)
{
return a < b ? a : b;
}
int main()
{
// 函数指针
func_ptr = Max;
int result = func_ptr(1, 2);
cout << result << endl;
// 定义函数指针类型
func_ptr_t ppt = Max;
result = ppt(2, 3);
cout << result << endl;
// 函数指针数组
func_ptr_array_t ptr_array = { Max, Min };
int result_max = ptr_array[0](5, 6);
int result_min = ptr_array[1](6, 5);
cout << "max:" << result_max << ";" << "min:" << result_min << endl;
// 函数指针数组
func_ptr_t* ptr_func_array = new func_ptr_t[2];
ptr_func_array[0] = Max;
ptr_func_array[1] = Min;
result_max = ptr_array[0](8, 9);
result_min = ptr_array[1](9, 8);
cout << "max:" << result_max << ";" << "min:" << result_min << endl;
}