当其他通用信息已知时使用原始类型

Question

我正在处理作者在泛型定义中使用原始类型的代码。当使用原始类型时，编译器似乎根本无法识别泛型类型，即使泛型类型是在原始类中显式定义的。

让我用一个例子来解释一下。我们有一个豆子：

class Bean<T> {
   private List<String> list = new ArrayList<String>();
   private T object;
   public T getObject() {
     return object;
   }
   public void setObject(T object) {
     this.object = object;
   }
   public List<String> getList() {
     return list;
   }
}

还有一个包装器（代码使用的是 Apache Wicket，我只是将其抽象出来）：

class Wrapper<S> {
  private S wrapped;
  public S getWrapped() {
    return wrapped;
  }
  public void setWrapped(S wrapped){
    this.wrapped = wrapped;
  }
}

现在我们的人以一种半通用的方式使用 Wrapper，编译器没有给出警告（很遗憾）：

Wrapper<Bean> wrapper = new Wrapper<Bean>();
wrapper.setWrapped(new Bean<Integer>());
// The next line returns a raw type even though the List<String>
// type is stated explicitly in Bean.class and known by the compiler
wrapper.getWrapped().getList(); 

当然，我们不应该使用原始类型，而是声明Wrapper<Bean<?>>。不过，我想知道为什么编译器对此如此严格。编译器在解析类型时是否设置了某种 raw 标志并忽略 all 通用信息，即使是已知的信息？这就是我的样子。阅读JLS 中的相应部分，我可以找到明确的答案。我也想知道这个决定背后是否有原因。

Answer 1

使用原始类型意味着使用该类型的擦除。这意味着所有通用类型信息都被删除（一个有趣的问题是为什么静态字段不是这种情况）。正如您所指的 JLS 的那部分所表明的那样，原始类型只能在遗留（1.5 之前）代码中使用（除非您没有其他选择的某些特定情况）。无论如何，遗留代码将无法使用任何通用类型信息，因此保留理论上可以知道的信息是没有意义的。

Answer 2

对于原始类型，我们面临类型不安全操作的风险，警告显示原始类型绕过泛型类型检查，将不安全代码的捕获推迟到运行时。继续你的例子：

Wrapper<Bean> wrapper = new Wrapper<>();//<--- raw type warning
Bean<Integer>aBean = new Bean<>();
aBean.setObject(1);  //<--- setting object of integer
wrapper.setWrapped(aBean);
Bean<String>beanString = wrapper.getWrapped(); //<--- allowed but with warning
String s = beanString.getObject();//<--- now what ? Should it be allowed ?

对于上面的例子，正如评论所说：错误的类型转换应该会产生一个错误，但是在编译类型时是允许的，因为原始类型而不是编译器会生成警告，其中术语 "unchecked" 表示编译器没有足够的类型信息来执行确保类型安全所需的所有类型检查。但是，在运行时会产生错误，从而导致不必要的开销。

Raw Types的官方教程页面对此进行了说明。