? 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() {
}
}
}
如果喜歡,歡迎關注我的公眾號:喬志勇筆記