多态通过分离做什么和怎么做,从另一角度将接口和实现分离开来。“封装”通过合并特征和行为来创建新的数据类型。“实现隐藏”则通过细节“私有化”把接口和实现分离出来。多态的作用是消除类型之间的耦合关系。多态方法调用允许一种类型表现出与其他相似类型之间的区别,只要它们都是从同一基类导出来的。这种区别是根据方法行为的不同而表示出来的。多态也称为动态绑定,后期绑定或运行时绑定。
8.1 再论向上转型
package thinkinjava.ch8.polymorphism.music;
//音乐符号
public enum Note {
MIDDLE_C , C_SHARP, B_FLAT;
}
package thinkinjava.ch8.polymorphism.music;
public class Instrument {
public void play(Note n){
System.out.println("Instument.play()");
}
}
package thinkinjava.ch8.polymorphism.music;
public class Wind extends Instrument{
@Override
public void play(Note n) {
System.out.println("wind.play()"+n);
}
}
package thinkinjava.ch8.polymorphism.music;
public class Music {
public static void tune(Instrument i) {
i.play(Note.MIDDLE_C);
}
public static void main(String[] args) {
Wind flute = new Wind();
tune(flute); //向上转型
}
}
运行结果:
wind.play()MIDDLE_C
忘记对象类型
package thinkinjava.ch8.polymorphism.music;
public class Music2 {
public static void tune(Wind i) {
i.play(Note.MIDDLE_C);
}
public static void tune(Stringed i) {
i.play(Note.MIDDLE_C);
}
public static void tune(Brass i) {
i.play(Note.MIDDLE_C);
}
public static void main(String[] args) {
Wind flute = new Wind();
Stringed vollin = new Stringed();
Brass frenchaHorn = new Brass();
tune(flute); //没有向上转型
tune(vollin);
tune(frenchaHorn);
}
}
class Stringed extends Instrument {
@Override
public void play(Note n) {
System.out.println("Stringed.play()"+n);
}
}
class Brass extends Instrument {
@Override
public void play(Note n) {
System.out.println("Brass.play()"+n);
}
}
运行结果:
wind.play()MIDDLE_C
Stringed.play()MIDDLE_C
Brass.play()MIDDLE_C
8.2 转机
观察一下 tune()方法
public static void tune(Instrument i) {
i.play(Note.MIDDLE_C);
}
它接受一个Instrument 引用。那么在这种情况下,编译器怎样才能知道这个Instrument 引用指向的是Wind对象,而不是Brass对象呢?实际上编译器无法得知。为深入理解这个问题研究绑定这个话题。
8.2.1 方法调用绑定
将一个方法调用同一个方法主体关联起来称作绑定。若在程序执行前进行绑定叫做前期绑定。
上述程序之所以令人迷惑,主要是因为前期绑定。因为当编译器只有一个Instrument 引用时,它无法知道究竟调用哪个方法才对。解决的方法就是后期绑定。在运行时根据对象的类型绑定。后期绑定也叫动态绑定或运行时绑定。编译器一直不知道对象的类型,但是方法调用机制找到正确的方法体,并加以调用。
java中除啦static方法和final方法之外,其他所有的方法都是后期绑定。这意味着通常情况下,我们不必判定是否应该进行后期绑定---它会自动发生。