Java方法重载与重写（静态分派与动态分派）



Java面向对象3个基本特征：继承、封装和多态；多态主要体现在重载和重写；

1、静态分派

静态分派与重载有关，虚拟机在重载时是通过参数的静态类型，而不是运行时的实际类型作为判定依据的；静态类型在编译期是可知的；

1）基本类型

以char为例，按照char>int>long>double>float>double>Character>Serializable>Object>...(变长参数，将其视为一个数组元素)

    变长参数的重载优先级最低              

    （注意char到byte或short之间的转换时不安全的）

2）引用类型：则需要根据继承关系进行匹配，注意只跟其编译时类型即静态类型相关

2、动态分派

动态分派与重写（Override）相关

3、示例

1）静态分派

class A {
}
 
class B extends A {
}
 
class C extends A {
}
 
class D extends B implements E, F {
}
 
interface E {
}
 
interface F {
}
 
public class Main1 extends A {
 
    public void test(A a) {
        System.out.println("A");
    }
 
    public void test(B b) {
        System.out.println("B");
    }
 
    public void test(C c) {
        System.out.println("C");
    }
 
    // 填上下面的方法，D转化为父类进行匹配，转化为B,E,F等效，无法找到最优匹配，故会编译报错
    // public void test(E e)
    // {
    // System.out.println("E");
    // }
 
    public static void main(String[] args) {
        A aa = new A();
        A ab = new B();
        A ac = new C();
        B b = new B();
        B bd = new D();
        D d = new D();
        // C ca = (C) new A();//此编译时会发生错误
        C ca = new C();
 
        /* 根据静态分配，重载只与其静态类型相关，若无对应类型，则执行隐式转换进行匹配 */
        Main1 main1 = new Main1();
        main1.test(aa);// 输出A
        main1.test(ab);// 输出A
        main1.test(ac);// 输出A
        main1.test(b); // 输出B
        main1.test(bd);// 输出B
        main1.test(ca);// 输出C
        main1.test(d); // 输出B
    }
}

javap解析结果：

2）动态分派：与动态类型相关

class A {
    public void test() {
        System.out.println("A");
    }
}
 
class B extends A {
    public void test() {
        System.out.println("B");
    }
}
 
class C extends A {
    public void test() {
        System.out.println("C");
    }
}
 
public class Main1 extends A {
 
    public static void main(String[] args) {
        A aa = new A();
        A ab = new B();
        A ac = new C();
        B b  = new B();
        C ca = new C();
        //输出：A,B,C,B,C
        aa.test();
        ab.test();
        ac.test();
        b.test();
        ca.test();
    }
 
}

对应javap为：

invokevirtual(调用实例方法)指令执行的第一步就是在运行期确定接收者的实际类型，根据实际类型进行方法调用；

4、单分派与多分派：Java是一门静态多分派，动态单分派的语言；