partitioningBy必须生成一个包含真与假条目的地图吗？

Question

partitioningBy收集器将谓词应用于流中的每个元素，并生成一个从布尔值到流中满足或不满足谓词的元素列表的映射。例如：

Stream.of(1,2,3,4).collect(partitioningBy(x -> x >= 3))
// {false=[1, 2], true=[3, 4]}

正如在PartitionBy的目的是什么中所讨论的，观察到的行为是PartitionBy总是返回一个包含true和false条目的映射。例如。：

Stream.empty().collect(partitioningBy(x -> false));
// {false=[], true=[]}

Stream.of(1,2,3).collect(partitioningBy(x -> false));
// {false=[1, 2, 3], true=[]}

Stream.of(1,2,3).collect(partitioningBy(x -> true));
// {false=[], true=[1, 2, 3]}

这种行为真的是在某个地方指定的吗？Javadoc只说：

返回一个收集器，该收集器根据谓词对输入元素进行分区，并将它们组织到映射中

一致性实施是否可以返回以下内容：

Stream.empty().collect(partitioningBy(x -> false));
// {}, or {false=[]}, or {true=[]}

Stream.of(1,2,3).collect(partitioningBy(x -> false));
// {false=[1, 2, 3]}

Stream.of(1,2,3).collect(partitioningBy(x -> true));
// {true=[1, 2, 3]}

相应的JSR335似乎只包含相同的文档，但没有额外讨论地图将包含哪些条目。




Answer 1

在该方法的Java 9 Javadoc中，有一个澄清使其更加明确：

返回的Map始终包含假键和真键的映射。