编译原理第5章 类型检查.pptVIP

* * * * 《编译原理》 冶金工业出版社 编译原理——第五章 第5章 类型检查 类型检查器的位置 * * * 《编译原理》 冶金工业出版社 编译原理——第五章 5.1 类型系统 语言的类型检查器设计是基于语言的语法结构、类型概念和语言结构的类型指派规则。 * * * 《编译原理》 冶金工业出版社 编译原理——第五章 5.1.1 类型表达式 语言结构的类型可以用“类型表达式”来指称。非形式地，基本类型是类型表达式，由类型构造器作用于类型表达式而形成的表达式也是类型表达式。 * * * 《编译原理》 冶金工业出版社 编译原理——第五章 5.1.2 类型系统 类型体制是把类型表达式指派到程序各个部分的一组规则。 同一语言的不同编译器或处理器使用不同的类型体制。 * * * 《编译原理》 冶金工业出版社 编译原理——第五章 5.1.3 静态和动态类型检查 由编译器完成的检查叫做静态检查，目标程序运行时完成的检查叫做动态检查。原则上，如果目标代码把每个元素的类型和该元素的值在一起保存的话，那么任何检查都可以动态完成。 * * * 《编译原理》 冶金工业出版社 编译原理——第五章 5.1.4 错误恢复 编译器应该报告错误的性质和位置，而