Malgré les similitudes de syntaxe, les génériques et les tableaux se comportent différemment en Java. Cet article explore les subtilités de la création de tableaux génériques, expliquant les raisons sous-jacentes de leurs limites et proposant des solutions de contournement pour des scénarios spécifiques.
Les tableaux sont réifiés, ce qui signifie que leur les informations de type sont disponibles au moment de l’exécution. Les génériques, en revanche, sont effacés lors de la compilation, supprimant ainsi leurs informations de type au moment de l'exécution. Cette distinction conduit à des règles différentes pour la gestion des types et des tableaux génériques.
Covariance et vérification de type : Les tableaux présentent une covariance, permettant des affectations telles que Objet[] arr = nouvelle chaîne[10]. Cependant, les génériques n'héritent pas de cette propriété, rendant les affectations telles que List
Sécurité des types et erreurs d'exécution : Les génériques sont appliqués au moment de la compilation pour éviter les erreurs d'exécution. Étant donné que les tableaux génériques ne disposent pas d'informations de type au moment de l'exécution, leur création pourrait conduire à un comportement non vérifié de type non sécurisé.
Exemple de comportement de type non sécurisé :
public <T> T[] getArray(int size) {
T[] arr = new T[size]; // This would be allowed if generic array creation was permitted.
return arr;
}
Integer[] arr = getArray(10); // Assigns an Object[] to Integer[] reference, leading to a runtime error.Casting new Object[10] en E[] dans les éléments E[] = (E[]) new Object[10] semble fonctionner, mais c'est une approche dangereuse. Le casting n'est pas coché, ce qui signifie que le compilateur ne garantit pas sa validité. Au moment de l'exécution, le tableau résultant sera un Object[], provoquant potentiellement des erreurs d'exécution si des éléments de type incompatible sont ajoutés.
Tableaux de types réifiables, tels que raw les types (par exemple, List[]) ou les types de caractères génériques illimités (par exemple, List[]), peuvent être créés sans problème. En effet, les types réifiables ont des informations de type disponibles au moment de l'exécution. Cependant, la création de tableaux de types non réifiables, tels que les types de tableaux génériques (par exemple, E[]), est interdite.
Pour contourner les limitations de la création d'un tableau générique, la solution de contournement suivante peut être utilisée :
public <E> E[] getArray(Class<E> clazz, int size) {
@SuppressWarnings("unchecked")
E[] arr = (E[]) Array.newInstance(clazz, size);
return arr;
}Cette méthode tire parti de la méthode Class#newInstance, qui fournit un moyen sécurisé pour créer un tableau d'un type réifiable donné.
La création de tableaux génériques est restreinte en Java en raison de considérations sous-jacentes de sécurité des types et de comportement d'exécution. Bien qu'il existe des solutions de contournement pour créer des tableaux de types réifiables, il est important d'être conscient des limites et des implications potentielles de l'utilisation de ces solutions de contournement lors de la conception et de la mise en œuvre de code générique.
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!
![[Web front-end] Démarrage rapide de Node.js](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
