Java虚拟机：静态分派和动态分派

参考资料《深入理解java虚拟机(第3版)》

重写和重载

• 重写是子类对父类的允许访问的方法的实现过程进行重新编写, 返回值和形参都不能改变。即外壳不变，内容重写！

  • 参数列表与被重写方法的参数列表必须完全相同。

  • 返回类型与被重写方法的返回类型可以不相同，但是必须是父类返回值的派生类（java5 及更早版本返回类型要一样，java7 及更高版本可以不同）。

  • 访问权限不能比父类中被重写的方法的访问权限更低。例如：如果父类的一个方法被声明为 public，那么在子类中重写该方法就不能声明为 protected。

  • 父类的成员方法只能被它的子类重写。

  • 声明为 final 的方法不能被重写。

  • 声明为 static 的方法不能被重写，但是能够被再次声明。

  • 子类和父类在同一个包中，那么子类可以重写父类所有方法，除了声明为 private 和 final 的方法。

  • 子类和父类不在同一个包中，那么子类只能够重写父类的声明为 public 和 protected 的非 final 方法。

  • 重写的方法能够抛出任何非强制异常，无论被重写的方法是否抛出异常。但是，重写的方法不能抛出新的强制性异常，或者比被重写方法声明的更广泛的强制性异常，反之则可以。

  • 构造方法不能被重写。

  • 如果不能继承一个类，则不能重写该类的方法。

• 重载(overloading) 是在一个类里面，方法名字相同，而参数不同。返回类型可以相同也可以不同。

  • 每个重载的方法（或者构造函数）都必须有一个独一无二的参数类型列表。
  • 仅返回值不同不能叫重载。

静态分派和重载

public class StaticDispatch {
    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();
        StaticDispatch sd = new StaticDispatch();
        sd.sayHello(man);	//输出 hello, guy!
        sd.sayHello(woman); //输出 hello, guy!
    }
}

上述代码输出结果为：

Human man = new Man();

上述代买“Human”是变量的 “静态类型” （Static Type）， 或者称 “外观类型” (Apparent Type)，后面的 “Man” 则被称为变量的 “实际类型” (Actual Type) 或者叫 “运行时类型” (Runtime Type)。

// 无效变化
man = (Man) man;
sd.sayHello(man); 		// 输出hello，guy！

// 静态类型变化
sd.sayHello((Man) man);		// 输出hello, gentleman!
sd.sayHello((Woman) woman);	// 输出hello, lady!
//sd.sayHello((Woman) man);   // 异常，Man不能强制转为(Woman)

// 实际类型变化
man = new Woman();
sd.sayHello(woman);     //输出hello, guy!

// 静态类型变化
sd.sayHello((Woman) man); //输出hello, lady!

上述代码human的静态类型是Human， 在sayHello()方法中使用强制转型可以 临时 改变这个类型，这个改变是在编译期可知的。

// 无效变化
man = (Man) man;
sd.sayHello(man); 		// 输出hello，guy！

之所以这一步是无效变化，是因为虚拟机(准确地说是编译器)在重载时是通过参数的静态类型而不是实际类型作为判定依据的。也就是静态分派发生在编译阶段。

通过运行javap 反汇编字节码文件，我们看到如下:

• 34行至41行是

// 无效变化
man = (Man) man;
sd.sayHello(man); 		// 输出hello，guy！

• 44行至49行是

// 静态类型变化
sd.sayHello((Man) man);		// 输出hello, gentleman!

• 很显然，38: astore_1之后，man的静态类型依然是Human， 并且sayHello方法里又没进行强制转型，所以仍然输出hello，guy!。

重载方法匹配优先级

见《深入理解java虚拟机(第3版)》P306 - P307

简而言之，重载方法匹配如果找不到对应的参数类型的重载方法，则可以

• 优先级最高：自动类型转换(一次或多次） 例如：

void sayHello(int args){
}

void sayHello(long args){
}

sayHello('c')，会调用sayHello的int方法，注释掉该方法后，则会调用long方法
优先级为 char > int > long > float >double
也就是精度从低到高，高精度参数不能调用低精度参数类型的方法。
即 char 不能匹配到 byte 和 short 类型的重载, byte精度小，而short是16位
有符号整数，而char是16位无符号整数，这种转型是不安全的。

• 优先级其次：如果没有能够自动类型转换，就可以自动装箱， 即可以参数包装成它的封装类型。如’c’可以包装成java.lang.Character类型。
• 优先级第3，如果没有封装类型的方法，还可以找到装箱类所实现的接口类型，进行又一次自动转型。如果同时出现两个参数为装箱类所实现的接口类型的方法，此时编译器无法确定要自动转型为哪种类型，就会提示“类型模糊” (Type Ambiguous)，并拒绝编译。
• 优先级第4，装箱后转型为父类。‘c’装箱成Character然后调用Character的父类Object的方法。
• 最后，变长参数的重载优先级是最低的。void sayHello(char… args){}，且无法转型为int调用void sayHello(int… args){}。

动态分派与重写

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");
        }

        private void Goodbye() {
            System.out.println("man say goodbye");
        }

        public void sayGoodbye(){
            Goodbye();
        }
    }

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

    static class ManChild extends Man{
    	// 不属于方法重写
    	// 无法直接访问父类的私有方法，也就不是重写了
        private void Goodbye() {
            System.out.println("manChild say goodbye");
        }

        public void sayGoodbye(){
            super.Goodbye();
            Goodbye();
        }
    }

    public static void main(String[] args) {
        Human man = new Man();
        Human woman = new Woman();
        Human manChild = new ManChild();
        man.sayHello();     // man say hello
        woman.sayHello();   // woman say hello
        manChild.sayHello();// man say hello

        Man man2 = new Man();
        ManChild manChild2 = new ManChild();
        man2.sayGoodbye();  // man say goodbye
        
        // man say goodbye
        // manChild say goodbye
        manChild2.sayGoodbye(); 
    }
}

重写与动态分派有密切的关联，动态分派根据实际类型，方法调用按照继承关系从下往上。

字段永远不会参与多态

public class FieldHasNoPolymorphic {
    static class Father{
        public int money = 1;

        public Father() {
            money = 2;
            showMeTheMoney();
        }

        public void showMeTheMoney(){
            System.out.println("Father has $" + money);
        }
    }

    static class Son extends Father{
        public int money = 3;

        public Son() {
            money = 4;
            showMeTheMoney();
        }

        public void showMeTheMoney(){
            System.out.println("Son has $" + money);
        }
    }

    public static void main(String[] args) {
        // Son has $0
        // Son has $4
        Father guy = new Son();

		// Son has $4
        guy.showMeTheMoney();
        // This guy has $2
        System.out.println("This guy has $" + guy.money);
    }
}

Son 类在创建时，会先隐式调用Father的构造函数，而Father构造函数中对showMeTheMoney()的调用是一次虚方法调用，实际执行的版本是Son::showMeTheMoney()方法。访问的是Son的money字段，此时子类已经被加载但还没初始化，所以结果自然是0。初始化时再打印出了"Son has $4"。 父子类中，方法调用是按照继承关系从下往上，所以guy.showMeTheMoney(); 调用的是子类的方法。
而字段永不参与多态，所以guy.money通过静态类型访问到了父类中的money。

静态分派是多分派，动态分派是单分派