第六节类型检查 1.类型检查 对数据对象的类型和使用的操作是否匹 配的一致性检査称为类型检查 2.静态检查和动态检查 ①静态检查使程序更正确更有效 ②动态检查使编程方便但影响了可读 性,且降低了执行效率
第六节 类型检查 1. 类型检查 对数据对象的类型和使用的操作是否匹 配的一致性检查称为类型检查 2. 静态检查和动态检查 ①静态检查使程序更正确更有效 ②动态检查使编程方便,但影响了可读 性,且降低了执行效率
3强类型语言 若一个语言允许所有的类型静态检查 4 Pascal是非强类型语言 编不熊确定个过程中的过程参 procedure who knows(i, j: integer procedure f) var k boolean begin k: =j< if k then f(k)else f( end
3.强类型语言 若一个语言允许所有的类型静态检查 4. Pascal是非强类型语言 ①编译时,不能确定一个过程中的过程参 数和子程序参数类型 procedure who_knows(i,j:integer;procedure f); var k:boolean; begin k:=j<i; if k then f(k) else f(j) end;
② Pascal的子界不能静态检查 如:a=b+c 且a、b、c均属于子界类型1.10 ③变体记录的标识符可以在运行时改 变 ④ Pasca没有严格规定类型的一致性 规则
②Pascal的子界不能静态检查 如: a:=b+c; 且a、b、c均属于子界类型1..10 ③变体记录的标识符可以在运行时改 变 ④Pascal没有严格规定类型的一致性 规则
第七节类转换 1.语言应该提供类型转换机制 如A+B 2.两种转换方式 ①拓展整型→实型 ②收缩实型→整型 有的“截断”有的“四舍五入
第七节 类型转换 1. 语言应该提供类型转换机制 如 A+B 2. 两种转换方式 ①拓展:整型→实型 ②收缩:实型→整型 有的“截断” ,有的“四舍五入
3.注意语言规定的转换规则 ①Foan:低级类型→高级类型 ② Pascal允许整数→实数实数→整数。但 必须显式转换( franc、 round) ③ ALGOL68提供了六种强制转换规则(隐 式的) ④Ada要求必须显式转换 例如:派生类型到母体类型的转换 P是 POSITIVER的变量、L是 LENGTH的变量 P: = POSITIVE(2 L+35)
3. 注意语言规定的转换规则 ①Fortran:低级类型→高级类型 ②Pascal允许:整数→实数;实数→整数。但 必须显式转换(frunc、round) ③ALGOL 68提供了六种强制转换规则(隐 式的) ④Ada要求必须显式转换 例如: 派生类型到母体类型的转换 P是POSITIVE的变量、L是LENGTH的变量 P:=POSITIVE(2*L+35);
第节类型等价 T1和T2是相容的:T1可赋给T2,T1可对应T2 的形参;反之亦然。 1.名字等价 两个变量的类型名相同 2.结构等价 两个变量的类型具有相同的结构。 验证法:用用户定义类型的定义来代替用户定 义名,重复这一过程,直到没有用户 定义类型名为止
第八节 类型等价 T1和T2是相容的：T1可赋给T2，T1可对应T2 的形参；反之亦然。 1. 名字等价 两个变量的类型名相同。 2. 结构等价 两个变量的类型具有相同的结构。 验证法：用用户定义类型的定义来代替用户定 义名，重复这一过程，直到没有用户 定义类型名为止
3.两种相容性实现时的比较 ①名字等价的实现比较简单 ②结构等价的实现需要的模式匹配过程可能十 分复杂
3. 两种相容性实现时的比较 ①名字等价的实现比较简单 ②结构等价的实现需要的模式匹配过程可能十 分复杂
第九节抽象数据类型 1.用户定义类型与内部类型的异同 ①都建立某种基本表示的抽象 如 Integer是位串的抽象; reg_ polygon是记录的抽象 ②每类型都关联一组操作 ③内部类型隐蔽了基本表示,不能对 它的成分进行操作;用户定义类型具 有更高级别的抽象,可以对其基本 表示的成分进行操作
第九节 抽象数据类型 1. 用户定义类型与内部类型的异同 ①都建立某种基本表示的抽象 如:integer是位串的抽象; reg_polygon是记录的抽象 ②每一类型都关联一组操作 ③内部类型隐蔽了基本表示，不能对 它的成分进行操作;用户定义类型具 有更高级别的抽象，可以对其基本 表示的成分进行操作
2.抽象数据类型的定义 满足下述特性的用户定义类型称为抽象 数据类型 ①在实现该类型的程序单元中,建立与 表示有关的基本操作; ②对使用该类型的程序单元来说该类 型的表示是隐蔽的
2. 抽象数据类型的定义 满足下述特性的用户定义类型称为抽象 数据类型: ①在实现该类型的程序单元中,建立与 表示有关的基本操作; ②对使用该类型的程序单元来说,该类 型的表示是隐蔽的
SIMULA67的类机制 1类的说明 类体> 包括类名和形式参数 类体是传统的分程序,可包含变量、过程 和类的局部说明,以及一些执行语句 例:复数表示(幅角半径)
一. SIMULA 67的类机制 1.类的说明 ; 包括类名和形式参数 是传统的分程序, 可包含变量、过程 和类的局部说明，以及一些执行语句 例：复数表示(幅角,半径)