Java 8 类型推断导致在调用时忽略泛型类型

Question

升级到 Java 1.8 后，我遇到了通用方法的问题，这在 Java 1.6 和 1.7 中没有问题考虑以下代码:

public class ExtraSortList<E> extends ArrayList<E> {
    ExtraSortList(E... elements) {
        super(Arrays.asList(elements));
    }

    public List<E> sortedCopy(Comparator<? super E> c) {
        List<E> sorted = new ArrayList<E>(this);
        Collections.sort(sorted, c);
        return sorted;
    }

    public static void main(String[] args) {
        ExtraSortList<String> stringList = new ExtraSortList<>("foo", "bar");

        Comparator<? super String> compGen = null;
        String firstGen = stringList.sortedCopy(compGen).get(0); // works fine

        Comparator compRaw = null;
        String firstRaw = stringList.sortedCopy(compRaw).get(0); // compiler ERROR: Type mismatch: cannot convert from Object to String
    }
}

我用 Oracle javac (1.8.0_92) 和 Eclipse JDT (4.6.1) 编译器试过了。两者的结果相同。 (报错信息有点不同，但本质上是一样的)

除此之外，可以通过避免原始类型来防止错误，这让我很困惑，因为我不明白原因。

为什么sortedCopy-Method的原始方法参数对返回值的泛型有影响？泛型类型已经在类级别定义。该方法没有定义单独的通用类型。引用 list 被键入为 <String> ，返回的列表也应如此。

为什么 Java 8 在返回值上丢弃类的泛型类型？

编辑:如果将 sortedCopy 的方法签名更改为(如 biziclop 所指出的)

public List<E> sortedCopy(Comparator c) {

然后编译器确实从类型 E 考虑泛型类型 ExtraSortList<E> 并且没有出现错误。但现在参数 c 是原始类型，因此编译器无法验证提供的比较器的泛型类型。

编辑: 我对 Java 语言规范做了一些审查，现在我想，是我缺乏理解还是编译器存在缺陷。因为:

• 泛型 E 的 Scope of a Declaration 是类 ExtraSortList，这包括方法 sortedCopy。
• 方法 sortedCopy 本身没有声明泛型类型变量，它只是从类范围引用类型变量 E。在 JLS 中查看 Generic Methods
• JLS 还在同一部分中说明

  Type arguments may not need to be provided explicitly when a generic method is invoked, as they can often be inferred (§18 (Type Inference)).

• 引用 stringList 是用 String 定义的，因此编译器不需要在调用 E 时推断 sortedCopy 的类型，因为它已经定义了。
• 因为 stringList 已经有 E 的具体化类型，所以给定调用的参数 c 应该是 Comparator<? super String>。
• 返回类型也应该使用已经具体化的类型 E ，因此它应该是 List<String> 。

这是我目前对 Java 编译器应该如何评估调用的理解。如果我错了，最好解释一下为什么我的假设是错误的。

Answer 1

最终回答为什么会发生这种情况:

就像@Jesper 已经提到的那样，您在不应该使用原始类型的时候使用了原始类型(尤其是在多种情况下使用 Generic 作为类型时)。由于您传递了一个没有通用类型的比较器，因此实际上没有。您可以将 E-Generic 视为 null 以使其更容易。因此你的代码变成这样:

public List sortedCopy(Comparator c) {
    List sorted = new ArrayList(this);
    Collections.sort(sorted, c);
    return sorted;
}

现在你正在尝试/假设你从没有泛型的列表中得到一个字符串，因此是一个对象(因此它是所有东西的父类(super class))。

关于为什么原始类型参数对返回类型没有影响的问题，因为您没有指定特定的抽象级别。例如，您必须定义泛型必须至少扩展/实现的类型才能实现(编译错误)。

public class ExtraSortList<E extends String> extends ArrayList<E> {

现在只允许扩展它的字符串或类(这里不可能，因为字符串是最终的)。这样，您的后备类型将是字符串。