彻底搞懂了 泛型上下边界!跟普通泛型比,抽象层级都不同!

<? extends T>和<? super T>是Java泛型中的“通配符(Wildcards)”和“边界(Bounds)”的概念。

<? extends T>:是指 “上界通配符(Upper Bounds Wildcards)”
<? super T>:是指 “下界通配符(Lower Bounds Wildcards)

泛型可以是看成容器里元素的尺子。
往容器里放,元素必须比每把尺子都要小;
取出的时候,必须用比最大的尺子还要大的引用来接收:

<T>:这里T就是对元素要求的尺子;尺子只有T一把

<? extends T>和<? super T>:
这里面的?是对尺子的通配,而不是对放进去的元素的通配;
相当于无数个尺子 <t> 的并集,
尺子t有无数把,对于放进去的元素,每把尺子你都得满足;

所以:

<T>:

    放入元素只要是 T 的子类就行;
    接收用T的父类就行;

<? extends T>:
    最大尺子为T,但是最小尺子是无限小的,无法知道最小的尺子是什么,
    不知道你要放入的元素能不能小于最小的尺子,所以不能放入元素;
    但是对于已经放进去的元素,他都能满足最大的尺子T,所以取出的
    时候可以用 T 类型引用来接收它。他用于需要定义里面元素的行为的时候。
    
<? super T>:
    最小的尺子是T,所以你知道要放入的元素只要比这个最小的尺子小就行了。
    但是取出的时候,对于已经放进去的元素,你不知道它能满足最大的尺子是
    什么,所以你只能用Object引用来接收。放进去的对象你是没法用的,你不知道

他的行为。
    
所以,泛型和泛型边界的抽象层级完全不同;
        泛型是对容器内元素类型的抽象,是对元素的约束;
        而泛型边界是对泛型的抽象,是对元素的约束的集合。
            对于泛型边界,它抽象出了一组约束。
            每个约束都要在边界内,这是第一层:
            容器内每个元素必须在每个约束之下,这是第二层。

  • 3
    点赞
  • 8
    收藏
    觉得还不错? 一键收藏
  • 4
    评论
评论 4
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值