為什麼在 Java 中使用泛型方法時原始型別會導致問題？

理解原始類型和泛型方法之間的聯繫

在 Java 中，與泛型方法互動時使用原始類型可能會導致意想不到的後果。

考慮以下程式碼片段：

ArrayList<String> a = new ArrayList<String>();
String[] s = a.toArray(new String[0]);

此程式碼在兩個 JDK 中都能成功編譯1.6 和 JDK 1.7。但是，如果我們將 List 引用宣告為原始類型：

ArrayList a = new ArrayList();
String[] s = a.toArray(new String[0]);

我們遇到編譯器錯誤，指示需要 String[]，但找到了 Object[]。

This行為源自於這樣一個事實：對 List 參考使用原始型別會刪除對該型別的實例成員使用泛型的能力。這不限於泛型方法，如以下範例所示：

public class MyContainer<T> {

    public List<String> strings() {
        return Arrays.asList("a", "b");
    }
}

MyContainer container = new MyContainer<Integer>();
List<String> strings = container.strings(); // gives an unchecked warning!

Java 語言規格(JLS) 中明確說明了此行為：

建構函式的型別(§ 8.8)、實例方法(§8.4、§9.4) 或非靜態欄位(§8.3) M 的原始類型C，不是從其超類別或超介面繼承的是原始類型，對應於 C對應的泛型聲明中其類型的擦除。

因此，應謹慎使用原始類型，因為它可能會導致意外的限制，甚至編譯時錯誤當使用泛型方法或存取實例成員時。

以上是為什麼在 Java 中使用泛型方法時原始型別會導致問題？的詳細內容。更多資訊請關注PHP中文網其他相關文章！