Classes internes typées génériques en Java

Question

J'ai appris et expérimenté avec Java Generics pendant un moment, mais j'ai rencontré quelque chose que je ne peux pas expliquer. Prenons par exemple le code suivant:

public class Question { 
    public <T> Sub<T> getSub(Class<T> c) { 
     return new Sub<T>(c); 
    } 
    public class Sub<S> { 
     private Class<S> c; 
     public Sub(Class<S> c) { 
      this.c = c; 
     } 
     public void add(S s) { 
     } 
    } 
} 

Et le code de test:

import generics.Question.Sub; 

public class Answer { 
    public static void main(String [] args) { 
     Question q = new Question(); 
     Sub<String> s = q.getSub(String.class); 
     s.add(""); 
    } 
} 

Lorsque cela est exécuté, il donne un message d'erreur merveilleusement cryptique:

C:\Answer.java:8: incompatible types 
found : generics.Question.Sub<java.lang.String> 
required: generics.Question.Sub<java.lang.String> 
     Sub<String> s = q.getSub(String.class); 
1 error 

Maintenant, grâce à une expérimentation J'ai travaillé comment empêcher l'erreur de compilateur. Je peux soit faire de la classe Sub une classe interne statique, soit faire référence à la classe Sub sous la forme Question.Sub <String>. Ce que je ne peux pas faire, c'est expliquer pourquoi j'ai besoin de faire ça.

J'ai lu la documentation Java sur Generics mais aucune ne couvre ce cas particulier.

Quelqu'un peut-il expliquer pourquoi le code est un type incompatible dans sa forme actuelle?

-Edit-

En regardant ce plus je vois que je reçois le même comportement à l'extérieur de Netbeans. Si je le code dans la structure suivante:

generics\ 
generics\Question.java 
generics\Answer.java 

Quand je compile les fichiers ensemble, je ne suis pas l'erreur:

C:\>javac generics\Question.java generics\Answer.java 

C:\> 

Cependant, quand je compile question d'abord, puis réponse, je obtenir l'erreur:

C:\>javac generics\Question.java 

C:\>javac generics\Answer.java 
generics\Answer.java:8: incompatible types 
found : generics.Question.Sub<java.lang.String> 
required: generics.Question.Sub<java.lang.String> 
     Sub<String> s = q.getSub(String.class); 
           ^
1 error 

J'ai entendu parler de l'effacement de type. Est-ce le cas dans cette situation?

Answer 1

L'effacement de type est une propriété de la façon dont les génériques sont actuellement implémentés en Java. Cela signifie que le type des variables n'est connu que lors de la compilation, mais pas au moment de l'exécution. Ainsi, par exemple, dans les domaines suivants:

Map<String,String> map = new HashMap<String,String>(); 

le compilateur sait vérifier contre les éléments étant mis en à une chaîne/base String. Cependant, le code compilé ne sait rien au sujet de la chaîne, String - vous pouvez toujours insérer des objets dans le mauvais type, par exemple:

Map other = (Map)map; 
other.put(new Integer(3), new Double(4.5); 

Le problème est que le code compilé ne vérifie pas pour les types d'arguments lors de la transmission, et pas plus que le temps d'exécution (puisque les informations de type ont été effacées, par conséquent, tapez l'effacement).

Je doute que l'effacement de type soit un problème ici - puisque lors de la compilation, vous avez l'information de type complète - mais plutôt que c'est probablement un bug. Il y a pas mal de problèmes avec les génériques (à partir d'une implémentation) et il y a différents compilateurs utilisés avec JavaC et Eclipse, donc il pourrait y avoir des bogues différents. Dans certains cas, le compilateur Eclipse a été plus fidèle à la spécification que le compilateur Sun (donc Eclipse crée des erreurs alors que Sun ne le fait pas) et c'est principalement dû à la complexité du fonctionnement du système de types.

Donc c'est probablement un (ou plusieurs) bugs avec des génériques dans le compilateur 1.5.0_14 ...