歡迎來到Linux教程網
Linux教程網
Linux教程網
Linux教程網
您现在的位置: Linux教程網 >> UnixLinux >  >> Linux編程 >> Linux編程

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 subtype
List< ? 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異常。

Copyright © Linux教程網 All Rights Reserved