Risposta.

Storia della questione:

Il meccanismo assert è stato aggiunto in Java 1.4 per diagnosticare errori logici e presupposti dello sviluppatore all'interno del codice. Assert consentiva di rilevare a runtime le discrepanze tra valori attesi e reali senza eccezioni esplicite thrown e non veniva incluso nella versione finale dell'applicazione quando il supporto di assert era disattivato.

Problema:

L'abuso di assert invece di normali controlli sugli errori (ad esempio, verifiche sugli input degli utenti), così come la mancata comprensione della sua disattivabilità sui server di produzione può portare a errori trascurati.

Soluzione:

Assert dovrebbe essere utilizzato solo per invarianti logici, che non possono essere violati durante il corretto funzionamento del programma, ma se venissero violati, l'applicazione si comporterebbe in modo non corretto.

Esempio di codice:

public int divide(int a, int b) {
    assert b != 0 : "Il divisore non dovrebbe essere zero!";
    return a / b;
}

Caratteristiche chiave:

Assert può essere disattivato con un flag JVM (-ea/–da), e allora tutti gli assert saranno ignorati
Assert non dovrebbe essere utilizzato per verificare dati dell'utente o esterni
Il messaggio dopo assert consente di comunicare esplicitamente il motivo del fallimento

Domande insidiose.

Funzionerà assert per impostazione predefinita quando si avvia un programma Java?

Risposta: No, per impostazione predefinita assert è disattivato. Deve essere attivato esplicitamente tramite il flag -ea (enable assertions).

Può assert essere utilizzato nel codice di produzione?

Risposta: Non è consigliato, poiché assertionError può essere semplicemente ignorato. L'uso di assert è possibile solo per invarianti e nel codice di test.

Qual è la differenza tra assert e lancio di un'eccezione?

Risposta:

Assert è disattivabile nell'ambiente di produzione, le eccezioni non lo sono
Assert è un indicatore di bug (invariante violato)
Eccezione — gestione di errori previsti

Errori tipici e anti-pattern

Assert per controllare la validità dei dati dell'utente
Assert per codice che dovrebbe gestire correttamente un errore, e non semplicemente stampare lo stack

Esempio dalla vita reale

Caso negativo

Un programmatore utilizza assert per controllare i dati di input di un'applicazione web, permettendo all'utente di generare un errore critico con valori errati.

Vantaggi:

Realizzazione rapida

Svantaggi:

Assert disabilitato sul server di produzione, errori non visibili, dati danneggiati

Caso positivo

Assert è applicato solo per invarianti interni nell'algoritmo, per l'utente tutti i controlli sono effettuati tramite eccezioni normali.