这篇Java教程基于JDK1.8。教程中的示例和实践不会使用未来发行版中的优化建议。
原始类型
原始类型 是指没有任何类型参数的泛型类或接口的名称。比如,给出如下的Box类:
public class Box<T> {
public void set(T t) { /* ... */ }
// ...
}
要创建参数化类型的Box<T>,需要为形式类型参数T提供一个实际的类型参数:
Box<Integer> intBox = new Box<>();
如果实际类型参数被省略,你创建的就是一个原始类型的Box<T>:
Box rawBox = new Box();
因此,Box类就是*Box<T>*泛型类的原始类型。但是非泛型类或接口的类型不是原始类型。
原始类型出现在遗留代码中,因为在JDK 5.0之前,许多API类(如Collections类)都不是通用的。当使用原始类型时,你实际上得到了预泛型行为—一个Box 给你一个 对象。为了向后兼容,允许将参数化类型分配给它的原始类型:
Box<String> stringBox = new Box<>();
Box rawBox = stringBox; // OK
但是,如果你将原始类型分配给参数化类型,你将得到一个警告:
Box rawBox = new Box(); // rawBox is a raw type of Box<T>
Box<Integer> intBox = rawBox; // warning: unchecked conversion
如果使用原始类型调用在相应泛型类型中定义的泛型方法,也会得到警告:
Box<String> stringBox = new Box<>();
Box rawBox = stringBox;
rawBox.set(8); // warning: unchecked invocation to set(T)
警告显示原始类型绕过泛型类型检查,将不安全代码的捕获延迟到运行时。因此,应该避免使用原始类型。
类型擦除 一节有更多关于Java编译器使用原始类型的信息。
非检查错误消息
如前所述,在将遗留代码与通用代码混合时,可能会遇到类似以下的警告消息:
Note: Example.java uses unchecked or unsafe operations.
Note: Recompile with -Xlint:unchecked for details.
这可能发生在使用一个旧的API操作原始类型时,如下面的例子所示:
public class WarningDemo {
public static void main(String[] args){
Box<Integer> bi;
bi = createBox();
}
static Box createBox(){
return new Box();
}
}
术语“unchecked”意味着编译器没有足够的类型信息来执行确保类型安全所需的所有类型检查。默认情况下,“unchecked”警告是禁用的,尽管编译器会给出提示。要查看所有“未选中”警告,请使用-Xlint:unchecked重新编译。
使用-Xlint:unchecked重新编译前面的示例,会显示以下附加信息:
WarningDemo.java:4: warning: [unchecked] unchecked conversion
found : Box
required: Box<java.lang.Integer>
bi = createBox();
^
1 warning
要完全禁用未选中的警告,请使用-Xlint:-unchecked标志。@SuppressWarnings(“unchecked”)注释抑制未经检查的警告。如果您不熟悉@SuppressWarnings语法,请参阅注解。