今天看了《C专家编程》里的'分析C语言的声明'一章,终于懂了C语言的复杂声明是怎么解析的。虽然在平时写代码的时候用到复杂声明的情况几乎没有,这里还是做一个记录,也是加深对C语言声明的理解。
声明的优先级规则
以下规则来自《C专家编程》。
C语言声明的优先级规则:
A. 声明从它的名字开始读取,然后按照优先级顺序依次读取。
B. 优先级从高到低依次是:
B1. 声明中被括号括起来的那部分。
B2. 后缀操作符:括号()表示这是一个函数,函数返回值是xxx;方括号[]表示这是一个数组,数组包含xxx。
B3. 前缀操作符:星号*表示指向xxx的指针。
C. 如果const或volatile 关键字的后面紧跟类型说明符(如int,long等),那么它作用于类型说明符。在其他情况下,const和volatile 关键字作用于它左边紧邻的指针星号。
通过上述规则画出一个神奇的声明解析环:
image
例子1
看一个例子:char *(*next)();
用优先级规则来解读一下:
找到它的名字,是next,注意到离next最近的是*与()
B1规则告诉我们()优先级最高,我们把括号里的东西作为一个整体,通过B3规则,我们得到next是一个指针,指向xxx
考虑括号外面的东西。在*与()间作出选择,B2优先于B3。所以next是一个指针,指向一个函数,它的返回值是xxx
然后,处理*,得到next是一个指针,指向一个函数,它的返回值是一个指针,指针指向xxx
最后,处理char,得到next是一个指针,指向一个函数,它的返回值是一个指针,指针指向char类型.
把上述结果总结一下就是:next是一个指针,它指向一个函数,该函数的返回值是一个char类型的指针。
例子2
例子const char *str[10];:
找到名字,是str
考虑*与[]的优化级,[]优先于*,所以str是一个数组,它包含10个xxx
然后,处理*,所以str是一个数组,它包含了10个指向xxx的指针
最后根据C规则,处理const char,next是一个数组,它包含了10个指向const char类型的指针
如果是char * const str[10];:
找到名字,是str
处理[],所以str是一个数组,它包含10个xxx
处理const,根据C规则const修饰,那么str是一个数组,它包含了10个指向xxx的const指针*
处理char,next是一个数组,它包含了10个指向char类型的const指针
例子3
来一个复杂一点的例子char *(* test[10])(int p):
名字是test
test被()包围,先处理()内部。
结合[],test是一个包含10个xxx的数组
结合*,test是一个包含10个指向xxx指针的数组
处理()外部,结合(int p),test是一个包含10个指针的数组,这些指针们指向一个函数,该函数有参数int p
处理*,test是一个包含10个指针的数组,这些指针们各自指向一个函数,该函数有参数int p且返回一个指针
处理char,test是一个包含10个指针的数组,这些指针们各自指向一个函数,该函数有参数int p且返回一个指向char类型的指针
typedef 简化复杂声明
typedef的功能是为一个类型引入新的名字。当需要使用到复杂声明的时候,使用typedef可以简单声明。典型的例子是signal()原型的声明。signal()原型是一种系统调用,用于通知运行时系统有“软件中断”产生。
signal()的声明如下:void (*signal(int sig, void(*func)(int)))(int);。运用上面的声明解析,得到它的意思如下:
void (*signal( ))(int);,signal是一个函数,它返回一个函数指针,后者所指向的函数接受一个int参数并返回void。signal有两个参数,其中一个恐怖的参数和返回值是同一类型:void (*func)(int)。
上述声明可以使用typedef来简化,让我们用typedef来表示通用部分:
/*
* 表示ptr_to_func是一个函数指针,指向一个参数为int,返回值为void的函数。
*/
typedef void (* ptr_to_func)(int);
/*
* 表示signal是一个函数,它接受两个参数,一个是int,一个是ptr_to_func,返回值为ptr_to_func。
*/
ptr_to_func signal(int, ptr_to_func);
参考
《C专家编程》
C语言复杂声明的解析器:cdecl