Pourquoi une liste générique peut-elle être convertie en son paramètre de type?

Question

Pourquoi le code suivant est-il compilé?
Pourquoi est-il autorisé de transformer une liste générique en paramètre de type si le paramètre est une interface mais pas une super-interface du générique?

Qu'est-ce que cela signifie?

//Connection can be substituted by any interface 
List<Connection> list = null; 
Connection c = (Connection) list; 

Answer 1

Cela n'a rien à voir avec le paramètre type. Cela fonctionne ainsi:

List<String> list = null; 
Connection c = (Connection) list; 

Il est possible parce que List est un type d'interface. Il est possible que la référence de liste contienne un objet qui implémente l'interface List et également un Connection (quelle que soit la classe ou l'interface) et pour lequel le cast fonctionne donc.

Ainsi, puisque la distribution peut fonctionner, le compilateur le permet. Il ne rejette moulages théoriquement impossible, à savoir qui impliquent des types concrets dans des hiérarchies d'héritage distincts:

JComponent c = null; 
    ArrayList l = (ArrayList) c; 

Vous pouvez consulter les règles exactes pour les types de moulages sont légaux au moment de la compilation dans le Java Language Specification - il est à propos de 30 lignes de loisir linguistique dense.

Answer 2

Il compile mais il échouera au moment de l'exécution.

Le casting statique est une façon pour un développeur de dire au compilateur Je sais ce que je fais ici - je vais gérer moi-même la saisie de ces variables. Le compilateur ne vous empêchera pas de faire quelque chose qui lancera une exception lors de l'exécution.

Answer 3

Même chose, comme avec l'autre typecasting. Vous êtes autorisé à jeter presque n'importe quel objet à un autre. Les compilateurs ne permettent pas le typage le plus idiot (comme List to String), mais quand même - c'est à vous de regarder le typecasting. Généralement, utilisez

if(a instanceof bClass){ 
    ((bClass)a).doSomething(...); 
}