深入理解JAVA的多态性

Java的多态性表现在2个方面，1方法的覆盖、2方法的重载。

?
运行结果
say Human!

say Human!

Man say!

Woman say!
         从输出结果来看，方法的覆盖和重载表现的不太一致。方法的覆盖安照预期的结果调用了子类的say方法；但方法的重载视乎超预期没有调用相应的子类参数的方法。在方法重载的选择中，为什么会选择形参类型为Human的重载呢？在解决这个问题前，我们先按照如下代码定义两个重要的概念：

        Human man = new Man();

        我们把上面的代码中“Human”称为变量的静态类型或者外观类型，后面的“Man”则称为变量的实际类型。静态类型编译期可知，实际类型运行时才可确定。

        在上面main方法的代码中刻意定义了2个静态类型相同、实际类型不同的变量，但虚拟机（准确地说编译器）在重载时是通过参数的静态类型而不是实际类型作为判定的依据的。并且静态类型是编译期可知的，所以在编译阶段，Javac就根据参数的静态类型决定使用哪个重载版本，所以选择了say(Human)作为调用目标。

        对于方法覆盖所表现出来的多态的输出结果，大家并不奇怪，它是在运行期根据实际类型来确定的。