Qu'est-ce que l'effacement de type, et qu'est-ce qu'il vous empêche de faire ?

L'information de type générique existe à la compilation et est effacée dans le bytecode, où une List de String n'est qu'une List avec des casts insérés par le compilateur. Vous ne pouvez donc pas faire un instanceof sur un type paramétré, créer un tableau d'un paramètre de type, ni surcharger deux méthodes qui ne diffèrent que par leur argument générique. Le compilateur ajoute des méthodes pont pour que le polymorphisme continue de fonctionner, et les casts non vérifiés peuvent provoquer une pollution du tas.

Les génériques sont une fonctionnalité de compilation. Après compilation, une List de String n'est qu'une List, le compilateur ayant inséré les casts, et c'est ce qui a gardé les génériques rétrocompatibles. Les conséquences visibles : je ne peux pas demander si quelque chose est une instance d'un type paramétré, je ne peux pas instancier un tableau d'un paramètre de type sans cast non vérifié, et je ne peux pas surcharger une méthode sur deux arguments génériques différents parce que les deux s'effacent vers la même signature. C'est aussi pour ça qu'un avertissement de cast non vérifié compte : une liste mal typée peut contenir le mauvais élément et échouer plus tard sur un cast sans rapport, ce qui est la pollution du tas et qui est franchement pénible à tracer. Quand je conçois une API, j'utilise des jokers bornés pour la rendre utilisable, en suivant la règle producteur extends, consommateur super, donc une méthode qui lit dans une collection prend un joker qui étend le type. Quand j'ai vraiment besoin du type à l'exécution, par exemple pour dire à une bibliothèque JSON vers quoi désérialiser, je passe un objet Class ou j'utilise une référence de type qui capture le paramètre via une sous-classe anonyme, puisque l'argument de type d'une classe est conservé dans la signature.