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

beforeGrouping не содержит ключ a, потому что элементы ant и ape отбрасываются до выполнения классификатора groupingBy. В withDownstream классификатор сначала создаёт группу a, а downstream-коллектор уже фильтрует её элементы, поэтому группа сохраняется с пустым списком.

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

Обычная операция filter хорошо подходит, когда ненужные элементы должны исчезнуть из всего последующего конвейера. Но при группировке иногда требуется сохранить структуру групп, включая группы без элементов, прошедших условие.

Композиция downstream-коллекторов решает эту задачу: классификация выполняется для каждого исходного элемента, а дальнейшее преобразование применяется внутри соответствующей группы. Такой подход особенно полезен в отчётах, где отсутствие результатов в категории должно быть представлено явно.

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

В первом варианте filter стоит перед groupingBy. Для элементов ant и ape терминальная операция группировки вообще ничего не знает: они не доходят до классификатора, поэтому ключ a не создаётся.

Во втором варианте все элементы доходят до groupingBy. Для ключа a создаётся контейнер, однако downstream-коллектор filtering не добавляет в него элементы, не удовлетворяющие условию. В результате получается запись a -> [].

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

groupingBy концептуально выполняет две операции: вычисляет ключ и передаёт элемент downstream-коллектору этой группы. Вариант с downstream-фильтрацией можно представить так:

Map<Character, List<String>> result = words.stream()
    .collect(Collectors.groupingBy(
        s -> s.charAt(0),
        Collectors.filtering(
            s -> s.length() > 3,
            Collectors.toList()
        )
    ));

Для ant и ape классификатор возвращает a, поэтому группа a существует. Затем filtering проверяет условие и не передаёт эти элементы во внутренний toList. Для bat и bear создаётся группа b, но в неё попадает только bear.

Главный компромисс состоит в семантике результата. Если нужны только непустые группы, предварительный filter проще и обычно дешевле: классификатор не вызывается для отброшенных элементов. Если требуется сохранить все встретившиеся ключи, нужен downstream-коллектор.

Downstream-фильтрация не создаёт заранее группы, которых не было в источнике. Она сохраняет только те ключи, которые встретились хотя бы у одного исходного элемента. Для полного справочника категорий, включая категории без единого входного элемента, потребуется отдельно объединить результат с набором всех допустимых ключей.

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

В отчёте по отделам нужно показать количество сотрудников, прошедших проверку. Предварительный filter выдаст только отделы, где такой сотрудник нашёлся. Это компактно, но пользователь не отличит отдел без сотрудников от отсутствующего отдела, если список групп используется как источник отчётных строк.

Варианты решения:

предварительный filter перед groupingBy — проще и не создаёт пустых групп, но теряет ключи;
groupingBy с downstream filtering — сохраняет все встретившиеся ключи, но классифицирует каждый элемент;
предварительное заполнение результата всеми возможными отделами — позволяет показать даже не встретившиеся отделы, но требует отдельного справочника и дополнительной логики.

Если требования относятся только к отделам, присутствующим во входных данных, выбирается downstream filtering: он сохраняет нужную структуру и выражает намерение непосредственно в Collector. В результате пустые группы отображаются явно, а не восстанавливаются постфактум.

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

Создаст ли downstream-фильтрация ключ для категории, которой вообще нет во входном потоке?

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

Эквивалентны ли по результату предварительный filter и downstream filtering, если пустые группы не нужны?

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

Можно ли применить несколько downstream-операций после группировки?

Да. Downstream-коллекторы можно вкладывать, например использовать filtering вместе с mapping, counting или collectingAndThen. Важно учитывать порядок композиции: фильтрация до mapping проверяет исходный объект, а фильтрация после mapping — уже преобразованное значение, поэтому перестановка коллекторов может изменить как тип проверяемого объекта, так и результат.