复杂声明 | C语言

今天看了《C专家编程》里的’分析C语言的声明’一章，终于懂了C语言的复杂声明是怎么解析的。虽然在平时写代码的时候用到复杂声明的情况几乎没有，这里还是做一个记录，也是加深对C语言声明的理解。

声明的优先级规则

以下规则来自《C专家编程》。

C语言声明的优先级规则：

• A. 声明从它的名字开始读取，然后按照优先级顺序依次读取。
• B. 优先级从高到低依次是：
  
  • B1. 声明中被括号括起来的那部分。
  • B2. 后缀操作符：括号()表示这是一个函数，函数返回值是xxx；方括号[]表示这是一个数组，数组包含xxx。
  • B3. 前缀操作符：星号*表示指向xxx的指针。
• C. 如果const或volatile 关键字的后面紧跟类型说明符（如int,long等），那么它作用于类型说明符。在其他情况下，const和volatile 关键字作用于它左边紧邻的指针星号。

通过上述规则画出一个神奇的声明解析环：

例子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
• C语言汇总