14.泛型

泛型

泛型是定义一种模板,例如ArrayList,然后在代码中为用到的类创建对应的ArrayList<类型>,由编译器针对类型作检查,既实现了编写一次,万能匹配,又通过编译器保证了类型安全。
泛型是编写模板代码来适应任意类型;泛型的好处是使用时不必对类型进行强制转换,它通过编译器对类型进行检查
本质是参数化类型,将原来具体类型参数化,在使用/调用时传入具体类型

泛型类、泛型方法和泛型接口

泛型类:class XXX {}
示例:

public class Generic <T>{
    public void show (T t){
        System.out.println(t);
    }
}

泛型方法:public void show (T t){}
示例:

public class Generic {
    public <T> void show (T t){
        System.out.println(t);
    }
}

泛型接口:public interface Generic {}

使用泛型

使用泛型时,把泛型参数替换为需要的class类型,例如:ArrayList,ArrayList等;
可以省略编译器能自动推断出的类型,例如:List list = new ArrayList<>();;
不指定泛型参数类型时,编译器会给出警告,且只能将视为Object类型;

// 可以省略后面的Number,编译器可以自动推断泛型类型:
List<Number> list = new ArrayList<>();

可以在接口中定义泛型类型,实现此接口的类必须实现正确的泛型类型。
泛型可以同时定义多种类型,例如Map<K, V>

泛型实现方式:擦拭法(Type Erasure)

所谓擦拭法是指,虚拟机对泛型其实一无所知,所有的工作都是编译器做的
Java的泛型是由编译器在编译时实行的,编译器内部永远把所有类型T视为Object处理,但是,在需要转型的时候,编译器会根据T的类型自动实行安全地强制转型
Java泛型的局限:

  • 不能是基本类型,例如int,因为实际类型是Object,Object类型无法持有基本类型
  • 无法取得带泛型的Class,以Pair为例,所有泛型实例,无论T的类型是什么,getClass()返回同一个Class实例,因为编译后它们全部都是Pair
  • 无法判断带泛型的类型
  • 不能实例化T类型,要实例化T类型,必须借助额外的Class参数并通过反射来实例化,使用的时候,也必须传入Class
    一个例子是:
public class Pair<T> {
    private T first;
    private T last;
    public Pair() {
        // Compile error:
        first = new T();
        last = new T();
    }
    // The right way:
     public Pair(Class<T> clazz) {
        first = clazz.newInstance();
        last = clazz.newInstance();
    }
}
//invoking
Pair<String> pair = new Pair<>(String.class);

泛型方法要防止重复定义方法,例如:public boolean equals(T obj),编译器会阻止其override原有的方法
子类可以获取父类的泛型类型

通配符

extends通配符,可以确定泛型匹配的上界,同时实现只读功能。
以Number为例,<? extends Number>通配符的一个重要限制:方法参数签名setFirst(? extends Number)无法传递任何Number的子类型给setFirst(? extends Number),唯一的例外是可以给方法参数传入null。
使用类似<? extends Number>通配符作为方法参数时表示:
方法内部可以调用获取Number引用的方法,例如:Number n = obj.getFirst();;
方法内部无法调用传入Number引用的方法(null除外),例如:obj.setFirst(Number n);。
使用extends通配符表示可以读,不能写。
使用类似定义泛型类时表示:泛型类型限定为Number以及Number的子类。

super通配符
使用<? super Integer>通配符表示:允许调用set(? super Integer)方法传入Integer的引用;不允许调用get()方法获得Integer的引用。唯一例外是可以获取Object的引用:Object o = p.getFirst()。
换句话说,使用<? super Integer>通配符作为方法参数,表示方法内部代码对于参数只能写,不能读。

对比extends和super通配符
作为方法参数,<? extends T>类型和<? super T>类型的区别在于:

  • <? extends T>允许调用读方法T get()获取T的引用,但不允许调用写方法set(T)传入T的引用(传入null除外);
  • <? super T>允许调用写方法set(T)传入T的引用,但不允许调用读方法T get()获取T的引用(获取Object除外)。

extends允许读不允许写,super允许写不允许读。使用原则是用PECS原则:Producer Extends Consumer Super,即:如果需要返回T,它是生产者(Producer),要使用extends通配符;如果需要写入T,它是消费者(Consumer),要使用super通配符。

无限定通配符
Java的泛型还允许使用无限定通配符(Unbounded Wildcard Type),即只定义一个?
无限定通配符<?>很少使用,可以用替换,同时它是所有类型的超类。

可变参数

用作方法形参,方法参数可变,形如public static int sum(int…a){},这里的a是数组,可变参数要放到最后
示例:List.of(E…elements),Set.of(E…elements)

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值