java的泛型原理

       在java中，有一种很特殊的类型，叫泛型。它一般是在类或接口后面加上一对<T/K/U>,里面通过一个大写的英文字母来表示该类或接口实现了泛型，其实严格来说泛型是一种类型是不正确的，下面简单说说泛型的原理。

        首先举个例子。

        java中泛型接触最多的属集合这部分知识了，诸如Collection<T>、List<T>、Map<K,V>、HashMap<K,V>等等，当然我们也可以自己来是实现泛型，如：

public class Piont<T>{

010203

private T x; private T y; Point(...){有参构造}

  }

       在Point类中有两个属性x，y都是T类型的，那么再最如下操作：

02	Point<Integer> p1 =new Point<Integer>(1,2);

03	p1.setX(1);

04	int x1 =p1.getX();

05	Point p2 =p1;

06	p2.setX("一");

07	x1 =p1.getX();

   这时，在07行会报ClassCastException异常，也就是类转换异常，但是这是为什么呢？

   在java中，泛型的原型是Object，定义了泛型只是编译器在做一些验证工作。当我们对泛型类型设置值时，会检查是否满足类型要求。当我们获取一个泛型类型的值时，会自动进行类型转换，指定泛型必须时引用类型。

   那么在上面的02行，声明p1时，指定泛型的实际类型为Integer，但实际上，创建的Point对象中，x,y属性是Object类型，这里只是应当将它当做Integer看待。

   p1.setX(1)时，由于参数是T，这里会验证实参是否为Integer,若不是，则编译失败！而且可以传入基本类型，因为还会自动装箱。同样，获取时，也会自动进行造型。这里无需显示的进行类型转换。

   在05行处，由于没有指定泛型，则使用默认的Object类型，那么在06行就相当于把x的类型造型为String类型，在07行再次获取x的值时，实际上是一个String类型的字符串，而要赋给一个基本类型int，自然会报转换异常。