这里本该有简介

C语言复杂声明

今天看了《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 charnext是一个数组,它包含了10个指向const char类型的指针

如果是char * const str[10];
– 找到名字,是str
– 处理[],所以str是一个数组,它包含10个xxx
– 处理const,根据C规则const修饰*,那么str是一个数组,它包含了10个指向xxx的const指针
– 处理charnext是一个数组,它包含了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且返回一个指针
  • 处理chartest是一个包含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来表示通用部分:

参考

  • 《C专家编程》
  • C语言复杂声明的解析器:cdecl
test