为什么返回类型的泛型在Java8中存在未检查的方法参数转换时被擦除？

Question

考虑下面的代码示例：

import java.util.ArrayList;
import java.util.List;

public class Main {
    public static void main(String[] args) {
        List list = new ArrayList<Integer>();
        String response = getProducer(list).get();
    }
    static Producer<String> getProducer(List<Integer> list) {
        return new Producer<String>();
    }
}
class Producer<T> {
    T get() {
        return null;
    }
}

用Java编译时

警告：（7,39）java:需要未经检查的转换：java。util。列表

但是，当用Java编译时

错误：（7，48）java:不兼容的类型：java。lang.Object无法转换为java。lang.String

显然，从getProducer（list）返回的类型不是Producer

奇怪的是，在调用getProducer方法时，可以通过以下方式避免未经检查的转换来修复此问题：

• 从列表更改getProducer的参数类型

• 使用的Java是Oracle JDK 1.8.040

• 当返回值的泛型类型在方法签名中固定时，传递参数的泛型类型如何影响方法返回值的泛型类型
• 为什么Java和Java之间的行为会有如此向后不兼容的变化




Answer 1

真正的问题是；为什么你可以使用原始类型？向后兼容。如果是为了向后兼容，则假设仅应使用原始类型。

当返回值的泛型类型在方法签名中固定时，传递参数的泛型类型如何影响方法返回值的泛型类型？

方法或构造函数有两种模式中的一种。它要么是完全通用的，要么是完全原始类型的，以实现向后兼容。不存在部分原始类型和部分通用的使用模式。原始类型是选项的唯一原因是向后兼容，在这种情况下，它假设所有类型都是/曾经是原始类型。

为什么Java7和Java8之间的行为发生了如此向后不兼容的变化？

由于Java1.4不再被支持，并且已经有一段时间没有被支持了，向后兼容性参数不太成立，在当前语言中给原始类型一个位置是有意义的。

Answer 2

让我们看看Java语言规范：

Java

…

>

如果所选方法不是泛型方法，则：

• 如果要使该方法适用，必须进行未经检查的转换，则调用类型的参数类型是该方法类型的参数类型，而返回类型和抛出类型是通过删除该方法类型的返回类型和抛出类型而给出的

…

Java

所选方法的结果类型确定如下：

>

否则，如果要使方法适用，必须进行未经检查的转换，则结果类型为方法声明的返回类型的擦除（§4.6）。

理解“通用方法”的含义很重要：

参考文献

如果方法声明了一个或多个类型变量（§4.4），则该方法是泛型的。

换句话说，方法

static Producer<String> getProducer(List<Integer> list)

具有泛型参数和返回类型，但不是泛型的，因为它不声明类型变量。

因此，引用的部分适用，尽管在先决条件方面有所不同，但他们同意这个特定方法调用的后果，“如果未经检查的转换是方法适用所必需的，那么结果类型是擦除...方法声明的返回类型”。

因此，旧的编译器使用返回类型Producer违反了规范

Answer 3

这看起来像是此处和此处报告的已知兼容性问题。

从第二个链接：

以下在JDK 7中编译并带有警告的代码将不会在JDK 8中编译：

import java.util.List;
class SampleClass {

     static class Baz<T> {
         public static List<Baz<Object>> sampleMethod(Baz<Object> param) {
             return null;
         }
     }

     private static void bar(Baz arg) {
         Baz element = Baz.sampleMethod(arg).get(0);
     }
}

在JDK 8中编译这段代码会产生以下错误：

SampleClass.java:12：错误：不兼容类型：对象无法转换为Baz

Baz element = Baz.sampleMethod(arg).get(0);

注：样本类别。java使用未经检查或不安全的操作。注意：使用-Xlint重新编译：未选中以获取详细信息。1错误

由此推导，OP的代码可以通过替换这一行来修复（右手边的类型声明让我大吃一惊——我把它看作一个类型化数组列表，但它不是）：

List list = new ArrayList<Integer>();

具有

List<Integer> list = new ArrayList<Integer>();

这不会导致类型从返回类型的方法getProducer（List

再次引用第二链接：

在本例中，一个原始类型被传递给samplemethod（Baz