软件构造 复习笔记五

overload和override的对比

Java中的泛型（参数化的多态）

1. 通配符：只能在使用中出现，不能定义
2. 不能用instance of检验泛型
3. 不能构建泛型数组

子类型多态

LSP原则：子类型的规约不能弱于父类型的规约

静态分派：编译阶段确定执行操作
动态分派：编译阶段可能绑定到多态操作，运行阶段确定具体执行哪一个
推迟绑定：编译阶段不知道类型，一定是动态分派
（override是推迟绑定，overload是early 绑定）

Object中重要方法

toString
equals（）
& **hashcode（）**必须同时override

immutable类的优点

ADT和OOP中的等价

三种判断等价的方式：

1. AF：AF映射到同样的结果，则等价
2. relation：等价关系：自反，对称，传递
3. 利用observation：站在外部观察着的角度判断等价性

引用等价性：对基本数据类型（==）
对象等价性：对于对象使用equals

equals的规约：

自反性；对称性；传递性；一致性；非空性

hashcode的规约：（对象相等的必要条件）

1. 如果重写equals()，必须重写hashcode()
2. 不同的对象hash code值应该不相同，
   但是由于hashcode（）冲突问题，unequal的值也能有相同的hash值
3. 除非object发生改变，否则hashcode（）保持不变

可变数据类型的等价性

观察等价性：在不改变的情况下，两个mutable对象是否看起来一致
行为等价性：调用对象的任何方法都展示一致结果

collections→观察等价性→mutation改变hashcode
stringBuilder→行为等价性→引用等价

可变数据类型实现为行为等价性即可
如果需判断两个可变对象看起来是否一致，需要定义新的方法，例如similar（）。