Perché è importante usare i contratti in Java?

I contratti (Design by Contract) in Java sono importanti per i seguenti motivi:

• Aumento dell'affidabilità: I contratti definiscono esplicitamente le precondizioni, postcondizioni e invarianti per i metodi. Questo permette di individuare errori nelle prime fasi dello sviluppo, anziché in produzione.
• Miglioramento della leggibilità e comprensione del codice: I contratti fungono da forma di documentazione, descrivendo chiaramente il comportamento atteso del metodo. È più facile per gli sviluppatori capire come usare il metodo e quali garanzie offre.
• Facilitazione del debugging: Quando un contratto viene violato, il sistema reagisce (ad esempio, lanciando un'eccezione), indicando rapidamente il punto del problema. Questo riduce significativamente il tempo di debug.
• Facilitazione dei test: I test unitari possono verificare direttamente l'esecuzione dei contratti, rendendoli più efficaci e affidabili.
• Supporto per ereditarietà e polimorfismo: I contratti aiutano a garantire che le sottoclassi implementino correttamente il comportamento definito nelle superclasse (regola di Liskov). La violazione dei contratti in ereditarietà può portare a errori non evidenti.

Esempio di utilizzo dei contratti (anche se in Java non c'è supporto nativo, si possono usare librerie come AspectJ o annotazioni con verifica in runtime):

// Esempio con uso di annotazioni (concettuale)
public class Calculator {

    /**
     * @pre a >= 0
     * @pre b >= 0
     * @post result >= 0
     * @post result == a + b
     */
    public int add(int a, int b) {
        // Verifica delle precondizioni (può essere implementata con una libreria o manualmente)
        if (a < 0 || b < 0) {
            throw new IllegalArgumentException("Gli argomenti devono essere non negativi.");
        }

        int sum = a + b;

        // Verifica delle postcondizioni (può essere implementata con una libreria o manualmente)
        if (sum < 0) { // Esempio di postcondizione poco realistico per dimostrazione
             throw new IllegalStateException("Il risultato dovrebbe essere non negativo.");
        }
        if (sum != a + b) { // Esempio di controllo di uguaglianza
             throw new IllegalStateException("Risultato errato.");
        }

        return sum;
    }
}