Génériques Java de génériques de

Question

J'ai une classe générique qui représente un fragment de texte. Ce fragment de texte peut avoir un nombre de modes différents (différents types de mise en évidence). Ces modes sont représentés par un Enum. L'Enum pourrait être différent pour chaque projet mais il doit implémenter une interface qui fournit une méthode pour en combiner 2 (pourrait être surlignée et en gras). Donc, j'ai une interface:

public interface TextFragmentMode<E extends Enum<E>> { 
    /** 
    * Will combine the supplied mode with the current mode and return the 
    * result. 
    * 
    * @param mode The mode to combine with. 
    * @return The combined mode. 
    */ 
    public E combine(E mode); 
} 

Alors mon TextFragment est un conteneur pour les deux une chaîne de texte et un mode. Mais quand j'essaie de déclarer la classe:

public class TextFragment<E extends TextFragmentMode<E extends Enum<E>>> { 
    StringBuilder text; 
    E mode; 
    ... 

Je reçois l'erreur suivante:

Syntax error on token "extends", , expected

qui, selon éclipser la coloration syntaxique, fait référence à la partie

E extends Enum<E> 

de le code. Est-ce que quelqu'un sait ce que je fais mal? Je dois manquer quelque chose sur les génériques ...

--------------------- modifier -------------- Je prends enfin le temps de lire Effective Java de Josh Bloch (deuxième édition), et il s'avère que cet exemple d'utilisation est Item 34: Emulate enums extensible avec les interfaces. Autant que je voudrais dire que le grand esprit pense de même ... Ce serait trop présomptueux!

Answer 1

TextFragment<E> doit dire deux choses à propos de E.

• Il "s'étend" TextFragmentMode<E>. Pour ce faire, vous devez également le contraindre à étendre Enum<E>.

En raison de l'héritage Java wonkiness, vous avez besoin d'écrire que l'inverse:

public class TextFragment<E extends Enum<E> & TextFragmentMode<E>> { 

Answer 2

Le problème est que vous essayez de faire E étendre TextFragmentModeetEnum, qui ne sont pas liés types. Quel type E répondrait aux deux contraintes?

Je suppose que vous voulez deux paramètres de type, quelque chose comme ceci:

public class TextFragment<E extends Enum<E>, M extends TextFragmentMode<E>> 

Maintenant que vous avez chaque contrainte exprimée sur un paramètre de type différent, et ils ont tous deux de sens - vous pouvez certainement trouver un E qui est un enum, et un M qui est un TextFragmentMode<E>. Cependant, il est assez compliqué ...

... vous certainement besoin d'être ce générique? Que ferez-vous avec M dans la classe? Ne pourriez-vous pas prendre un TextFragmentMode<E> en tant que paramètre constructeur (ou autre) et le rendre générique dans un paramètre de type?

Answer 3

Vous devez introduire un nouveau type qui représente la limite de Enum

public class TextFragment<T extends Enum<T>, E extends TextFragmentMode<T>> { 

Answer 4

Sans test, je suppose:

public class TextFragment<E extends TextFragmentMode<E>> { 

Hmm, court test montre qu'il ne semble pas pour travailler soit ...