字段实际类型与所声明类型不同时，Override与Overload中方法的调用策略的不同

class Animal { 
......
public void eat() {
System.out.println("Animal");
}
}

class Horse extends Animal {
......
@Override
public void eat() {
System.out.println("Horse");}
}

class TestAnimals {

public static void main (String [] args) {
Animal ua = new Horse();
ua.eat();
......
} 
}

如上述代码，子类override发生在父类方法eat()，且在TestAnimals的main方法创建了声明为Animal类型的变量ua，其实际类型为Horse。
此时出现的问题就是执行ua.eat();代码会执行声明类型Animal类的还是实际类型Horse类的eat()方法呢？即输出Horse还是Animal字符串。

答案是：输出Horse
原因：声明类型主要用于静态类型检查阶段，由于Override是在动态运行时通过动态绑定来决定执行哪个方法，在动态运行过程中，JVM调用的方法为其实际类型所重写的方法。

与此区分开的是Overload父类子类方法的执行模式：

class Animal { 
public void eat() {}
}

class Horse extends Animal {
public void eat(String food) {}
}

public class UseAnimals {

public void doStuff(Animal a) {
System.out.println("Animal");
}

public void doStuff(Horse h) {
System.out.println("Horse");
} 
}

public class TestUseAnimals {

public static void main (String [] args) {
UseAnimals ua = new UseAnimals();
Animal animalobj = new Animal();
Horse horseobj = new Horse();
Animal animalRefToHorse = new Horse();
ua.doStuff(animalobj);//Animal
ua.doStuff(horseobj);//Horse
ua.doStuff(animalRefToHorse);//Animal
}
}

上述备注中为运行时的输出结果，前两个关于doStuff()函数的调用由于实际类型与声明类型相同，故输出无异议。
而第三个却与Override输出不同的答案，原因是：
Overload为静态多态，在编译阶段静态类型检查过程中决定了具体执行哪个方法，故其调用了其传入参数声明类型Animal类的方法。