教程：学习Java语言
课程：泛型（已更新）
章节：泛型类型

原始类型

原始类型是没有任何类型参数的泛型类或接口的名称。例如，给定泛型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给您提供Object。为了向后兼容性，将参数化类型分配给其原始类型是允许的：

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"警告被禁用，但编译器会给出提示。要查看所有"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语法不熟悉，请参阅注解。