您可以Try.of()使用返回的顯式泛型類(lèi)型進(jìn)行調(diào)用以滿足編譯器檢查。就像是：
Try.<Seq<? extends Number>of(() -> List.of(1,2,3))
Try.of()返回類(lèi)型Try<T>其中T是供應(yīng)商返回的類(lèi)型。并且因?yàn)長(zhǎng)ist.of(T t...)return List<T>，那么編譯器看到的最終類(lèi)型是Try<List<Integer>，這不是方法返回的類(lèi)型定義的。具有特定類(lèi)型的 Java 泛型是不變的，它們不支持協(xié)變或逆變替換，因此List<Integer> != List<Number>.
工作示例：
import io.vavr.collection.List;
import io.vavr.collection.Seq;
import io.vavr.control.Try;
interface Lol {
default Try<Seq<? extends Number>> lol() {
return Try.of(List::empty);
}
}
class LolImpl implements Lol {
@Override
public Try<Seq<? extends Number>> lol() {
return Try
.<Seq<? extends Number>>of(() -> List.of(1, 2, 3))
.onFailure(t -> System.out.println(t.getMessage()));
}
public static void main(String[] args) {
System.out.println(new LolImpl().lol());
}
}
輸出：
Success(List(1, 2, 3))
通用示例類(lèi)型推斷問(wèn)題
進(jìn)一步調(diào)查表明，這很可能是一個(gè)通用的編譯器問(wèn)題?？纯聪旅娴钠胀?Java 示例：
import java.util.Arrays;
import java.util.List;
import java.util.function.Supplier;
interface Some<T> {
static <T> Some<T> of(Supplier<T> supplier) {
return new SomeImpl<>(supplier.get());
}
default Some<T> shout() {
System.out.println(this);
return this;
}
class SomeImpl<T> implements Some<T> {
private final T value;
public SomeImpl(T value) {
this.value = value;
}
}
static void main(String[] args) {
final Some<List<CharSequence>> strings = Some.of(() -> Arrays.asList("a", "b", "c"));
}
}
此代碼編譯沒(méi)有任何問(wèn)題，編譯器Arrays.asList()從左側(cè)的預(yù)期類(lèi)型推斷返回的類(lèi)型：
現(xiàn)在，如果我調(diào)用這個(gè)Some<T>.shout()方法，它什么都不做并返回Some<T>，編譯器不是從預(yù)期的變量類(lèi)型，而是從最后返回的類(lèi)型推斷類(lèi)型：
當(dāng)然Arrays.asList("a","b","c")returnsList<String>和this is the typeshout()`方法推斷并返回：
指定顯式類(lèi)型Some<T>.of()可以解決問(wèn)題，如Try.of()示例所示：
我正在搜索有關(guān)類(lèi)型推斷的 Oracle 文檔，并且有以下解釋?zhuān)?/p>
Java 編譯器利用目標(biāo)類(lèi)型來(lái)推斷泛型方法調(diào)用的類(lèi)型參數(shù)。表達(dá)式的目標(biāo)類(lèi)型是 Java 編譯器期望的數(shù)據(jù)類(lèi)型，具體取決于表達(dá)式出現(xiàn)的位置。
來(lái)源：https : //docs.oracle.com/javase/tutorial/java/generics/genTypeInference.html#target_types
在這種情況下，看起來(lái)“取決于表達(dá)式出現(xiàn)的位置”意味著從先前返回的確切類(lèi)型推斷類(lèi)型。這將解釋為什么跳過(guò)shout()方法使編譯器知道，我們期望Some<List<CharSequence>>并且當(dāng)我們添加shout()方法時(shí)它開(kāi)始返回Some<List<String>>，因?yàn)檫@是shout()方法從返回的Some.of()方法類(lèi)型中看到的。希望能幫助到你。
