函数指针和指针函数

1、函数指针（指向函数的指针）

在c语言中，一个函数总是占用一段连续的内存区，而函数名就是该函数所占内存区的首地址（入口地址），所以函数名跟数组名很类似，都是指针常量。

函数指针就是指向这个入口地址的指针变量，注意函数指针是一个变量。

#include<stdio.h>



void f(int);



int main()

{

    //定义函数指针pf并给pf赋值使其指向函数f的入口地址

    //pf先跟*结合，说明pf是一个指针，然后与括号结合，说明这个指针指向函数

    void (*pf)(int)=f;    //等价于void (*pf)(int)=&f;

    pf(1);

    (*pf)(2);//把函数指针转换成函数名，这个转换并不需要

    f(3);

    return 0;

}



void f(int a)

{

    printf("%d\n",a);

}

void (*pf)(int)=&f;为什么我们可以这样定义函数指针呢？来自《c和指针》给出了这样的解释：函数名被使用时总是由编译器把它转换为函数指针，&操作符只是显示地说明了编译器将隐式执行的任务 。

2、妙用函数指针一： 函数指针数组

c语言协会定期集中讨论一次，每次讨论有一个主持者，每个主持者对应一个函数（函数功能可以是输出主持者姓名及讨论主题或者完成其他功能）。现在要编写这样一段程序，输入一个整数i(i>=0)，根据输入的i调用不同主持者的函数。很快就能写出如下代码：

#include<stdio.h>



//各个主持者对应的函数声明

void Touch();

void DuanJiong();

void MeiKai();

void YinJun();

void JiangHaiLong();



void main()

{

    int i;

    scanf("%d",&i);

    switch(i){

    case 0:

        Touch();

        break;

    case 1:

        DuanJiong();

        break;

    case 2:

        MeiKai();

        break;

    case 3:

        YinJun();

        break;

    case 4:

        JiangHaiLong();

        break;

    }

}



void Touch()

{

    puts("我是Touch");

}



void DuanJiong()

{

    puts("我是段炯");

}



void MeiKai()

{

    puts("我是梅凯");

}



void YinJun()

{

    puts("我是殷俊");

}



void JiangHaiLong()

{

    puts("我是木子");

}

这段代码有错误吗，肯定木有，运行结果完全正确。但是注意这里只列出了5种情况，如果总共有很多种情况呢，那么我们就要写一大堆的case语句。而且每次都是从case 1 开始判断。那么是否可以简化代码并且能让程序不做这么多判断呢？这就引出了函数指针数组，顾名思义，就是存放函数指针的数组。现主函数修改如下所示：

void main()

{

    int i;

    void (*p[])()={Touch,DuanJiong,MeiKai,YinJun,JiangHaiLong};

    scanf("%d",&i);

    p[i]();

}

void (*p[])()={Touch,DuanJiong,MeiKai,YinJun,JiangHaiLong};声明了一个函数指针数组并赋值。把每个函数的入口地址存入这个数组，这样就不需要用switch语句了，根据下标i直接找到函数入口，省去了判断的时间。

 

3、妙用函数指针二： 回调函数

什么是回调函数，来着百度百科的解释：回调函数就是一个通过函数指针调用的函数。如果你把函数的指针(地址)作为参数传递给另一个函数，当这个指针被用为调用它所指向的函数时，我们就说这是回调函数。这里函数指针是作为参数传递给另一个函数。

大家都写过冒泡排序吧，其代码如下：

//冒泡排序

void bubbleSort(int *a,int n)

{

    int i,j;

    for(i=1;i<n;i++)

        for(j=1;j<n-i+1;j++){

            if(a[j+1]<a[j]){

                a[j]=a[j]+a[j+1];

                a[j+1]=a[j]-a[j+1];

                a[j]=a[j]-a[j+1];

            }

        }

}

请注意到这样一个不足，这个冒泡排序只能对int型数组进行排序。如果我们想写这样一个函数，能同时对int型、float型、double型、char型、结构体类型...数组进行排序，该怎么写呢？也许你会想到函数重载，但是C语言没有这个概念。这里可以用函数指针来实现，其代码比重载更简洁，更高效这也是函数指针的最大用处，参考代码：

 

//回调函数对多种数据类型数组进行冒泡排序

//a表示待排序数组

//n表示数组长度

//size表示数组元素大小(即每个数组元素占用的字节数)

//int (*compare)(void *,void *) 声明了一个函数指针，在此作为参数

//void *类型的指针表示指向未知类型的指针,编译器并不会给void类型的指针分配空间,但我们可以把它进行强制类型转换

void bubbleSort(void *a,int n,int size,int (*compare)(void *,void *))

{

    int i,j,k;

    char *p,*q;

    char temp;//交换时暂存一个字节的数据

    for(i=0;i<n;i++)

        for(j=0;j<n-i-1;j++){

            //注意p,q都是字符类型的指针，加一都只移动一个字节

            p=(char*)a+j*size;

                        q=(char*)a+(j+1)*size;

          if(compare(p,q)>0){

                //一个一个字节的交换,从而实现了一个数据类型数据的交换

                for(k=0;k<size;k++){

                    temp=*p;

                    *p=*q;

                    *q=temp;

                    p++;

                    q++;

            }

            }

        }

}         

