【编译原理笔记11】中间代码生成：类型表达式，声明语句的翻译

本次笔记内容：
6-1 类型表达式
6-2 声明语句的翻译

本节课幻灯片，见于我的 GitHub 仓库：第11讲中间代码生成_1.pdf

文章目录

类型表达式 Type Expression
- 举例
声明语句的翻译
- 局部变量的存储分配
- 变量声明语句的SDT
- 例："real x; int i;"的语法制导翻译
- 例：数组类型表达式"int[2][3]"的语法制导翻译

类型表达式 Type Expression

基本类型是类型表达式：

integer
real
char
boolean
type_error (出错类型)
void (无类型)

基本类型是类型表达式，可以为类型表达式命名，类型名也是类型表达式；将类型构造符 (type constructor) 作用于类型表达式可以构成新的类型表达式：

数组构造符 array
- 若 T 是类型表达式，则 array(I, T) 是类型表达式( I 是一个整数)
指针构造符 pointer
- 若 T 是类型表达式，则 pointer ( T ) 是类型表达式，它表示一个指针类型
笛卡尔乘积构造符 ×
- 若 T1 和 T2 是类型表达式，则笛卡尔乘积 T1 × T2 是类型表达式
函数构造符→
- 若 T1、T2、…、Tn 和 R 是类型表达式，则T1×T2×…×Tn→R 是类型表达式
记录构造符 record
- 若有标识符 N1 、N2 、…、Nn 与类型表达式 T1 、T2 、…、Tn ，则 record ((N1×T1) × (N2×T2) × … × (Nn×Tn)) 是一个类型表达式

举例

C程序片段如下：

struct stype
{char[8] name;int score;
};
stype[50] table;
stype* p;

和 stype 绑定的类型表达式：

record ((name × array(8, char)) × (score × integer))

和 table 绑定的类型表达式：

array (50, stype)

和 p 绑定的类型表达式：

pointer (stype)

声明语句的翻译

局部变量的存储分配

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

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

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

变量声明语句的SDT

举例，如上第 ⑤ 个产生式：假设一个指针占用 4 个字节，那么其中 T.width = 4 。

enter( name, type, offset ):在符号表中为名字name创建记录，将name的类型设置为type，相对地址设置为offset。

例："real x; int i;"的语法制导翻译

首先验证，是不是LL1文法：

具有相同左部的产生式，他们的可选集是否不相交。
②与③有相同的左部，②的 SELECT集，就是 T 的 FIRST集，T 的 FIRST集取决于 B 的 FIRST集，B 的 FIRST集有 int 和 real ，另外指针关键字 point 也在 T 的 FIRST集；
而③的 SELECT集是 FOLLOW-D，可以看出 FOLLOW-D 后面此时跟的是 $ 符号。
所以 ② 与 ③ 产生式的 SELECT集互不相交。
其他产生式同理。符合LL1文法。

在语法制导翻译时，注意 offset 变量的变化。

例：数组类型表达式"int[2][3]"的语法制导翻译

为什么从T开始推导？

之前那个时类型声明，从 P 开始；这个是表达式，从T开始推导。