理解C语言复杂声明的优先级规则

小灰灰 2022-04-14 03:48 141阅读 0赞

从变量名看起，先往右，再往左，碰到一个圆括号就调转阅读的方向；括号内分析完就跳出括号，还是按先右后左的顺序，如此循环，直到整个声明分析完。

int (*func)(int *p);

首先找到变量名func，外面有一对圆括号，而且左边是一个\*号，这说明func是一个指针；然后跳出这个圆括号，先看右边，又遇到圆括号，这说明 (*func)是一个函数，所以func是一个指向这类函数的指针，即函数指针，这类函数具有int*类型的形参，返回值类型是int。

int (*func[5])(int *);

func 右边是一个\[\]运算符，说明func是具有5个元素的数组；func的左边有一个\*，说明func的元素是指针（注意这里的*不是修饰func，而是修饰 func\[5\]的，原因是\[\]运算符优先级比*高，func先跟\[\]结合）。跳出这个括号，看右边，又遇到圆括号，说明func数组的元素是函数类型的指 针，它指向的函数具有int\*类型的形参，返回值类型为int。

--------------------

A 声明从t它的名字开始读取，然后按照优先级顺序依次读取。  
B 优先级从高到低依次是：  
B.1 声明中被括号括起来的那部分；  
B.2 后续操作符：括号（）表示这是一个函数，方括号\[ \]表示这是一个数组；  
B.3 前缀操作符：星号 \*表示“指向···的指针”  
C 如果const或者voliatile关键字后面紧跟着类型说明符（如int，long等），则它们作用于类型说明符；其他情况下，它们作用于左边紧邻的指针星号。

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

char * const *(*next) ()

<table> 
 <thead> 
  <tr> 
   <th>使用规则</th> 
   <th>解释</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td>A</td> 
   <td>首先，看变量名“next”，并且next直接被括号所包含</td> 
  </tr> 
  <tr> 
   <td>B.1</td> 
   <td>所以把括号里的东西作为一个整体，得出“next是一个指向···的指针”</td> 
  </tr> 
  <tr> 
   <td>B</td> 
   <td>然后考虑括号外面的东西，在星号前缀和括号后缀之间做出选择</td> 
  </tr> 
  <tr> 
   <td>B.2</td> 
   <td>B.2规则告诉我们优先级较高的是右边的函数括号，所以得出“next是一个函数指针，指向一个返回···的函数”</td> 
  </tr> 
  <tr> 
   <td>B.3</td> 
   <td>然后，处理前缀“*”，得出指针所指的内容</td> 
  </tr> 
  <tr> 
   <td>C</td> 
   <td>最后把“char *const”解释为指向字符的常量指针</td> 
  </tr> 
 </tbody> 
</table>

综上分析，这个声明表示：“next是一个指针，它指向一个函数，该函数返回另外一个指针，该指针指向一个类型为char的常量指针”。