在这种情况下，为什么Streams API需要泛型类型的提示？

Question

无法编译以下内容：

    @NotNull String defaultFormatter(@Nullable Object value) {
        if (value instanceof Collection) {
            return ((Collection) value).stream()
                        .map(MyClass::defaultFormatter)
                        .collect(Collectors.joining(eol));
        }
        return String.valueOf(value);
    }

特别是，使用javac编译时，错误将是：

Error:(809, 94) java: incompatible types: 
      java.lang.Object cannot be converted to 
      @org.jetbrains.annotations.NotNull java.lang.String

但下面的汇编很好：

    @NotNull String defaultFormatter(@Nullable Object value) {
        if (value instanceof Collection) {
            Stream<String> stream = ((Collection) value).stream()
                         .map(MyClass::defaultFormatter);
            return stream.collect(Collectors.joining(eol));
        }
        return String.valueOf(value);
    }

唯一的区别是我引入了一个额外的变量。请注意，我没有施法，所以没有语义变化。

有人能解释为什么需要这样做吗？

Answer 1

这个答案的顶部基本上就是Radiodef在上面的评论中所说的。我不想盗用这些词，但是如果没有事先的解释，--下面的答案就不起作用了。

正如Radiodef所指出的，这在第一种情况下不起作用的原因是，它使用了原始类型，Collection。相反，使用集合

        return ((Collection<?>) value).stream()
                    .map(MyClass::defaultFormatter)
                    .collect(Collectors.joining(eol));

它与显式变量一起工作的原因是未经检查的转换。请注意，以下内容会产生未经检查的转换警告：

        Stream<String> stream = ((Collection) value).stream()
                     .map(MyClass::defaultFormatter);

RHS上表达式的实际类型是Stream；您可以将其强制到Stream

有一个未经检查的转换，从原始类或接口类型（§4.8）G到表单G的任何参数化类型

没有变量就不能这样做的原因有点微妙。这个答案更直接地解决了这个问题：当您使用原始类型时，所有泛型都会从类型中删除，而不仅仅是与省略类型直接相关的泛型。

所以，流的类型。当流为原始时，collect是泛型类型的擦除：

• 流。收集

因此，正如您在这里观察到的，收集调用的返回类型是Object。这不能自动强制执行到List