C编译器剖析_3.2 语法分析_C语言的语句

3.2  C语言的语句_Statement

    在这一节中，我们对C语言的各种语句进行分析，相关代码在ucl\stmt.c中。结构体struct astNode是语法树所有结点的父类，而if语句等需要在语法树结点上记录更多的信息，所以在ucl\stmt.h中定义了相关的结构体，我们会在讨论具体的语句时，在语法树示意图上画出相应的结构体。图3.2.1给出了语句的分析函数ParseStatement()。

图3.2.1 ParseStatement()

     图3.2.1第335至349给出了语句Statement的产生式，其中列出了从第336行的表达式语句ExpressionStatement，第337行的带标号的语句，一直到第349行复合语句CompoundStatement。在3.1节中，我们介绍了表达式Expression的概念，在C语言中，在表达式的后面跟一个分号，就可以构成一个表达式语句。我们是通过递归来定义非终结符句Statement的，而表达式语句由”Expression;”构成，其中不包含非终结符Statement，这就相当于表达式语句可以充当递归定义Statement的递归出口。类似的，break语句”break;”，continue语句”continue;”，goto语句”goto ID;”，return语句的定义中都没有非终结符Statement，所以这些语句都可以作为递归定义Statement的递归出口。没有递归出口的递归，就如“从前有座山，山上有个庙，庙里有个老和尚，老和尚给小和尚讲故事说，从前有座山，山上有个庙，……”。在第353行，根据当前读头下的token来决定要按哪个语句去分析。第372至379行分别进行case语句、default语句和if语句的分析。但在当前记号CurrentToken是标志符TK_ID的情况下，我们又会遇到老问题，即同一个非终结符的不同侯选式的前缀可能是一样的，我们需要再往前多读若干个token才能把它们区别开，例如第360行给出的标号语句和第366行的表达式语句，都是以标志符TK_ID开头。在第370行，我们暂且调用ParseLabelStatement()，但是在该函数内部我们会尝试再多读一个token，看看会不会遇到冒号，如果是冒号，则说明我们遇到的是标号语句；否则我们可能多读了一个token，需要让词法分析器作回溯，对应的代码如图3.2.2第38至56行所示。