在 java 8 下使用泛型类型错误，但不是 java 7

Question

我有一段代码在 java 7 下编译得很好，但在 java 8 下编译不好。这是一个独立的复制示例（我采用了展示这个问题的真实代码并删除了所有实现）：

import java.util.Iterator;

class ASTNode<T extends ASTNode> implements Iterable<T> {
  @Override public Iterator<T> iterator() { return null; }
}

class List<T extends ASTNode> extends ASTNode<T> {}

interface Function<F, T> {}

class Iterables {
  public static <F,T> Iterable<T> transform(
      Iterable<F> fromIterable, Function<? super F, ? extends T> function) { return null; }
}

class AstFunctions {
  public static <T extends ASTNode<?>> Function<T, String> prettyPrint() { return null; }
}

public class Main {
  public static void test() {
    List<? extends ASTNode<?>> list = null;
    Iterables.transform(list, AstFunctions.prettyPrint());
  }
}

证人：

$ javac -version
javac 1.8.0_05

$ javac -source 1.7 Main.java
warning: [options] bootstrap class path not set in conjunction with -source 1.7
1 warning

$ javac -source 1.8 Main.java
Main.java:23: error: method transform in class Iterables cannot be applied to given types;
    Iterables.transform(list, AstFunctions.prettyPrint());
             ^
  required: Iterable<F>,Function<? super F,? extends T#1>
  found: List<CAP#1>,Function<ASTNode<?>,String>
  reason: cannot infer type-variable(s) F,T#1,T#2
    (argument mismatch; Function<CAP#1,String> cannot be converted to Function<? super CAP#1,? extends String>)
  where F,T#1,T#2 are type-variables:
    F extends Object declared in method <F,T#1>transform(Iterable<F>,Function<? super F,? extends T#1>)
    T#1 extends Object declared in method <F,T#1>transform(Iterable<F>,Function<? super F,? extends T#1>)
    T#2 extends ASTNode<?> declared in method <T#2>prettyPrint()
  where CAP#1 is a fresh type-variable:
    CAP#1 extends ASTNode<?> from capture of ? extends ASTNode<?>
1 error

（也许值得注意的是，配置为兼容 1.8 的 Eclipse 对此代码没有任何问题）。

这是编译器错误吗？如果不是，那么假设我被允许更改AstFunctions 和Main（但不能更改ASTNode、List、Function 或Function 或Iterables），我该如何编译这段代码？如果可能的话，我还想了解 Java 8 类型系统的哪些更改导致此代码无法编译。

Answer 1

在last javac 9 的当前版本的编译器中，这不是问题。在考虑任何其他问题之前，应针对此版本检查任何明显的错误。

对于最后一个 javac8 代码，要检查的存储库是 last javac 8。此问题已在该存储库中修复。该问题已通过 JDK-8033718 的补丁修复

Answer 2

更新：查看其他答案 - 这是 javac 中的一个错误，已修复。

---

感觉这不应该编译，Java 8 表现出正确的行为：

• Iterables.transform 需要 Iterable<F> fromIterable 和 Function<? super F...，所以Function 的第一个泛型类型需要是Iterable 泛型类型的超类
• 在你的main中，Iterable的类型是F1 == ? extends ASTNode<?>，而prettyPrint返回的Function的第一个类型是F2 == T extends ASTNode<?>

我认为没有办法证明 F2 是 F1 的超类型。例如，假设您有：

class A1 extends ASTNode<A1> {}
class A2 extends ASTNode<A2> {}

在你的主要：

List<? extends ASTNode<?>> list = new List<A1>(); //F1 = A1

您可以想象prettyPrint 返回一个Function<A2, String>（即F2 = A2）并且A2 不是A1 的超类。

所以我相信编译错误是有道理的。但我不会尝试根据规范来证明它，因为那会占用我大部分时间！