Discussion :

[TSnarfK]

Bonjour à tous,

Je suis en train de nettoyer le code d'une application développée initialement en Java 1.4 et je me retrouve avec un problème que certains on sans doute déjà rencontré.

Pourquoi n'est-il pas possible de déclarer : "List<A> liste = new ArrayList<B>()" avec B implémentant A ?

Merci d'avance pour toute information.

Exemple :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
import java.util.ArrayList;
import java.util.List;
 
public class TestList {
 
	public static void main(String[] args) {
 
		A monA = new B() ; 
		// Ok
 
		List<A> liste = new ArrayList<B>() ; 
		// Erreur à la compilation : Type mistmach : cannot convert ArrayList<B> to List<A>
	}
 
	static interface A {
		// Nop	
	}
 
	static class B implements A {
		// Nop
	}
}

[adiGuba]

Salut,


Si cela était autorisé, on pourrait utiliser le code suivant :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
List<A> liste = new ArrayList<B>();
 
list.add( new A() ); // correct ou pas ?

Pour le compilateur c'est tout à fait correct (on ajoute un objet de type A dans une List<A>. Mais à l'exécution cela devrait générer une erreur puisque en réalité on a une ArrayList<B>.

Bref la vérification du typeage serait faite à l'exécution (comme c'est le cas pour les tableaux) alors que l'objectif même des Generics est de vérifier les types à la compilation pour produire un code sécurisé...

a++

[tchize_]

je rajouterais pour plus de précisions:

Code java :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
List<A> x;
ArrayList<B> z = new ArrayList<B>();
x=y;
x.add(new A());
for (B myB:z){
    // erreur quand on sertira la A :aie:
}

Le plus simple avec les generics, c'est de penser absence d'héritage. Tu ne peux pas substituer une List<A> à une List<B>

[TSnarfK]

Ok, j'ai compris. Merci pour les exemples.