Love life, love sports, love to learn, & love...

C 语言声明解析

合法声明的限制条件

1. 函数的返回值不能是一个函数，而可以是一个函数指针，所以像 foo()() 这样是非法的，而 int(* fun())() 是合法的；
2. 函数的返回值不能是一个数组，而可以是一个指向数组的指针，所以像 foo()[] 这样是非法的，而 int(* fun())[] 是合法的；
3. 数组里面不能有函数，但数组里面可以有其他数组，所以像 foo 这样是非法的，而 int foo[][] 是合法的。

声明的优先级规则

A： 声明从它的名字开始读取，然后按照优先级顺序依次读取。

B： 优先级从高到低依次是：

B.1： 声明中被括号括起来的部分

B.2： 后缀操作符：括号（）表示这是一个函数，而方括号 [] 表示这是一个数组。

B.3： 前缀操作符：星号表示“指向...的指针”。

C： 如果 const 和（或）volatile 关键字的后面紧跟类型说明符（如 int、long 等），那么它作用于类型说明符。其他情况下，const 和（或）volatile 关键字作用于它左边紧邻的指针星号。

用优先级规则分析C语言声明一例

试分析以下声明语句：

char * const *(*next) ();

适用规则	解释
A	首先，看变量名“next”，并注意到它直接被括号所括住
B.1	所以先把括号里的东西作为一个整体，得出“next 是一个指向…的指针”
B	然后考虑括号外的东西，在星号前缀和括号后缀之间做出选择
B.2	B.2规则告诉我们优先级较高的是右边的函数括号，所以得出“next 是一个函数指针，指向一个返回…的函数”
B.3	然后处理前缀“*”，得出指针所指的内容
C	最后，把“char * const”解释为指向字符的常量指针

把上述分析结果加以概括，这个声明表示：“next 是一个指针，它指向一个函数，该函数返回另一个指针，该指针指向一个类型为 char 的常量指针”。

用图表解析C语言声明的步骤

图表参见下面的图1。如果按图索骥，从第一步开始，顺着箭头逐步往下分析，无论多么复杂的 C 语言声明都可以迎刃而解，都可以用最通俗的语言来解释。在图中忽略了 typedef 以简化声明。如果声明中有 typedef，就将其翻译成没有 typedef 的样子。如果它类似于“typedef p a …”这种形式，就把声明中所有类型为“a…”的东西用“p”来代替。

图 1 C 语言声明解析环

现在仍然以刚刚那个例子来说明，即分析以下声明语句：

char * const *(*next) ();

在分析这个声明时，需要逐渐把已经处理过的片段“去掉”，这样便能知道还要分析多少内容。再次提醒，记住 const 表示“只读”，并不能因为它的意思是常量就认为它表示的就是常量。

分析处理过程显示在图 2 中，在每一步骤中，所处理的那部分声明用红色字体表示。从第一步开始，我们将依次进行这些步骤。

图 2 C 语言声明解析举例

将上述分析拼在一起，读作：“next 是一个指向函数的指针，该函数返回另外一个指针，该指针指向一个只读的指向 char 的指针”。