Sep 20, 2012 – 学习 & 提升 – 学习笔记 C语言编程语言 – Bai

C 语言声明解析

合法声明的限制条件

函数的返回值不能是一个函数，而可以是一个函数指针，所以像foo()()这样是非法的，而int(* fun())()是合法的；
函数的返回值不能是一个数组，而可以是一个指向数组的指针，所以像 foo()[] 这样是非法的，而 int(* fun())[] 是合法的；
数组里面不能有函数，但数组里面可以有其他数组，所以像 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来代替。

C语言声明解析环