Génériques Java - Effacement de type

Les génériques sont utilisés pour des vérifications de type plus strictes au moment de la compilation et pour fournir une programmation générique. Pour implémenter un comportement générique, le compilateur java applique l'effacement de type. L'effacement de type est un processus dans lequel le compilateur remplace un paramètre générique par une classe réelle ou une méthode de pont. Dans l'effacement de type, le compilateur garantit qu'aucune classe supplémentaire n'est créée et qu'il n'y a pas de surcharge d'exécution.

Règles d'effacement de type

• Remplacez les paramètres de type dans le type générique par leur limite si des paramètres de type borné sont utilisés.

• Remplacez les paramètres de type dans le type générique par Object si des paramètres de type illimités sont utilisés.

• Insérez des moulages de type pour préserver la sécurité du type.

• Générez des méthodes de pont pour conserver le polymorphisme dans les types génériques étendus.