为什么使用原始类型变量会影响签名而不引用类型参数？[重复]

Question

在研究另一个问题时，我遇到了1.8的这个有趣的行为。0_112Sun-Oracle编译器（我没有和其他人一起测试过）：

import java.util.List;

interface Alpha<T> {
   List<Integer> intList();
}

interface Beta {
   List<Integer> intList();
}

class Main {

   public static void main(String[] args) {

      Alpha rawAlpha = null;
      Alpha<Character> charAlpha = null;
      Alpha<?> qmAlpha = null;
      Beta beta = null;

      for (Integer i : charAlpha.intList()) {}
      for (Integer i : qmAlpha.intList()) {}
      for (Integer i : beta.intList()) {}
      for (Integer i : rawAlpha.intList()) {}
   }
}

编译器仅在最后一个for循环失败：

error: incompatible types: Object cannot be converted to Integer
      for (Integer i : rawAlpha.intList()) {}
                                       ^
1 error

所以尽管有intList（）返回列表类型list

请注意，如果我们声明一个非通用接口Beta，这在理论上等同于引用原始Alpha，则没有问题。

这是预期的行为吗？有人能指出语言规范中涵盖这一点的段落吗？如果这至少不是一个bug，那么它看起来相当反直觉，没有效率；也许是为了后面的可比性？。




Answer 1

JLS 4.8中的JLS位（有点不清楚）说明了这一点：

未从其超类或超接口继承的原始类型C的构造函数（§8.8）、实例方法（§8.4，§9.4）或非静态字段（§8.3）的类型是对应于在对应于C的泛型声明中删除其类型的原始类型。

既然rawAlpha是一种原始类型，rawAlpha的类型。intList是对列表的擦除

至于为什么，我手边没有引用，但是原始类型只是Java向后兼容。这意味着它们只需要像泛型之前一样工作；你要求的是代码比以前更好一点。这不是不合理的，但这不是他们决定的。：-）