编译原理第02章详解.ppt

第二章 数据类型;本章内容;2.1 引言;;;;2.2 内部类型;1. 基本表示的不可见性 基本位串对程序员是不可见的。 25+9 结果34 基本表00001001 结果 ;; 2.编译时能检查变量使用的正确性 能够进行静态类型检查 如 非法运算； 形、实参类型匹配 ;;;2.3 用户定义类型;1. 笛卡尔积 n个集合A1，A2，…，An的笛卡儿积: A1×A2×…×An 它是一个集合，其元素是有序的n元式 （a1，a2，…，an）;例;;;;⑤DT到相应值的特定子集的绑定策略： .编译时绑定 (静态数组 C) .对象建立时绑定 (半动态数组 ALGOL) .对象处理时绑定 (动态数组 APL);①任意多个数据项组成,数据项称为该序列的成分,且类型相同 ②串是序列 ③顺序文件的思想也是来自序列的概念,只能顺序读写; 若数据类型T包含属于同一类型T的成分--递归类型。 ①在类型定义中使用被定义类型的名字 ②指针是建立递归数据对象的重要手段; 一个选择对象结构的构造机制 规定在两个不同选择对象之间作出适当的选择。每一选择对象结构称为变体。 PASCAL的变体记录; C的联合; 类型T的元素所有子集的集合，称为幂集, T称为基类型。 若语言缺乏集合类型，只好使用链表或其他机制来实现。 ;;;匿名记录 var a: record x:integer; y:array[1..10] of char end; 显式命名 type complex=record radius:real; angle:real end; var c1,c2,c3:complex;;;可分性;2.4 PASCAL类型结构;;type color=(red,yellow,green,white); traffic=red..green; 子界 var light:color; night:=succ(green); 有序;1. 数组构造 构造符ARRAY定义有限映象 array[t1] of [t2] t1是定义域类型（有序类型） t2是值域类型;type row=array[5..9] of real; var my:array[3..8] of row; 或 var my:array[3..8,5..9] of real;;2. 记录构造 ①构造符RECORD定义笛卡尔积 ②记录可以整体访问（赋值） 用圆点“.” 作为选择符访问单个的域(分量、成分、字段） ;;;type dept=(house,sports,drugs,food,liquor); month=1..12; item=record price:real; case available:boolean of true:(amount:integer; where:dept); false:(month_expected:month) end;; var i1,i2:item: …… i1.price:=5.24; i1.available:=true; i1.amount:=29; i1.where:=liquor; i2.price:=324.99; i2.available:=false; i2.month_expect:=8;;;④使用变体记录不安全 同一存储区实际上可能对应两个不同的变体， i1.price:=5.24; i1.available:=true; i1.amount:=29; i1.where:=liquor; i1.available:=false; i1.month_expect=?;SET构造符构造受限制的幂集 基类型只能是有序类型;PASCAL文件是任意类型元素的序列 PASCAL文件仅能顺序处理 put和get进行写/读操作;指针可引用匿名数据对象 空指针的使用 指针的操作:赋值,比较 PASCAL指针只能指向匿名数据对象;type