为什么我不能用接口返回枚举？

Question

看this的回答。一切都很好，除了：

public <E extends Enum<E> & MyInterface> E getParametrizedEnum() {
    String someString = "..."
    return MyEnum.valueOf(someString); //compile error here
}

Intellij idea 告诉我“必需的 E，找到 com.mypackage.MyEnum”。

必须是这样的：

public <E extends Enum<E> & MyInterface> E getParametrizedEnum() {
    String someString = "..."
    return (E) MyEnum.valueOf(someString); //compile error here
}

有没有办法在不强制转换的情况下返回带接口的参数化枚举？

Answer 1

问题是该方法没有返回MyEnum，它返回了一些扩展Enum 和MyInterface 的类。即使MyEnum 满足这些限制，也可能有其他枚举也实现MyInterface，而这些不一定与MyEnum 兼容。

考虑以下程序：

interface MyInterface {} 
enum MyEnum implements MyInterface {
    A, B, C
}
enum YourEnum implements MyInterface {
    D, E, F
}

public class Foo
{
    public <E extends Enum<E> & MyInterface> E getParametrizedEnum() {
        String someString = "A";
        return (E) MyEnum.valueOf(someString); 
    }

    public static void main(String... args) {
        Foo foo = new Foo();
        YourEnum b = foo.getParametrizedEnum(); // Ooops!
    }
}

它编译得非常好，但在运行时会抛出 ClassCastException！

但是如果你返回一个MyEnum，你为什么需要泛型？你可以这样做：

public MyEnum getParametrizedEnum() {
    String someString = "..."
    return MyEnum.valueOf(someString); 
}