C编译器剖析_3.3 语法分析_C语言的外部声明(2)

     在上一小节中，我们讨论了C标准文法的“外部声明ExternalDeclaration”，介绍了“声明Declaration”和“函数定义FunctionDefintion”这两类外部声明，分别举了以下代码作为例子，在图3.3.4和图3.3.7中给出了这两者对应的语法树。

static  const  int  a1= 3, * a2, a3[5],a4(void);//声明Declaration            

int * fn(int aa,double bb,double cc){           //函数定义FunctionDefinition

         return NULL;

}

    我们需要对ucl\decl.c的其他代码进行分析，才能更好理解图3.3.4和图3.3.7的语法树是如何构造出来的。这里可能有个问题，程序的原作者在编程时，在其脑海中就已经有其要构造的语法树的整体轮廓；但是，程序的阅读者在缺乏文档的情况下，只有读完大部分代码，做过分析后才能重构出这棵语法树的概貌。另一个问题是，C标准文法刻画的是C语言这样的无穷集合，不同的C程序对应不同的语法树，而在书中，我们只能选取一些如上所示的简单而又有一定代表性的代码来举例，在还没有介绍完ucl\decl.c的所有函数时，就提前给出形如图3.3.4和图3.3.7这样的语法树预览图，之后结合语法树，就可以更好地阅读和分析ucl\decl.c中的代码。这有点类似于“玩拼图”，在开始动手拼图时，如果能提前知道最终要完成的图案，那应该会更容易些。

     通过上一小节的讨论，我们知道对于“声明”和“函数定义”这两类“外部声明”的分析主要是由ParseCommonHeader()来完成，这个所谓的公共前缀”CommonHeader”实际上就是声明Declaration的候选式；而对于函数定义FunctionDefinition，我们也只是先把其前缀“误当”成和Declaration一样，这样“声明”和“函数定义”才会有如下侯选式所示的CommonHeader，至于两者不一样的地方，我们已经在讨论ParseExternalDeclaration()时进行过修正。

Declaration:

DeclarationSpecifiers       InitDeclaratorList_opt  ;

    与这个产生式Declaration对应的例子，例如：

                   static  const int  a1 = 3, * a2, a3[5],a4(void);

    因此，在ParseCommonHeader()函数的基础上，来实现对“声明Declaration”的分析，就是易如反掌的事情，如图3.3.9所示。因为全局变量的声明属于外部声明，已在函数ParseExternalDeclaration()中完成分析，所以此处的ParseDeclaration()函数主要是在ParseCompoundStatement()函数中被调用，用于对局部变量的声明的分析。

图3.3.9   ParseDeclaration()

    在对“声明Declaration”的相关代码做进一步分析前，让我们再次强调一下，上述产生式中的声明说明符DeclarationSpecifiers对应的是形如”static  const int”这样的字符串，int和double等基本类型的处理相对比较简单，这里我们将重点讨论的是“结构或联合说明符StructOrUnionSpecifier”。而可带初值的声明符(即InitDeclarator)对应的是形如”a1 = 3”这样的字符串。我们在第1章讨论ucc\examples\sc时就已介绍过声明符Declarator的概念，在标准C中，可为声明符加上初始化值，构成InitDeclarator，而多个InitDeclarator则构成上述产生式中的InitDeclaratorList。前文所述的a1,