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