首页 > 代码库 > 由typedef和函数指针引起的危机

由typedef和函数指针引起的危机

由typedef和函数指针引起的危机

昨天阅读了大神强哥的代码,发现里面用到了函数指针,也用到的typedef。本来我自以为对这两个概念有一定的认识,但是突然发现这两个东西居然用到了一起!!!!(在一起了也不说一声,一点心理准备都没有):

typedef int (* fp)(void *para, void *end);

瞬间就蒙了,这是个啥东西???于是我开始看书,上网查资料,想弄明白。在这个过程中,我发现自己不仅仅是对这两个概念理解不够!!!而是,对数组、指针、变量的理解都不够。这引发了我对C语言认识的危机。想想看,一直在写C程序,突然有一天发现,你对它的认识始终是模糊的,你所做的事都是建立在这种模糊的认识之上的,可不可怕!!!!

有点类似于数学危机呀!

我希望我能够像数学的发展那样,在矛盾中发展,在危机中升华。

下面就记录一下,我在解决函理解这个东西:

typedef int (* fp)(void *para, void *end);

的过程中的一些心得体会。

 

心得1:由变量名到地址,可以理解为一种退化而指针就是地址

在我之前的一篇随笔中,我简单写了一下对地址和变量名的理解。

 

http://www.cnblogs.com/qingergege/p/6723509.html

这里再简单谈一下。

我觉得:

变量名可以认为代表一个结构。代表什么结构呢?学过编译原理的同学都知道,有一个概念叫做符号表。变量名就代表了这个符号表中的某一项。至于符号表是什么样,我不知道,但是大概就类似于下面这个(其中的一条记录):

变量名

首地址

类型

空间大小

a

0x3333

int

4字节

10

 

编译器用一个叫符号引用的东西来访问符号表中的记录。

这个符号引用就是变量名

看上面一条记录,可以发现其中有一个字段叫首地址,而上面说了变量名可以代表整个结构,换句话说就是,地址仅仅是变量名的一部分或者从另一个角度讲,变量名是一个受到限制的地址,因为指针就是地址,这句话也可以说成:变量名是一个受到限制的指针(受什么限制呢?就是受到上面那条记录中其他字段的限制)

学习C语言的同学都有体会,指针是一个让人又爱又恨的东西。爱她是因为她使用方便,效率高;恨她是因为她太不安全了。她的不安全在于她几乎可以不受任何限地访问内存。

比如说void * p; 你就可以给她分配你想要的大小的空间。

p = malloc(你想要的大小)。

而且通过p可能会访问到未分配的空间,比如你执行p++,也许p原来指向一片有意义的内存,但是p++之后呢?就不一定了。

但是变量名就没有这个问题,看看上面那条记录,已经限定了a能够访问的内存的首地址是0x3333,能够访问的内存大小就是4字节。这些都是受限制的,但是单单给一个指针,也就是个首地址就没有这些限制。所以可以说,变量名是个受限制的地址。学c++的时候,老师在讲引用和指针的区别时,经常会说,引用就是个受限制的指针。那引用是什么?比如 int &b = a, b和a就是一样的,上面那条记录可以用a进行访问,现在通过b也可以访问了,就是这么回事儿

而从变量名到地址,实际上就是从整个结构退化到结构中的“首地址”字段,而这个过程是通过取地址符号&实现的

 

心得2:数组名不是指针

记得当大一学C语言那会儿,老师就说,数组名就相当于个指针。现在看来数组名也仅仅是“相当于”个指针而已。

为什么我们会认为数组名是指针呢?答案很简单,他俩太像了!为什么他俩这么像?答案:都是编译器“惹的祸”。

可能有两个用法导致了我们对“数组名就是指针”这个观点深信不疑。

第一个就是数组名可以赋值给一个指针,比如

int a[3];

int *p = a;

第二个是用指针也可以向用数组名那样,使用下标访问数组中的元素,比如:

p[2]和a[2]是等价的。

 

基于上面两种用法,很难让我们不相信“数组名就是指针”。

这一切都是编译器的锅!!!

当我们使用赋值符“=”,真的是仅仅执行了赋值语句这么简单吗?或者到汇编层,真的只是几个mov语句吗?一定不是的!

比如说:

int main(){    int a = 100;    short b;    b = a;    printf("b = %d\n",b);    getchar();     return 0;}

 

 

当将a的值赋值给b时,一定是存在一个类型转换的,应该是

b = (short)a;

 

但是我们并不需要显式地强制类型转换,这是因为编译器为我们做了。就像Java中即使我们不写构造方法,创建对象的时候也会调用构造方法,因为编译器会为我们生成一个默认的构造方法(编译器不容易啊,知道我们懒,活都帮我们干了)。同样,当我们将一个数组名赋值给指针时,编译器在私下也帮我们做了大量的工作

上边那句 int *p = a。实际上编译器帮我们转换了,转换成类似

int *p = &a[0];这样的语句。看起来好像是将一个数组名赋值给了指针,实际上底层还是讲数组的首元素的地址赋值给了指针!

 

再来说说通过下标访问数组元素的方法,使用的是下标运算符[]。

在我们看来就是通过下标访问的元素呀,但实际上编译器会将[]运算符转换成指针运算,比如a[2] + 1 ,在底层就是类似于*(a + 2) +1。有一个写法可以从侧面证明这一点:

