《编译原理与技术》练习题 17

7.12 使用访问链（参考7.5.2节）分别画出下面Pascal程序执行到 （1） 第1次调用r之后的运行时栈的内容； （2） 第2次调用r之后的运行时栈的内容；

program pascal1; procedure p; var x: integer; procedure q;

procedure r; begin

x := 2; ...... if ... then p;

end; { r }

begin

r;

end; { q } begin q; end; { p } begin { pascal1 } p; end.

7.13 使用显示表display重做练习7.12。

7.14 对下面的Pascal程序，分别画出程序执行到点（1）和（2）时刻的运行时栈的内容。

program pascal2 (input, output); var i: integer; d: integer; procedure a ( k: real );

var p: char; procedure b;

var c: char;

《编译原理与技术》练习题 18

begin

...(1)...

end: {b}

procedure c;

var t: real; begin

...(2)...

end: {c}

begin

...... b; c; ......

end; {a}

begin { pascal2 }

...... a (d); ......

end.

7.15 使用显示表display重做练习7.14。

7.16 实现栈式动态存储管理的一个问题是，如何分配空闲块。请考虑有几种空闲块的分配策略，并比

较每个策略的优缺点。

7.17 了解面向对象语言（如面向对象Pascal、C++、C#、Java）是如何实现垃圾搜集任务的。 7.18 存储紧缩有时也称为“单空间复制”，以区别双空间复制，请指出两者的相同之处和差异。 7.19 为以下的C++类画出对象的存储器框架和虚拟函数表（参考7.6.3节）：

class A { public: int a;

virtual void f(); virtual void g();

《编译原理与技术》练习题 19

}

};

class B: public A { public: int b;

virtual void f(); void h(); }；

class C: public B { public: int c;

virtual void g();

《编译原理与技术》练习题 20

练习 8

8.1 语义分析的基本任务是什么？请简单说明它们可以在编译的哪些阶段或者由编译的哪些模块完

成？

8.2 考虑下列无符号数的简单语法：

number ? digit number | digit digit ? 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

写出计算number整数值的属性规则。

8.3 根据下列文法，给出求十进制浮点数的值的语义规则（提示：用属性count表示小数点后的数字

数目）：

num ? num.num num ? num digit | digit

digit ? 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

8.4 考虑下面的简单的Pascal风格的声明：

decl ? var-list：type

var-list ? var-list，id | id

type ? integer | real

（1）为它设计一个计算变量类型的属性文法； （2）为每个产生式对应的属性文法划一个依赖图； （3）为声明a, b, c: real画出属性依赖图。

8.5 修改例8.4中的文法G8.3，使之只用综合属性就可以计算based-num的值。 8.6 考虑下列属性文法：

文法规则

S ? ABC

B.u := S.u A.u := B.v + C.v S.v := A.v

A ? a B ? b C ? c

A.v := 2*A.u B.vl := B.u C.v := 1

语义规则