Java 泛型 <? super T>与 <? extends T>

首先,泛型的出现时为了安全,所有与泛型相关的异常都应该在编译期间发现,因此为了泛型的绝对安全,java在设计时做了相关的限制:

List<? extends E>表示该list集合中存放的都是E的子类型(包括E自身),由于E的子类型可能有很多,但是我们存放元素时实际上只能存放其中的一种子类型(这是为了泛型安全,因为其会在编译期间生成桥接方法<Bridge Methods>该方法中会出现强制转换,若出现多种子类型,则会强制转换失败),例子如下:

List<? extends Number> list=new ArrayList<Number>();
        list.add(4.0);//编译错误
        list.add(3);//编译错误

上例中添加的元素类型不止一种,这样编译器强制转换会失败,为了安全,Java只能将其设计成不能添加元素。

虽然List<? extends E>不能添加元素,但是由于其中的元素都有一个共性--有共同的父类,因此我们在获取元素时可以将他们统一强制转换为E类型,我们称之为get原则。

对于List<? super E>其list中存放的都是E的父类型元素(包括E),我们在向其添加元素时,只能向其添加E的子类型元素(包括E类型),这样在编译期间将其强制转换为E类型时是类型安全的,因此可以添加元素,例子如下:

 List<? super Number> list=new ArrayList<Number>();
        list.add(2.0);
        list.add(3.0);

但是,由于该集合中的元素都是E的父类型(包括E),其中的元素类型众多,在获取元素时我们无法判断是哪一种类型,故设计成不能获取元素,我们称之为put原则

实际上,我们采用extends,super来扩展泛型的目的是为了弥补例如List<E>只能存放一种特定类型数据的不足,将其扩展为List<? extends E> 使其可以接收E的子类型中的任何一种类型元素,这样使它的使用范围更广。

List<? super E>同理。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
Java中,`<? extends T>`和`<? super T>`是用来限定通配符(Wildcard)的上界和下界。 1. `<? extends T>`:表示通配符的上界是T或T的子类。使用`<? extends T>`可以使接受T或T的子类作为参数,但不能用于写入对象。 ```java public void processList(List<? extends Number> list) { for (Number num : list) { System.out.println(num); } } List<Integer> integers = new ArrayList<>(); integers.add(1); integers.add(2); processList(integers); // 可以传递List<Integer>或List<Number>,但不能传递List<Object> ``` 在上述示例中,`processList()`方法接受一个`List<? extends Number>`类的参数,这意味着可以传递`List<Integer>`或`List<Number>`作为参数。在方法内部,我们可以从list中读取Number类的元素,因为Number是Integer的父类。 2. `<? super T>`:表示通配符的下界是T或T的父类。使用`<? super T>`可以使接受T或T的父类作为参数,并且可以用于写入对象。 ```java public void addToList(List<? super Integer> list) { list.add(1); list.add(2); } List<Number> numbers = new ArrayList<>(); numbers.add(0.5); addToList(numbers); // 可以传递List<Integer>或List<Object>,但不能传递List<Number> System.out.println(numbers); // 输出:[0.5, 1, 2] ``` 在上述示例中,`addToList()`方法接受一个`List<? super Integer>`类的参数,这意味着可以传递`List<Integer>`或`List<Object>`作为参数。在方法内部,我们可以向list中添加Integer类的元素,因为Integer是Number的子类。 总结: - `<? extends T>`用于限定的上界,可以读取对象,但不能写入; - `<? super T>`用于限定的下界,可以写入对象,但读取时需要进行类转换。 使用通配符的目的是为了增加的灵活性,在不确定具体类的情况下,能够处理更广的数据类
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值