请注意代码中红色部分代码，要看懂这段代码需明确两个问题：（1）void*类型的指针未分配空间的，我们可以把它进行强制类型转换成char*。（2）对数组元素进行交换时，并不是一次就把两个数交换了，因为我们并不知道数据的确切类型。但知道数组元素的大小，这样就可以逐个字节进行交换。比如对int类型（占用四个字节）的值a、b进行交换，先交换a、b的第一个字节，然后第二个字节...

理解了这个代码，该怎么用呢？参数要传入一个函数指针，于是必须要写一个比较两个数大小的函数，且函数原型必须与int (*compare)(void *,void *)相匹配。下面是测试各种类型数组排序的代码：

#include<stdio.h>



typedef struct{

    int data;

}Node;



//函数声明

int charCompare(void *a,void *b);

int intCompare(void *a,void *b);

int floatCompare(void *a,void *b);

int doubleCompare(void *a,void *b);

int nodeCompare(void *a,void *b);

void bubbleSort(void *a,int n,int size,int (*compare)(void *,void *));



//比较两个char类型的数据的大小，a>b返回1，a<b返回-1，a==b返回0

int charCompare(void *a,void *b)

{

    if(*(char*)a==*(char*)b)

        return 0;

    return *(char*)a>*(char*)b?1:-1;

}

//比较两个int类型的数据的大小

int intCompare(void *a,void *b)

{

    if(*(int*)a==*(int*)b)

        return 0;

    return *(int*)a>*(int*)b?1:-1;

}

//比较两个float类型的数据的大小

int floatCompare(void *a,void *b)

{

    if(*(float*)a==*(float*)b)

        return 0;

    return *(float*)a>*(float*)b?1:-1;

}

//比较两个double类型的数据的大小

int doubleCompare(void *a,void *b)

{

    if(*(double*)a==*(double*)b)

        return 0;

    return *(double*)a>*(double*)b?1:-1;

}

//比较两个结构体类型（Node）的数据的大小

int nodeCompare(void *a,void *b)

{

    if(((Node*)a)->data == ((Node*)b)->data)

        return 0;

    return ((Node*)a)->data > ((Node*)b)->data ? 1 : -1;

}



void main()

{

    int i=0;

    //用于测试的各种类型数组

    char c[]={'d','a','c','e','b'};

    int a[]={3,2,4,0,1};

    float f[]={4.4,5.5,3.3,0,1};

    double b[]={4.4,5.5,3.3,0,1};

     Node n[]={{2},{0},{1},{4},{3}};



    //对各种数组进行排序

    puts("对char类型数组进行排序：");

    bubbleSort(c,5,sizeof(char),charCompare);

    for(i=0;i<5;i++)

        printf("%c ",c[i]);

    puts("");



    puts("对int类型数组进行排序：");

    bubbleSort(a,5,sizeof(int),intCompare);

    for(i=0;i<5;i++)

        printf("%d ",a[i]);

    puts("");



    puts("对float类型数组进行排序：");

    bubbleSort(f,5,sizeof(float),floatCompare);

    for(i=0;i<5;i++)

        printf("%.2f ",f[i]);

    puts("");



    puts("对double类型数组进行排序：");

    bubbleSort(b,5,sizeof(double),doubleCompare);

    for(i=0;i<5;i++)

        printf("%.2lf ",b[i]);

    puts("");



    puts("对结构体（Node）类型数组进行排序：");

    bubbleSort(n,5,sizeof(Node),nodeCompare);

    for(i=0;i<5;i++)

        printf("%d ",n[i].data);

    puts("");

}





//回调函数对多种数据类型数组进行冒泡排序

//a表示待排序数组

//n表示数组长度

//size表示数组元素大小(即每个数组元素占用的字节数)

//int (*compare)(void *,void *) 声明了一个函数指针，在此作为参数

//void *类型的指针表示指向未知类型的指针,编译器并不会给void类型的指针分配空间,但我们可以把它进行强制类型转换

void bubbleSort(void *a,int n,int size,int (*compare)(void *,void *))

{

    int i,j,k;

    char *p,*q;

    char temp;//交换时暂存一个字节的数据

    for(i=0;i<n;i++)

        for(j=0;j<n-i-1;j++){

            //注意p,q都是字符类型的指针，加一都只移动一个字节

            p=(char*)a+j*size;

            q=(char*)a+(j+1)*size;

            if(compare(p,q)>0){

                //一个一个字节的交换,从而实现了一个数据类型数据的交换

                for(k=0;k<size;k++){

                    temp=*p;

                    *p=*q;

                    *q=temp;

                    p++;

                    q++;

                }

            }

        }

}

运行结果：

再看看C语言标准库中的快速排序函数，它的实现原理及用法同上述冒泡排序

 

4、指针函数（返回指针的函数，确切的说是返回指针类型的函数）

#include<stdlib.h>

#include<stdio.h>



//创建长度为n的动态数组

//这是一个指针函数

int* array(int n)

{

    int *a=(int*)malloc(sizeof(int)*n);

    return a;

}

void main()

{ 

    int i,n=3;

    int *a=array(n);

    for(i=0;i<n;i++)

        a[i]=i;

    free(a);//注意a不用时要free掉，否则内存泄露

}

5、参考资料

《C和指针》、《the c programming language》、《c语言程序设计》谭浩强版、c标准库、《冒泡排序 && 快速排序 》  、其它网上资料