编译器笔记28-中间代码生成-声明语句的翻译

局部变量的存储分配

1. 对于声明语句，语义分析的主要任务就是收集标识符的类型等属性信息，并为每一个名字分配一个相对地址。

• 从类型表达式可以知道该类型在运行时刻所需的存储单元数量
  称为类型的宽度 (width)
• 在编译时刻，可以使用类型的宽度为每一个名字分配一个相对
  地址

2. 名字的类型和相对地址信息保存在相应的符号表记录中

变量声明语句的SDT.png 例.png

上属SDT属于L属性定义，若此L属性文法的基础文法是LL1文法，那么就可以在自顶向下分析的过程中实现该SDT。

例.png