C语言的那些小秘密之函数指针

我们经常会听到这样的说法,不懂得函数指针就不是真正的C语言高手。我们不管这句话对与否,但是它都从侧面反应出了函数指针的重要性,所以我们还是有必要掌握对函数指针的使用。先来看看函数指针的定义吧。

函数是由执行语句组成的指令序列或者代码,这些代码的有序集合根据其大小被分配到一定的内存空间中,这一片内存空间的起始地址就成为函数的地址,不同的函数有不同的函数地址,编译器通过函数名来索引函数的入口地址,为了方便操作类型属性相同的函数,c/c++引入了函数指针,函数指针就是指向代码入口地址的指针,是指向函数的指针变量。 因而“函数指针”本身首先应该是指针变量,只不过该指针变量指向函数。这正如用指针变量可指向整形变量、字符型、数组一样,这里是指向函数。C在编译时,每一个函数都有一个入口地址,该入口地址就是函数指针所指向的地址。有了指向函数的指针变量后,可用该指针变量调用函数,就如同用指针变量可引用其他类型变量一样,在这些概念上是一致的。函数指针有两个用途:调用函数和做函数的参数。

函数指针的声明方法为:

  数据类型标志符 (指针变量名) (形参列表);

  “函数类型”说明函数的返回类型,由于“()”的优先级高于“*”,所以指针变量名外的括号必不可少,后面的“形参列表”表示指针变量指向的函数所带的参数列表。例如:

  int function(int x,int y); /* 声明一个函数 */

  int (*f) (int x,int y); /* 声明一个函数指针 */

  f=function; /* 将function函数的首地址赋给指针f */

  赋值时函数function不带括号,也不带参数,由于function代表函数的首地址,因此经过赋值以后,指针f就指向函数function(int x,int y);的代码的首地址。

  下面的程序说明了函数指针调用函数的方法:

  例一、

 #include<stdio.h> int max ( int x, int y){ return x>y?x:y;} int min ( int x, int y){ return x<y?x:y;} void main () { int ( *f ) ( int x, int y)=max; //f=&max;printf ( "%d,%d\t", max (2,6), (f)(5,4)); f=min; printf (" %d,%d\t" , min (2,6), (f)(5,4)); }

注意:以上代码的红色部分我们将会在接下来的代码分析部分进行讲解,读者也可以思考下如果运行注释部分,结果是否还是正确的呢?

  f是指向函数的指针变量,所以可把函数max()赋给f作为f的值,即把max()的入口地址赋给f,以后就可以用f来调用该函数,实际上f和max都指向同一个入口地址,不同就是f是一个指针变量,不像函数名称那样是死的,它可以指向任何函数,就看你想怎么做了。在程序中把哪个函数的地址赋给它,它就指向哪个函数。而后用指针变量调用它,因此可以先后指向不同的函数。不过注意,指向函数的指针变量没有++和–运算,,用时要小心。

  函数括号中的形参可有可无,视情况而定,不过,在某些编译器中这是不能通过的。这个例子的补充如下。

  1.定义函数指针类型:

  typedef int (*fun_ptr)(int,int);

  2.申明变量,赋值:

  fun_ptr max_func=max;

  也就是说,赋给函数指针的函数应该和函数指针所指的函数原型是一致的。

  例二、

  #include<stdio.h>

  void FileFunc()

  {

  printf("FileFunc\n");

  }

  void EditFunc()

  {

  printf("EditFunc\n");

  }

  void main()

  {

  typedef void (*funcp)();

  funcp pfun= FileFunc;

  pfun();

  pfun = EditFunc;

  pfun(); 

  }

看了上面两段代码,应该都知道如何用函数指针来调用函数了,但是我们刚刚在上面的描述中留下过一个问题,就是运行注释部分f=&max;结果是否还是正确的呢?下面我就给出上面两个运行结果的对别,然后来分析下原因。

有注释前的运行结果为:

把注释部分加进去的运行结果为:

对比以上的运行结果可以看出,f=&max语句被执行时的结果和没有被执行时的结果是一样的。为什么会出现这样的结果呢?答案是这是编译器处理的,max本身就是个地址,它没有放到任何变量里,自然没有取它的地址一说。所以我们可以看看在调试的过程中&max的值和max的值是一样的。调试代码如下:

root@ubuntu:/home/shiyan# gdb ssGNU gdb (Ubuntu/Linaro 7.2-1ubuntu11) 7.2Copyright (C) 2010 Free Software Foundation, Inc.License GPLv3+: GNU GPL version 3 or later <>This is free software: you are free to change and redistribute it.There is NO WARRANTY, to the extent permitted by law. Type "show copying"and "show warranty" for details.This GDB was configured as "i686-linux-gnu".For bug reporting instructions, please see:<>…Reading symbols from /home/shiyan/ss…done.(gdb) list1 #include<stdio.h>2 int max ( int x, int y){ return x>y?x:y;}3 int min ( int x, int y){ return x<y?x:y;}4 void main ()5 { int ( *f ) ( int x, int y)=max; 6//f=&max;7printf ( "%d,%d\t", max (2,6), (f)(5,4));8f=min; 9printf (" %d,%d\t" , min (2,6), (f)(5,4)); 10} (gdb) b 4Breakpoint 1 at 0x80483ec: file hanshu.c, line 4.(gdb) rStarting program: /home/shiyan/ss

当你成功得意的时候,最重要的是瞧得起别人。

C语言的那些小秘密之函数指针

相关文章:

你感兴趣的文章:

标签云: