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

Question

小白刚学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的泛型系统像是个半成品，好多莫名其妙的限制啊！！？？

Answer 1

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

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

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