Краткий ответ

Да. partitioningBy гарантирует наличие в результате отображений для true и false, даже если одна из частей пуста. При стандартном сборе в список пустой раздел будет представлен пустым списком.

Исторический контекст

В Stream API, появившемся в Java 8, коллекторы предназначены для декларативного получения итоговых структур данных. partitioningBy решает частный случай группировки: разделение элементов ровно на две категории по предикату.

Для такого сценария важно отличать пустую категорию от отсутствующей категории. Поэтому контракт partitioningBy фиксирует обе части результата, а не только те, в которые попал хотя бы один элемент.

Постановка проблемы

Если требуется сформировать отчёт по двум состояниям, отсутствие ключа может быть воспринято как ошибка данных или как отсутствие самого показателя. Например, отсутствие ключа false может ошибочно означать, что проверка не выполнялась, хотя на самом деле все элементы удовлетворили условию.

Выбор groupingBy для булевого признака даёт другую семантику: он обычно создаёт только те группы, для которых реально встретились элементы. Это удобно для обычной группировки, но неудобно для полного бинарного отчёта.

Подробное решение

partitioningBy сначала вычисляет предикат для каждого элемента, а затем направляет элемент в один из двух разделов: true или false. После обработки потока коллектор формирует оба отображения, заполняя пустой раздел результатом downstream-коллектора.

Для варианта без явно заданного downstream-коллектора используется сбор в списки:

import java.util.*;
import java.util.stream.*;

Map<Boolean, List<Integer>> result = Stream.of(2, 4, 6)
    .collect(Collectors.partitioningBy(n -> n % 2 == 0));

// true  -> [2, 4, 6]
// false -> []

Гарантируется наличие ключей true и false, но конкретные свойства результирующих списков зависят от контракта выбранного downstream-коллектора. Например, при counting() значения будут числом элементов в каждой части, включая 0 для пустой части.

partitioningBy подходит только для бинарного критерия. Если категорий больше двух, следует использовать groupingBy. Если нужно сохранить только непустые группы, groupingBy также выражает намерение точнее.

В параллельном стриме разделение выполняется в частичных результатах, после чего они объединяются. Гарантия наличия обеих булевых записей относится к итоговому результату и не означает, что каждый частичный контейнер обязан содержать элементы обоих типов.

Ситуация из практики

Сервис формирует отчёт о проверке документов: каждый документ либо прошёл проверку, либо нет. Отчёт должен содержать оба счётчика, даже если ошибок не обнаружено.

Вариант с groupingBy требует отдельно добавлять отсутствующий ключ после сбора. Его плюс — универсальность для произвольного числа категорий, минус — дополнительная нормализация результата и риск забыть про пустую группу.

partitioningBy напрямую выражает бинарную природу задачи и гарантирует обе записи. Поэтому выбран этот вариант: downstream-коллектор counting() возвращает количество документов в каждой части, а для отсутствующей категории — ноль. В результате формат отчёта стабилен независимо от входных данных.

Что кандидаты часто упускают

Чем отличается отсутствие ключа от пустого значения в результате partitioningBy?

Отсутствие ключа означает, что отображение не содержит соответствующей категории. Пустое значение означает, что категория существует, но в ней нет элементов. partitioningBy гарантирует именно второй вариант: обе булевы категории присутствуют.
Что изменится при использовании downstream-коллектора counting()?

Значением каждой записи станет число, а не список элементов. Для пустого раздела downstream-коллектор вычислит результат для пустого набора, то есть 0L. Структура результата останется полной: будут присутствовать и true, и false.
Когда groupingBy всё же предпочтительнее partitioningBy для булевого условия?

groupingBy предпочтительнее, если булев признак является промежуточным ключом для более общей схемы группировки или если в результате должны присутствовать только фактически встречавшиеся группы. Например, при динамическом наборе категорий не следует искусственно ограничивать результат двумя ключами. Для строгого бинарного отчёта с обязательными пустыми разделами partitioningBy семантически точнее.