定义:
- 声明中具有一个或多个类型参数的类或者接口,就是泛型。如List<E>
- 每一种泛型定义一组参数化类型,格式是C/I<实际类型参数>,如List<String> 是一个参数化类型
- 每一种泛型都定义一个原生态类型。如List<E>的原生态类型为List,其存在的主要作用是为了和之前的版本兼容
观点:
- 最好是在编译时期发现错误,所以泛型尽量不适用原生态类型
- 原生态类型是不安全的
- 可以使用无限制通配符或者有限制通配符取代原生态类型,这个时候不关心或者不确定实际类型参数
- 必须在类文字中使用原生态类型,如List.class
- 泛型的instance of 之后需要将对象转为通配符类型如
if(o instance of Set){ Set<?> s = (Set<?>) o; }
所以尽量不适用原生态类型
一些术语:
这个图分为两类,主要分为两类,一是类型,二是参数