1.方法呼叫

2.分派

來看一個靜態分配的例子

package com.jvm;
/**
 * 靜態分派
 * @author renhj
 *
 */
public class StaticDispatch {
		
	static class Human {
	     
	}
	 
	static class Man extends Human {
	     
	}
	 
	static class Women extends Human {
	     
	}
	
	public void sayHello(Human guy) {
        System.out.println("hello, guy!");
    }
     
    public void sayHello(Man guy) {
        System.out.println("hello, man!");
    }
     
    public void sayHello(Women guy) {
        System.out.println("hello, women!");
    }
     
    
    public static void main(String[] args){
    	
        Human man = new Man(); 
        Human women = new Women();
         
        StaticDispatch sd = new StaticDispatch();
        sd.sayHello(man);   
        sd.sayHello(women);
 
    }
 
}
 

這個答案是你心目中的答案嗎？

Human man = new Man(); 我們把上面程式碼中的“Human”稱為變數的靜態型別，後面的“Men”稱為變數的實際型別，靜態型別和實際型別在程式中都可以發生一些變化，區別是靜態型別的變化僅僅在使用時發生，變數本身的靜態型別不會改變，並且最終的靜態型別是在編譯期間可知的；而實際型別變化的結果在執行期間才可確定，編譯器在編譯程式時並不知道一個物件的實際型別是什麼。
再回到上面例子程式碼中，mian()中兩次呼叫sayHello()方法，在方法接受者已經確定是物件“src”的前提下，使用哪個過載版本，就完全取決於傳入引數的數量和資料型別。編譯器在過載時通過引數的靜態型別而不是實際型別作為判斷依據的，因此在編譯階段Java編譯器根據引數的靜態型別決定使用哪個過載版本。

我們使用javap命令輸出這個類的位元組碼，輸出結果位元組碼如下。

所有依賴靜態型別來定位方法執行版本的分派動作稱為靜態分配，靜態分配的典型動作是方法過載，靜態分派發生在編譯階段，雖然編譯器能確定方法的過載版本，但是很多情況下這個過載的版本並不是“唯一的”，往往只能確定一個“更加合適的”版本。產生這種模糊結論的主要原因是字面量不需要定義，所以字面量沒有顯示的靜態型別，它的靜態型別只能通過語言上的規則去理解和推斷。

“更加合適”版本例子

package com.jvm;
/**
 * 過載方法屁匹配優先順序
 * @author renhj
 *
 */
public class Verload {
	
	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('c');
	}

}

3.動態分配

我們接下來看一下動態分配的過程，它和多型性的另外一個重要體現--重寫（Override）有著密切的關係，先看例子。

package com.jvm;
/**
 * 動態分派
 * @author renhj
 *
 */
public class DynamicDispatch {
		
	static abstract class Human {
	    protected abstract void sayHello();
	}
	
	static class Man extends Human {
		
	    @Override
	    protected void sayHello() {
	        System.out.println("hello man!");
	    }	     
	}
	 
	static class Women extends Human {
	 
	    @Override
	    protected void sayHello() {
	        System.out.println("hello women!");
	    }	     
	}
     
    
    public static void main(String[] args){
    	
    	Human man = new Man();
        Human women = new Women();
         
        man.sayHello();
        women.sayHello();
        
        man = new Women();
        man.sayHello();
 
    }
 
}

hello man!
hello women!
hello women!
這個結果相信不會出乎任何人的意料，那Java虛擬機器是如何根據實際型別來分配方法執行版本的呢？我們使用javap命令輸出這個類的位元組碼，嘗試從中尋找答案，輸出結果位元組碼如下。

0~15主要是建立man和woman的儲存空間、呼叫Man和Woman型別的例項構造器，並將兩個例項存放在第一個和第二個區域性變量表Slot之中。接下來的16~21句是關鍵部分，16、20兩句分別是把剛剛穿件的兩個物件的引用壓到棧頂，17、21兩句是方法呼叫指令，這兩條呼叫指令從位元組角度來看，無論指令（invokevirtual）還是引數完全一樣，但是這兩條指令最終執行的目標方法並不相同，原因需要從invokevirtual指令的多型查詢過程開始說起，invokevirtual指令的執行時解析過程大致如下幾個步驟：

1). 找到運算元棧頂的第一個元素所指向的物件的實際型別，記作C.

2). 如果在型別C中找到與常量池中描述符和簡單名稱都相符的方法，則進行訪問許可權的校驗，如果校驗不通過，則返回java.lang.IllegaAccessError異常，校驗通過則直接返回方法的直接引用，查詢過程結束。

3). 否則，按照繼承關係從下往上一次對C的各個父類進行第二步驟的搜尋和驗證過程。

4). 如果始終還是沒有找到合適的方法直接引用，則丟擲java.lang.AbstractMethodError異常。

由於invokevirtual指令執行的第一步是在執行時確定接收者的實際型別，所以兩次中的invokevirtual指令把常量池中的類方法符號引用解析到不同的直接引用上，這個就是java語言中方法重寫的本質，我們把這種在執行期根據實際型別確定方法執行版本的分派過程稱為動態分派。

4.虛擬機器動態分派的實現