在K&R中,作者承认“C语言声明的语法有时会带来严重的问题”。C语言声明的语法对于编译器来说并不是什么大不了的事,但对于一般的程序员,它却会成为障碍。
在阅读较为复杂的代码时,首先让人感觉难以下手的就是声明了,有时候一大段声明摆在眼前完全不知道该如何读,看完都分不清返回值究竟是什么,通过阅读《C专家编程》的第三章,基本上可以解决以后见到的所有声明,这是我认为在这本书中重要程度排前列的章节,所以特此总结一下关于声明的读法。
首先,声明是由什么构成的,这里借用了《C专家编程》第三章”分析C语言的声明“这一节的一些内容
C语言声明的优先级规则:
A 声明从他的名字开始读取,然后按照优先级顺序依次读取
B 优先级从高到低依次是:
1、声明中被括号括起来的部分
2、后缀操作符:
括号()表示这是一个函数
方括号[]表示这是一个数组
3、前缀操作符:星号*表示“指向…的指针”
C 如果const和(或)volatile关键字后面紧跟类型说明符(如int,long等),那么它作用于类型说明符。在其他情况下,关键字作用于它左边紧邻的指针星号。
例子:char *const *(*next)();
分析:A 首先看变量名,注意到被括号括住
B 所以把括号里的内容作为一个整体,得出“next是一个指向…的指针”
然后考虑括号外面的东西,有优先级B2的法则可知,右边的优先级更高,后面 是“()”所以可知“next是一个函数指针,指向一个返回…的函数”
然后,处理前缀”*”,得出指针所指的内容
C 最后把“char * const”解释为指向字符的常量指针
所以这个声明表示为“next是一个函数指针,它指向一个函数,该函数返回一个指针,该指针指向一个类型为char的常量指针”
以上的优先级规则就基本已经概括了所有的规则,下面是本书中的一个更加直观的声明解析步骤图
注意:在具体的每一个步骤上,我们首先查看右边的符号,然后再看左边的。
最后再来一个例子:char*(*c[10])(int **p);
分析:A 先看变量名,注意到被括号括住
B 所以把括号里的当做一个整体,得出”c是一个指向…的指针数组”
根据优先级规则,我们接下来看括号的右边,右边被括号括住,说明”c指针数 组中的指针指向一个函数”,注意此处关于函数参数的内容是可以拿出来独立
分 析的,所我们把它留在最后,不让他打乱我们的流程
然后,前缀“*”表示指向…的指针
C 最后char是用来修饰那个指针的,所以函数的返回值为一个指向char类型的指针
所以这个声明解释为“c是一个指针数组[0…9],它的元素类型是函数指针,其指向的函数的返回值是一个指向char的指针”
最后不要忘了括号中关于函数参数的内容:在数组中被函数指针所指向的所有函数都把一个指向指针的指针(二重指针)作为它的唯一参数。
OK 这下就大功告成了,如果可以顺利的分析出这种复杂程度的声明,在以后应该在分析声明时不会遇到什么难题了,毕竟,如果有谁在写项目时用比这还要复杂的声明,可能会被问候祖宗十八辈吧。
C语言声明的分析还是十分重要的部分,这部分的东西要读多次,直到完全理解并且掌握了声明的阅读流程。