其实,我的笔记里早就写过这个知识点,但只是笼统概括了一下,下面用个小代码做个试验:
class CyberLanguage{
public static void show() {
System.out.println("CyberLanguage run");
}
}
class Java extends CyberLanguage{
public static void show() {
System.out.println("Java run");
}
}
public class StaticDemo{
public static void main(String args[]){
CyberLanguage cl = new CyberLanguage();
CyberLanguage cj = new Java();
cl.show();
cj.show();
}
}
第一眼看到这个代码,好像该程序应该只打印一个"CyberLanguage run"和一个"Java run"。毕竟,Java扩展自CyberLanguage,并且它的show方法重写了父类的。main方法调用了show方法,第一次是在cl上调用,第二次是在cj上调用。如果你运行该程序,就会发现它打印的是两次"CyberLanguage run"。这到底出什么问题了?
问题在于show是一个静态方法,而对静态方法的调用不存在任何动态的分派机制。当一个程序调用了一个静态方法时,要被调用的方法都是在编译时刻被选定的,而这种选定是基于修饰符的编译期类型而做出的,修饰符的编译期类型就是我们给出的方法调用表达式中圆点左边部分的名字。在本案中,两个方法调用的修饰符分别是变量cl和cj,它们都被声明为CyberLanguage类型。因为它们具有相同的编译期类型,所以编译器使得它们调用的是相同的方法:CyberLanguage.show。这也就解释了为什么程序打印出"CyberLanguage run"。
要订正这个程序,直接从两个show方法定义中移除掉static修饰符即可。通过覆写,你可以获得动态的分派;而通过隐藏,你却得不到这种特性。
|
|