[工学]第六章-类型检查.pptVIP

June 5, 2000 第六章 类型检查 基础知识 类型体制 简单类型检查器的说明 类型表达式的等价 多态函数 类型检查基础（1） 类型检查是编译器的主要任务之一 数据类型信息的计算和维护 程序的语法结构的类型是否和它的上下文所期望的一致 数据类型 是一个数据对象以及创建和操纵它们的操作集合所组成的类 是数据对象的一个重要属性 类型 位置 值 名 组件：用指针值表示，并通过指针的改变来修改 … … 类型检查基础（2） 数据类型规范的基本内容包括： 属性：区别这个类型的数据对象的属性 值：这个类型的数据对象可能取的值 操作：定义对这个类型的数据对象可能的操纵的操作集合 数据类型的实现 存储：表示程序执行过程中在计算机存储器中的数据类型的数据对象的存储表示 操作的实现：根据操纵数据对象的存储表示的特定算法或过程来表示数据类型所定义的操作的方式 数据类型的语法表示 属性：通过声明或类型定义来体现 值：表示成文字或已定义的常量 操作：可以通过特殊符号或内部过程（函数）实现，也可以隐式地通过其它语言元素的组合实现 类型检查基础（3） 基本数据类型 基本知识： 基本数据对象只有单一的数据值，这种数据对象以及定义在其上的不同操作组成的类称为基本数据类型 种类：整型、实型、字符型、布尔型等 不同的语言对上述基本类型的表示可能是截然不同的 基本数据类型的规范： 属性：数据对象的基本属性（如类型和