Antwort.

Historie der Frage:

Der assert-Mechanismus wurde in Java 1.4 eingeführt, um logische Fehler und Annahmen des Entwicklers innerhalb des Codes zu diagnostizieren. Assert erlaubte es, zur Laufzeit Diskrepanzen zwischen erwarteten und tatsächlichen Werten ohne explizite Ausnahmen zu identifizieren und fiel nicht in die endgültige Version der Anwendung, wenn die Unterstützung für assert deaktiviert war.

Problem:

Der Missbrauch von assert anstelle normaler Fehlerprüfungen (z. B. Prüfungen der Benutzereingaben) und das Missverständnis seiner Deaktivierbarkeit auf einem Produktionsserver kann zu verpassten Fehlern führen.

Lösung:

Assert wird nur für logische Invarianten verwendet, die bei korrekter Ausführung des Programms nicht verletzt werden können. Wenn sie jedoch verletzt werden, verhält sich die Anwendung eindeutig inkorrekt.

Beispielcode:

public int divide(int a, int b) {
    assert b != 0 : "Teiler darf nicht null sein!";
    return a / b;
}

Wichtige Merkmale:

Assert kann mit dem JVM-Flag (-ea/–da) deaktiviert werden, und dann werden alle asserts ignoriert
Assert sollte nicht zur Überprüfung von Benutzerdaten oder externen Daten verwendet werden
Die Nachricht nach assert gibt klar den Grund für einen Fehler an

Fangfragen.

Wird assert standardmäßig beim Start eines Java-Programms funktionieren?

Antwort: Nein, assert ist standardmäßig deaktiviert. Es muss ausdrücklich über das Flag -ea (enable assertions) aktiviert werden.

Kann assert im Produktionscode verwendet werden?

Antwort: Nicht empfohlen, da AssertionError einfach ignoriert werden kann. Assert kann nur für Invarianten und in Testcode verwendet werden.

Was unterscheidet assert von der Auslösung einer Ausnahme?

Antwort:

Assert wird in Produktionsumgebungen deaktiviert, Ausnahmen nicht
Assert ist ein Indikator für einen Fehler (Invariant verletzt)
Exception — Verarbeitung erwarteter Fehler

Typische Fehler und Anti-Patterns

Assert zur Überprüfung der Gültigkeit von Benutzerdaten
Assert für Code, der einen Fehler korrekt verarbeiten sollte, anstatt einfach den Stack zurückzusetzen

Beispiel aus dem Leben

Negativer Fall

Ein Programmierer verwendet assert zur Überprüfung von Eingabewerten in einer Webanwendung und ermöglicht es dem Benutzer, einen kritischen Fehler bei falschen Werten zu verursachen.

Vorteile:

Schnell implementiert

Nachteile:

Assert ist auf dem Produktionsserver deaktiviert, Fehler sind nicht sichtbar, Daten werden beschädigt

Positiver Fall

Assert wird nur für interne Invarianten im Algorithmus verwendet, für den Benutzer werden alle Prüfungen über normale Ausnahmen durchgeführt.