Java 泛型中的超型別綁定差異
在Java 中,在定義型別參數的邊界時,您可能已經注意到到“extends”的存在但不是“實施”。這種差異激發了我們理解為什麼會出現這種情況的好奇心。
為什麼沒有「實現 T」?
與「擴展」不同,「擴展」表示超類型關係,其中子類共享相同的接口,「實現」表示類實現接口指定的方法的實現關係。這種區別在編譯過程中變得很明顯。
考慮下面的範例:
<code class="java">interface C {} class A<B extends C> {} // Allowed class A<B implements C> {} // Not allowed</code>
在第一個範例中,型別參數 B 使用「擴充」由 C 類界定。這允許 B 等於 C 或 C 的子類別。在第二個範例中,使用“implements”,它只允許 B 是實作 C 的介面。但是,類型參數不能指定實作介面。
「擴展 T」的原因
Java 的泛型約束語言著重於超類型關係。 「extends」可讓您將類型參數限制為特定的超類別或接口,確保該類型始終可指派給該超類型。這維護了 Java 中的型別安全和繼承原則。
另一方面,「implements」不適合這種範式,因為它定義的是實現關係而不是超類型關係。因此,「extends」是定義類型參數邊界的首選且唯一的選項。
以上是為什麼我們不能在 Java 泛型中使用「implements」作為型別參數界限?的詳細內容。更多資訊請關注PHP中文網其他相關文章!