c语言声明语法（参考其他文章）

C语言的声明语法本身就是小的编程语言。其基本思想为让声明符模仿标识符的最终语法。

C89对声明的形式的规定：

声明说明符 初始化声明符表opt [opt的意思是option，可选]

声明说明符：

存储类型说明符 声明说明符opt

基本类型说明符 声明说明符opt

类型限定符 声明说明符opt

声明符：

包含字符 * ，[] , ( ) 与被声明的标识符（即名称），其声明了一个新的标识符，还表示标识符是数组、指针、函数还是其他任意组合。

声明符是初始化声明符表的主体，声明符规定如下：

指针opt
直接声明符

指针opt指的是指针声明符*，要注意的是，*属于声明符，而不是声明说明符的一部分。

指针opt又包含：

* 类型限定符表opt （如：int *const p）

* 类型限定符表opt 指针 （如：const
int * const *** const ** const p;）

第二条使得指针可以嵌套，这条规定产生复杂的声明形式

直接声明符和类型限定词表的内容：

直接声明符：

标识符

（声明符）

直接声明符[常量表达式opt]

直接声明符（形式参数类型表）

直接声明符（标识符表opt）

类型限定符表：

类型限定符

类型限定符表 类型限定符

C的声明的组织形式是以嵌套为基础的，是用嵌套声明组织起来的。一个声明说明符可以包含另一个声明说明符，这就是声明的嵌套，这种嵌套贯穿于整个声明之中。

一个非常简单的声明，其实就是由多个声明嵌套组成的，例如：

static const int i=10, j=20, k=30;

变量i前面就是声明说明符部分，有三个声明说明符：static const int，static是一个存储类说明符，它属于这种形式：

static 声明说明符

static后面的声明说明符就是const int，const是一个类型限定符，这也是个嵌套，它是由

const 声明说明符

组成，最后的int是一个类型说明符，到这里已经没有嵌套了，int就是最底的一层。对于存储类说明符、类型说明符和类型限定符的排列顺序，C标准并没有规定其顺序，谁嵌套谁都可以。换言之，上面的声明可以写成: int static const i=10, j=20, k=30; 或者const int static i=10, j=20, k=30;

声明符模仿标识符思想：

我们最常见到的对声明的描述是这样的：

存储类型 基本类型 类型限定词 最终声明符（可能包含初始化列表）

在c语言中，声明的语法与解释为

基本类型 生成基本类型的东西；

而不是

类型 标识符；

生成基本类型的东西，即——声明符——或是简单的标识符，或是如同*p,a[10],或f()这样符号，表明声明变量为指向基本类型的指针，基本类型的数组，或返回基本类型的函数。

例子：

<1>const int *p;

<2>int const *p;

<3>int *const p;

由c语言的声明标准可以知道<1>与<2>是等价的，表示指向只读常量的指针，可以从让声明符模仿标识符的思想考虑，即*p 在使用时表示一个被 const
修饰的 int 型只读常量，所以p表示指向常量的指针。

对于<3>，同样 *const p 为int型，const修饰p，表示p的值不可修改，p为指针，所以为指针常量。

typedef用来声明一个别名，typedef后面的语法，是一个声明。

教材中介绍typedef的时候通常会写出如下形式：

typedef int PARA;

其中int PARA 为一个声明，声明中的标识符即为别名，其代表最终声明符，如

typedef int a[10]; （a代表a[10]）

typedef void (*p)(void); (p 代表 (*p)(void) )

虽然在功能上，typedef可以看作一个跟int PARA分离的动作，但语法上typedef属于存储类声明说明符，因此严格来说，typedef int PARA整个是一个完整的声明。