Java泛型的泛型

Question

我有一个代表文本片段的通用类。该文本片段可以具有多种不同模式中的任何一种（不同类型的突出显示）。这些模式由枚举表示。每个项目的枚举可能不同，但它必须实现一个接口，该接口提供了组合其中两个的方法（可以突出显示并加粗）。所以我有一个界面：

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 );
}

然后我的 TextFragment 是文本字符串和模式的容器。但是当我尝试声明该类时：

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

我收到以下错误：

令牌“extends”上的语法错误，预期

根据 Eclipse 语法突出显示，这是指

E extends Enum<E>

代码部分。有谁知道我做错了什么？我一定错过了一些关于泛型的东西......

--------------------- 编辑 ------------------ -

我终于花时间阅读 Josh Bloch 所著的《Effective Java》（第二版），事实证明他将这个用例作为项目 34：使用接口模拟可扩展枚举。尽管我想说英雄所见略同……但那未免太自以为是了！

Answer 1

TextFragment 需要说明关于 E 的两件事。

• 它“扩展”了TextFragmentMode。
• 为此，您还必须限制它扩展 Enum。

由于 Java 继承的不稳定，您需要以相反的方式编写：

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

Answer 2

问题是您试图使 E 扩展 TextFragmentMode 和 Enum，它们不是相关类型。什么类型的 E 可以满足这两个约束？

我怀疑您想要两个类型参数，如下所示：

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

现在您在不同类型参数上表达了每个约束，并且它们都有意义 - 您绝对可以找到一个E它是一个枚举，M 是一个 TextFragmentMode。然而，它相当复杂......

你一定需要它是这样通用的吗？您将在课堂上使用 M 做什么？您能否仅将 TextFragmentMode 作为构造函数参数（或其他参数）并再次使其在一个类型参数中通用？

Answer 3

您需要引入一种新类型来解释 Enum 的界限

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

Answer 4

未经测试，我猜想：

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

嗯，简短的测试表明它似乎也不起作用......