Java Stream - 收集器内的类型推断问题

Question

我有一个与此堆栈溢出问题类似的用例，并尝试使用它而不将结果存储在 a 中List<List<String>>，而是调用stream()它。

List<List<String>>如果由于类型不匹配而没有将其分配给我，则会出现奇怪的编译时错误。要重现该问题，只需注释掉输出的分配即可。

问题是为什么会出现这个编译错误呢？以及如何修复它？

public static void main(String args[]) {
    List<String> input = Arrays.asList("RED", "RED", "BLUE", "BLUE", "BLUE", "BLUE", "RED", "RED");
    List<List<String>> output =  // if this line commented it doesn't compile
        input.stream()
            .collect(Collector.of(
                ArrayList::new,
                (accumulator, item) -> {
                    if (accumulator.isEmpty()) {
                        List<String> list = new ArrayList<>();
                        list.add(item);
                        accumulator.add(list);
                    } else {
                        List<String> last = accumulator.get(accumulator.size() - 1);
                        if (last.isEmpty() || last.get(0).equals(item)) {
                            last.add(item);
                        } else {
                            List<String> list = new ArrayList<>();
                            list.add(item);
                            accumulator.add(list);
                        }
                    }
                },
                (left, right) -> {
                    left.addAll(right);
                    return left;
                }
            ));
}

我的想法是像这样使用它：

input.stream()
    .collect(Collector.of(.....))
    .stream()
    .(and do something else)

Answer 1

Java 中的函数本身没有类型。它们是多表达式。这意味着它们的类型应该从上下文中推断出来。它适用于 的所有参数Collector.of()。

List<List<String>> output- 提供目标类型，没有它，类型推断机制不知道您的收集器期望生成什么类型​​的对象。

要使代码编译，您可以在调用时使用类型见证Collector.<all the types of functions used in collector here>of()。

编译此流语句的最简单方法是提供累加器参数的显式类型：

(List<List<String>> accumulator, String item) ->
     {
          ...
     },