编译原理基础(刘坚)第4章节.pptVIP

4.4.4 记录的域名 记录把若干个相同类型或者不同类型的变量(还可以是记录)封装在一起，形成一个新的数据类型，所以，记录的域名也是嵌套的。对域名的处理与过程中的嵌套定义很相近。首先，扩充文法G4.3中关于D的定义，使其包括记录类型： D → record D end 关键字record的作用与G4.3中的proc相同，每出现一个record，则进入记录的一层嵌套，与过程定义的处理相似，得到修改的文法和语法制导翻译如下。 D → record L D end { T.type := record(top(tblptr)); T.width := top(offset); pop;} L →ε { t := mktable(null); push(t,0):} 4.5 简单算术表达式与赋值句 程序设计语言中最基本也是最重要的语句是赋值句，它将赋值号右边的表达式赋给左边的变量。即以赋值号为界，将右值赋给左值。所谓的简单算术表达式和赋值句，是指表达式和赋值句中的变量是不可再分割的简单变量，如整型数或字符等，而不是组合变量或组合变量的元素，如数组或记录或它们的分量。 本节的讨论基于下述简化了的文法： A → id := E E → E1 + E2 | E1 * E2 | - E1 | ( E1 ) | id (G4.5) 4.5.1 简单变量的语法制导翻译 将简单表达式和赋值句翻译成三地址码的语法制导翻译如下。其中，首先引入属性与过程。属性.place：用于存放E的变量名地址，它可以是符号表中地址或者临时变量； 过程emit(result := arg1 op arg2)：产生一条result:= arg1 op arg2的三地址码指令。 (1) ?A → id := E { emit(entry() := E.place)；} (2) ?E → E1 + E2 { E.place := newtemp emit(E.place:=E1.place+ E2.place)；} (3) E → E1 * E2 { E.place := newtemp； emit(E.place := E1.place * E2.place)；} (4) ?E → – E1 { E.place := newtemp； emit(E.place := – E1.place)；} (5) ?E → ( E1 ) { E.place := E1.place；} (6) ?E → id { E.place := entry()；} 4.5.2 变量的类型转换 为了程序设计的灵活性，程序设计语言往往允许算术表达式的变量可以是不同类型，如既可以是整型也可以是实型。类型不同，最终的目标代码所分配的空间大小也不同。如果允许表达式中变量的类型不同，则必须提供一种机制，使得不同类型的变量最终被分配的存储空间大小相同，从而可以进行运算。这种机制被称为强制(coercion)。它按照一定的原则，将不同类型的变量在内部转换为相同的类型，然后进行同类型变量的计算。为了不损失变量中的信息，一般原则是将占用存储空间小的类型转换为占用存储空间大的类型，如整型转换为实型，上述语法制导翻译中变量的类型转换原则如图4.13所示。 图4.13 类型转换原则 (a) 二元运算的类型转换；(b) 赋值运算的类型转换 为了进行类型转换，需要引入一个新的属性.mode，它可以取值int或real。同时还需要引入两个新的三地址码指令，进行整型和实型之间的类型转换： T := itr E：将E从整型变为实型，结果存放T中； T := rti E：将E从实型变为整型，结果存放T中。 赋值句中表达式类型的确定比较简单，赋值号左部变量是什么类型，表达式就被转换为什么类型。对产生式E → E1 op E2中各表达式E类型的确定稍微困难一些，可以用图4.14的判断树来确定。 图4.14 确定算术表达式的类型 加入类型转换后的赋值句和表达式的语法制导翻译如下，其中运算+和*在产生式中合并为op。 (1) A → id :=