java的多态——null参数会调用哪个方法?

读了这篇《深入理解Java多态性》,对多态有多了一点了解。然后突然想到一个问题:调用重载的方法时,如果入参是null,java实际会去调用哪个方法呢?

以那篇文章的四个类为例,执行下述代码,会得到什么结果呢?

System.out.println(a1.show(null)); 
System.out.println(a2.show(null)); 
System.out.println(b.show(null)); 
System.out.println(c.show(null)); 
System.out.println(d.show(null)); 

直觉上我觉得这压根编译不了。null不是任何类的实例,以它为参数,编译器怎么会知道show(T arg)方法中的T是个什么类?但实际上,这几行代码不仅通过了编译,还整齐划一的输出了五行“A and D”。这是为什么?

bing了一下“重载 null”,找到这篇文章。其中有这样的说法:

Java的重载解析过程是以两阶段运行的。第一阶段 选取所有可获得并且可应用的方法或构造器。第二阶段在第一阶段选取的方法或构造器中选取最精确的一个。如果一个方法或构造器可以接受传递给另一个方法或构 造器的任何参数,那么我们就说第一个方法比第二个方法缺乏精确性[JLS 15.12.2.5]。

回过头来看咱们的代码。以第五行为例:

System.out.println(d.show(null)); 

d.show()至少有这样几种多态的方法:

  • show(D obj)——从A类中继承的
  • show(A obj)——从B类中继承的。实际B也是从A中继承的,但B重写了这个方法,所以把D的继承层次算到B为止吧。
  • show(B obj)——从B类中继承的

这就很显然,show(D obj)方法最精确。这就可以解释那五行“A and D”的输出了。

然后又看到这篇文章,好奇的做了另一个尝试:

public class OverLoadingWithNull { 
 
    private void print(List list) { 
        System.out.println("this is print List method"); 
    } 
 
    private void print(Map str) { 
        System.out.println("this is print Map method"); 
    } 
 
    static public void main(String[] args) { 
        OverLoadingWithNull theTest = new OverLoadingWithNull(); 
 
        theTest.print(null); 
    } 
 
} 

这一次可就不出意外的编译不了了。原因很好理解,List和Map类型的参数之间没有可替换性,所以无法判定二者谁更精确。

嘿,好玩哎。