qq52878691
2018-01-20 15:04
采纳率: 50%
浏览 9.4k
已采纳

怎样理解java中Function<? super V, ? extends T>这样的声明?

小白刚学java,有点C++基础,core java 10看到泛型这一章觉得和C++的泛型差别太过巨大,理解非常费劲,语法看着也及其别扭,JDK的有些API有些函数声明都看不懂。。。
比如Comparator里面的这个方法:
public static Comparator comparing(
Function<? super T, ? extends U> keyExtractor, Comparator<? super U> keyComparator)
怎么理解Function<? super T, ? extends U>这个声明呢,网上查了半天都在讲生产者消费者的的准则,
但好像和这个又对不上号,苦思冥想快2天了。。。求解
PS:还有为啥我觉得java的泛型系统像是个半成品,好多莫名其妙的限制啊!!??

  • 写回答
  • 好问题 提建议
  • 关注问题
  • 收藏
  • 邀请回答

8条回答 默认 最新

  • threenewbee 2018-01-20 16:47
    已采纳

    再补充下,为什么参数是super返回值是extends
    如果我们把函数想象成一个机器,比如面包机
    参数是它需要的原料,比如白面粉
    返回值是它能做的成品,比如面包

    显然,对于原料我们需要提供的是白面粉或者它的派生类,比如一级白面粉、xx牌白面粉……但是如果是黑面粉,或者大米,这个面包机都不能工作。
    而对于结果,恰恰相反,如果你要一个面包,这个机器能满足你,如果你要点心,也没有问题,任何基类都没有问题。但是如果你要切片面包或者法国面包,这个机器未必能满足你的要求了。

    类似的,对于定义Lambda寒暑,我们需要让参数“严格”,用super,只能是派生类。对于返回值,我们需要让参数“宽松”,用extends,必须是基类。

    评论
    解决 3 无用 2
    打赏 举报
  • 查看更多回答(7条)

相关推荐 更多相似问题