java中Function<? super V, ? extends T>”经典理解:
如果我们把函数想象成一个机器,比如面包机
参数是它需要的原料,比如白面粉
返回值是它能做的成品,比如面包
显然,对于原料我们需要提供的是白面粉或者它的派生类,比如一级白面粉、xx牌白面粉……但是如果是黑面粉,或者大米,这个面包机都不能工作。
而对于结果,恰恰相反,如果你要一个面包,这个机器能满足你,如果你要点心,也没有问题,任何基类都没有问题。但是如果你要切片面包或者法国面包,这个机器未必能满足你的要求了。
类似的,对于定义Lambda寒暑,我们需要让参数“严格”,用super,只能是派生类。对于返回值,我们需要让参数“宽松”,用extends,必须是基类
package cn.quantgroup.pinjamancepat.controller.ka;
import java.util.List;
import java.util.Vector;
class Test {
public static void main(String[] args) {
(new Test()).act();
}
public void act() {
Vector<First> vs = new Vector<First>();
// vs.add(new Base());//错误,First容器只能装First及其子类,不能装First的超类,
vs.add(new Second());
List<? super Second> vSuper = new Vector<First>();//可以容纳本类及子类,但无法容纳超类
// vSuper.add(new Base());错误vSuper只是Vector<First>的引用,First的容器只能装First及其子类,不能装它的超类
// vSuper.add(new First()); 错误
vSuper.add(new Second()); //正确
vSuper.add(new Third()); //正确
checkSuper(new Vector<First>());//可以传递超类、本类参数,但无法传递子类参数
checkSuper(new Vector<Second>());
// checkSuper(new Vector<Third>());//错误
List<? extends Second> vExtends = new Vector<Second>();//不能容纳任何子类、本类、超类
// vExtends.add(new First());错误
// vExtends.add(new Second());//错误
// vExtends.add(new Third());//错误
vExtends.add(null);//正确,但是没用
// checkExtends(new Vector<First>());//错误,无法传递超类参数
checkExtends(new Vector<Second>());//能够传递本类及子类参数
checkExtends(new Vector<Third>());
//List<? super T> 当容器用时,能容纳T本身及T的子类,但无法容纳T的超类。用来向函数传递参数时,只能传递T及T的超类
//List<? extends T> 当容器用时,只能容纳null,没什么用处。用来向函数传递参数时,只能传递T及T的子类,不能传递T的超类
}
public void checkSuper(List<? super Second> a) {
}
public void checkExtends(List<? extends Second> a) {
}
public class Base{
}
public class First extends Base{
}
public class Second extends First {
public Second() {
}
}
public class Third extends Second {
public Third() {
}
}
}
如果喜欢,欢迎关注我的公众号:乔志勇笔记