home

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

Blog

Thought,  done  &  record.

订阅到QQ邮箱 google reader google reader

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”来代替。

C语言声明解析环

图 1 C 语言声明解析环

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

char * const *(*next) ();

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

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

C语言声明解析举例

图 2 C 语言声明解析举例

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

回顶部