Qu'est-ce que l'effacement du type dans les génériques Java?

L'effacement de type générique de Java est le mécanisme par lequel le compilateur efface les informations de type spécifique lors du traitement des génériques. 1. Java supprimera les informations génériques pendant la compilation, de sorte que la liste et la liste sont considérées comme le même type au moment de l'exécution; 2. Cette conception doit être compatible avec les versions avant Java 1.5; 3. Les types génériques seront remplacés par des types de limites, tels que T est remplacé par l'objet, T étend le numéro est remplacé par le nombre, et le compilateur inserte la conversion pour assurer la sécurité; 4. L'effacement de type provoque des problèmes tels que l'incapacité à créer des tableaux génériques, l'incapacité de vérifier les types génériques avec l'instance et les conflits de signature de différentes méthodes génériques; 5. Vous pouvez obtenir des informations génériques de classe parentale par réflexion ou enregistrer des génériques à l'aide de classes internes anonymes pour contourner les restrictions, telles que les génériques d'analyse GSON à l'aide de TypeToken; 6. Comprendre l'effacement du type aide à éviter les pièges dans l'utilisation générique et à comprendre les principes de conception du cadre.

L'effacement de type pour Java est un mécanisme clé pour les compilateurs Java pour gérer les génériques. En termes simples, il fait référence aux informations génériques "effacer" Java pendant la compilation et à ne plus tenir compte des paramètres de type spécifique au moment de l'exécution . Cela signifie que List<string></string> et List<integer></integer> sont en fait le même type au moment de l'exécution.

Pourquoi est-ce conçu? Principalement pour maintenir la compatibilité avec les anciennes versions de Java (pas de génériques avant 1.5). Mais cela apporte également quelques restrictions et des choses auxquelles faire attention.

Le principe de base de l'effacement de type

Les génériques Java ont été introduits dans Java 5, et afin de permettre à un nouveau code de coexister avec un ancien code, Java utilise un mécanisme d'effacement de type. Ses règles de base incluent:

• Les types génériques seront remplacés par leurs types de limites après compilation , tels que T étant remplacé par Object .
• S'il y a une limitation comme <t extends number></t> , alors T sera remplacé par Number .
• Le compilateur inserte le code de conversion de type lorsque cela est nécessaire pour assurer la sécurité des types.

Par exemple:

 List <string> list = new ArrayList <> ();
list.add ("bonjour");
String s = list.get (0);

Après compilation, le bytecode réel devient:

 List list = new ArrayList ();
list.add ("bonjour");
String S = (String) list.get (0);

Vous pouvez voir que les informations génériques sont effacées et remplacées par le casting.

Impact de l'effacement du type

Puisqu'il n'y a pas d'informations génériques au moment de l'exécution, cela conduit à certaines restrictions ou problèmes courants que nous avons:

• Les tableaux génériques ne peuvent pas être créés : par exemple, new T[10] n'est pas autorisé car l'exécution ne sait pas ce qu'est T

• Vous ne pouvez pas utiliser instanceof de déterminer les types génériques : par exemple, if (list instanceof List<String>) est illégal.

• Conflit de signature de la méthode : si les deux méthodes ne sont que des génériques, elles mèneront à des erreurs de compilation. Par exemple:

   Méthode publique (Liste <string> liste) {}
  Méthode de void publique (Liste <Integer> Liste) {} // Échec de la compilation, la signature de la méthode est répétée

Ces limites découlent toutes du fait que les génériques Java n'existent que dans la phase de compilation .

Comment contourner certaines limites de l'effacement de type?

Bien que Java efface les types, nous pouvons obtenir des informations génériques à certains égards:

• Obtenez des informations génériques dans la classe parent par réflexion : adapté au moment où les sous-classes héritent d'une classe parent avec des génériques.

   classe myClass étend ArrayList <string> {}
  
  ParametezedType Type = (ParametepezedType) myClass.class.getGenerricSuperclass ();
  Type [] types = type.getactualTypeArguments (); // Get String.class

• Enregistrer les informations génériques à l'aide de classes internes anonymes : c'est le nombre de cadres (comme GSON) les utiliser pour analyser les génériques.

   Type type = new TypeToken <list <string >> () {}. GetType ();

  Cette approche profite de la capacité des classes anonymes à conserver leurs informations génériques lorsqu'elles sont compilées.

  ---

  Résumons

  L'effacement de type est une solution de compromis pour Java pour implémenter des génériques, apportant la compatibilité tout en sacrifiant une certaine flexibilité. Le comprendre aidera à éviter de rester coincé dans une utilisation générique et peut mieux comprendre certaines des idées de conception du cadre sous-jacent.

  Fondamentalement, c'est tout. Si vous rencontrez un problème étrange lors de l'écriture de code générique, il est probable que l'effacement du type soit de «problème».

  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!