🟢 Junior Level

Три терминальные операции, которые проверяют элементы по предикату и возвращают boolean:

anyMatch(Predicate) — возвращает true, если ХОТЯ БЫ ОДИН элемент удовлетворяет условию:

boolean hasAdult = persons.stream()
    .anyMatch(p -> p.getAge() >= 18);

allMatch(Predicate) — возвращает true, если ВСЕ элементы удовлетворяют условию:

boolean allAdults = persons.stream()
    .allMatch(p -> p.getAge() >= 18);

noneMatch(Predicate) — возвращает true, если НИ ОДИН элемент не удовлетворяет условию:

boolean noMinors = persons.stream()
    .noneMatch(p -> p.getAge() < 18);

Все три используют короткое замыкание — останавливаются как только результат становится очевидным.

anyMatch: останавливается на ПЕРВОМ совпадении (true). allMatch: останавливается на ПЕРВОМ несовпадении (false). noneMatch: останавливается на ПЕРВОМ совпадении (false).

🟡 Middle Level

Алгоритм выполнения

Эквивалент цикла с ранним выходом:

for (T element : source) {
    if (predicate.test(element)) {
        return true; // для anyMatch
    }
}

Благодаря ленивости, элементы запрашиваются по одному. При очевидном результате конвейер останавливается.

Сравнение

Операция	Остановка	Stream.empty()
anyMatch	Первый true	false
allMatch	Первый false	true
noneMatch	Первый true	true

// Пустой стрим:
// anyMatch() → false (нет элементов, совпадений нет)
// allMatch() → true (vacuous truth — нет контрпримеров)
// noneMatch() → true (нет элементов, значит нет и совпадений)

Vacuous Truth (Пустая истина)

Классический вопрос-ловушка на интервью:

• anyMatch на пустом стриме → false (не нашли ни одного)
• allMatch на пустом стриме → true (условие выполнено — элементов нет)
• noneMatch на пустом стриме → true (ни один не нарушил)

🔴 Senior Level

Когда НЕ использовать match-операции

1. Нужен сам элемент — используйте findFirst() / findAny()
2. Нужно знать сколько — используйте filter().count()
3. Сложное условие — если Predicate сложный, лучше filter() + читаемое имя метода

Parallelism через ShortCircuitTask

В параллельном режиме:

• Несколько потоков проверяют разные части данных
• При нахождении “замыкающего” элемента подается сигнал Cancel всем задачам в ForkJoinPool
• anyMatch в параллельном стриме дает огромный прирост на больших данных

Highload Context

Non-blocking: Отлично для быстрой проверки в реактивных системах.

Interference: Чувствительны к изменению источника во время выполнения → ConcurrentModificationException.

Predicate Cost: Если предикат делает тяжелую работу (запрос в Redis), короткое замыкание — главный союзник для минимизации latency.

Диагностика

Early Exit Logging: Добавьте peek() перед матчером — увидите только реально проверенные элементы.

Unit Testing: Всегда тестируйте на пустых коллекциях, учитывая логику allMatch/noneMatch, чтобы избежать ошибок “пустой истины”.

---

🎯 Шпаргалка для интервью

Обязательно знать:

• anyMatch — true если хотя бы один элемент подходит (останавливается на первом true)
• allMatch — true если ВСЕ элементы подходят (останавливается на первом false)
• noneMatch — true если НИ ОДИН элемент не подходит (останавливается на первом true)
• Все три — terminal операции с коротким замыканием
• Пустой стрим: anyMatch → false, allMatch → true (vacuous truth), noneMatch → true
• В параллельном режиме anyMatch даёт огромный прирост на больших данных
• Если нужен сам элемент — используйте findFirst/findAny вместо match-операций

Частые уточняющие вопросы:

• Почему allMatch на пустом стриме возвращает true? — Vacuous truth (пустая истина): нет контрпримеров, значит условие выполнено для всех (несуществующих) элементов.
• Чем anyMatch отличается от filter().findFirst()? — anyMatch возвращает boolean и не создаёт Optional — меньше оверхеда, если элемент не нужен.
• Работает ли короткое замыкание в parallelStream? — Да, но менее эффективно — потоки получают сигнал Cancel не мгновенно.
• Когда match-операции — плохой выбор? — Когда нужен сам элемент, когда нужно количество, или когда предикат слишком сложный для читаемости.

Красные флаги (НЕ говорить):

• «anyMatch на пустом стриме вернёт true» — неверно, вернёт false
• «allMatch обработает все элементы» — неверно, останавливается на первом несовпадении
• «match-операции возвращают элемент» — неверно, возвращают только boolean
• «noneMatch на пустом стриме вернёт false» — неверно, вернёт true (vacuous truth)

Связанные темы:

• [[24. Как работает короткое замыкание (short-circuiting) в Stream]]
• [[26. Что делают операции findFirst() и findAny()]]
• [[22. Когда начинается выполнение операций в Stream]]
• [[29. Как работать с Optional в Stream]]