分析C语言的声明（2）

声明器（declarator）

声明器是全部声明的核心，简单的说，声明器就是标识符以及与它组合在一块儿的任何指针、函数括号、数组下标等。
表： C语言中的声明器（declarator）

数量	C语言中的名字	C语言中出现的形式
零个或多个	指针	下列形式之一：
		*const volatile
		*volatile
		*
		*const
		*volatile const
有且只有一个	直接声明器	下列形式之一：
		标识符
		标识符[下标]
		标识符(参数)
		(声明器)
零个或一个	初始化内容	= 初始值

一个声明由下表所示的各个部分组成（并不是全部的组合形式都是合法的，但这个表描述了咱们进一步讨论所用到的词汇）。声明肯定了变量的基本类型以及初始值（若是有的话）。
表： C语言中的声明

数量	C语言中的名字	C语言中出现的形式
至少一个类型说明符	类型说明符(type-specifier)	void char short int long signed unsigned float double
		结构说明符（struct-specifier）
		枚举说明符（enum-specifier）
		联合说明符（union-specifier）
	存储类型（storage-class）	extern static register
		auto typedef
	类型限定符（type-qualifier）	const volatile
有且只有一个	声明器（declarator）	参见上表定义
零个或多个	更多的声明器	, 声明器
一个	分号	；

让咱们看一下若是你使用这些部件来构造一个声明，状况可以复杂到什么程度。同时要记住，在合法的声明中存在限制条件。你不能够像下面那样作：

• 函数的返回值不能是一个函数，因此像foo()()这样是非法的。
• 函数的返回值不能是一个数组，因此像foo()[]这样是非法的。
• 数组里不能有函数，因此像foo这样是非法的。
  但像下面这样则是合法的：
• 函数的返回值容许是一个函数指针，如： int (*foo())()
• 函数的返回值容许是一个指向数组的指针，如：int (*foo())[]
• 数组里面容许有函数指针，如 int (* foo[])()
• 数组里面容许有其余数组，因此你常常能看到int foo[][]

优先级规则

要理解一个声明，必需要懂得其中的优先级规则。

• A 声明从它的名字开始读取，而后按照优先级顺序依次读取。
• B 优先级从高到低依次是：
  -------B. 1 声明中被括号括起来的那部分
  -------B. 2 后缀操做符：
  --------------括号()表示这是一个函数，而
  --------------方括号[]表示这是一个数组。
  -------B. 3 前缀操做符：星号*表示“指向...的指针”
• C 若是const和（或）volatile关键字的后面紧跟类型说明符（如int，long等），那么它做用于类型说明符。在其余状况下，onst和（或）volatile关键字做用于它左边紧邻的指针星号。

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

char * const *(*next)();

• A 首先，看变量名“next”，并注意到它直接被括号括住。
• B. 1 因此先把括号里面的东西做为一个总体，得出“next是一个指向...的指针”。
• B 而后考虑括号外面的东西，在星号前缀和括号后缀之间做出选择。
• B. 2 B. 2规则告诉咱们优先级较高的是右边的函数括号，因此得出“next是一个函数指针，指向一个返回...的函数”。
• B. 3 而后，处理前缀“*”，得出指针所指的内容。
• C 最后，把“char * const”解释为指向字符的常量指针。

把上述分析结果加以归纳，这个声明表示“next是一个指针，它指向一个函数，该函数返回另外一个指针，该指针指向一个类型为char的常量指针”。

一个更复杂的例子：

char *(* c[10]) (int **p);

1.c
变量名是c
2.c[10]
c是一个有10个元素的数组。
3.(* c[10])
c是一个有10个元素的数组，数组的元素类型是指针，即c是指针数组。
4.(* c[10]) (int **p);
数组的元素指针指向函数，故指针的类型是函数指针。指向的函数接收的形参p为int型的指针的指针类型（二级指针）。
5.*(* c[10]) (int **p);
函数的返回值为一个指针。
6.char *(* c[10]) (int **p);
函数的返回值为一个指向char的指针。

归纳的说即是：
c是一个数组[0...9]，它的元素类型是函数指针，其所指向的函数的形参p是int型的指针的指针类型，函数的返回值是一个指向char的指针。