首頁  >  文章  >  Java  >  為什麼 Java 泛型不是協變的?

為什麼 Java 泛型不是協變的?

Linda Hamilton
Linda Hamilton原創
2024-11-21 04:19:10855瀏覽

Why Aren't Java Generics Covariant?

Java 泛型協變

在 Java 中,泛型不是協變的,如所提供的文章中所述。這意味著如果一個類別擴展了泛型類,則子類的泛型類型不能是父類泛型類型的子類型。

理解“別名”概念

作者提到“如果 ln 與 li 別名”,它將破壞類型安全承諾。別名是指物件的替代名稱或引用。在這種情況下,li 是 ln 的別名。

範例

考慮以下程式碼:

雖然 Integer 繼承自Number,加上lnFloat物件是非法的。這是因為,透過將 li 別名為 ln,我們實質上是在說 li 可以保存數字。然而,li 最初被聲明為僅保存整數。因此,向 ln 添加 Float 違反了 li 的類型安全保證。

結論

這個範例示範了 Java 中的泛型不是協變的。嘗試將子類別的泛型類型指派給超類別的泛型類型將導致編譯時錯誤。

以上是為什麼 Java 泛型不是協變的?的詳細內容。更多資訊請關注PHP中文網其他相關文章!

陳述:
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn