J05_多态.pptVIP

多态Polymorphism How my Dog learned Polymorphism Dog extends Animal Animal is a superclass of DogDog is a subclass of AnimalDog inherits from AnimalDog overrides the play() methodDog adds one new method, bark() Dog d = new Dog(); d.play(); Animal d = new Dog(); Sample 接口和实现 再论向上转型 Shape s = new Circle() 为什么要向上转型？ 所有真正的OOP程序中都有一些地方有向上转型，即使是隐式的。 向上转型允许我们把类型特定的一些细节进行隐藏，比如退耦。 代码易于读写 最重要的是，类型的改变不会影响到代码的改变 A problem? Shape s = new Circle(); 早期函数调用绑定 Java 中的动态绑定 动态绑定：例 动态绑定：例（续） 动态绑定：例（续） 动态绑定：例（续） 可扩展性 可扩展性：例 构造器和多态 构造器的调用顺序 基类的构造器总是在导出类的构造过程中被调用 初始化顺序 调用基类的构造器。这个步骤会不断地反复递归下去，首先是构造这种层次结构的根，然后是下一层导出类，等等，直到最底层的导出类。 按声明顺序调用成员的初始化方法。 调用导出类构造器的主体。 多态和构造器 在构造器内，使用被覆盖的方法，可能产生不正确的结果 被覆盖的方法假设导出类的所有部分都已经被初始化 但是你仍然在构造器的基类部分 导出构造器还没有被调用！ 例 输出 初始化的实际过程 在其他任何事物发生之前，将分配给对象的存储空间初始化成二进制的零。 如前所述那样调用基类构造器。此时，调用被覆盖后的draw()方法（要在调用Roundglyph构造器之前），由于步骤1的缘故，我们此时会发现radius的值为0. 按照声明的顺序调用成员的初始化方法。 调用导出类的构造器主题。 协变返回类型 Java SE5中添加 在导出类中的被覆盖方法可以返回基类方法的返回类型的某种导出类型 例子：课本164页 用继承进行设计 首先选择组合 纯继承和扩展 向下转型与运行时类型识别 向上转型会丢失具体的类型信息。 如果你扩展类，必须向下转型来访问扩展的方法。 Java中，所有转型都会得到检查！ (instanceof)if(x instanceof Dog) ((Dog)x).bark(); Example Example – cont. 总结: OOP关键 多态意味着不同的形式 不只是创建类型，还行要在任何情况下都有正确的行为 允许从特定类型中退耦：易于读、写和扩展 Useful void f() void g() MoreUseful void f() void g() Void u() void v() Upcast: always safe Downcast: must be checked class Useful { public void f() {} public void g() {} } class MoreUseful extends Useful { public void f() {} public void g() {} public void u() {} public void v() {} public void w() {} } Extends the interface public class RTTI { public static void main(String[] args) { Useful[] x = { new Useful(), new MoreUseful() }; x[0].f(); x[1].g(); // Compile time: method not found in Useful: //! x[1].u(); ((MoreUseful)x[1]).u(); // Downcast/RTTI ((MoreUseful)x[0]).u(); // Exception thrown } } ((MoreUseful)x[1]).u(); ((MoreUseful)x[0]).u(); //! x[1].u(); Upcast OOP 抽象 继承 多态 All method binding in Java uses late bindin