将类文字作为交集类型返回

Question

我有几个实现一些通用接口的枚举，我想从方法中返回类文字。但是我无法正确指定交集类型。请参阅下面说明问题的代码示例。

public class GenericsTest {    
  interface Iface {   
  }

  enum E1 implements Iface {    
  }

  enum E2 implements Iface {    
  }

  <E extends Enum<E> & Iface> Class<E> getEnum1() {
    return E1.class;  //ERROR incompatible types: java.lang.Class<GenericsTest.E1> cannot be converted to java.lang.Class<E>
  }

  Class<? extends Enum<?>> getEnum3() {
    return E1.class;  //OK
  }

  Class<? extends Iface> getEnum4() {
    return E1.class;  //OK
  }

  <E extends Enum<E> & Iface> void enumParam(Class<E> p) {
    enumParam(E1.class);  //OK
  }

}

#getEnum1 方法无法编译。有趣的是，它在#enumParam 中用作参数值。如何指定交集类型才能从方法返回类文字？

Answer 1

getEnum1 方法无法编译，原因与此相同：

public <E> E foo() {
    return "bar"; // Compile time error: Incompatible types E and String
}

看到了吗？仅仅因为类型参数E 最终可能是一个字符串，并不意味着它与String兼容。可以将此函数称为Integer i = x.<Integer>foo();，因此在这里返回字符串没有意义。

getEnum1 完全一样。类型参数E 可以选择为E1 类型（此处命名非常糟糕），但这并不意味着E1 始终与E 兼容。考虑E2 e2 = x.<E2>getEnum1();。您可能想知道为什么编译器在尝试使用错误的类型参数调用它时不只是警告错误。问题是，E2 满足类型约束，因此没有理由在那里显示错误。

那么如何让你的代码正常工作呢？

最简单（也可能是唯一）的方法是在那里摆脱泛型：

Class<E1> getEnum1() {
  return E1.class;
}

如果你不想在这里暴露具体类型E1，那你就不走运了。您所能做的就是将常用功能提取到接口中，然后返回该类型。

Answer 2

这里的问题是，鉴于每次使用的上下文，无法保证您的代码返回正确的 Class 类型实例。 例如

final Class<E2> e2var = new GenericsTest().getEnum1();

编译器在getEnum1 处失败，以防止当有人试图对 e2var 引用的对象执行一些E2 绑定操作时出现延迟的运行时错误，实际上总是Class<E1>。

要提出解决方案，您需要更具体地说明此类集的预期用途。

相比之下，enumParam 工作并不奇怪，因为它不需要返回匹配的类对象。然而，很明显它会由于无限递归而导致堆栈溢出。