Question

我正在试图弄清楚为什么这段代码无法在JDK 1.8.0_45上编译：

public class Example<E extends Example<E>> {
    public List<? extends Example<?>> toExamples(Collection<String> collection) {
        return collection.stream()
                .map(v -> lookup(v))
                .collect(Collectors.toList());
    }

    public static <E extends Example<E>> E lookup(String value) {
        return null;
    }
}

添加一个看似不必要的演员来修复它：

public class Example<E extends Example<E>> {
    public List<? extends Example<?>> toExamples(Collection<String> collection) {
        return collection.stream()
                .map(v -> (Example<?>) lookup(v))
                .collect(Collectors.toList());
    }

    public static <E extends Example<E>> E lookup(String value) {
        return null;
    }
}

以下是编译器的错误：

Example.java:9: error: incompatible types: inference variable R has incompatible bounds
              .collect(Collectors.toList());
                      ^
  equality constraints: List<Object>
  upper bounds: List<? extends Example<?>>,Object
where R,A,T are type-variables:
  R extends Object declared in method <R,A>collect(Collector<? super T,A,R>)
  A extends Object declared in method <R,A>collect(Collector<? super T,A,R>)
  T extends Object declared in interface Stream

由于某些原因，lookup()的返回类型未正确推断为Example扩展的内容。

Answer 1

作为Peter Lawrey pointed out，? extends Example<?>与E extends Example<E>不兼容。尽管如此，即使修复签名也不会使类型推断工作在这里。

原因是类型推断的已知限制，因为它不通过链式方法调用进行反向传播。换句话说，返回类型允许推断collect(…)调用的类型，但不能推断前面的map(…)调用。（另见this answer）

但它适用于嵌套方法调用，因此可以编译以下重写方法：

public class Example<E extends Example<E>> {
    public <E extends Example<E>> List<E> toExamples(Collection<String> collection) {
        return collection.stream()
            .collect(Collectors.mapping(v -> lookup(v), Collectors.toList()));
    }

    public static <E extends Example<E>> E lookup(String value) {
        return null;
    }
}

但是，您必须重新考虑代码的语义。仅在返回类型中出现的方法的类型参数不能正确，因为它暗示“无论调用者如何替换此类型参数，该方法将返回正确的内容”。由于方法实现不知道调用者假设什么，这是不可能的。只返回null或空列表才能正常工作，这几乎没用。

Answer 2

当你有一个?它不等于另一个?，即编译器没有看到

? extends Example<?>

作为

的匹配

E extends Example<E>

因为它不能假设两个?是相同的。它可能是

A extends Example<B>

执行强制转换时，会遮挡约束，使其匹配。

Answer 3

我的猜测是静态方法中定义的泛型类型与类中定义的泛型类型不同。您应该能够使lookup方法非静态，因此它与类级别泛型声明中定义的相同类型匹配：

    public E lookup(String value) {
        return null;
    }

为什么这个Java 8流示例不能编译？

3 个答案: