C专家编程 第3章 分析C语言的声明 3.3 优先级规则

3.3 优先级规则 
/*理解C语言声明的优先级规则
 A 声明从它的名字开始读取，然后按照优先级顺序依次读取
 B 优先级从高到低依次如下：
   B.1 声明中被括号括起来的那部分
   B.2 后缀操作符：
       括号()表示这是一个函数，而
       方括号[]表示这是一个数组。
   B.3 前缀操作符：星号*表示“指向......的指针"。
 C 如果const和（或）volatile关键字的后面紧跟类型说明符（如int, long等），那么
   它作用于类型说明符。在其他情况下，const和volatile关键字作用于它左边紧邻的指针
   星号。
 */ 
char * const * (*next)();
                            用优先级规则解决一个声明
使用规则                                    解释
A                        首先，看变量名next，并注意到它直接被括号所括住
B.1                     所以先把括号里的东西作为一个整体，得出“next是一个指向...的指针”
B                        然后考虑括号外面的内容，在星号前缀和括号后缀之间做出选择
B.2                     B.2规则告诉我们优先级较高的是右边的函数括号，所以得出“next一个
                          函数指针，指向一个返回...的函数”
B.3                     再次，处理前缀“*”，得出指针所指的内容
C                        最后，把char* const解释为指向字符的常量指针
/*next是一个指针，它指向一个函数，该函数返回另一个指针， 
 *该指针指向一个类型为char的常量指针 */ 

步骤号                                    匹配的符号                            如何阅读
1.取最左边的标识符                        标识符                                表示“标识符是 ”
2.查看标识符右边的下一个             [可能的大小]...                    对于每一对，表示 
符号，如果是方括号                                                                   “...的数组”
3.如果是一个左括号表示                (可能的参数)                        到右括号为止的内容
                                                                                                   “返回...的函数”
4.如果左边的符号是一个左括号      (                                          已经处理的内容 这个左括号把已经                                                                                                     处理的部分声明组合在一起，直到                                                                                                     遇见对应的右括号。然后从第2步                                                                                                       重新开始
5.如果左边的符号是下述之一：                                                 继续向左边读符号，直到所读符号             const                                                                                不再是左边那3个之一。
         volatile                                                                               如果符号是const，表示“只读”； 
              *                                                                                    如果是volatile，表示“volatile”； 
                                                                                                   如果是“*”，表示“指向...的指针”； 
                                                                                                   然后重复第4步                                
6.剩下的符号形成声明的基本类型                                             剩余的符号可一并阅读，如：
                                                                                                   static unsigned int
                                        C语言声明的神奇解码环
图中忽略了typedef以简化声明。如果声明有typedef，就把它翻译成没有typedef的样子。如果它类似于“typedef p a...”这种形式，就把声明中所有类型为“a...”的内容用“p”来代替。                              在分析这个声明时，需要逐渐把已经处理过的片段“去掉”，这样便能知道还需要分析多少内容。再次提醒，记住const表示“只读”，并不能因为它的意思是常量就认为它表示的就是常量。

char * const *(*next)();

                            分析一个C语言声明的步骤
    剩余的声明                            所采取的下一步骤                   结果 
（从最左边的标识符开始）                             
char * const *(*next)();              第1步                                表示“next是...” 
char * cosnt *(*)();                     第2,3步                             不匹配，转到下一步，表示“next是...”
char * const *(*)();                     第4步                                不匹配，转到下一步
char * const *(*)();                     第5步                                与星号匹配，表示“指向...的指针”，转第                                                                                             4步
char * const *()();                      第4步                                “（”和“）”匹配，转到第2步
char * const *();                        第2步                                不匹配，转到下一步
char * const *();                        第3步                                表示“返回...的函数”
char * const *;                          第4步                                不匹配，转到下一步
char * const *;                          第5步                                表示“指向...的指针”
char * const;                            第5步                                表示“只读的...”
char *;                                      第5步                                表示“指向...的指针”
char;                                        第6步                                表示“char”