Java中的泛型通配符详解!extends和super的使用分析

? 通配符类型

  • ? extends T表示类型的上界:

    • 表示参数化类型的可以是T或者T的子类
  • ? super T表示类型的下界:

    • 表示参数化类型是这个类型的超类型,即父类型,直至Object

? extends T

  • 上界? extends T只能往外取,不能往里存
  • 通配符 ? 和类型参数 T 的区别:

    • 对于编译器来说,所有的T都代表同一种类型
    • 通配符?没有这样的约束,只表示放置了一个类型,具体是什么类型不能确定
  • ? extends T的作用:

    • 在List中不能使用add方法
    • 可以在初始化时,指定不同的类型
    • 这样就能读取出不同类型的数据

? super T

  • ? super T可以往里存数据,往外取数据只能放在Object对象中
  • ? super T只能添加T类型和T类型的子类,不能添加T类型的父类,读取出来的东西只能存放在Object类里

    • 下界规定了元素的最小粒度的下限,放宽了容器元素的类型控制
    • 因为元素是T的基类,所以往里存比T 小的都可以
    • 出于类型安全的考虑,可以往里加入T类的对象或者T类的任何子类的对象
  • 由于编译器并不知道集合的内容源自T的哪一个超类,所以不允许加入特定的任何超类对象
  • 在读取时,编译器不知道是什么类型的情况下,只能返回Object对象

    • 因为Object是任何Java类的最终父类
    • 这时,元素的类型信息全部丢失

PECS原则

  • PECS原则: Producer Extends Consumer Super

    • 频繁往外读取内容的,适合使用上界Extends
    • 经常往里插入内容的,适合使用下界Super

总结

  • extends可以用于返回类型限定
  • super可以用于参数类型限定,不能用于返回类型限定
  • ? 既不能用于方法参数传入,也不能用于方法返回

  • 带有extends子类型限定的通配符可以向泛型对象进行读取
  • 带有super超类型限定的通配符可以向泛型对象中进行写入
上一篇:Android性能调优


下一篇:WordPress和github page的选择和搭建