為什麼 Java 使用相同的泛型類型擦除來限制方法？

方法擦除歧義：為什麼Java 限制類似的方法簽章

Java 編譯器拋出錯誤「方法add(Set) 具有相同的擦除當兩個具有相同泛型類型擦除的方法在同一個中聲明時，add(Set) 作為類型Test 中的另一個方法” class:

class Test {
    void add(Set<Integer> ii) {}
    void add(Set<String> ss) {}
}

此限制源自於避免使用原始類型的遺留程式碼發生衝突的意願。在泛型之前，方法接收並傳回原始類型，例如：

class CollectionConverter {
    List toList(Collection c) {...}
}

在引入泛型後擴展此類時，語言設計者將原始類型視為泛型類型「覆蓋等效」。這允許在不更改簽名的情況下覆蓋方法，從而確保向後相容性。

但是，如果允許具有不同通用簽名的多個方法，則在仍使用原始類型的情況下可能會出現歧義。例如，如果一個類別將泛型方法新增至覆寫超類別方法的現有原始方法中，則編譯器將無法解析要呼叫哪個方法。

為了消除這種潛在的混亂，Java 禁止類別具有多個方法具有相同的擦除，防止引入此類歧義。

雖然此規則在傳遞不同泛型集類型等場景中可能看起來不方便，但它是維護相容性的必要保障與遺留程式碼。如果沒有它，升級程式碼以使用泛型可能會破壞依賴原始類型的現有程式碼。

以上是為什麼 Java 使用相同的泛型類型擦除來限制方法？的詳細內容。更多資訊請關注PHP中文網其他相關文章！