JVM 方法調用之靜態(tài)分派(詳解)

更新時間：2017年05月01日 09:21:21 投稿：jingxian

下面小編就為大家?guī)硪黄狫VM 方法調用之靜態(tài)分派(詳解)。小編覺得挺不錯的，現在就分享給大家，也給大家做個參考。一起跟隨小編過來看看吧

分派(Dispatch)可能是靜態(tài)也可能是動態(tài)的，根據分派依據的宗量數可分為單分派和多分派。這兩種分派方式的兩兩組合就構成了靜態(tài)單分派，靜態(tài)多分派，動態(tài)單分派，動態(tài)多分派這4種組合。本章講靜態(tài)分派。

1、靜態(tài)分派

所有依賴靜態(tài)類型來定位方法執(zhí)行版本的分派動作稱為靜態(tài)分派。靜態(tài)分派的典型應用是方法重載。靜態(tài)分派發(fā)生在編譯階段，因此確定靜態(tài)分派的動作實際上不是由虛擬機來執(zhí)行的。

那么什么是靜態(tài)類型(static type)呢？

Super object = new Sub();

像上面的語句，Super是變量的靜態(tài)類型，Sub是變量的實際類型(actual type)，靜態(tài)類型和實際類型在程序中都可以發(fā)生一些變化，區(qū)別是靜態(tài)類型的變化僅僅在使用時發(fā)生，變量本身的靜態(tài)類型不會被改變，并且最終的靜態(tài)類型是在編譯期可知的；而實際類型變化的結果在運行期才可確定，編譯器在編譯程序的時候并不知道一個對象的實際地址是什么。

靜態(tài)分派一詞實際上是中文翻譯特有的，國外的技術文檔都是將其稱為Method Overload Resolution。這樣一來就更好理解了，因為是Resolution(解析)

下面的代碼可以說明這一點：

public static class Printer {
  public static void print(Super object) {
   System.out.println("it is Super");
  }
  
  public static void print(Sub object) {
   System.out.println("it is Sub");
  }
 }

當調用print方法時，打印的將是"it is Super".

2、調用“合適”的方法

編譯器雖然能確定出方法的重載版本，但在很多情況下這個重載版本并不是“唯一的”，往往只能確定一個“更加合適”的版本。什么意思呢？看看下面的代碼。

public static void main(String[] args) {
  char c = 'a';
  Printer.print(c);
 }
 
 public static class Printer {

  public static void print(int i) {
   System.out.println("it is int");
  }
  
  public static void print(byte b) {
   System.out.println("it is byte");
  }
 }

上面的代碼可以執(zhí)行嗎？乍看之下，沒有類型為char的重載方法，是不是會報錯？實際上，會打印出 it is int。也就是說，雖然沒有char類型參數的方法，但編譯器通過參數自動轉型幫你找到了一個“合適”的方法調用。

轉換的路徑是char->int->long->float->double，如果還沒找到合適的方法，則自動裝箱成Character，此時已經是一個類。如果還找不到，則開始查找該類實現的接口（優(yōu)先），父類（在繼承關系中從下往上找，越接近上層的優(yōu)先級越低）。如果有多個接口同時出現兩個參數一致的，此時優(yōu)先級是一樣的，編譯器無法確定自動轉型為哪種類型，會提示類型模糊，拒絕編譯。程序必須在調用時顯式地指定字段的靜態(tài)類型。

下面這個例子，沒有參數為Sub的方法，按照參數自動轉型，查找最合適方法的方式，會找到Super為參數方法調用。

public static void main(String[] args) {
  Sub object = new Sub();
  Printer.print(object);
 }
 
 public static class Printer {
  public static void print(Super object) {
   System.out.println("it is Super");
  }
 }

此外還要注意一點是傳入參數為null. 如果重載方法里有兩個不同的類型的參數，即使兩者沒有繼承關系，編譯器也會判斷不了到底調用哪個。

public static void main(String[] args) {
  Printer.print(null);
 }
 
 public static class Printer {
  public static void print(Super object) {
   System.out.println("it is Super");
  }
  
  public static void print(App app) {
   System.out.println("it is App");
  }
 }