Для чего используется оператор assert в Java?

Оператор assert используется для проверки допущений (assumptions) в коде во время разработки и отладки. Он позволяет утверждать, что булевое выражение должно быть истинным в определенной точке выполнения программы. Если выражение ложно, Java выбрасывает AssertionError.

Использование assert имеет две формы:

1. assert booleanExpression; Проверяет, истинно ли booleanExpression. Если ложно, выбрасывается AssertionError.

2. assert booleanExpression : message; Проверяет, истинно ли booleanExpression. Если ложно, выбрасывается AssertionError с указанным message.

Ключевые моменты:

• assert отключен по умолчанию во время выполнения программ Java. Его необходимо явно включить с помощью флагов JVM, например -ea (enableassertions) для всех классов или -ea:<package>... или -ea:<class> для конкретных пакетов/классов.
• Он не предназначен для проверки входных данных от пользователя или внешних систем, так как может быть отключен. Для таких проверок следует использовать исключения (например, IllegalArgumentException).
• Используется для выявления логических ошибок во время разработки, а не для обработки ожидаемых исключительных ситуаций в продакшене.

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

// Пример использования assert
public class AssertionDemo {

    public static void main(String[] args) {
        int x = 10;
        assert x > 0 : "Переменная x должна быть положительной!"; // Проверка допущения во время разработки
        System.out.println("Программа продолжит выполнение, если assert включен и условие истинно.");

        int y = -5;
        // Этот assert вызовет AssertionError, если включен
        assert y > 0 : "Переменная y не должна быть отрицательной!";
        System.out.println("Эта строка не будет выполнена, если предыдущий assert вызвал ошибку.");
    }
}