第节类型等价 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.类的说明 <类头>;<类体> <类头>包括类名和形式参数 <类体>是传统的分程序, 可包含变量、过程 和类的局部说明，以及一些执行语句 例：复数表示(幅角,半径)