百科问答小站 logo
百科问答小站 font logo



Java 泛型 <? super T> 中 super 怎么 理解?与 extends 有何不同? 第1页

  

user avatar   zhao-lao-shi-50-98 网友的相关建议: 
      

省去术语,目的是让读者先明白。

java是单继承,所有继承的类构成一棵树。

假设A和B都在一颗继承树里(否则super,extend这些词没意义)。

A super B 表示A是B的父类或者祖先,在B的上面。

A extend B 表示A是B的子类或者子孙,在B下面。

由于树这个结构上下是不对称的,所以这两种表达区别很大。假设有两个泛型写在了函数定义里,作为函数形参(形参和实参有区别):

1) 参数写成:T<? super B>,对于这个泛型,?代表容器里的元素类型,由于只规定了元素必须是B的超类,导致元素没有明确统一的“根”(除了Object这个必然的根),所以这个泛型你其实无法使用它,对吧,除了把元素强制转成Object。所以,对把参数写成这样形态的函数,你函数体内,只能对这个泛型做插入操作,而无法读

2) 参数写成: T<? extends B>,由于指定了B为所有元素的“根”,你任何时候都可以安全的用B来使用容器里的元素,但是插入有问题,由于供奉B为祖先的子树有很多,不同子树并不兼容,由于实参可能来自于任何一颗子树,所以你的插入很可能破坏函数实参,所以,对这种写法的形参,禁止做插入操作,只做读取


具体请看 《effective java》里,Joshua Bloch提出的PECS原则

java - What is PECS (Producer Extends Consumer Super)?




  

相关话题

  当年谷歌为什么不收购sun?而让Oracle买了去呢? 
  想用编程做点什么,但又不知道怎么做该怎么办? 
  在有能够转化为C、C++、Java的第四代语言Raptor的情况下,为什么还需要C等程序设计语言? 
  为什么时效上具有明显优势的基数排序(radix sort)没有快速排序流行? 
  python中的lambda 和java中的lambda有什么不同? 
  异常处理(exception handling)和错误处理(error handling)有什么区别? 
  Node.js 未来会超越 Java 吗? 
  当年谷歌为什么不收购sun?而让Oracle买了去呢? 
  运行时异常处理程序是如何实现的? 
  很多人都说 C# 语法怎么优雅,仅仅是因为 C# 的关键字多吗? 

前一个讨论
为什么梯度下降能找到最小值?
下一个讨论
2016年,你读过的最好的IT技术书有哪几本?





© 2025-02-17 - tinynew.org. All Rights Reserved.
© 2025-02-17 - tinynew.org. 保留所有权利