在严格的泛型代码里,带泛型声明的类总是应该带着类型参数,但为了与老的java代码保持一致,也允许在使用带泛型声明的类时不指定类型参数。如果没有为这个泛型类指定类型参数,则该类型参数被称作一个raw type(原始类型),默认是声明该参数时指定的第一个上限类型。 当把一个具有泛型信息的对象赋给另一个没有泛型信息的对象时,则所有在<>之间的类型信息都被扔掉了。比如说一个List<String>类型被转换为List,则该List对集合元素的类型检查变成了类型变量的上限(即Object)。
class Demo<T extends Number>
{
T size;
public Demo(){}
public Demo(T size)
{
this.size = size;
}
public void setT(T size)
{
this.size = size;
}
public T getSize()
{
return this.size;
}
}
class TestEraser
{
public static void main(String[] args)
{
//method1();
method2();
//method3();
}
/**
把一个d赋给不带泛型信息的d2变量时,编译器会流失d对象的泛型信息,但因为Demo类型的参数类型上限是Number类,
所以编译器依然知道d2.getSize()的返回值类型是Number类型。
*/
public static void method1()
{
Demo<Integer> d = new Demo<>(6);
Integer id = d.getSize();
Demo d2 = d; //把d对象赋给Demo类型的变量,会丢失泛型信息
//Integer id2 = d2.getSize(); //编译错误
Number id2 = d2.getSize();
}
/**
下面程序中定义了一个List<Integer>对象,当把对象li赋给一个不带泛型的List变量list后,编译器
就会流失前者的泛型信息,这就是擦除。但java允许直接把List对象赋给一个List<Type>(Type可以是
任何类型)的变量。
从逻辑上看,List<String> 是list的子类,如果直接把一个List对象赋给一个List<String>对象
将引发编译错误,但对于泛型而言,可以直接把一个List对象赋给一个List<String>对象,编译器
仅仅提示“未经检查的转换”,但要访问List<String>对象中的元素将会引发ClassCastException异常
*/
public static void method2()
{
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));
}
/**
method2代码虽然可以编译通过,但实际上对list变量实际上引用的是List<Integer>集合,所以当试图
把集合里的元素当成String类型的对象取出时,将引发ClassCastException类型转换异常,上面的代码
可以转换成下面的代码就好理解了。
*/
public static void method3()
{
List li = new ArrayList();
li.add(6);
li.add(9);
//运行异常
System.out.println((String)li.get(0));
}
}