Les variables de type peuvent-elles faire référence au type actuel ?
Supposons que vous souhaitiez créer une fonction qui renvoie une instance du type actuel. Existe-t-il un moyen de garantir que T fait spécifiquement référence au sous-type (par exemple, T doit faire référence à B dans la classe B) ?
Mise en œuvre de la solution
Extension de la réponse de StriplingWarrior , le modèle suivant est essentiel pour y parvenir (une recette pour un constructeur hiérarchique fluide API) :
SOLUTION
Définir une classe abstraite de base ou une interface :
Établir une contrat pour obtenir le type d'exécution d'une instance étendant la class :
abstract class SelfTyped<SELF extends SelfTyped<SELF>> { abstract SELF self(); }
Créer des classes abstraites intermédiaires :
Les classes intermédiaires maintiennent le paramètre de type récursif SELF. Ils doivent être abstraits pour éviter une utilisation directe :
public abstract class MyBaseClass<SELF extends MyBaseClass<SELF>> extends SelfTyped<SELF> {...}
Définir les classes Leaf :
Les classes finales résolvent le paramètre de type SELF avec leur propre type. Rendez-les définitifs pour des raisons de sécurité :
public final class MyLeafClass extends MyBaseClass<MyLeafClass> {...}
Exemple d'utilisation :
MyLeafClass mlc = new MyLeafClass().baseMethod().leafMethod(); AnotherLeafClass alc = new AnotherLeafClass().baseMethod().anotherLeafMethod();
Attention et conclusion
Ce modèle est une implémentation du "modèle curieusement récurrent" en Java. Bien que puissant, il nécessite une utilisation prudente et il est préférable de le réserver uniquement aux API internes. Le modèle est intrinsèquement dangereux et doit être utilisé avec prudence pour éviter toute utilisation abusive. Cependant, lorsqu'il est utilisé efficacement, il peut améliorer l'expressivité et la convivialité des API du constructeur.
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!