java - 为什么在映射到 Callable<T> 时需要显式提供类型参数？

Question

当试图回答不同的问题时，我发现我的代码只有在我明确给出类型参数时才能编译(我知道，无论代码计算什么都没有意义):

public Double calculateResult(int value) {
    return 0.0d;
}

private void init2() {
    List<Callable<Double>> list = IntStream.range(1, 99)
            .<Callable<Double>>mapToObj(value -> (() -> calculateResult(value)))
            .collect(Collectors.toList());
}

删除类型参数时 <Callable<Double>>来自 mapToObj ，它不编译，并给出错误

cannot infer the type variable by itself

如果我将其更改为使用 Supplier<Double>，它也无法推断出参数或 DoubleSupplier .

为什么它不能推断类型参数？

更新，我正在用 Netbeans 8.0 编译它，还没有用 javac 编译器检查它。

Answer 1

这是我的理解。

问题是您希望编译器使用预期的赋值类型，在本例中为 List<Callable<Double>> , 来推断类型参数。然而，.mapToObj不是链中的最后一个语句，它不返回 List .

不过下面这段代码是有效的，因为在这里编译器可以匹配 .mapToObj 的结果。调用您已声明为返回类型的内容，因此它可以推断流的类型参数。

Stream<Callable<Double>> temporaryVariable = IntStream.range(1, 99)
    .mapToObj(value -> (() -> calculateResult(value)));
List<Callable<Double>> list = temporaryVariable.collect(Collectors.toList());

因为它不是链中的最后一条语句，如果我是编译器，我真的不会喜欢遍历 Stream<?> 的所有可能值。 (本质上是 .mapToObj 的返回类型)找到一个与下一个返回 List<Callable<Double>> 的调用相匹配的调用.