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  volatile  *		继续向左边读符号，直到所读符号不再是左边那3个之一。 如果符号是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 * const *(*)();	第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”