Ответ.

Механизм assert появился в Java 1.4 и предназначен для проверки инвариантов и состояний внутри кода во время разработки и отладки. Assert помогает выявлять ошибки ранних стадий при тестировании, но должен использоваться с осторожностью и не заменяет обработку ошибок на продакшене.

История вопроса:

В некоторых языках конструкции assert были доступны давно, в Java появились относительно поздно. Основная цель — удобство диагностики logici во время разработки и тестирования.

Проблема:

Неправильное использование assert может привести к тому, что важные проверки исчезнут (если assert отключён), либо к неожиданным ошибкам на продакшене, если попытаться использовать assert как обработку ожидаемых ошибок.

Решение:

Assert используют только для проверки условий, которые не должны никогда нарушаться (например, инварианты, предусловия, постусловия), а не для валидации входных данных пользователя. На продакшене assert обычно отключён по умолчанию (JVM стартует с -ea/-enableassertions для включения assert).

Пример использования:

public void process(int value) {
    assert value > 0 : "Value must be positive";
    // ...
}

Ключевые особенности:

Assert отключается/включается через параметры запуска JVM.
Не стоит использовать assert для обработки ошибок пользователя или внешних данных.
В выражениях assert нельзя использовать выражения с побочными эффектами.

Вопросы с подвохом.

Какая ошибка будет, если условие assert ложно, а assert включён?

Будет выброшено java.lang.AssertionError. Программа может аварийно завершиться, если не отловить ошибку.

Всегда ли ассерты выполняются?

Нет. Они работают только при запуске JVM с флагом -ea. По умолчанию (на продакшене) они не выполняются.

Можно ли использовать assert для проверки пользовательского ввода?

Нельзя! Для проверки входных данных используется обработка исключений и валидация, т.к. assert может быть выключен, а значит, проверки выполняться не будут.

Типовые ошибки и анти-паттерны

Использование assert для пользовательских данных и для контроля ожидаемых ошибок.
Оставлять выражения с побочными эффектами в assert.
Ожидать, что assert выполнится всегда — на продакшене обычно отключён.

Пример из жизни

Негативный кейс

Разработчик проверяет валидность параметра пользователя с помощью assert, а продакшен запускается без -ea. Проверка не срабатывает, ошибка появляется только в логике далее, вызывает сложные баги.

Плюсы:

Быстрота реализации

Минусы:

Нет гарантии безопасности на продакшене
Ловля ошибок только постфактум

Позитивный кейс

Разработчик использует assert только для внутренней проверки инвариантов во время разработки. Для пользовательских ошибок — исключения и стандартную валидацию.