在java中,有一种很特殊的类型,叫泛型。它一般是在类或接口后面加上一对<T/K/U>,里面通过一个大写的英文字母来表示该类或接口实现了泛型,其实严格来说泛型是一种类型是不正确的,下面简单说说泛型的原理。
首先举个例子。
java中泛型接触最多的属集合这部分知识了,诸如Collection<T>、List<T>、Map<K,V>、HashMap<K,V>等等,当然我们也可以自己来是实现泛型,如:
public class Piont<T>{ |
01 02 03 | private T x; private T y ; |
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(); |
在java中,泛型的原型是Object,定义了泛型只是编译器在做一些验证工作。当我们对泛型类型设置值时,会检查是否满足类型要求。当我们获取一个泛型类型的值时,会自动进行类型转换,指定泛型必须时引用类型。
那么在上面的02行,声明p1时,指定泛型的实际类型为Integer,但实际上,创建的Point对象中,x,y属性是Object类型,这里只是应当将它当做Integer看待。
p1.setX(1)时,由于参数是T,这里会验证实参是否为Integer,若不是,则编译失败!而且可以传入基本类型,因为还会自动装箱。同样,获取时,也会自动进行造型。这里无需显示的进行类型转换。
在05行处,由于没有指定泛型,则使用默认的Object类型,那么在06行就相当于把x的类型造型为String类型,在07行再次获取x的值时,实际上是一个String类型的字符串,而要赋给一个基本类型int,自然会报转换异常。