转载

? super V, ? extends T 理解

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() {

}

}

}


如果喜欢,欢迎关注我的公众号:乔志勇笔记

? super V, ? extends T 理解

原文  http://mp.weixin.qq.com/s?__biz=MzU5Mzg4NjIzMA==&mid=2247483723&idx=1&sn=44a4d79c714ebfa6dea517dcfd4495f5
正文到此结束
Loading...