这里有个简单的例子，展示了多态性（Polymorphism）：重载（Overloaded）和覆盖（Overridden）。
多态性意味着方法可以在不同的时刻表现出不同的形式。在编译期间，这被称为方法重载。重载允许相关的方法可以使用相同的方法名访问。有时候这被称为ad hoc polymorphism,与parametric polymorphism 不同。
class A {
public void M(int i){
System.out.println("int");
}
public void M(String s){
//this is an overloading method
System.out.println("string");
}
}
class B extends A{
public void M(int i){
//this is overriding method
System.out.println("overriden int");
}
}
public static void main(String[] args) {
A a = new A();
a.M(1);
a.M("abc");
A b = new B(); //运行时，b的实际类型是B
b.M(1234);
}
输出：
int
string
overriden int
从编译器的角度讲，如何生成能够正确调用的函数的代码？
静态重载（Static overloading）不难实现。当处理一个重载方法的声明时，一个新的绑定会被映射到一个不同的实现。在处理类型检查的过程中，编译器会分析参数的实际类型，然后决定使用哪个方法。
动态重载（Dynamic overloading ）允许运行时根据实际参数的类型来选择函数的不同实现。这是动态调度（dynamic dispatch）的一种形式。
动态调度也被用来实现方法覆盖。被覆盖的方法的调用由运行期间实际对象的类型决定的。
为了理解动态调度，可以看这篇文章object layout in memory.
