java中的枚举和泛型方法

Question

Java 泛型系统中的一些极端情况仍然存在问题。

我有这个方法（我只对签名感兴趣）：

 interface Extractor<RETURN_TYPE> {
    public <U extends Enum<U>> RETURN_TYPE extractEnum(final Class<U> enumType);
}

（想想一个接口，它的实现有时会提取一个 EnumSet 有时一个实现会提取一个 JComboBox 等）

我想用在运行时获得的类来调用它，所以我只是这样称呼它：

 public static <RETURN_TYPE> RETURN_TYPE extractField(final Extractor<RETURN_TYPE> extractor, final Field field) {
    final Class<?> type = field.getType();
    if (type.isEnum())
        return extractor.extractEnum(/* error here*/type.asSubclass(Enum.class));
    throw new RuntimeException("the rest of the visitor is not necessary here");
}

我收到一条奇怪的错误消息： 不兼容的类型 找到：java.lang.Object 必需：RETURN_TYPE

消息的位置，如果就在调用的开始括号之后，在类型的“t”之前。

如果我从非通用上下文中调用它，它可以工作：

    Integer extractField(final Extractor<Integer> extractor, final Field field) {
        final Class<?> type = field.getType();
        if (type.isEnum())
            return extractor.extractEnum(type.asSubclass(Enum.class));
        throw new RuntimeException("the rest of the visitor is not necessary here");
    }

请问有人对此问题有解释和解决方案吗？

这是一个完整的文件，供想要玩它的人使用：

public class Blah {
    interface Extractor<RETURN_TYPE> {
        public <U extends Enum<U>> RETURN_TYPE extractEnum(final Class<U> enumType);
    }

    public static <RETURN_TYPE> RETURN_TYPE extractField(final Extractor<RETURN_TYPE> extractor, final Field field) {
        final Class<?> type = field.getType();
        if (type.isEnum())
            return extractor.extractEnum(/* error here*/type.asSubclass(Enum.class));
        throw new RuntimeException("the rest of the visitor is not necessary here");
    }

    public static Integer extractField(final Extractor<Integer> extractor, final Field field) {
        final Class<?> type = field.getType();
        if (type.isEnum())
            return extractor.extractEnum(type.asSubclass(Enum.class));
        throw new RuntimeException("the rest of the visitor is not necessary here");
    }
}

提前致谢，

妮可

Answer 1

实际上，如果这是您的编译器中的错误，我不会感到惊讶。通过认真使用泛型（你正在做的事情，结合参数化方法、有界通配符和泛型的其他“高级”使用），去年我在 javac 中遇到了两三个问题（令人讨厌的是，同一个单元通常在 IDE 中编译得很好）。

在您的情况下，我相当确定这是一个错误，因为编译器抱怨的部分是 extractor.extractEnum 返回 Object 而不是 RETURN_TYPE。不管它对你的枚举方法参数做了什么疯狂的推断......它知道从类型签名中提取器是一个Extractor<RETURN_TYPE>，所以你应该总是可以说return extractor.extractEnum(...);。

该死的证据是，即使您使用 null 参数调用该方法（从而完全消除了参数中枚举泛型的任何潜在并发症），编译器仍然会抱怨。特别是，它现在说它认为 Extractor 的返回类型是 U<RETURN_TYPE>，这显然是垃圾。

一般来说，解决这些问题的解决方案是引入一些显式强制转换。如果您将 extractEnum 的输出转换为 RETURN_TYPE，编译器会高兴吗？ 编辑：不，真的不是——它抱怨U<RETURN_TYPE> 和RETURN_TYPE 是不可转换的——eep...

如果您使用的是最近的 1.6 编译器，我建议您将此报告给 Sun，因为这是 javac 的一个大问题。这是一个非常简短的测试用例来练习它：

public class Test {
  interface Sub<O> {
    public <I extends Enum<I>> O method(final Class<I> enumType);
  }

  public static <O> O go(final Sub<O> sub) {
    return sub.method(null);
  }
}

附：一般约定是使用单个大写字母来指定泛型类型参数。我不会说“我是对的，你错了”，但请记住，与使用 Extractor 相比，我发现您的代码更难阅读和遵循。 （从 Hemal 对他的回答的措辞来看，这对他来说也是一样的。）

Answer 2

我无法推断出最初的问题。

Extractor.extract 有两个类型参数，U 必须是 Enum 和 T，这是任意类型，我是否正确？在通用调用中，VV 既是 T 又是 U？如果U 是VV，则参数必须是Class<VV>，而不是Class<Enum>。以下为我编译，但如您所见，通用方法需要提供 Class<VV> 的实例

class Outer {
  static class Extractor<T> {
    public <U extends Enum<U>> T extract(final Class<U> lala) {
      return null;
    }
    // two type parameters, T and U
    // U must be an enum
    // T is arbitrary class
  }

  static <VV extends Enum<VV>> VV extract(final Extractor<VV> extractor, Class<VV> vvClass) {
    final Class<?> type = null;
    return extractor.extract(vvClass);
    // Outer.extract returns VV 
    // T -> VV
    // it seems VV is also U
  }
}

Answer 3

看起来你的Field.getType( ) 只会返回一个通用类。因为您将尝试使用已删除类型信息的类型，所以此函数将不得不发出 "unchecked" 警告，并且泛型接口上的所有类型信息都将被删除。

请记住，使用类型擦除后，您的界面如下所示：

interface Extractor {
    public Object extractEnum( final Class enumType );
}

所以，因为所有类型信息都被擦除了，extractEnum 的返回类型是java.lang.Object，所以你必须添加一个特定的演员表。这正是您收到的错误消息。

这是修改后的代码示例。

@SuppressWarnings( "unchecked" )
public static <RETURN_TYPE> RETURN_TYPE extractField(
       final Extractor<RETURN_TYPE> extractor,
       final Field field
    )
{
    final Class type = field.getType(); // unchecked

    if (type.isEnum())
    {
        // needs cast
        return (RETURN_TYPE) extractor.extractEnum( type ); // unchecked
    }
    throw new RuntimeException("the rest of the visitor is not necessary here");
}

忽略此评论：回答有关为什么会出现编译错误的原始问题。这是一个方钉成圆孔的问题。 type.asSubclass( Enum.class )返回Class< ? extends Enum >，还是和接口调用所期望的Class< U >不一样。