一直觉得C语言较其他语言最伟大的地方就是C语言中的指针,有些人认为指针很简单,而有些人认为指针很难,当然这里的对简单和难并不是等价于对指针的理解程度。
为此在这里对C语言中的指针进行全面的总结,从底层的内存分析,彻底让读者明白指针的本质。
首先读者要明白指针是一个变量,为此作者写了如下代码来验证之:
#include "stdio.h"int main(int argc, char **argv){ unsigned int a = 10; unsigned int *p = NULL; p = &a; printf("&a=%d/n",a); printf("&a=%d/n",&a); *p = 20; printf("a=%d/n",a); return 0;}
这说明编译器确实是在解引时无法确定*p的大小,因此这里必须告诉编译器p的类型或者*p的大小,如何告诉呢?很简单,用强制类型转换即可,如下:
*(int*)p
这样上面的程序就可以写为如下:
#include <stdio.h>int main(int argc, char **argv){ int a=10; void *p; p=&a; printf("p=%d/n",*(int*)p); return 0;}
编译运行后:
可以看到结果确实是正确的,也和预期的想法一致。由于void指针没有空间大小属性,因此void指针也没有++操作。
函数指针在Linux内核中用的非常多,而且在设计操作系统的时候也会用到,因此这里将详细讲解函数指针。既然函数指针也是指针,那函数指针也占用4个字节(32位编译器)。
下面以一个简单的例子说明:
#include <stdio.h>int add(int a,int b){ return a+b;}int main(int argc, char **argv){ int (*p)(int,int); p=add; printf("add(10,20)=%d/n",(*p)(10,20)); return 0;}
程序运行结果如下:
可以看到,函数指针的申明为:
函数指针的解引操作与普通的指针有点不一样。
对于普通的指针而言,解引只需要根据类型来取出数据即可,但函数指针是要调用一个函数,其解引不可能是将数据取出,实际上函数指针的解引本质上是执行函数的过程,只是这个执行函数是使用的call指令并不是之前的函数,而是函数指针的值,即函数的地址。
其实执行函数的过程本质上也是利用call指令来调用函数的地址,因此函数指针本质上就是保存函数执行过程的首地址。函数指针的调用如下:
为了确认函数指针本质上是传递给call指令一个函数的地址,下面用一个简单例子说明:
上面是编译后的汇编指令,可以看到,使用函数指针来调用函数时,其汇编指令多了如下:
0x4015e3 mov DWORD PTR [esp+0xc],0x4015c00x4015eb mov eax,DWORD PTR [esp+0xc]0x4015ef call eax
分析:第一行mov指令将立即数0x4015c0赋值给寄存器esp+0xc的地址内存中,然后将寄存器esp+0xc地址的值赋值给寄存器eax(累加器),然后调用call指令,此时pc指针将会指向add函数,而0x4015c0正好是函数add的首地址,这样就完成了函数的调用。
细心的读者是否发现一个有趣的现象,上述过程中函数指针的值和参数一样是被放在栈帧中,这样看起来就是一个参数传递的过程。
因此可以看到,函数指针最终还是以参数传递的形式传递给被调用的函数,而这个传递的值正好是函数的首地址。
从上面可以看到函数指针并不是和一般的指针一样可以操作内存,因此作者觉得函数指针可以看作是函数的引用申明。
在linux驱动面向对象编程思想中用的最多,利用函数指针来实现封装,下面以一个简单的例子说明:
#include <stdio.h>typedef struct TFT_DISPLAY{ int pix_width; int pix_height; int color_width; void (*init)(void); void (*fill_screen)(int color); void (*tft_test)(void);}tft_display;static void init(void){ printf("the display is initialed/n");}static void fill_screen(int color){ printf("the display screen set 0x%x/n",color);}tft_display mydisplay={ .pix_width=320, .pix_height=240, .color_width=24, .init=init, .fill_screen=fill_screen,};int main(int argc, char **argv){ mydisplay.init(); mydisplay.fill_screen(0xfff); return 0;}
上面的例子将一个tft_display封装成一个对象,上面的结构体成员中最后一个没有初始化,这在Linux中用的非常多。
最常见的是file_operations结构体,该结构体一般来说只需要初始化常见的函数,不需要全部初始化。
上面代码中采用的结构体初始化方式也是在Linux中最常用的一种方式,这种方式的好处在于无需按照结构体的顺序一对一。
有时候会遇到这样一种情况,当上层人员将一个功能交给下层程序员完成时,上层程序员和下层程序员同步工作,这个时候该功能函数并未完成,这个时候上层程序员可以定义一个API来交给下层程序员。
而上层程序员只要关心该API就可以了而无需关心具体实现,具体实现交给下层程序员完成即可(这里的上层和下层程序员不指等级关系,而是项目的分工关系)。
这种情况下就会用到回调函数(Callback Function),现在假设程序员A需要一个FFT算法,这个时候程序员A将FFT算法交给程序员B来完成,现在来让实现这个过程:
#include <stdio.h>int InputData[100]={0};int OutputData[100]={0};void FFT_Function(int *inputData,int *outputData,int num){ while(num--) { }}void TaskA_CallBack(void (*fft)(int*,int*,int)){ (*fft)(InputData,OutputData,100);}int main(int argc, char **argv){ TaskA_CallBack(FFT_Function); return 0;}
上面的代码中TaskA_CallBack是回调函数,该函数的形参为一个函数指针,而FFT_Function是一个被调用函数。
可以看到回调函数中申明的函数指针必须和被调用函数的类型完全相同。
本文链接:http://www.28at.com/showinfo-26-88564-0.html还是结构体指针写的代码看着舒服
声明:本网页内容旨在传播知识,若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。邮件:2376512515@qq.com