java泛型是在java se 1.5时引入的新特性。其本质是一种参数化类型,也就是说所操作的数据类型被指定为一个参数(type parameter)这种参数可以用在类、接口和方法的创建中,分别称为泛型类、泛型接口和泛型方法。
在没有泛型时,使用对Object的引用来实现类型任意化,但是这需要强制类型转换,这需要知道实际的参数类型。否则在编译阶段可能不会报错,而在运行阶段出现异常。
泛型作为一种参数类型只可用于类,而不能用于基本数据类型。
泛型只在编译阶段有限,而在编译后会做去泛型处理,即类型擦除。在正确检测泛型后,会将起信息擦除,并在对象进去和离开方法边界处添加类型检查和转换的方法。所以泛型信息不会进去到运行阶段。
泛型在逻辑上可以看做是不同的类型,实例化都是相同的基本类型,即Generics。
通配符:
常见有T、E、K、V、N、?,其实这只是约定俗称的规矩,用其他字母也可以,但是就丧失了代码的可读性。
泛型的上下限与读写:
<? extends A> 类型只能是A及其子类,上限是A类,该参数只读不写。 <? super A> 类型只能是A及其父类,下限是A类,该参数只写不读,这遵循了多态的原则。 泛型的上下边界设计遵循了**PECS(Producer Extends Consumer Super)**原则