Java多态和动态绑定

在Java中，父类的变量可以引用父类的实例，也可以引用子类的实例。

package syc;
public class Demo 
{
    public static void main(String[] args)
    {
        Animal obj = new Animal();
        obj.cry();

        obj = new Cat();
        obj.cry();

        obj = new Dog();
        obj.cry();
    }

}

class Animal
{
    //动物的叫声
    public void cry()
    {
        System.out.println("不知道怎么叫");
    }
}

class Cat extends Animal
{
    //猫的叫声
    public void cry()
    {
        System.out.println("喵喵~");
    }
}

class Dog extends Animal
{
    //狗的叫声
    public void cry()
    {
        System.out.println("汪汪~");
    }
}

运行结果：
不知道怎么叫
喵喵~
汪汪~

上面的代码，定义了三个类，分别是 Animal、Cat 和 Dog，Cat 和 Dog 类都继承自 Animal 类。obj 变量的类型为 Animal，它既可以指向 Animal 类的实例，也可以指向 Cat 和 Dog 类的实例，这是正确的。也就是说，父类的变量可以引用父类的实例，也可以引用子类的实例。注意反过来是错误的，因为所有的猫都是动物，但不是所有的动物都是猫。

可以看出，obj 既可以是人类，也可以是猫、狗，它有不同的表现形式，这就被称为多态。多态是指一个事物有不同的表现形式或形态。

再比如“人类”，也有很多不同的表达或实现，TA 可以是司机、教师、医生等，你憎恨自己的时候会说“下辈子重新做人”，那么你下辈子成为司机、教师、医生都可以，我们就说“人类”具备了多态性。

多态存在的三个必要条件：要有继承、要有重写、父类变量引用子类对象。

当使用多态方式调用方法时：
• 首先检查父类中是否有该方法，如果没有，则编译错误；如果有，则检查子类是否覆盖了该方法。
• 如果子类覆盖了该方法，就调用子类的方法，否则调用父类方法

从上面的例子可以看出，多态的一个好处是：当子类比较多时，也不需要定义多个变量，可以只定义一个父类类型的变量来引用不同子类的实例。请再看下面的一个例子：

public class Demo {
    public static void main(String[] args){
        // 借助多态，主人可以给很多动物喂食
        Master ma = new Master();
        ma.feed(new Animal(), new Food());
        ma.feed(new Cat(), new Fish());
        ma.feed(new Dog(), new Bone());
    }
}

// Animal类及其子类
class Animal{
    public void eat(Food f){
        System.out.println("我是一个小动物，正在吃" + f.getFood());
    }
}

class Cat extends Animal{
    public void eat(Food f){
        System.out.println("我是一只小猫咪，正在吃" + f.getFood());
    }
}

class Dog extends Animal{
    public void eat(Food f){
        System.out.println("我是一只狗狗，正在吃" + f.getFood());
    }
}

// Food及其子类
class Food{
    public String getFood(){
        return "食物";
    }
}

class Fish extends Food{
    public String getFood(){
        return "鱼";
    }
}

class Bone extends Food{
    public String getFood(){
        return "骨头";
    }
}

// Master类
class Master{
    public void feed(Animal an, Food f){
        an.eat(f);
    }
}

运行结果：
我是一个小动物，正在吃事物
我是一只小猫咪，正在吃鱼
我是一只狗狗，正在吃骨头

Master 类的 feed 方法有两个参数，分别是 Animal 类型和 Food 类型，因为是父类，所以可以将子类的实例传递给它，这样 Master 类就不需要多个方法来给不同的动物喂食。

动态绑定

为了理解多态的本质，下面讲一下Java调用方法的详细流程。

1.编译器查看对象的声明类型和方法名。
假设调用obj.func(param),obj为Cat类的对象。需要注意的是，有可能存在多个名字为func但参数签名不一样的方法。例如，可能存在方法func(int)和func(String)。编译器将会一一列举所有Cat类中名为func的方法和其父类Animal中访问属性为public且名为func的方法。

这样，编译器就获得了所有可能被调用的候选方法列表。

