Java方法调用-静态分派&动态分派

1. 变量的静态类型 & 动态类型

public class Test {
    static abstract class Human { 
    } 
    static class Man extends Human { 
    } 
    static class Woman extends Human { 
    } 
// 执行代码
public static void main(String[] args) { 
  Human man = new Man(); 
  // 变量man的静态类型 = 引用类型 = Human：不会被改变、在编译器可知
  // 变量man的动态类型 = 实例对象类型 = Man：会变化、在运行期才可知
    } 
}

即：

• 变量的静态类型 = 引用类型 ：不会被改变、在编译器可知
• 变量的动态类型 = 实例对象类型 ：会变化、在运行期才可知

---

2. 静态分派

• 定义
  根据 变量的静态类型 进行方法分派 的 行为

1. 即根据 变量的静态类型 确定执行哪个方法
2. 发生在编译期，所以不由 Java 虚拟机来执行

• 应用场景
  方法重载（OverLoad）
• 实例说明

public class Test { 
// 类定义
    static abstract class Human { 
    } 
    
// 继承自抽象类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 test = new Test(); 

        test.sayHello(man); 
        test.sayHello(woman); 
    } 
}

// 运行结果
hello,guy! 
hello,guy!

• 方法重载（OverLoad） = 静态分派 = 根据 变量的静态类型 确定执行（重载）哪个方法
• 所以上述的方法执行时，是根据变量（man、woman）的静态类型（Human）确定重载sayHello()中参数为Human guy的方法，即sayHello(Human guy)

特别注意

(1) 变量的静态类型 发生变化 的情况

可通过 强制类型转换 改变 变量的静态类型

Human man = new Man(); 
test.sayHello((Man)man); 
// 强制类型转换
// 此时man的静态类型从 Human 变为 Man

// 所以会调用sayHello()中参数为Man guy的方法，即sayHello(Man guy)

(2) 静态分派的优先级匹配问题

• 问题描述：

1. 背景
   现需要进行静态分派
2. 问题
   程序中 没有显示指定 静态类型
3. 解决方案
   程序会根据 静态类型的优先级 从而选择 优先的静态类型进行方法分配。

• 实例说明

public class Overload {  
      
    private static void sayHello(char arg){  
        System.out.println("hello char");  
    }  
  
    private static void sayHello(Object arg){  
        System.out.println("hello Object");  
    }  
      
    private static void sayHello(int arg){  
        System.out.println("hello int");  
    }  
      
    private static void sayHello(long arg){  
        System.out.println("hello long");  
    }  
      
// 测试代码
    public static void main(String[] args) {  
          
        sayHello('a');  
    }  
  
}  

// 运行结果
hello char

• 因为‘a’是一个char类型数据（即静态类型是char），所以会选择参数类型为char的重载方法。
• 若注释掉sayHello(char arg)方法，那么会输出

hello int

• 因为‘a’除了可代表字符串，还可代表数字97。因此当没有最合适的sayHello(char arg)方式进行重载时，会选择第二合适（第二优先级）的方法重载，即
  sayHello(int arg)
• 总结：当没有最合适的方法进行重载时，会选优先级第二高的的方法进行重载，如此类推。

1. 优先级顺序为：char>int>long>float>double>Character>Serializable>Object>...
2. 其中...为变长参数，将其视为一个数组元素。变长参数的重载优先级最低。
3. 因为 char 转型到 byte 或 short 的过程是不安全的，所以不会选择参数类型为byte 或 short的方法进行重载，故优先级列表里也没有。

---

3. 动态分派

• 定义
  根据 变量的动态类型 进行方法分派 的 行为

即根据 变量的动态类型 确定执行哪个方法

• 应用场景
  方法重写（Override）
• 实例说明

// 定义类
    class Human { 
        public void sayHello(){ 
            System.out.println("Human say hello"); 
 
        } 
    } 
 
// 继承自 抽象类Human 并 重写sayHello()
    class Man extends Human { 
        @Override 
        protected void sayHello() { 
            System.out.println("man say hello"); 
 
        } 
    } 
 
    class Woman extends Human { 
        @Override 
        protected void sayHello() { 
            System.out.println("woman say hello"); 
 
        } 
    } 

// 测试代码
    public static void main(String[] args) { 

        // 情况1
        Human man = new man(); 
        man.sayHello(); 

        // 情况2
        man = new Woman(); 
        man.sayHello(); 
    } 
}

// 运行结果
man say hello
woman say hello

// 原因解析
// 1. 方法重写（Override） = 动态分派 = 根据 变量的动态类型 确定执行（重写）哪个方法
// 2. 对于情况1：根据变量（Man）的动态类型（man）确定调用man中的重写方法sayHello()
// 3. 对于情况2：根据变量（Man）的动态类型（woman）确定调用woman中的重写方法sayHello()

特别注意

对于代码中：

Human man = new Man(); 
man = new Woman(); 
man.sayHello(); 

// man称为执行sayHello()方法的所有者，即接受者。

• invokevirtual指令执行的第一步 = 确定接受者的实际类型
• invokevirtual指令执行的第二步 = 将 常量池中 类方法符号引用 解析到不同的直接引用上

如果调用一个虚方法-invokevirtual，首先会在编译时通过静态分派，确定它的重载版本，也就是根据参数的静态类型确定是哪个方法，然后运行时再通过 动态分派 **，**通过对象的实际类型来确定执行哪个类的方法。具体就是先找具体类型，如果有这个方法，执行；没有就去父类寻找，如此循环。最后将符号引用转化为直接引用 。

如果调用的是一个非虚方法-invokestatic、invokespecial或者被final修饰的方法，首先还是通过 **静态分派，**确定方法的重载版本。 但是因为这些方法都不可能被重写，所以在类加载的 解析阶段就会直接把它们转化为直接引用。

静态分派发生在编译时，确定方法重载版本

动态分派发生在运行时，也就是 动态连接， 方法调用者不唯一，方法重写的实现

解析发生在类加载的解析阶段，方法调用者唯一