Odpowiedź.

Historia pytania:

Mechanizm assert został dodany w Javie 1.4 w celu diagnozowania błędów logicznych i założeń dewelopera w kodzie. Assert pozwalał w czasie wykonywania wykrywać niezgodności między oczekiwanymi a faktycznymi wartościami bez wyraźnego thrown-wyjątku i nie był uwzględniany w końcowej wersji aplikacji przy wyłączonym wsparciu dla assert.

Problem:

Nadużywanie assert zamiast normalnych sprawdzeń błędów (np. sprawdzania danych wejściowych użytkownika), a także brak zrozumienia jego wyłączalności na serwerze produkcyjnym może prowadzić do pomijania błędów.

Rozwiązanie:

Assert stosuje się tylko do logicznych inwariantów, które nie mogą być naruszone przy poprawnym działaniu programu, ale jeśli zostały naruszone, aplikacja zachowuje się jednoznacznie niepoprawnie.

Przykład kodu:

public int divide(int a, int b) {
    assert b != 0 : "Dzielnik nie może być zerem!";
    return a / b;
}

Kluczowe cechy:

assert można wyłączyć flagą JVM (-ea/–da), a wtedy wszystkie assert będą ignorowane
assert nie powinien być stosowany do sprawdzania danych użytkownika lub zewnętrznych
Komunikat po assert pozwala jednoznacznie poinformować o przyczynie błędu

Pytania z podstępem.

Czy assert będzie działać domyślnie podczas uruchamiania programu Java?

Odpowiedź: Nie, domyślnie assert jest wyłączony. Należy go włączyć jawnie za pomocą flagi -ea (włączanie asercji).

Czy assert może być używany w kodzie produkcyjnym?

Odpowiedź: Niekoniecznie, ponieważ assertionError może być po prostu zignorowany. Użycie assert jest możliwe tylko dla inwariantów i w kodzie testowym.

Czym się różni assert i wyrzucanie wyjątku?

Odpowiedź:

assert jest wyłączany w środowisku produkcyjnym, wyjątki – nie
assert – wskaźnik błędu (inwariant naruszony)
Wyjątek – obsługa oczekiwanych błędów

Typowe błędy i antywzorce

assert do sprawdzania ważności danych użytkownika
assert do kodu, który powinien poprawnie obsługiwać błąd, a nie tylko zrzucać stos

Przykład z życia

Negatywny przypadek

Programista używa assert do sprawdzania danych wejściowych aplikacji webowej, pozwalając użytkownikowi na wywołanie krytycznego błędu przy niepoprawnych wartościach.

Plusy:

Szybka realizacja

Minusy:

assert jest wyłączony na serwerze produkcyjnym, błędy są niewidoczne, dane są uszkadzane

Pozytywny przypadek

Assert jest stosowany tylko do wewnętrznych inwariantów w algorytmie, dla użytkownika wszystkie kontrole są wykonywane przez zwykłe wyjątki.