泛型！擦除与转换！

在严格的泛型代码里，带泛型声明的类总是应该带着类型参数，但为了与老的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)); 
}
}