Java重载（OverLoad）的理解

来源：互联网发布：什么是java框架编辑：程序博客网时间：2024/05/21 10:35

```public class Test{static abstract class Human{}static class Man extends Human{}static class Woman extends Human{}public void sayHello(Human guy){System.out.println("hello guy");}public void sayHello(Man guy){System.out.println("hello gentleman");}public void sayHello(Woman guy){System.out.println("hello lady");}public static void main(String[] args){Human man = new Man();Human woman = new Woman();Test sr = new Test();sr.sayHello(man);sr.sayHello(woman);}}```

`该类的运行结果为

hello guy

hello guy

由此可见虽然调用sayHello方法时入参实际是Human的子类实例，但是在JVM看来man、woman两个入参是

Human的实例。为了验证man、woman的类型可以采用javap这条编译指令：

Compiled from "Test.java"public class Test {  public Test();    Code:       0: aload_0       1: invokespecial #8                  // Method java/lang/Object."<init>"()V       4: return  public void sayHello(Test$Human);    Code:       0: getstatic     #16                 // Field java/lang/System.out:Ljavaio/PrintStream;       3: ldc           #22                 // String hello guy       5: invokevirtual #24                 // Method java/io/PrintStream.printn:(Ljava/lang/String;)V       8: return  public void sayHello(Test$Man);    Code:       0: getstatic     #16                 // Field java/lang/System.out:Ljavaio/PrintStream;       3: ldc           #33                 // String hello gentleman       5: invokevirtual #24                 // Method java/io/PrintStream.printn:(Ljava/lang/String;)V       8: return  public void sayHello(Test$Woman);    Code:       0: getstatic     #16                 // Field java/lang/System.out:Ljavaio/PrintStream;       3: ldc           #37                 // String hello lady       5: invokevirtual #24                 // Method java/io/PrintStream.printn:(Ljava/lang/String;)V       8: return  public static void main(java.lang.String[]);    Code:       0: new           #42                 // class Test$Man       3: dup       4: invokespecial #44                 // Method Test$Man."<init>":()V       7: astore_1       8: new           #45                 // class Test$Woman      11: dup      12: invokespecial #47                 // Method Test$Woman."<init>":()V      15: astore_2      16: new           #1                  // class Test      19: dup      20: invokespecial #48                 // Method "<init>":()V      23: astore_3      24: aload_3      25: aload_1      26: invokevirtual #49                 // Method sayHello:(LTest$Human;)V      29: aload_3      30: aload_2      31: invokevirtual #49                 // Method sayHello:(LTest$Human;)V      34: return}

jvm编译时生成的调用方法的符号引用，入参全部标识为Human类。

这是为什么呢？这就需要从JVM 进行讲解了，在代码中定义的Human类成为静态类型，而Man、Woman类则成为实际类型。静态类型在编译期是可知的，但是动态类型只有在运行时才可以确定。解释了这两个概念，结合代码阐述一下，main方法中两次调用sayHello()，在方法接受者已经确定是sr的前提下，调用哪个重载方法，就需要根据入参的类型、数量来进行辨别，但是jvm在重载时是根据静态类型而不是实际类型作为判断依据的。并且静态类型在编译期是可知的，所以选择了sayHello(Human guy)作为重载版本，并把这两个方法的调用写入到了invokevirtual指令的参数中。

下面需要强调动态绑定的发生的前提条件：

需要有继承
父类的引用指向子类对象
必须有重写

但是最关键的触发条件是调用重写的方法。

0 0