目录
一、泛型的优点
在没有泛型的情况的下,通过对类型 Object 的引用来实现参数的“任意化”,“任意化”带来的缺点是要做显式的强制类型转换,而这种转换是要求开发者对实际参数类型可以预知的情况下进行的。对于强制类型转换错误的情况,编译器可能不提示错误,在运行的时候才出现异常,这是本身就是一个安全隐患。Java 泛型(generics)是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制,该机制允许开发者在编译时检测到非法的类型,并且所有的强制转换都是自动和隐式的。
泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。
public class GlmapperGeneric<T> {
private T t;
public void set(T t) { this.t = t; }
public T get() { return t; }
public static void main(String[] args) {
// do nothing
}
/**
* 不指定类型
*/
public void noSpecifyType(){
GlmapperGeneric glmapperGeneric = new GlmapperGeneric();
glmapperGeneric.set("test");
// 需要强制类型转换
String test = (String) glmapperGeneric.get();
System.out.println(test);
}
/**
* 指定类型
*/
public void specifyType(){
GlmapperGeneric<String> glmapperGeneric = new GlmapperGeneric();
glmapperGeneric.set("test");
// 不需要强制类型转换
String test = glmapperGeneric.get();
System.out.println(test);
}
}
上面这段代码中的 specifyType 方法中 省去了强制转换,可以在编译时候检查类型安全,可以用在类,方法,接口上。
二、泛型中的通配符
常用的T,E,K,V,?,本质上这些都是通配符,没啥区别,只不过是编码时的一种约定俗成的东西。比如上述代码中的 T ,我们可以换成 A-Z 之间的任何一个 字母都可以,并不会影响程序的正常运行,但是如果换成其他的字母代替 T ,在可读性上可能会差一些。通常情况下,T,E,K,V,?是这样约定的:
-
?表示不确定的 java 类型
-
T (type) 表示具体的一个java类型
-
K V (key value) 分别代表java键值中的Key Value
-
E (element) 代表Element
-
//水果盘 public class Plate<T> { private T item; public T getItem() { return item; } public void setItem(T item) { this.item = item; } }
//Lev 1 class Food { } //Lev 2 class Fruit extends Food { } class Meat extends Food { } //Lev 3 class Apple extends Fruit { } class Banana extends Fruit { } class Pork extends Meat { } class Beef extends Meat { } //Lev 4 class RedApple extends Apple { } class GreenApple extends Apple { }
1、上界通配符<?extends E>
用法: 用 extends 关键字声明,表示参数化的类型是E或E的子类,只能get不能set。
用途:方法参数声明
//<? extends Fruit>测试:不能存只能取,取出来的东西是Fruit或Fruit的子类对象,可以向上转型,放在Fruit和Fruit的父类中,或者做强制转换
Plate<? extends Fruit> extendsFruitPlate = new Plate<>();
// extendsFruitPlate.setItem(fruit);//error
// extendsFruitPlate.setItem(apple);//error
// extendsFruitPlate.setItem(food);//error
Fruit getFruit2=extendsFruitPlate.getItem();
Apple getApple2= (Apple) extendsFruitPlate.getItem();
Food food2=extendsFruitPlate.getItem();
2.下界通配符<?super E>
用法:用super关键字声明,表示参数化的类型是E或E的子类,能set,get要做类型转换
用途:
Plate<? super Fruit> supperFruitPlate = new Plate<>();//能存放包括Fruit和以Fruit为父类的所有元素
supperFruitPlate.setItem(apple);
supperFruitPlate.setItem(fruit);
supperFruitPlate.setItem(redApple);
// supperFruitPlate.setItem(meat);//error
// supperFruitPlate.setItem(food);//error:不能放Fruit的父类
Fruit getFruit = (Fruit) supperFruitPlate.getItem();
Apple getApple = (Apple) supperFruitPlate.getItem();
Object object = supperFruitPlate.getItem();
Food food1= (Food) supperFruitPlate.getItem();
【2】Java泛型解惑之 extends T>和 super T>上下界限