本文介紹了為什么Java泛型類型推斷在鏈式方法調用中中斷？的處理方法，對大家解決問題具有一定的參考價值，需要的朋友們下面隨著小編來一起學習吧！
問題描述
查看以下示例中泛型類型的類型推斷，我說不出為什么methodAutoTypeInference工作得很好，但methodNotCompilable(幾乎相同)無法編譯，為了管理它，編譯器需要其他技巧，如methodWorkaroundTypeHint或methodWorkaroundTypeCast。
methodNotCompilable導致編譯器不確定表達式類型和方法結果類型是否兼容的問題是什么？
Stream<CharSequence> methodAutoTypeInference() {
return Stream.of("a");
}
Stream<CharSequence> methodNotCompilable() {
return Stream.of("a").distinct();
// incompatible types: java.util.stream.Stream<java.lang.String>
// cannot be converted to java.util.stream.Stream<java.lang.CharSequence>
}
Stream<CharSequence> methodWorkaroundTypeHint() {
return Stream.<CharSequence>of("a").distinct();
}
Stream<CharSequence> methodWorkaroundTypeCast() {
return Stream.of((CharSequence) "a").distinct();
}
推薦答案
This answer from JDK Developers themselves幾乎覆蓋了相同的區域。只需注意Stuart Marks說：該編譯器可能會在未來的發行版中得到增強以涵蓋這種情況。盡管有lambdas的情況，但這與您的情況沒有太大不同。這就是(目前)編譯器的工作方式。我們對此深信不疑。
您可以通過以下方式查看編譯器對return Stream.of("a").distinct();的看法并決定使用哪種類型：
javac --debug=verboseResolution=all
這是一個未記錄在案的標志。如果您使用該標志進行編譯，您將看到一些很大的輸出：
with actuals: no arguments
with type-args: no arguments
candidates:
#0 applicable method found: Object()
DeleteMe.java:60: Note: resolving method of in type Stream to candidate 1
return Stream.of("a").distinct();
^
phase: BASIC
with actuals: String
with type-args: no arguments
candidates:
#0 not applicable method found: <T#1>of(T#1...)
(cannot infer type-variable(s) T#1
(argument mismatch; String cannot be converted to T#1[]))
#1 applicable method found: <T#2>of(T#2)
(partially instantiated to: (String)Stream<String>)
where T#1,T#2 are type-variables:
T#1 extends Object declared in method <T#1>of(T#1...)
T#2 extends Object declared in method <T#2>of(T#2)
DeleteMe.java:60: Note: Deferred instantiation of method <T>of(T)
return Stream.of("a").distinct();
^
instantiated signature: (String)Stream<String>
target-type: <none>
where T is a type-variable:
T extends Object declared in method <T>of(T)
DeleteMe.java:60: Note: resolving method distinct in type Stream to candidate 0
return Stream.of("a").distinct();
^
phase: BASIC
with actuals: no arguments
with type-args: no arguments
candidates:
#0 applicable method found: distinct()
where T is a type-variable:
T extends Object declared in interface Stream
DeleteMe.java:60: error: incompatible types: Stream<String> cannot be converted to Stream<CharSequence>
return Stream.of("a").distinct();
^
1 error
我想最重要的部分是(partially instantiated to: (String)Stream<String>)
您可以看到，T類型的解析是基于方法調用完成的；而不是整個調用鏈。順便說一句，如果是這樣的話，這會使編譯器的工作變得非常復雜。對于這樣一個簡單的鏈條來說，事情可能看起來微不足道，但當有很多事情時，它就會變得非常、非常棘手和復雜。尤其是當你發現non-denotable types的時候，這會讓事情變得更加復雜。
這篇關于為什么Java泛型類型推斷在鏈式方法調用中中斷？的文章就介紹到這了，希望我們推薦的答案對大家有所幫助，
