Должно ли разбиениеБыть создать карту с записями для true и false?

Question

Коллекционер partitioningBy применяет предикат к каждому элементу в потоке и создает карту из булевых элементов в списки элементов из потока, которые удовлетворяли или не удовлетворяли предикату. Например:

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

Как обсуждалось в What's the purpose of partitioningBy, то наблюдается поведение является то, что partitioningBy всегда возвращает карту с записями для обоих правда и ложной. Например:

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 только говорит:

Возвращает коллектор, который разбивает входные элементы в соответствии с предиката, и организует их в Map<Boolean, List<T>>. Существует никаких гарантий по типу, изменчивости, сериализуемости или .

Может ли соответствующая реализация вернуть их вместо того, чтобы:

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]} 

Соответствующее JSR 335 только кажется, включают в себя те же самые документы, но не дополнительное обсуждение о том, что статьи карта будет содержать.

Answer 1

В Java 9 Javadoc of the method, есть уточнение, что делает его более явным:

Возвращенный Карта всегда содержит отображения для обоих ложных и истинных ключей.