Java 泛型地狱

Question

我怀疑这个问题以前在这里被问过（并得到了回答），但我不知道如何命名这个问题。为什么只有当我没有通过课程本身时，我才能毫无问题地表达通配符？

这一切都归结为这段代码。除了对genericsHell(ShapeSaver.class) 的调用之外，一切都按预期进行：

interface Shape { }

interface Circle extends Shape { }

interface ShapeProcessor<T extends Shape> { }

class CircleDrawer implements ShapeProcessor<Circle> { } 

class ShapeSaver<T extends Shape> implements ShapeProcessor<T> { }

class Test {
    void genericsHeaven(ShapeProcessor<? extends Shape> a) {}

    void genericsHell(Class<? extends ShapeProcessor<? extends Shape>> a) {}

    void test() {
        genericsHeaven(new CircleDrawer());
        genericsHeaven(new ShapeSaver<Circle>());
        genericsHell(CircleDrawer.class);
        genericsHell(ShapeSaver.class); // ERROR: The method genericsHell is not applicable for the arguments (Class<ShapeSaver>)
    }
}

Answer 1

ShapeSaver.class 的类型是Class<ShapeSaver>。将其提供给genericsHell() 时，编译器需要检查Class<ShapeSaver> 是否为Class<? extends ShapeProcessor<?> 的子类型，即简化为ShapeSaver 是否为ShapeProcessor<?> 的子类型。子类型关系不成立，方法调用失败。

@Bohemian 的解决方案也应该如此。在推断出T 之后，子类型检查发生在T 的绑定检查中。它也应该失败。这似乎是一个编译器错误，它以某种方式误解了Raw 可分配给Raw<X> 的规则，就好像Raw 是Raw<X> 的子类型一样。另见Enum.valueOf throws a warning for unknown type of class that extends Enum?

您的问题的一个简单解决方案是声明

void genericsHell(Class<? extends ShapeProcessor> a)

确实，ShapeSaver 是ShapeProcessor 的子类型，调用编译。

这不仅仅是一种解决方法。这是有充分理由的。严格来说，对于任何Class<X>，X 都必须是原始类型。例如，Class<List> 可以，Class<List<String>> 不行。因为真的没有代表List<string>的类；只有一个类代表List。

忽略您不得使用原始类型的严厉警告。考虑到 Java 类型系统的设计方式，我们有时必须使用原始类型。甚至 Java 的核心 API (Object.getClass()) 也使用原始类型。

---

你可能打算这样做

genericsHell(ShapeSaver<Circle>.class);

很遗憾，这是不允许的。 Java 可以但没有引入类型文字和泛型。这给很多图书馆带来了很多问题。 java.lang.reflect.Type 是一团糟，无法使用。每个库都必须引入自己的类型系统表示来解决问题。

你可以借一个，例如来自 Guice，您将能够

genericsHell( new TypeLiteral< ShapeSaver<Circle> >(){} )
                               ------------------  

（学习在阅读代码时跳过ShaveSaver<Circle>周围的废话）

在genericsHell() 的方法体中，您将拥有完整的类型信息，而不仅仅是类。

Answer 2

键入genericsHell 方法可以编译：

static <T extends ShapeProcessor<?>> void genericsHell(Class<T> a) {}

已编辑：这允许编译器从上下文或通过编码显式类型来指定ShapeProcessor 不是字面上的任何 ShapeProcessor，而是相同 type 作为参数传递的那个。如果调用是显式类型的（编译器在幕后执行的），代码将如下所示：

MyClass.<ShapeSaver>genericsHell(ShapeSaver.class);

有趣的是，它给出了一个类型警告，但仍然可以编译。但是，显式类型不是必需的，因为从参数到infer 泛型类型有足够的类型信息。

您的问题缺少一些声明，因此我将它们添加到创建 Short Self-Contained Correct Example - 即此代码按原样编译

static interface Shape { }

static interface Circle extends Shape { }

static interface ShapeProcessor<T extends Shape> { }

static class CircleDrawer implements ShapeProcessor<Circle> { }

static class ShapeSaver<T extends Shape> implements ShapeProcessor<T> { }

static void genericsHeaven(ShapeProcessor<? extends Shape> a) { }

// The change was made to this method signature:
static <T extends ShapeProcessor<?>> void genericsHell(Class<T> a) { }

static void test() {
    genericsHeaven(new CircleDrawer());
    genericsHeaven(new ShapeSaver<Circle>());
    genericsHell(CircleDrawer.class);
    genericsHell(ShapeSaver.class);
}