如果Enum声明没有递归部分，Java中会有什么不同

Question

请参阅 Java Enum定义 和 [为什么在Java中将枚举声明为Enum <E扩展Enum <E

](http://codingdict.com/questions/131394)
进行一般性讨论。在这里，我想了解如果将Enum类定义为以下内容，则会被完全破坏（不再是类型安全的，或者需要其他强制转换等）

public class Enum<E extends Enum>

我正在使用以下代码测试我的想法：

interface MyComparable<T> {
    int myCompare(T o);
}

class MyEnum<E extends MyEnum> implements MyComparable<E> {
    public int myCompare(E o) { return -1; }
}

class FirstEnum extends MyEnum<FirstEnum> {}

class SecondEnum extends MyEnum<SecondEnum> {}

有了它，我无法在这种确切的情况下找到任何好处。

PS。我不允许这样做的事实

class ThirdEnum extends MyEnum<SecondEnum> {}

当使用递归定义MyEnum时
a）不相关，因为使用真正的枚举不被允许这样做，只是因为您不能自己扩展枚举
b）不正确-请在编译器中尝试一下，看看实际上是能够编译没有任何错误

PPS。我越来越倾向于认为，正确的答案是“如果删除递归部分，什么也不会改变”-但我简直不敢相信。

Answer 1

我相信这样做的一个令人信服的理由是，它使MyEnum类中的代码更具类型安全性。

考虑到递归部分使这种事情成为可能：

class MyEnum<E extends MyEnum<E>> {
    private Thing<E> util1() { return someObject }
    private void util2(E e) {}
    public int method(E o) { 
        Thing<E> thingy = o.util1(); 
        // You can call the util1 method on o and get a type safe return element.
        E o1 = // I don't care how you get a parametrized E object.
        o.util2(o1);
        // You can call the util2 method with a typesafe parameter.
    }
}

简而言之，该递归使您可以将类型安全方法放在可以在任何E元素上调用的Enum类中，这些调用将是类型安全的。