《编译原理原理与技术》第章 类型检查.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4.4 类型表达式的等价 4.4.4 类型表示中的环 typedef struct cell { int info; struct cell *next; } cell; cell = record ， : : info pointer next int 4.4 类型表达式的等价 C语言对除记录（结构体）以外的所有类 型使用结构等价，而对记录类型用的是名字等 价,以避免类型图中的环 cell = record ， : : info pointer next int cell 本 章 要 点 设计简单问题的语法制导翻译方案 理解语法制导翻译的自下而上计算 静态检查所涉及的内容：类型检查、控制流检查、唯一性检查和关联名字检查等 类型在编程语言中的作用 类型系统和类型化语言 设计简单语言类型检查的翻译方案 理解类型表达式的结构等价和名字等价 例 题 1 编译时的控制流检查的例子 main( ) { printf(“\n%ld\n”, gcd(4,12)); continue; } 编译时的报错如下: continue.c: In function ‘main’: continue.c:4: continue statement not within a loop 例 题 2 编译时的唯一性检查的例子 main( ) { int i; switch(i){ case 10: printf(“%d\n”, 10); break; case 20: printf(“%d\n”, 20); break; case 10: printf(“%d\n”, 10); break; } } 编译时的报错如下： switch.c: In function ‘main’: switch.c:7: duplicate case value switch.c:5: this is the first entry for that value 下面是产生字母表? = {0, 1, 2}上数字串的一个文法 S ? D S D | 2 D ? 0 | 1 写一个翻译方案，判断它接受的句子是否为回文数 S? ? S { print(S.val); } S ? D1 S1 D2 { S.val = (D1.val == D2.val) S1.val; } S ? 2 { S.val = true; } D ? 0 { D.val = 0; } D ? 1 { D.val = 1; } 例 题 3 为下面文法写一个翻译方案，用S的属性val 给出 下面文法中S产生的二进制数的值。 例如，输入101.101时， S.val = 5.625 S ? L . R | L L ? L B | B R ? B R | B B ? 0 | 1 S . L L B L B B R R B R B B 例 题 4 S ? L . R { S. val = L. val + R. val; } S ? L { S. val = L. val; } L ? L1 B { L. val = L1. val *2 + B. val; } L ? B { L. val = B. val; } R ? B R1 { R. val = R1. val / 2 + B. val / 2;} R ? B { R. val = B. val / 2; } B ? 0 { B. val = 0; } B ? 1 { B. val = 1; } 例 题 4 例 题 5 C语言 称为地址运算符，a为变量a的地址 数组名代表数组第一个元素的地址 问题： 如果a是一个数组名，那么表达式a和a的 值都是数组a第一个元素的地址，它们的使用是 否有区别的？ 用四个C程序的编译报