什么是原始类型？

Question

什么是原始类型？

Answer 1

Java语言规范对原始类型的定义如下：

JLS 4.8原始类型

原始类型定义为以下之一：

通过采用通用类型声明的名称而没有随附的类型参数列表形成的引用类型。

数组类型，其元素类型为原始类型。

未从的超类或超接口继承static的原始类型的非成员类型。RR

这是一个例子说明：

public class MyType<E> {
    class Inner { }
    static class Nested { }

    public static void main(String[] args) {
        MyType mt;          // warning: MyType is a raw type
        MyType.Inner inn;   // warning: MyType.Inner is a raw type

        MyType.Nested nest; // no warning: not parameterized type
        MyType<Object> mt1; // no warning: type parameter given
        MyType<?> mt2;      // no warning: type parameter given (wildcard OK!)
    }
}

这MyType<E>是参数化类型（JLS 4.5）。通常，通俗地简称MyType为这种类型是很常见的，但是从技术上来说，名称是MyType<E>。

mt在上述定义的第一个要点之前具有原始类型（并生成编译警告）；inn在第三个要点之前也具有原始类型。

MyType.Nested即使是参数化类型的成员类型，它也不是参数化类型MyType ，因为它是static。

mt1和mt2都是使用实际类型参数声明的，因此它们不是原始类型。

原始类型有何特别之处？

本质上，原始类型的行为与引入泛型之前的行为相同。也就是说，以下在编译时完全合法。

List names = new ArrayList(); // warning: raw type!
names.add("John");
names.add("Mary");
names.add(Boolean.FALSE); // not a compilation error!

上面的代码运行得很好，但是假设您还具有以下内容：

for (Object o : names) {
    String name = (String) o;
    System.out.println(name);
} // throws ClassCastException!
  //    java.lang.Boolean cannot be cast to java.lang.String

现在，我们在运行时遇到了麻烦，因为names其中包含的不是instanceof String。

据推测，如果你想names仅仅是遏制String，您可以或许仍然使用原始型和手动检查每一个 add自己，然后手动施放到String每一个项目从names。更好的是，尽管不要使用原始类型，而让编译器利用Java泛型的强大功能为您完成所有工作。

List<String> names = new ArrayList<String>();
names.add("John");
names.add("Mary");
names.add(Boolean.FALSE); // compilation error!

当然，如果你不要想names允许Boolean，那么你可以将它声明为List<Object> names，和上面的代码将编译。

原始类型与