參數多型 (Parametric Polymorphism)是一種將類型參數化進而讓程式設計更為彈性的編程概念。 這便是大家所熟知的 Generic (泛型)。
Java 5 推出泛型後要如何做到向下相容呢?
在介紹泛型與變型時,我有提到在 Java 與 Kotlin 中他們是如何被定義與使用。這篇我們來談談在 Java 與 Kotlin 中定義變型的時機吧。
如果還不知道什麼事變型 (Variance) 的,歡迎參考泛型基礎的第一篇。