前言

說真的，平常看原始碼都是自己看完自己懂，很少有寫出來的衝動。

但是在寫演算法的時候，經常用到java中各種集合，其中也比較常用到remove方法。

remove有過載函式，分別傳入引數是索引index或者資料Object(指定泛型後自動轉換)，如果指定泛型是其他資料型別還好，但是指定的是Integer或者是int的話，或者就有點懵了。

這曾經也困惑過我，所以我就唯有用實踐解惑了。

測試類設計

測試類一

public class Text {

 public void remove(int index){
  System.out.println("呼叫傳參為int的remove方法");
 }

 public void remove(Integer object){
  System.out.println("呼叫傳參為Integer的remove方法");
 }

 public void remove(Object object){
  System.out.println("呼叫傳參為Object的remove方法");
 }
}

測試類二

public class Text {
 
 public void remove(Integer object){
  System.out.println("呼叫傳參為Integer的remove方法");
 }

 public void remove(Object object){
  System.out.println("呼叫傳參為Object的remove方法");
 }
}

測試類三

public class Text {

 public void remove(Object object){
  System.out.println("呼叫傳參為Object的remove方法");
 }
}

結果

三個測試類分別傳入int，Integer，Object型變數，觀察效果。

測試類一

• 傳入型別為int：呼叫傳參為int的remove方法
• 傳入型別為Integer：呼叫傳參為Integer的remove方法
• 傳入型別為Object：呼叫傳參為Object的remove方法

測試類二

• 傳入型別為int：呼叫傳參為Integer的remove方法
• 傳入型別為Integer：呼叫傳參為Integer的remove方法
• 傳入型別為Object：呼叫傳參為Object的remove方法

測試類三

• 傳入型別為int：呼叫傳參為Object的remove方法
• 傳入型別為Integer：呼叫傳參為Object的remove方法
• 傳入型別為Object：呼叫傳參為Object的remove方法

從輸出結果可以看出，當方法的傳參的類層級逐漸變高時，層級較低的傳參會進行向上轉型適應傳參的需要。

原因分析

下面我們先反編譯各測試類的原始碼，結果如下

測試類一

invokevirtual #11 // Method remove:(I)V

invokevirtual #15 // Method remove:(Ljava/lang/Integer;)V

invokevirtual #18 // Method remove:(Ljava/lang/Object;)V

測試類二

invokevirtual #11 // Method remove:(Ljava/lang/Integer;)V

invokevirtual #11 // Method remove:(Ljava/lang/Integer;)V

invokevirtual #17 // Method remove:(Ljava/lang/Object;)V

測試類三

invokevirtual #10 // Method remove:(Ljava/lang/Object;)V

invokevirtual #10 // Method remove:(Ljava/lang/Object;)V

invokevirtual #10 // Method remove:(Ljava/lang/Object;)V

可以看出，反編譯程式碼中都是呼叫例項方法的命令，所以結果中自動"向上轉型"其實是jvm的功勞。jvm通過在編譯時確定呼叫的傳參型別，靜態分派到具體方法的。

所以在前言中的困惑已經解除了，就是由於jvm中靜態分派的實現，呼叫次序是int->Integer->Object。

以上就是本文的全部內容，希望對大家的學習有所幫助，也希望大家多多支援碼農教程。