我们知道 *(p  + 2) + 1就是p指向的数组的第3个元素+1,这句话也可以写成p[2] +1, 当然因为a+b和b+a一样,所以也可以写成*(2 + p) + 1;  那么,神奇的事情出现了,也可以写成2[p]+1!!!!当时看到这种写法的时候,真的是颠覆了世界观!!这种写法也从侧面证明了,下标运算符[]实际上被编译器转换成了指针的运算!!

下面是程序源码和输出结果:

int tmain(){    int a[4] = {1,2,3,4};    int *p = a;    printf("第三个元素为:%d\n",p[2]  );    printf("第三个元素为:%d\n",*(p+2)  );    printf("第三个元素为:%d\n",*(2+p)  );    printf("第三个元素为:%d\n",2[p]  );     getchar();     return 0;}

技术分享

正是由于编译器为我们做了这么多,才让数组名看是来像是一个指针!!

还有一个问题就是数组名可以赋值给指针,但是指针不能赋值给数组名,很多人给出解释是因为数组名是个指针常量,而常量的值是不能改变的。。但是上面已经解释了数组名根本就不是指针,更不用说是指针常量了!!变量名之所以能够赋值给指针变量,是因为编译器做了优化,但是这是变量名在=左边的情况呀!

 

根据心得1,数组名也是个变量名,那么它也可以理解为一个首限制的指针,而从变量名转换成指针是需要取地址运算&的。事实 情况也是如此:编译器将int *p = a 优化成了 int *p = &a[0]

而&a就表示的是数组a的地址!这就要谈心得3了。

 

心得3:定义一个类型的指针变量的方法,就是先定义出该类型的普通变量,然后在变量名前加上*即可,但是要注意运算符的优先级

上面的话肯能不太好理解,下面就是例子:

比如说我想定义一个指向int类型的指针,那么我就可以先定义一个int类型的变量,然后再在变量名前面加上*即可

如:

int a;    ---》 int *a;

 

同样如果我想定义一个指向int数组的指针,我可以先定义一个int类型的数组,然后再在数组名(变量名)前加上*

int a[5]    -----》int (*a)[5]

这里要加括号是因为[]的优先级比*高。

这里可能有人会疑惑,指向一位数组的指针不应该定义成int *a就好了吗?

这里需要解释的是int *p = a这种写法中p实际上指向的数组中的元素,而不是整个数组,上面心得2中提到int *p = a会被编译器优化成int *p = &a[0],所以这种定义下p指向的是数组中的元素,而不是整个数组,这也是为什么p++会指向下一个元素。

而int (*p)[5]这种定义方法,p指向的是整个数组,而p++则是指向下一个数组(如果合法的话)

 

发现没有:

int a;int *p =&a; int a[5];int (*)p[5] =&a;

 

都是有套路的!!!!

 

同样对于函数指针也一样:

int print(char *a); --》 int (*print)(char *)

 

看到没有也仅仅是在函数名前面加上一个*即可(加括号是由于优先级的问题),只不过通常我们会把函数指针换个名字而已,比如

int (*p)(char *)

 

就是把print换成了p而已呀。

问题来了,前面都是通过取地址得到指向相应类型变量的指针,为什么我们在给函数指针赋值的时候不用&符呢?比如:

int print(char *);int (*p)(char *);p = print;

 

为什么不用 p = &print呢?

还记得将数组名赋值给指针变量吗?没错!还是编译器的“锅”,编译器帮我们做了优化,p = print会被编译器优化成p = &print,

而且我们就写p = &print也没有任何问题!!!

比如下面代码和运行结果:

 

int print(char *a){    printf("值为:%s\n",a);    return getchar();;}int main(){    int (*p)(char * a);     p = &print;     p("阿星");        return 0;}

技术分享

 

心得4:定义某种类型的变量,在前面加上typedef就得到了该变量的类型

 

比如 定义int类型的变量a,

int a;

如果前面加上typedef 那么a不再是变量,而是变量的类型!!

typedef int a; 那么a就相当于int。

 

 

同样 我们定义一个数组变量:

int a[5];

加上typedef之后 a就变成了有五个元素的数组类型

typedef int a[5];

此时a就不再是变量了,而是类型!!升级了!!!

之后我们就可以用a定义数组变量了!!!

一个代码和运行结果

typedef int a[5];int main(){    a arr = {1,2,3,4,5};     printf("数组数据为:");    for(int i = 0; i < 5; i++)    {        printf("%d ",arr[i]);    }     getchar();    return 0;}

技术分享

看到了吗?  加上typedef之后小小的数组变量a就变成了类型(一步登天呀),然后他就可以定义变量啦。只不过通常情况下我们会把这个类型大写,而不是使用看是来更像是变量的a

 

最后终于到了要解决引起我危机感的东西了,typedef加上函数指针变量。

函数指针变量

int (*)p(char *);

p本来是个指针变量,加上typedef这个皇冠就麻雀变凤凰了。就从一个变量名变成了能定义函数指针变量的类型名了。

看代码和运行结果

typedef int (*p)(char *s); int print(char *s); int main(){    p pf;     pf = &print;    pf("阿星");       return 0;} int print(char *s){    printf("值为:%s\n",s);    return getchar();}

技术分享

 

 

也许我今天辛苦整理的心得,到了明天发现依然不够全面不够好。不过没关系,都是在不断完善中成长的!

 

水平有限,有纰漏之处还请指正。谢谢。。。。

 

 

 

由typedef和函数指针引起的危机