方法的呼叫不等同於方法執行，方法呼叫階段唯一的任務就是確定被呼叫方法的版本（即呼叫哪一個方法），暫時還不涉及方法內部的具體執行過程。
      一切方法呼叫在Class檔案裡面儲存的都只是符號引用，而不是方法在實際執行時記憶體佈局的入口地址（入口地址相當於直接引用），需要在類載入期間甚至到執行期間才能確定目標方法的直接引用。
      通過javap -verbose+類名 可以看到，Java虛擬機器中提供了四條方法呼叫位元組碼指令，
     1.invokestatic  呼叫靜態方法
     2.invokespecial  呼叫例項構造器（init）方法、私有方法和父類方法
     3.invokevirtual  呼叫所有的虛方法
     4.invokeinterface 呼叫介面方法，會在執行時再確定一個實現此介面的物件
     先來看下面兩種方法呼叫方式：
     解析呼叫：方法在程式真正執行前就有一個可確定的呼叫版本，並且這個方法的呼叫版本在執行期是不可改變的。換句話說，呼叫目標在程式程式碼寫好、編譯器進行編譯時就必須確定下來。（一定是靜態的）
     分派呼叫：方法在程式執行期間才確定呼叫版本，分派呼叫分為靜態分派和動態分派
     再來理解一個概念：
     非虛方法

：在類載入的時候就會把符號引用解析為該方法的直接引用，就是說能在解析階段確定唯一的方法呼叫版本的方法稱為非虛方法。只要能被invokestatic和invokespecial指令呼叫的方法，都符合非虛條件，包括了靜態方法、私有方法、例項構造器和父類方法四類，還有一個特殊的final方法，它雖然通過invokevirtual呼叫，但Java語言規範中明確說明了final方法是一種非虛方法。
     虛方法：與之相反的，在執行期才能確定方法呼叫版本。
     所以非虛方法都是通過解析呼叫（靜態），而虛方法都是通過分派呼叫（靜態或者動態）。
     那麼在分派和解析呼叫中的靜態和動態的概念又怎麼理解呢，請看下面這個例子：
           Human person = new Man();
     Man是Human的一個子類，那麼Human就是例項person的靜態型別，Man是person的實際型別。
  
    1.下面這段程式碼演示了方法過載（overload）時是通過靜態分派的：
    

public class StaticDispatch {
	
	static abstract class Human{
		
	}
	
	static class Man extends Human{
		
	}
	
	static class Woman extends Human{
		
	}
	
	public void sayHello(Human m)
	{
		System.out.println("hello, guy!");
	}
	
	public void sayHello(Man m)
	{
		System.out.println("hello, man!");
	}
	
	public void sayHello(Woman m)
	{
		System.out.println("hello, woman!");
	}
	
	public static void main(String[] args) throws Exception {
		Human man = new Man();
		Human woman = new Woman();
		StaticDispatch t = new StaticDispatch();
		t.sayHello(man);
		t.sayHello(woman);
		
	}

}
 

 
    執行結果是：
    hello, guy!
    hello, guy!
  
    2.下面這段程式碼演示了方法重寫（overwrite）時是動態分派的：
    

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 Woman extends Human{

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

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

}

 
    執行結果是：
    hello, man!
    hello, woman!
  
  
    接下來看以下invokevirtual指令呼叫方法的過程就可以理解為什麼如此了：
  （1）找到運算元棧頂的第一個元素所指向的物件的實際型別，記作C
  （2）如果在型別C中找到與常量中描述符和簡單名稱都相符的方法，則進行訪問許可權校驗，如果通過則返回這個方法的直接引用，查詢結束；不通過，返回IllegalAccessError
  （3）否則，按照繼承關係從下往上依次對C的各個父類進行第2步的搜尋和驗證過程
  （4）始終沒有找到合適的方法，則丟擲AbstractMethodError
  
    其實方法的過載和重寫區別就是過載依賴傳入方法的形參來區別，而重寫依賴方法呼叫者的型別來區別。
    在第一步中C就是方法的呼叫者，這裡查詢的是實際型別，這就是overwrite的原理，
    在第二步中查詢方法是通過描述符和簡單名稱來進行的，而傳入引數的描述符是通過靜態型別定義的，所以程式碼一會出現這樣的結果
    總結一句話，過載看靜態型別，重寫看實際型別。