型別變數可以引用目前型別嗎?
假設您要建立一個傳回目前類型實例的函數。有沒有辦法確保 T 專門指涉子類型(例如,T 應該指 B 類中的 B)?
實作解決方案
擴充 StriplingWarrior的回應,以下模式對於實現這一點至關重要(分層流暢構建器的配方API):
解決方案
定義基本抽象類別或介面:
建立一個用於取得擴充實例的執行時間類型的合約class:
abstract class SelfTyped<SELF extends SelfTyped<SELF>> { abstract SELF self(); }
建立中間抽象類別:
中間類別維護遞歸型別參數SELF。它們應該是抽象的,以防止直接使用:
public abstract class MyBaseClass<SELF extends MyBaseClass<SELF>> extends SelfTyped<SELF> {...}
定義葉類:
最終的類用它們的解析SELF類型參數自己的型別。為了安全起見,將它們定為最終版本:
public final class MyLeafClass extends MyBaseClass<MyLeafClass> {...}
用法範例:
MyLeafClass mlc = new MyLeafClass().baseMethod().leafMethod(); AnotherLeafClass alc = new AnotherLeafClass().baseMethod().anotherLeafMethod();
警告和結論
此模式是「奇怪的重複模板」的實作爪哇。雖然功能強大,但需要謹慎使用,並且最好僅保留用於內部 API。此模式本質上是不安全的,必須謹慎使用以避免誤用。然而,如果有效使用,它可以增強建構器 API 的表現力和可用性。
以上是Java 中型別變數可以引用它們的定義類別嗎?的詳細內容。更多資訊請關注PHP中文網其他相關文章!