Java泛型全解析
把一个对象放进集合中之后，集合就会忘记这个对象的数据类型，当再次取出该对象时，该对象的编译类型就变成Object类型了
为了解决上面的问题，就引出了泛型这一个概念
泛型接口和类
public class Fruit<T> {
private T info;
public Fruit(T info) {
this.info = info;
}
public T getInfo() {
return info;
}
public void setInfo(T info) {
this.info = info;
}
public static void main(String[] args) {
Fruit<String> lt = new Fruit<String>("苹果");
System.out.println(lt.getInfo());
Fruit<Integer> intg = new Fruit<Integer>(1);
System.out.println(intg.getInfo());
}
}
可以灵活的封装，并且同时有可以限定类型，泛型的接口和类更像是一种通用的模型，模型内部的类型由使用者自己限定
无论为泛型的类型形参传入哪一种类型的实参，对于Java来说，他们依然被当成同一个类处理，在内存中也只占用一块内存空间， 因此在静态方法、静态初始化块或者静态变量的声明和初始化中不允许使用类型形参
泛型接口和类的子类
public class Apple extends Fruit<String>{
public Apple(String info) {
super(info);
}
@Override
public String getInfo() {
return super.getInfo();
}
}
- 使用泛型接口或类的时候，虽然可以不加<>部分，但是推荐加上，不然还要强制类型转换等麻烦操作
- 重写父类方法或者实现接口的时候，返回值一定要跟父类（接口）一致
设定类型形参的上限
public class Fruit<T extends String & java.io.Serializable> {
private T info;
public Fruit(T info) {
this.info = info;
}
public T getInfo() {
return info;
}
public void setInfo(T info) {
this.info = info;
}
public static void main(String[] args) {
Fruit<String> lt = new Fruit<>("苹果");
System.out.println(lt.getInfo());
Fruit<?> intg = new Fruit<>("1");
System.out.println(intg.getInfo());
}
}
- 可以有多个限定条件，存在多个限定条件的时候，使用&连接
- 至多一个父类上限，多个接口上限
- 接口上限要在类上线后面
类型通配符
使用类型通配符的类是各种该类的泛型的父类
public class Fruit<T> {
private T info;
public Fruit(T info) {
this.info = info;
}
public T getInfo() {
return info;
}
public void setInfo(T info) {
this.info = info;
}
public static void main(String[] args) {
Fruit<String> lt = new Fruit<>("苹果");
System.out.println(lt.getInfo());
Fruit<?> intg = new Fruit<>(1);
System.out.println(intg.getInfo());
}
}
- 在Java 7以后可以使用菱形语法，在构造器后不需要完整的泛型信息
- “?”用于操作具体的某个泛型类的时候，还未确定最终使用时，采用的对象类型，就用问号作为占位的含义
通配符的上限设定
Fruit<? extends String> intg = new Fruit<>("1");
- 使用extends的方式限定?必须是String类型或者是其子类类型
通配符的下限设定
static <T,B> void getCollection(Fruit<? super T>b){
System.out.println(b);
}
- 一定要是T或者T的父类
泛型方法
修饰符<T,S>返回值类型 方法名(形参列表){
方法体
}
static <T,B> void getCollection(B[]b,Collection<T> c){
}
- 多个类型形参之间用逗号分隔
- 所有类型形参声明放在修饰符和方法返回类型之间
- 方法中定义的类型形参只能在该方法里使用，而接口或类中定义的类型形参可以在整个接口、类中使用
- 方法中的泛型参数无需显式传入实际类型参数
public class Fruit<T extends String & java.io.Serializable> {
private T info;
public Fruit(T info) {
this.info = info;
}
static <T,B> void getCollection(B[]b){
System.out.println(b);
}
public T getInfo() {
return info;
}
public void setInfo(T info) {
this.info = info;
}
public static void main(String[] args) {
Fruit.getCollection(new String[]{"1"});
}
}
- 存在泛型构造器，不能使用”菱形“语法
public <T> Fruit(T info) {
System.out.println(info);
}
泛型方法与类型通配符的区别
- 泛型方法允许类型形参被用来 表示方法的一个或多个参数之间的类型依赖关系 ，或者 方法返回值与参数之间的类型依赖关系 ，如果没有这样的类型依赖关系，就不应该使用泛型方法
- 类型通配符既可以在方法签名中定义形参的类型，也可以用于定义变量类型，但泛型方法中的类型形参必须在对应方法中显式声明
擦除和转换
擦除
当把一个具有泛型信息的对象赋值给另一个没有泛型信息的变量时，尖括号中的泛型信息就会被擦除扔掉
转换
当把一个没有泛型信息的对象赋值给另一个泛型信息的变量时，不会发生报错，会自动转换
正文到此结束
热门推荐
相关文章
近期评论
-
666
-
文章和留言都翻到11页了 没有OOM
-
-
朋友，翻页到11页，及以后，会出现OOM，无法访问
-
-
-
-
版本号是多少，你可以下载哪个代码仓库，jdk选1.8 直接跑就行
-
-
Loading...
![[HBLOG]公众号](https://www.liuhaihua.cn/img/qrcode_gzh.jpg)
