什么是泛型
把类型明确的工作推迟到创建对象或调用方法的时候的特殊的类型。
为什么需要泛型
早期的Java使用Object来代表任意类型的,但是向下转型有强转的问题,这样程序就不太安全。下面就是强转带来的问题。父类引用如果指向父类对象的话,向下转型为子类对象时,编译没有出错。运行时报ClassCastException。
如果没有泛型,集合会变成下面这样。
- Collection集合装载的应该都是Dog对象,但是也可以把一个Cat对象放到里面去,这是没有任何语法错误的,因为Collection内部会采用一个Object类型来存储Dog和Cat对象。在调用Collection.get()的时候,外边获取的是Object对象,还需要强制转换成Dog对象,一个不小心还会把Cat转成Dog,这时候就报错了。
- 有了泛型之后,
- 代码更加简洁。(不用强制转换了)
- 程序更加健壮。(只要编译期没有报错,运行时就不会出现ClassCastException了)
泛型方法&泛型类
泛型是如何工作的
泛型是通过类型擦除完成的。比如用List存储String类型,在编译的时候,编译器只是检查放进List的元素是否为String,之后会把所有类型相关的信息都擦除,编译后得到的字节码文件里用使用Object原始类型来存储元素,同时把String类型保存起来。在获取元素的时候,再把Object类型的元素向下强转为String类型。
常见问题
以Object为参数的List和以String为参数的List是不能相互复制的。因为List可以是放很多类型,List只能放String,功能不相同。