Java™ 教程(泛型原始类型)

泛型原始类型

原始类型是没有任何类型参数的泛型类或接口的名称,例如,给定Box泛型类:java

public class Box<T> {
    public void set(T t) { /* ... */ }
    // ...
}

要建立参数化类型的Box<T>,请为形式类型参数T提供实际类型参数:segmentfault

Box<Integer> intBox = new Box<>();

若是省略实际的类型参数,则建立一个原始类型Box<T>安全

Box rawBox = new Box();

所以,Box是泛型Box<T>的原始类型,可是,非泛型类或接口类型不是原始类型。ui

原始类型出如今遗留代码中,由于许多API类(例如Collections类)在JDK 5.0以前不是泛型的,使用原始类型时,你实际上得到预泛型行为 — Box会为你提供Object,为了向后兼容,容许将参数化类型分配给其原始类型:code

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

若是使用原始类型调用相应泛型类型中定义的泛型方法,也会收到警告:get

Box<String> stringBox = new Box<>();
Box rawBox = stringBox;
rawBox.set(8);  // warning: unchecked invocation to set(T)

警告显示原始类型绕过泛型类型检查,将不安全代码的捕获延迟到运行时,所以,你应该避免使用原始类型。编译器

类型消除部分提供了有关Java编译器如何使用原始类型的更多信息。string

未经检查的错误消息

如前所述,在将遗留代码与泛型代码混合时,你可能会遇到相似于如下内容的警告消息:it

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”警告被禁用,尽管编译器会提示,要查看全部“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语法,请参阅注解


上一篇:泛型类型

下一篇:泛型方法

相关文章
相关标签/搜索