静态分派与动态分派

JAVA语言的三大特性为:继承,封装,多态。分派调用过程将会揭示多态特性的一些最基本的体现,如重写和重载。

一、静态分派

在介绍静态分派前,先来看一段一段代码

public class StaticDispatch {
    static abstract class Human{

    }
    static class Man extends Human{

    }
    static class Woman extends Human{

    }
    public void sayHello(Human human){
        System.out.println("hello,guy");
    }
    public void sayHello(Man man){
        System.out.println("hello,man");
    }
    public void sayHello(Woman woman){
        System.out.println("hello,woman");
    }

    public static void main(String[] args) {
        Human man = new Man();
        Human woman = new Woman();
        StaticDispatch dispatch = new StaticDispatch();
        dispatch.sayHello(man);
        dispatch.sayHello(woman);
    }
}

输出结果:

hello,guy
hello,guy

虚拟机为什么会执行会执行参数为Human的重载版本呢?不妨先来分析一下这行代码

Human man = new Man();

这里面Human被称为man对象的静态类型(或外观类型),Man被称作变量的实际类型(或运行时类型)。静态类型和实际类型在运行时都可能会发生变化,但静态类型的变化仅在使用时发生,变量本身的静态类型不会被改变,并且最终的静态类型是在编译期可知的,而实际类型的变化结果只有在运行时才能确定。

对于重载方法,虚拟机通过参数的静态类型作为判定依据,因为静态类型在编译器可知,而JVM需要在编译期确定调用哪个重载方法,这时显然不会选择只有在运行期才会确定的实际类型。

因此,所有依赖静态类型来决定方法执行版本的分派动作,都称为静态分派。

二、动态分派

先来看下面一段代码

public class DynamicDispatch {
    static abstract class Human{
        protected abstract void sayHello();
    }
    static class Man extends Human{

        @Override
        protected void sayHello() {
            System.out.println("man say hello");
        }
    }
    static class Woman extends Human{

        @Override
        protected void sayHello() {
            System.out.println("woman say hello");
        }
    }

    public static void main(String[] args) {
        Human man = new Man();
        Human woman = new Woman();
        man.sayHello();
        woman.sayHello();
        man = new Woman();
        man.sayHello();
    }
}

输出结果:

man say hello
woman say hello
woman say hello

根据结果来看,对于sayHello()的调用是按照变量的实际类型来确定的,这是因为此时sayHello()方法的方法参数列表相同,不构成重载方法。而通过反编译后的字节码指令来看,调用方法之前,应先获取相应的对象,即下图16 17 和 20 21,先加载了man和woman的对象,再调用此方法。

public static void main(java.lang.String[]);
    descriptor: ([Ljava/lang/String;)V
    flags: ACC_PUBLIC, ACC_STATIC
    Code:
      stack=2, locals=3, args_size=1
         0: new           #2                  // class com/cry/spring/Extend/DynamicDispatch$Man
         3: dup
         4: invokespecial #3                  // Method com/cry/spring/Extend/DynamicDispatch$Man."<init>":()V
         7: astore_1
         8: new           #4                  // class com/cry/spring/Extend/DynamicDispatch$Woman
        11: dup
        12: invokespecial #5                  // Method com/cry/spring/Extend/DynamicDispatch$Woman."<init>":()V
        15: astore_2
        16: aload_1
        17: invokevirtual #6                  // Method com/cry/spring/Extend/DynamicDispatch$Human.sayHello:()V
        20: aload_2
        21: invokevirtual #6                  // Method com/cry/spring/Extend/DynamicDispatch$Human.sayHello:()V
        24: new           #4                  // class com/cry/spring/Extend/DynamicDispatch$Woman
        27: dup
        28: invokespecial #5                  // Method com/cry/spring/Extend/DynamicDispatch$Woman."<init>":()V
        31: astore_1
        32: aload_1
        33: invokevirtual #6                  // Method com/cry/spring/Extend/DynamicDispatch$Human.sayHello:()V
        36: return

与之前StaticDispatch不同,之前StaticDispatch中,调用sayHello的对象均为dispatch,DynamicDispatch中调用方法的对象是两个不同的对象,因此才会出现不同的结果。

近一步来看,在动态分派中,起作用的主要是invokevirtual指令,该指令在运行时解析的过程如下:

1)找到操作数栈栈顶的第一个元素所指向的对象的实际类型,记为C。

2)如果在类C中找到与描述符和简单名称都匹配的方法,则进行方法权限检验,若有访问权限,则返回这个方法的直接引用,查找过程结束,否则,抛出IllegalAccessError异常。

3)否则,按照继承关系从下往上依次对C的各个父类进行第二步的搜索和验证过程。

4)如果还是没有找到合适的方法,则抛出AbstractMethodError异常。

但动态分派只对方法有效,对字段是无效的。

public class FieldHasNoPolymorphic {
    static class Father{
        int money =1;
    }
    static class Son extends Father{
        int money =2;
    }

    public static void main(String[] args) {
        Father guy = new Son();
        System.out.println(guy.money);
    }
}

输出结果为1

也就是说即使子类也定义了money,但并不会受到动态分派的影响。因为字段不会用到invokeDynamic指令,也不会使虚的,换句话说,字段永远不参与多态。

上一篇:Linux用户管理误操作处理——未完全删除用户该如何操作【CentOS】


下一篇:Linux如何区别当前用户级别