编译原理类型检查..pptVIP

第六章 类型检查 内容 类型系统 类型表达式的等价 类型转换 函数和运算符的重载 多态函数 一致化算法 静态检查（static checking） 类型检查（type check） 操作对象必须与操作符匹配：函数名相加× 控制流检查（flow-of-control check） break必须退出while、for、switch… 唯一性检查（uniqueness check） 对象（变量、标号…）定义必须唯一 名字关联检查（name-related check） 相同名字在不同位置 类型检查 检查语法结构的类型与上下文匹配 简单的类型检查 两个类型的匹配 代码生成要利用类型信息 重载，多态 6.1 类型系统 语法结构、类型、将类型赋予语法结构 +, -, *的两个运算数均为整数，结果为整数 的结果为指向操作对象的指针，若操作对象类型为T，结果类型为“指向T的指针” 每个表达式都有一个相关联的类型 类型是有结构的！——指针 基本类型：语言内部支持类型 结构类型：组合基本类型构成新类型 6.1.1 类型表达式 type expression——用以表示语言结构的类型 基本类型或用类型构造符组合基本类型 基本类型：boolean, char, integer, real, type_error, void 类型名 类型表达式（续） 类型构造符 数组：T是类型表达式，I为索引集合（