摘要: [软件构造] 9 Construction for Reuse Polymorphism in Java Polymorphism in Java - GeeksforGeeks Runtime polymorphism The word polymorphism means having many 阅读全文
posted @ 2022-06-11 10:58 Matrix_250 阅读(33) 评论(0) 推荐(0) 编辑
摘要: [软件构造] 8 Equality in ADT and OOP 1 Equivalence Relation 没什么好写的,自反对称传递-等价。 2 Equality of Immutable Types f: R->A 建立了ADT的某个实例与它所对应的抽象类型的关系,f即为AF a equal 阅读全文
posted @ 2022-06-11 10:57 Matrix_250 阅读(40) 评论(0) 推荐(0) 编辑
摘要: [软件构造] 7 OOP 目标:将ADT的接口从实现分离出来,使用 Java 接口类型来强制这种分离。 用接口定义ADT,写实现接口的类。 用OOP/接口/类 实现ADT 大纲: OOP的基本概念:object, class, attribute, method, interface, enumer 阅读全文
posted @ 2022-06-11 10:57 Matrix_250 阅读(116) 评论(0) 推荐(0) 编辑