java 泛型 .net_Java泛型
標(biāo)簽:
上一篇博文java8函數(shù)式編程--收集器collector:(http://my.oschina.net/joshuashaw/blog/487322)講得比較隨性,并沒有把源碼一句一句拿出來分析,后來發(fā)現(xiàn)groupingBy方法最后有一個if-else分支用來返回不同類型的collector,一個是不需要特定finisher的,另一個需要使用下游收集器的finisher,今天細(xì)看源碼,發(fā)現(xiàn)了幾句神奇的代碼,拿出來講一講。
先貼源碼:
public?static?>
Collector?groupingBy(Function?super?T,???extends?K>?classifier,
Supplier?mapFactory,
Collector?super?T,?A,?D>?downstream)?{
Supplier?downstreamSupplier?=?downstream.supplier();
BiConsumer?downstreamAccumulator?=?downstream.accumulator();
BiConsumer,?T>?accumulator?=?(m,?t)?->?{
K?key?=?Objects.requireNonNull(classifier.apply(t),?"element?cannot?be?mapped?to?a?null?key");
A?container?=?m.computeIfAbsent(key,?k?->?downstreamSupplier.get());
downstreamAccumulator.accept(container,?t);
};
BinaryOperator>?merger?=?Collectors.>mapMerger(downstream.combiner());
@SuppressWarnings("unchecked")
Supplier>?mangledFactory?=?(Supplier>)?mapFactory;
if?(downstream.characteristics().contains(Collector.Characteristics.IDENTITY_FINISH))?{
return?new?CollectorImpl<>(mangledFactory,?accumulator,?merger,?CH_ID);
}
else?{
/*---------------------------
----????--神奇的代碼--???------
-----------------------------
@SuppressWarnings("unchecked")
Function?downstreamFinisher?=?(Function)?downstream.finisher();
Function,?M>?finisher?=?intermediate?->?{
intermediate.replaceAll((k,?v)?->?downstreamFinisher.apply(v));
@SuppressWarnings("unchecked")
M?castResult?=?(M)?intermediate;
return?castResult;
};
-----------------------------
-----??---神奇的代碼-----??----
--------------------------*/
return?new?CollectorImpl<>(mangledFactory,?accumulator,?merger,?finisher,?CH_NOID);
}
}
抽出來強(qiáng)調(diào)一下
@SuppressWarnings("unchecked")
Function?downstreamFinisher?=?(Function)?downstream.finisher();
Function,?M>?finisher?=?intermediate?->?{
intermediate.replaceAll((k,?v)?->?downstreamFinisher.apply(v));
@SuppressWarnings("unchecked")
M?castResult?=?(M)?intermediate;
return?castResult;
};
這里我們看到,類型為
(Function)?downstream.finisher()
被強(qiáng)制類型轉(zhuǎn)換成
(Function)?downstreamFinisher
然后是
Map?intermediate
被強(qiáng)制類型轉(zhuǎn)換成
Map?intermediate
我想,這都行?于是我寫了兩條語句
Fuction?f1?=?Integer::parse;
Fuction?f2?=?(Fuction)?f1;
編譯器報錯。
但是為什么groupingBy方法里面可以這樣寫?于是我按照groupingBy方法寫了一個測試類,代碼如下:
import?java.util.HashMap;
import?java.util.Map;
import?java.util.function.Function;
public?class?InterestingTest?{
private?Map?Tmap?=?null;
private?Map?Vmap?=?null;
private?Function?Vf?=?null;
private?Function?Tf?=?null;
public?InterestingTest(Map?m,Function?f){
Tmap?=?m;
Vf?=?f;
Tf?=?(Function)?f;
Tmap.replaceAll((k,t)->Tf.apply(t));
Vmap?=?(Map)?Tmap;
}
public?Map?getMap(){
return?Vmap;
}
public?static?void?main(String[]?args)?{
Map?map?=?new?HashMap<>();
map.put("1",?1);
map.put("2",?2);
map.put("3",?3);
map.put("4",?4);
Map?newMap?=
new?InterestingTest(map,Integer::toBinaryString)
.getMap();
newMap.entrySet().stream()
.forEach(e->{System.out.println(e.getKey()+"?"+e.getValue());});
}
}
代碼只是報警告,一運(yùn)行下來一點(diǎn)問題都沒有,完美得出結(jié)果。
幾天前刷知乎看到j(luò)ava實(shí)現(xiàn)不了真正的泛型,現(xiàn)在算是明白了。
其實(shí),對于java泛型的實(shí)現(xiàn),只是編譯器在編譯階段幫助你進(jìn)行類型轉(zhuǎn)型,像Map類型,實(shí)際是保存你的對象的地址,對于Map來說,他只是存了Integer的地址,將Integer視為終極父類Object的子類,當(dāng)你調(diào)用get(key)的時候,最后返回Object類型給你之前幫你強(qiáng)制類型轉(zhuǎn)換成了Integer,就像:
put(key,IntegerObject){
this.object?=?IntegerObject;
}
get(key){
return?(Integer)?findCorrentObject;
}
所以從泛型的角度看,代碼沒有錯誤,但是會警告你這代碼可能導(dǎo)致類型轉(zhuǎn)換而出現(xiàn)的錯誤,于是我們可以看到
@SuppressWarnings("unchecked")
來去除警告。
但是,當(dāng)你使用的是具體的類型時,編譯器有職責(zé)給你報錯,他認(rèn)為你寫的這行代碼很有可能發(fā)生錯誤。
總結(jié):都是兼容和初始開發(fā)人員省事而留下的問題啊。
標(biāo)簽:
總結(jié)
以上是生活随笔為你收集整理的java 泛型 .net_Java泛型的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: php prepare 批量,Prepa
- 下一篇: 在java中原始时间_Java 日期时间