在上一小节中,我们讨论了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 InitDeclaratorListopt ;
与这个产生式Declaration对应的例子,例如:
static const int a1 = 3, * a2, a3[5],a4(void);
因此,在ParseCommonHeader()函数的基础上,来实现对“声明Declaration”的分析,就是易如反掌的事情,如图3.3.9所示。因为全局变量的声明属于外部声明,已在函数ParseExternalDeclaration()中完成分析,所以此处的ParseDeclaration()函数主要是在ParseCompoundStatement()函数中被调用,用于对局部变量的声明的分析。
图3.3.9 ParseDeclaration()