泛型原理
如果没有设置泛型,获取值时需要强制类型转换
public class GenericTest {
public static void main(String[] args) {
List list = new ArrayList<>();
list.add("a");
list.add(1);
//获取值时,需要类型强制转换
String str = (String) list.get(0);
}
}
如下面代码,设置了泛型String
public class GenericTest {
public static void main(String[] args) {
List<String> list = new ArrayList<>();
list.add("a");
//如果不设置泛型,获取值时,需要类型强制转换
String str = list.get(0);
}
}
编译后,泛型类型被擦除了,获取值自动设置了类型转换
List —> List
编译后 <>没有了,或者说他们都变成了 “裸类型(Raw type)” ,裸类型可以被视为所有类型泛型化实例的共同父类型。这其实就是 类型擦除
。 而且,因为类型都变为了裸类型,所以只有在元素访问时,加入了从 Object类型到 String类型的强制类型转换.
原理
泛型本质是将数据类型参数化,它通过擦除的方式来实现。声明了泛型的 .java 源代码,在编译生成 .class 文件之后,泛型相关的信息就消失了。可以认为,源代码中泛型相关的信息,就是提供给编译器用的。泛型信息对 Java 编译器可以见,对 Java 虚拟机不可见。
类型擦除
Java泛型原理其实是使用到了【类型擦除】这个方法,比如说我们平常使用到的 ArrayList或者HashMap,在使用的时候,都会去为其定义类型,那么在类型擦除这个机制下,Java代码编译后这些类型都消失了,或者说变成了 “裸类型”,这个裸类型可以理解为所有类型泛型化实例的共同父类型(Object),使用这样的机制还有一个重要的目的就是为了让 Java5之前编译出来的Class文件在引入泛型后可以继续使用。
为什么使用泛型,使用泛型的好处?
在没有使用泛型的时期,假如我们定义List容器没有存储数据的类型,那我们就可以存储多种数据类型,比如我们原意是要存储整型,如果存储了部分字符串类型; 在获取list值value时,需要强制类型转换,有可能造成一些错误。如 ClassCastException 异常。
好处
- 提供了编译期类型安全,确保只把正确类型的对象放入对象中
- 避免强制类型转换
List<? extends T>和List <? super T>之间有什么区别 ?
super
的<>
里面是自身或父类,内部元素是自身或子类;相反extends
的<>
里面是自身或子类,只读