overload和override的对比
Java中的泛型（参数化的多态）
- 通配符：只能在使用中出现，不能定义
- 不能用instance of检验泛型
- 不能构建泛型数组
子类型多态
LSP原则：子类型的规约不能弱于父类型的规约
静态分派：编译阶段确定执行操作
动态分派：编译阶段可能绑定到多态操作，运行阶段确定具体执行哪一个
推迟绑定：编译阶段不知道类型，一定是动态分派
（override是推迟绑定，overload是early 绑定）
Object中重要方法
toString
equals（）
& **hashcode（）**必须同时override
immutable类的优点
ADT和OOP中的等价
三种判断等价的方式：
- AF：AF映射到同样的结果，则等价
- relation：等价关系：自反，对称，传递
- 利用observation：站在外部观察着的角度判断等价性
引用等价性：对基本数据类型（==）
对象等价性：对于对象使用equals
equals的规约：
自反性；对称性；传递性；一致性；非空性
hashcode的规约：（对象相等的必要条件）
- 如果重写equals()，必须重写hashcode()
- 不同的对象hash code值应该不相同，
但是由于hashcode（）冲突问题，unequal的值也能有相同的hash值 - 除非object发生改变，否则hashcode（）保持不变
可变数据类型的等价性
观察等价性：在不改变的情况下，两个mutable对象是否看起来一致
行为等价性：调用对象的任何方法都展示一致结果
collections→观察等价性→mutation改变hashcode
stringBuilder→行为等价性→引用等价
可变数据类型实现为行为等价性即可
如果需判断两个可变对象看起来是否一致，需要定义新的方法，例如similar（）。