第5章类型检查.docxVIP

第5章 类型检查 编译原理与技术 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查 5 类型检查 内容提要 编译时的控制流检查的例子 main() { printf(\n%ld\n, gcd(4,12)); continue; } 编译时的报错如下: continue.c: In function main: continue.c:3: continue statement not within a loop 5 类型检查 例题1 编译时的唯一性检查的例子 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:6: duplicate case value switch.c:4: this is the first entry for that value 5 类型检查 例题2 C语言 称为地址运算符，a为变量a的地址 数组名代表数组第一个元素的地址 问题： 如果a是一个数