实验指导 step7:作用域和块语句

step7 我们要增加块语句的支持。

虽然块语句语义不难,就是把多个语句组成一个块,每个块都是一个作用域。 随之而来一个问题是:不同变量可以重名了。 重名的情况包括作用域内部声明覆盖(shadowing)外部声明,以及不相交的作用域之间的重名变量。 因此,变量名不能唯一标识变量了,同一个变量名 a 出现在代码不同地方可能标识完全不同的变量。 我们需要在符号表构建的过程中,确定 AST 中出现的每个变量名分别对应那个变量。

语法上改动不大


function : type Identifier '(' ')' compound_statement
compound_statement : '{' block_item* '}'
statement : 'return' expression ';' | expression? ';' | 'if' '(' expression ')' statement ('else' statement)?
| compound_statement

语义检查我们也要修改了,只有在同一个作用域里,变量才不能重复声明。 当然,如果变量在使用前还是必须先被声明。

你需要:

  1. 改进你的编译器,支持本节引入的新特性,通过相关测试。
  2. 完成实验报告(具体要求请看实验指导书的首页)。实验报告中需要包括:
    • 你的学号姓名
    • 简要叙述,为了完成这个 stage 你做了哪些工作(即你的实验内容)
    • 指导书上的思考题
    • 如果你复用借鉴了参考代码或其他资源,请明确写出你借鉴了哪些内容。并且,即使你声明了代码借鉴,你也需要自己独立认真完成实验。
    • 如有代码交给其他同学参考,也必须在报告中声明,告知给哪些同学拷贝过代码(包括可能通过间接渠道传播给其他同学)。

results matching ""

    No results matching ""

    results matching ""

      No results matching ""