1 Designing reusable classes
(1) Inheritance and overriding
见之前课程内容
(2)Polymorphism, subtyping and overloading
1.多态的三种类型
Ad hoc polymorphism:一个函数可以有多个同名的实现(方法重载)
– Parametric polymorphism:一个类型名字可以代表多个类型(泛型编程)
Subtyping:一个变量名字可以代表多个类的实例(子类型)
2 Behavioral subtyping
Compiler-enforced rules in Java:
– Subtypes can add, but not remove methods
子类型只能增加但不能移除方法
– Concrete class must implement all undefined methods
具体的类必须实现所有未定义的方法
– Overriding method must return same type or subtype
重写方法必须返回相同或者返回值的子类型
– Overriding method must accept the same parameter types
重写方法必须接受相同的参数类型
– Overriding method may not throw additional exceptions
覆盖方法不能引发其他异常
Variance
three types of variance
– Covariant(协变): Subtyping is preserved. If List is a subtype of
List. 保持子类型关系
– Contravariant(逆变): Subtyping is reversed. If List is a subtype of
List. 反转了子类型关系
– Invariant(不变): Neither List nor List is a subtype of the
other. 没有子类型关系
Type Erasure
虚拟机中没有泛型类型对象,所有对象都属于普通类,泛型只存在于编译阶段,在运行时会被擦除
定义泛型类型时,会自动提供一个对应的原始类型(非泛型类型),原始类型的名字就是去掉类型参数后的泛型类型名。
类型变量会被擦除,替换为限定类型,如果没有限定类型则为Object类型。
运行时类型查询只适用于原始类型
if(a instanceof Pair< String >) error
if(a instanceof Pair< T >) error
1 Java中的泛型是不“型变”的
– ArrayList< Cat > is a subtype of List< Cat >
– List< Cat > is not a subtype of List < Animal >
上界<? extends T> 不能往里存,只能往外取,因为如果可以往里面存,会导致animal的list中存在各种类型的对象
下界 <? super T> 不影响往里存,但是往外取只能存在Object对象中
Delegation 委托
委托是指一个对象依赖于另一个对象的部分功能
(1)委托有利于复用
(2)显示委托:把发送对象传递给接收对象
(3)隐式委托:根据语言的成员查找规则
(4)委托可看做是在实体之间共享代码和数据的低层机制
委托模式是用于实现委托的软件设计模式,尽管这个术语也松散地用于协商或转发。
委托依赖于动态绑定,因为它要求给定的方法调用可以在运行时调用不同的代码段。
Process
接收器对象将操作委托给代理对象
接收器对象确保客户端不会误用委托对象!!!!!!
委托 vs 继承(Delegation vs. Inheritance)
继承:通过新方法或者重写方法来扩展基类
委托:抓到一个行动并将它发给另一个对象
delegation的关系
A association
对象类之间的持久关系,允许一个对象实例使另一个对象实例代表其执行操作。
B dependency
对象需要其他对象(供应商)来实现的临时关系
C composition and aggregation
composition:组合是将简单对象或数据类型组合到复杂对象或数据类型中的一种方法。
在组合中,当所属对象被销毁时,所包含的对象也会被销毁
aggregation:一种特殊的composition
在聚合中,当所属对象被销毁时,所包含的对象不一定被销毁
小结
对象之间的关系
▪ 继承/泛化inheritance:一般与特殊的关系——is a kind of
▪ 组合composition:部分与整体的关系,彼此不可分——is part of
▪ 聚合aggregation:部分与整体的关系,但彼此可分——owns a
▪ 关联association:对象之间的长期静态联系——has a
▪ 依赖dependence:对象之间的动态的、临时的通信联系——use a
类间联系的强度:继承>>> 组合>> 聚合>> 关联>>> 依赖