Ответ.

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

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

Проблема:

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

Решение:

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

Пример кода:

public int divide(int a, int b) {
    assert b != 0 : "Divider should not be zero!";
    return a / b;
}

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

• assert можно отключить флагом JVM (-ea/–da), и тогда все assert будут игнорироваться
• assert не должен применяться для проверки пользовательских или внешних данных
• Сообщение после assert позволяет явно сообщить причину сбоя

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

Будет ли работать assert по умолчанию при запуске Java-программы?

Ответ: Нет, по умолчанию assert выключен. Его надо включать явно через флаг -ea (enable assertions).

Может ли assert использоваться в production-коде?

Ответ: Не рекомендуется, поскольку assertionError может быть попросту проигнорирован. Использование assert возможно только для инвариантов и в тестовом коде.

Чем отличается assert и выброс исключения?

Ответ:

• assert отключается в production среде, исключения — нет
• assert — индикатор бага (инвариант нарушен)
• Exception — обработка ожидаемых ошибок

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

• assert для проверки валидности пользовательских данных
• assert для кода, который должен корректно обработать ошибку, а не просто сбросить стек

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

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

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

Плюсы:

• Быстро реализовано

Минусы:

• assert отключён на рабочем сервере, ошибки не видно, данные портятся

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

assert применяется только для внутренних инвариантов в алгоритме, для пользователя все проверки выполняются через обычные exceptions.

Плюсы:

• Явное само-документирование кода, ошибки сразу видно на этапе тестирования

Минусы:

• assert не всегда срабатывает в production, поэтому нужен дублирующий контроль при серьёзных ошибках