19-第五章 有看点,语义分析语义分析.ppt

第五章 语义分析 任课教师 王养廷 主要内容 类型的等价性和相容性 类型分析 声明的语义分析 1 类型相容和等价 类型 在程序设计语言中，所有的变量都有类型 类型相容 在变量参与运算时，各个分量类型是相容的 类型等价 按名等价：要求有相同的类型名 按类型等价：两个变量有相同的类型结构 1 类型相容和等价（续） 结构等价举例 var a:array[1..10] of integer; b:array[1..10] of integer; 相同写法 type tp1= array[1..10] of integer; tp2= array[1..10] of integer; 结构等价：var a:tp1; b:tp2; 名等价： var a,b:tp1; 1 类型相容和等价（续） 二者区别 按名等价：比较简单，常用 按结构等价：编译复杂，少用 类型定义的作用 计算存储空间大小 检查类型的相容性 其它语义检查 类型相容与等价 等价是相容的特例 程序设计语言中使用相容的概念 1 类型相容和等价（续） 类型相容的主要表现 运算分量类型相容 赋值语句左右类型的相容性 值参与形参的相容性 2 类型分析 前面内容 标识符的内部表示 类型的内部表示 类型分析 类型出现的位置 类型定义中=号后边的位置 变量定义中：号后边的位置 形参中：号后