Pourquoi ne puis-je pas créer un tableau générique en Java ?

Explorer les génériques et la connectivité des tableaux : comprendre les limites de la création de tableaux génériques

Les génériques et les tableaux, des concepts apparemment disparates, entretiennent une relation quelque peu énigmatique en programmation Java. Alors que les types génériques offrent un certain niveau de sécurité de type, les tableaux possèdent des informations de type inhérentes, conduisant à des conflits potentiels. Comprendre cette interaction est crucial pour un codage Java efficace.

Génériques et tableaux : une paire compatible ?

Les déclarations de type génériques, telles que les éléments E[] privés ;, sont permis. Cependant, tenter de créer un objet tableau avec un type générique, comme dans elements = new E[10];, entraînera une erreur de compilation.

Pourquoi la restriction ?

Cette limitation provient des différences fondamentales entre les génériques et les tableaux. Les génériques, étant réifiés, conservent les informations de type au moment de l'exécution. En revanche, les tableaux contiennent des informations sur le type de composant d’exécution. Cette divergence entraîne des problèmes potentiels de sécurité de type.

Subtilités de la création de tableaux

Il convient de noter que les éléments de code = (E[]) new Object[10]; peut compiler mais fait face à des risques au moment de l'exécution. En raison de l'effacement de type, le tableau créé n'est pas vraiment de type E[], ce qui augmente le risque d'erreurs d'exécution.

Le cas de la covariance de tableau

Les tableaux, contrairement les génériques présentent une covariance. Cela signifie qu'un tableau d'un sous-type peut être affecté à une variable d'un supertype. Cependant, cela ne s'applique pas aux génériques, où de telles affectations sont interdites.

Éviter la création de tableaux génériques

Pour respecter les principes de sécurité des types de Java, la création de tableaux génériques est interdite . Cependant, une alternative consiste à utiliser la méthode Array#newInstance() pour créer un tableau d'un type de composant donné, comme le montre l'extrait de code ci-dessous :

public <E> E[] getArray(Class<E> clazz, int size) {
    @SuppressWarnings("unchecked")
    E[] arr = (E[]) Array.newInstance(clazz, size);

    return arr;
}

En utilisant cette méthode, on peut créer efficacement un tableau avec un type de composant spécifique sans compromettre la sécurité du type.

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!