Java類型擦除機制是什么

這篇文章主要介紹“Java類型擦除機制是什么”，在日常操作中，相信很多人在Java類型擦除機制是什么問題上存在疑惑，小編查閱了各式資料，整理出簡單好用的操作方法，希望對大家解答”Java類型擦除機制是什么”的疑惑有所幫助！接下來，請跟著小編一起來學習吧！

Java泛型是JDK 5引入的一個特性，它允許我們定義類和接口的時候使用參數類型，泛型在集合框架中被廣泛使用。類型擦除是泛型中最讓人困惑的部分。

一個常見錯誤

package simplejava;import java.util.ArrayList;public class Q29 {  public static void main(String[] args) {    ArrayList<String> al = new ArrayList<String>();    al.add("a");    al.add("b");    accept(al);  }  public static void accept(ArrayList<Object> al) {    for (Object o : al)      System.out.println(o);  }}

以上代碼看起來是沒問題的，因為String是Object的子類。然而，這并不會工作，編譯不會通過，并提示如下錯誤：

The method accept(ArrayList<Object>) in the type Q29 is not applicable for the arguments (ArrayList<String>)

List<Object>和List<String>

原因在于類型擦除。記住：Java的泛型機制是在編譯級別實現的。編譯器生成的字節碼在運行期間并不包含泛型的類型信息。

在編譯之后，List<Object>和List<String>將變成List，Object和String類型信息對于JVM來說是不可見的。在編譯階段，編譯器發現它們不一致，因此給出了一個編譯錯誤。

通配符和有界通配符

List<? >表示List能包含任何類型的元素

public static void main(String args[]) {    ArrayList<Object> al = new ArrayList<Object>();    al.add("abc");    test(al);  }  public static void test(ArrayList<?> al) {    for (Object e : al) {// no matter what type, it will be Object      System.out.println(e);      // in this method, because we don't know what type ? is, we can not      // add anything to al.    }  }

永遠記住，泛型是一個編譯時的概念。在這個例子中，由于我們不知道？，我們不能添加任何元素到al集合。如果想要添加的話，可以使用通配符。

List< Object > - List can contain Object or it's subtypeList< ? extends Number > - List can contain Number or its subtypes.List< ? super Number > - List can contain Number or its supertypes.

與數組比較

現在，我們知道了ArrayList <String >并不是ArrayList <Object >的子類型，不過，你需要知道如果兩個泛型類型有相同的參數，它們的繼承關系是依據其類型。如ArrayList<String>是Collecton<String>的子類型。

然而，數組卻不同，它們在運行期間知道每個元素的類型且強制它們的元素為該類型，這叫reification。舉個例子，Object[] objArray是String[] strArr的超類型。如果你嘗試往存儲整型的數組添加字符串對象，將會在運行期間得到一個ArrayStoreException異常。

到此，關于“Java類型擦除機制是什么”的學習就結束了，希望能夠解決大家的疑惑。理論與實踐的搭配能更好的幫助大家學習，快去試試吧！若想繼續學習更多相關知識，請繼續關注億速云網站，小編會繼續努力為大家帶來更多實用的文章！