Java何时需要显式类型参数？

Gili 发表于 Java

吉利：

鉴于：

import com.google.common.collect.ImmutableMap;
import java.util.function.Function;
import java.util.stream.Collector;
import java.util.stream.Stream;

public class Testcase
{
    public static <T, K, V> MapCollectorBuilder<T, K, V>
        toImmutableMap(Function<? super T, ? extends K> keyMapper,
            Function<? super T, ? extends V> valueMapper)
    {
        return null;
    }

    public static final class MapCollectorBuilder<T, K, V>
    {
        public Collector<T, ?, ImmutableMap<K, V>> build()
        {
            return null;
        }
    }

    public static <T, K, V> Collector<T, ?, ImmutableMap<K, V>> toImmutableMap2(
        Function<? super T, ? extends K> keyMapper,
        Function<? super T, ? extends V> valueMapper)
    {
        return null;
    }

    public void main(String[] args)
    {
        Function<String, String> keyMapper = i -> i;
        Function<String, Integer> valueMapper = Integer::valueOf;

        ImmutableMap<String, Integer> map1 = Stream.of("1", "2", "3")
            .collect(Testcase.toImmutableMap(keyMapper, valueMapper).build());

        ImmutableMap<String, Integer> map2 = Stream.of("1", "2", "3")
            .collect(Testcase.toImmutableMap(i -> i, Integer::valueOf).build());

        ImmutableMap<String, Integer> map3 = Stream.of("1", "2", "3")
            .collect(Testcase.toImmutableMap2(i -> i, Integer::valueOf));
    }
}

该语句涉及map1并map3编译良好，但map2失败：

Testcase.java:[41,57] incompatible types: cannot infer type-variable(s) T,K,V
    (argument mismatch; invalid method reference
      no suitable method found for valueOf(java.lang.Object)
          method java.lang.Integer.valueOf(java.lang.String) is not applicable
            (argument mismatch; java.lang.Object cannot be converted to java.lang.String)
          method java.lang.Integer.valueOf(int) is not applicable
            (argument mismatch; java.lang.Object cannot be converted to int))

可以通过提供显式类型参数来解决编译器错误<String, String, Integer>。

Java 8何时需要显式类型参数？意思是，是否有一个已知的打破类型推断的模式？
可以toImmutableMap()并MapCollectorBuilder进行更改以避免显式类型参数，而又不会失去使用Builder来配置收集器的功能吗？

更新：

为什么涉及map3工作的陈述？它与涉及的声明map2有何不同？

霍尔格：

要回答您的问题“意思是，有一个已知的模式会破坏类型推断吗？” 简短地说：当然，有一种模式，而且对于Java编程语言的整个行为都有一个巨大的规范。

但是有关类型推断和方法调用类型的章节确实详尽且难以理解。这可以通过以下事实得到最好的说明：在发生意外行为的情况下，通常会根据规范对预期行为进行大量讨论。

但是对于程序员来说有些地方是可以解释和记住的。

有两种方法可以通过传递给组成表达式的方法或部分的参数或表达式的目标类型（即，调用参数的预期类型）来推断类型参数的方式如果有return语句，则分配该值或方法的返回类型。

目标类型可以通过嵌套方法调用传播，例如

TargetType x=foo(bar(/*target type can be used*/));

或有条件的

TargetType x=condition? foo(/*target type can be used*/): foo(/*target type can be used*/);

但不是像

TargetType x=foo(/*target type can NOT be used*/).foo();

现在来看您的示例：

ImmutableMap<String, Integer> map1 = Stream.of("1", "2", "3").collect( expression );

此处，Stream.of(…)和.collect(…)是链接在一起的，因此不能使用目标类型来确定of调用的流类型，但是提供给该方法的参数足以推断出类型Stream<String>。该collect方法提供分配给结果的结果map1，因此，流类型Stream<String>和目标类型ImmutableMap<String, Integer>都是已知的，并且可用于表达式的类型推断。在表达式上：

Testcase.toImmutableMap(keyMapper, valueMapper).build()这是一个链式调用，因此目标类型是已知的，build()但不是toImmutableMap。但是，to的参数toImmutableMap是具有已知精确类型的局部变量，因此类型推断可以使用它们来推断的结果类型，toImmutableMap并检查其是否符合预期。.build()
Testcase.toImmutableMap(i -> i, Integer::valueOf).build()这又是一个链式调用，但是现在参数i - > i具有不完整的类型，并且由于缺少目标类型而受到影响。在i -> i不了解目标类型的情况下猜测类型的尝试失败。
Testcase.toImmutableMap2(i -> i, Integer::valueOf)这不是链式调用，因此目标类型可用于该toImmutableMap2调用（就该collect调用而言，它是一个嵌套调用）。因此，的目标类型toImmutableMap2允许推断参数的目标类型，从而推断i -> ilambda表达式。使用正确的目标类型，可以推断出正确的功能签名。