2.接下来，编译器将检查调用方法时提供的参数签名。

如果在所有名为func的方法中存在一个与提供的参数签名完全匹配的方法，那么就选择这个方法。这个过程被称为重载解析(overloading resolution)。例如，如果调用func(“hello”)，编译器会选择func(String)，而不是func(int)。由于自动类型转换的存在，例如Int可以转换为double，如果没有找到与调用方法参数签名相同的方法，就进行类型转换后再继续查找，如果最终没有匹配的类型或者有多个方法与之匹配，那么编译错误。

这样，编译器就获得了需要调用的方法名字和参数签名。

3.如果方法的修饰符是private,static,final，或者是构造方法，那么编译器可以准确知道应该调用那个方法，我们将这种调用方式称为静态绑定(static binding)。

与此对应的是，调用的方法依赖于对象的实际类型，并在运行是实现动态绑定。例如调用func(“hello”)，编译器将采用动态绑定的方式生成一条调用func(String)的指令。

4.当程序运行，并且采用动态绑定调用方法时，JVM一定会调用与obj所引用的实际类型最适合的那个类的方法。我们已经假设obj的实际类型是Cat，它是Animal的子类，如果Cat中定义了func(String)，就调用它，否则将在Animal类及其父类中寻找。

每次调用方法都要进行搜索，时间开销相当大，因此，JVM预先为每个类创建了一个方法表(method lable),其中列出了所有方法的名称，参数签名和所属的类。这样一来，在真正调用方法的时候，虚拟机仅查找这个表就行了。在上面的例子中，JVM搜索Cat类的方法表，以便寻找与调用func(“hello”)相匹配的方法。这个方法即有可能是Cat.func(String),也有可能是Animal.func(String)。注意，如果调用super.func(“hello”),编译器将对父类的方法表进行搜索。

假设Animal类包含cry(),getName(),getAge()三个方法，那么它的方法表如下:
cry()–>Animal.cry()
getName()–>Animal.getName();
getAge()–>Animal.getAge();

实际上，Animal也有默认的父类Object，会继承Object的方法，所以上面列举的方法并不完整。

假设Cat覆盖了Animal类中的cry()方法，并且新增了一个方法climbTree(),那么它的参数列表为:
cry()–>Cat.cry()
getName()–>Animal.getName()
getAge()–>Animal.getAge()
climbTree()–>Cat.climbTree()

在运行的时候，调用obj.cry()方法的过程如下:

• JVM首先访问obj的实际类型的方法表，可能是Animal类的方法表，也可能是Cat类及其子类的方法表。
• JVM在方法表中搜索与cry()匹配的方法，找到后，就知道它属于那个类了。
• JVM调用该方法。

再来看一个例子:

package day35;

public class Animal 
{
    public void showMe()
    {
        System.out.println("我是动物");
    }
}

package day35;

public class Cat extends Animal
{
    public void showMe()
    {
        System.out.println("我是猫咪");
    }
}

package day35;

public class Dog extends Animal
{
    public void showMe()
    {
        System.out.println("我是狗");
    }
}

package day35;

public class Tiger extends Animal
{
    public void showMe()
    {
        System.out.println("我是老虎");
    }
}

package day35;
/*
 * 多态：
 *   所谓多态，实际上就是一个对象的多种状态
 *   在我们这个例子里面
 *   Tiger可以看作是Tiger，也可以看做Animal
 *     Animal t = new Tiger()
 *     Tiger t1 = new Tiger()
 *   Cat可以看做是Cat，也可以看做是Animal
 *   Dog可以看作是Dog，也可以看作是Animal
 */
public class Test 
{
    public static void main(String[] args)
    {
//      Animal a = new Animal();
//      a.showMe();
//      
//      Tiger t = new Tiger();
//      t.showMe();
//      
//      Animal c = new Cat();
//      c.showMe();

        Animal t = new Tiger();
        Animal c = new Cat();
        Animal d = new Dog();
        showMe(t);
        showMe(c);
        showMe(d);
    }

    public static void showMe(Animal a)
    {
        a.showMe();
    }
}