动态绑定和多态——面向对象最核心的机制

一、动态绑定和多态

动态绑定也叫多态，动态绑定是指在执行期间（而非编译期间）判断所引用对象的实际类型，根据其实际类型调用其相应的方法。 

多态的存在有三个必要条件：

1、继承

2、重写

3、父类引用指向子类对象

例一：

abstract class Animal {
private String name;
Animal(String name) {this.name = name;}

public void enjoy(){
System.out.println("叫声......");
}

public abstract void enjoy();
}

abstract class Cat extends Animal {
private String eyesColor;
Cat(String n,String c) {super(n); eyesColor = c;}
public void enjoy() {
System.out.println("猫叫声......");
}
//public abstract void enjoy();
}

class Dog extends Animal {
private String furColor;
Dog(String n,String c) {super(n); furColor = c;}
public void enjoy() {
System.out.println("狗叫声......");
}
}

class Bird extends Animal {
Bird() {
super("bird");
}
public void enjoy() {
System.out.println("鸟叫声......");
}
}

class Lady {
private String name;
private Animal pet;
Lady(String name,Animal pet) {
this.name = name; this.pet = pet;
}
public void myPetEnjoy(){pet.enjoy();}
}

public class Test {
public static void main(String args[]){
Cat c = new Cat("catname","blue");
Dog d = new Dog("dogname","black");
Bird b = new Bird();
Lady l1 = new Lady("l1",c);
Lady l2 = new Lady("l2",d);
Lady l3 = new Lady("l3",b);
l1.myPetEnjoy();
l2.myPetEnjoy();
l3.myPetEnjoy();
}
}

如果只从上一节对象转型来考虑，这个程序不管是猫和狗，输出都是“叫声......”，但实际上，分别输出了正确的"猫叫声......"，"狗叫声......"，这就叫做动态绑定。看下图



pet 和 c 指向的实际是同一个对象，但由于它是 Animal 对象，所以它只能看见里面的父类对象，如果想访问里面的 eyesColor 和 furColor 之类的肯定是不行的。但这时访问的是里面的方法，方法是单独放在 code segment 当中的。访问这个方法要先找到这个对象，然后看这个方法存储在什么地方。

要注意，此时不是通过引用类型来确定方法的位置的，如果是通过引用类型确定的话，调用的一定是左边这个Animal的enjoy方法。现在是根据实际的类型来确定的。new的是谁，就调谁的enjoy方法。

更深的机制在于，对象内部有一个enjoy方法的指针，指向这个方法，在new这个对象的时候，指针的对象随之改变，new 的什么对象，就指向这个对象重写的这个方法。

动态绑定使可扩展性做到最好