泛型
概述
-
声明中具有一个或者多个类型参数的类或者接口,就是泛型类或者接口,简称
泛型. -
eg List
就读作E的列表. -
每个泛型都定义
一组参数化的类型<K,V>,定义一个原生态类型Map. -
声明在
类名之后或者方法返回值之前public class Map <K,V>{...} -
学过模版方法吧，好好想想联系下。
1.几个术语:
| 术语 | 示例 |
|---|---|
| 参数化的类型 | List<String> |
| 实际类型参数 | String |
| 泛型 | List<E> |
| 形式类型参数 | E |
| 无限制通配符类型 | List<?> |
| 原生态类型 | List |
| 有限制类型参数 | <E extends Number> |
| 递归类型限制 | <T extends Comparable<T>> |
| 有限制通配符类型 | List<? extends Number> |
| 泛型方法 | static <E> List<E> asList(E[] a) |
| 类型令牌 | String.class |
2.例子:
class AClass<T,K,V>{}
<T>String aMethod(T t){}
<T extends Aclass>String aMethod(T t){}
List<? extends AClass> aMethod(){}
Effective Java中关于泛型的几个建议
- 请不要再新代码中使用原生态类型
- 消除非受检警告
- 列表优先于数组
- 优先考虑泛型
- 优先考虑泛型方法
- 使用有限制通配符来提升API灵活性
List,List<?>和List的区别
| 类型 | 编译检查 | 元素 |
|---|---|---|
| 原生态类型(List) | 编译时不做检查 | List元素可能不一致,这就是坑的所在 |
| 无限制通配类型(List<?>) | 编译时做检查 | List的元素必须是一致的,不能增加除null外的元素 |
| 泛型(List |
在编译时做类型推导,然后做检查 | List的元素必须是一致的,且可以在后边引用使用 |
通过以上对比,可以明白建议一了,前者在运行时的转换才会发现错误.泛型可以告诉编译器代码块(类,方法)接受哪些类型的对象,在编译时通过类型推导,就告知是否插入了错误类型的对象,
泛型可以保证在同一代码块内,类型一致.
参考
