作者:杨硕,华清远见嵌入式学院讲师。
C语言的声明存在的最大的问题就是你无法以一种人们所习惯的自然方式从左到右阅读一个声明,程序员必须记住特殊的规则才能推断出int *p[3]到底是一个int类型的指针数组还是一个指向int数组的指针。(如果你对此还有疑惑的话,建议你去读一读《C专家编程》的第三章:“分析C语言的声明”)
对于这样一个声明,我们应该如何分析?
——————int f()[];
首先,f是一个函数,其次,它的返回值是一个整型数组。貌似就是这样啊,但实际上,这个例子隐藏着一个陷阱,因为这个声明是非法的,呵呵,在我们的C语言里,函数只能返回变量值,不能返回数组。
还有一个让人颇费脑筋的声明:
——————int f[] ();
这里,f应该是一个数组,数组的元素类型是返回值为整型的函数。请不要对它看似正确的表面所迷惑,其实这个声明也是非法的!因为数组元素必须具有相同的长度,但是不同的函数显然可能具有不同的长度吧,呵呵。
在被C语言迷幻的声明形式欺骗两次之后,现在是不是有些草木皆兵了?让我们乘热打铁,再看一个声明:
——————int (*f[]) ();
请你分析一下它的含义?首先,你能否确定它是对的还是错的?
首先,我们必须找到所有的操作符,然后按照正确的次序执行它们。这里有两对括号,它们分别具有不同的含义。第一个括号内的表达式*f[]首先进行求值,所以f是一个元素为某种类型的指针的数组;末尾的括号是函数调用操作符,所以我们可以肯定f是一个数组,数组元素的类型是函数指针,它所指向的函数的返回值是一个整型值。
清楚了上面这个声明,下面这个声明应该就比较容易分析了:
——————int *(*f[ ]) ( );
这个声明创建了一个指针数组,指针所指向的类型是返回值为整型指针的函数。
ANSI C推荐我们使用完整的函数原型,使声明更为明确,例如:
int (*f) ( int, float );
int *(*g[]) ( int, float );
前者把f声明为一个函数指针,它所指向的函数接受两个参数,分别是一个整型数和浮点型值,并返回一个整数。
后者把g声明为一个数组,数组的元素类型是一个函数指针,它所指向的函数接受两个参数,分别是一个整型数和浮点型值,并返回一个整型指针。尽管原型增加了声明的复杂度,但是ANSI C还是大力提倡这个风格,因为这样可以向编译器提供一些额外的信息。
在中级篇的最后,给大家推荐一个实用的C语言工具:cdecl,这个程序可用于所有UNIX操作系统,它可以将C语言的声明翻译成通俗易懂的语言,并可以将C语言声明的语法转换成为具体的C语言声明。
如果你是用的是ubuntu操作系统,那么你只需要执行sudo apt-get install cdecl就可以把cdecl工具安装到你的计算机上,对于别的unix操作系统,你同样可以下载源码包安装(comp.sources.unix.newsgroup)。
在shell终端,我们执行cdecl就可以进入cdecl>提示符,然后输入:explain int (*(*f)())[10]; 可以得到:
可以看到,cdecl为我们解释了int (*(*f)()) [10]这个声明的含义,有了这个工具,不管我们遇到怎样诡异的C语言声明,都可以从容应对了吧,呵呵!
当然,我们可以给cdecl一个声明的语法,把上面一段解释输入进去,就可以看到:
可见,cdecl又帮我们把这段通俗的解释转换成为专业的C语言的声明。
怎么样,这个工具是不是很好用,如果你的系统里面还没有这个工具的话,你是不是应该赶快安装一个呢?让它成为你学习C语言的好帮手吧。好了,今天关于C语言声明的中级篇就到此为止,让我们高级篇见!