面向对象编程中的多态(polymorphism)

多态的定义

：如果编译时和运行时类项不一样就会出现所谓的多态（polymorphism），多态可以向上转型。

编译时类项：声明该变量时使用的类型决定

运行时类项：实际赋给该变量的对象决定

实现多态的技术称为：动态绑定（dynamic binding），是指在执行期间判断所引用对象的实际类型，根据其实际的类型调用其相应的方法。

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

一、要有继承；

二、要有重写；

三、父类引用指向子类对象。

父类引用生成子类对象，那这个引用只能调用在父类中已经定义过的属性和方法，而对子类自己新定义的属性和方法则不能访问。

class A {
public String show(D obj){
return ("A and D");
}
public String show(A obj){
return ("A and A");
}
}

class B extends A{
public String show(A obj){
return ("B and A");
}
public String show(B obj){
return ("B and B");
}
}

class C extends B
{
}
class D extends B
{
}

public class MultiTest{
public static void main(String[] args){
A ab = new B();
B b = new B();
C c = new C();
System.out.println(ab.show(b));
System.out.println(ab.show(c));
System.out.println(b.show(c));
//结果为：B A ,B A ,B B
}
}

A ab=new B();

：ab是一个父类引用，之后执行ab.show(b),这时ab先从父类中查找方法，与之匹配的只有show(A obj)方法，而且发现子类重写了该方法，这时动态链接到子类的show(A obj)方法。

b.show(c);

：这里，b中有show(A obj)方法和show（B obj)方法，继承层次为C->B->A，根据重载的最近匹配原则，会调用show（B obj)方法。