转载

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);
}

泛型方法与类型通配符的区别

  • 泛型方法允许类型形参被用来 表示方法的一个或多个参数之间的类型依赖关系 ,或者 方法返回值与参数之间的类型依赖关系 ,如果没有这样的类型依赖关系,就不应该使用泛型方法
  • 类型通配符既可以在方法签名中定义形参的类型,也可以用于定义变量类型,但泛型方法中的类型形参必须在对应方法中显式声明

擦除和转换

擦除

当把一个具有泛型信息的对象赋值给另一个没有泛型信息的变量时,尖括号中的泛型信息就会被擦除扔掉

转换

当把一个没有泛型信息的对象赋值给另一个泛型信息的变量时,不会发生报错,会自动转换

原文  http://zoeminghong.github.io/2016/05/25/generic20160525/
正文到此结束
Loading...