Java的擦除和转换

一点睛

在严格的泛型代码里，带泛型声明的类总应该带着类型参数。但为了与老的Java代码保持一致，也允许在使用带泛型声明的类时不指定类型参数。如果没有为这个泛型类指定类型参数，则该类型参数被称作一个raw type（原始类型），默认是该声明该参数时指定的第一个上限类型。

当把一个具有泛型信息的对象赋给另一个没有泛型信息的变量时，则所有在尖括号之间的类型信息都被扔掉了。比如说一个List<String>类型被转换为List，则该List对集合元素的类型检查变成了成类型变量的上限（即Object），这种情况被为擦除。

二实战——擦除

class Apple<T extends Number>
{
   T size;
   public Apple()
   {
   }
   public Apple(T size)
   {
      this.size = size;
   }
   public void setSize(T size)
   {
      this.size = size;
   }
   public T getSize()
   {
      return this.size;
   }
}
public class ErasureTest
{
   public static void main(String[] args)
   {
      Apple<Integer> a = new Apple<>(6);    // ①
      // a的getSize方法返回Integer对象
      Integer as = a.getSize();
      // 把a对象赋给Apple变量，丢失尖括号里的类型信息
      Apple b = a;      // ②
      // b只知道size的类型是Number
      Number size1 = b.getSize();
      // 下面代码引起编译错误
      //Integer size2 = b.getSize();  // ③
   }
}

三实战——擦除与转换

import java.util.*;

public class ErasureTest2
{
   public static void main(String[] args)
   {
      List<Integer> li = new ArrayList<>();
      li.add(6);
      li.add(9);
      List list = li;
      // 下面代码引起“未经检查的转换”的警告，编译、运行时完全正常
      List<String> ls = list;     // ①
      // 但只要访问ls里的元素，如下面代码将引起运行时异常。
      //System.out.println(ls.get(0));
   }
}

猜你喜欢