基础知识
函数指针 的本质是一个指针,该指针的地址指向了一个函数,所以它是指向函数的指针。我们知道,函数的定义是存在于代码段,因此,每个函数在代码段中,也有着自己的入口地址,函数指针就是指向代码段中函数入口地址的指针。
函数指针的声明方法为:
注1:“返回值类型”说明函数的返回类型,“(指针变量名 )”中的括号不能省,括号改变了运算符的优先级。若省略整体则成为一个函数说明,说明了一个返回的数据类型是指针的函数,后面的“形参列表”表示指针变量指向的函数所带的参数列表。例如:
int func(int x); /* 声明一个函数 */
int (*f) (int x); /* 声明一个函数指针 */
f=func; /* 将func函数的首地址赋给指针f */
或者使用下面的方法将函数地址赋给函数指针:
f = &func;
赋值时函数func不带括号,也不带参数,由于func代表函数的首地址,因此经过赋值以后,指针f就指向函数func(x)的代码的首地址。
注2:函数括号中的形参可有可无,视情况而定。
但是直接这么一看感觉函数指针没有太多作用,与函数名直接调用函数也没有什么区别,何况函数名的底层也是使用函数指针来调用函数。我们来看有一段二叉树中序遍历非递归的代码来理解
Status InOrderTraverse( BiTree T, status (*visit)(TElemType e ))
{ InitStack( S ); p = T;
while( p || !StackEmpty( S ))
{ if( p )// 根指针进栈,遍历左子树
{ Push( S, p );
p = p>pLChild; }
else // 根指针出栈,访问根结点,遍历右子树
{ Pop( S, p );
if( !(*Visit)( p->data)) return ERROR;
p = p->pRChild; // 右子树
}// else }// while
return OK;
}// InOrderTraverse
其中作为形参的status (*visit)(TElemType e )这个函数指针 代表了访问节点的方法 这里使用函数指针的主要原因就是此时只是访问结点,但是不知道是打印或者是怎样的操作,而我们命名函数时的习惯是将名字起为函数的作用,但是这里不知道具体的访问的操作,因此写visit函数指针更加合理。所以,可以使代码的封装性和逻辑性更加合理。
还有一个作用就是可以将实现同一功能的很多个模块统一起来标识,这样一来更容易后期的维护,系统结构更加清晰。或者归纳为:便于分层设计、利于系统抽象、降低耦合度以及使接口与实现分开。
可以看下面对冒泡排序的封装,让整个代码的层次和模块化有了质的提升
#include<iostream>
using namespace std;
void sort(int arr[], int size, bool(*cmp)(int,int));
bool up(int a, int b);
bool down(int a, int b);
int main()
{
int arr[10];
for (int i = 0;i < 10;++i)
cin >> arr[i];
sort(arr, 10,down);
for (int i = 0;i < 10;++i)
cout << arr[i] << " ";
return 0;
}
void sort(int arr[],int size,bool(*cmp)(int,int))//简单冒泡排序
{
int temp;
for (int i = 0;i < size-1; ++i)
{
for (int j = i;j < size-1;++j)
{
if (cmp(arr[i], arr[j + 1]))
{
temp = arr[i];
arr[i] = arr[j + 1];
arr[j + 1] = temp;
}
}
}
}
bool up(int a, int b)
{
if (a > b)
return 1;
else
return 0;
}
bool down(int a, int b)
{
if (a > b)
return 0;
else
return 1;
}