Une date toujours valide

Le constructeur vérifie l'invariant avec joursDansMois ; lendemain distingue trois cas (même mois, mois suivant, année suivante), et chaque nouvelle date repasse par le constructeur.

// Une date toujours valide, immuable.
final class Date {
    private final int jour, mois, annee;

    Date(int jour, int mois, int annee) {
        if (mois < 1 || mois > 12 || jour < 1 || jour > joursDansMois(mois, annee)) {
            throw new IllegalArgumentException("date invalide : " + jour + "/" + mois + "/" + annee);
        }
        this.jour = jour;
        this.mois = mois;
        this.annee = annee;
    }

    static boolean estBissextile(int a) {
        return (a % 4 == 0 && a % 100 != 0) || a % 400 == 0;
    }

    static int joursDansMois(int m, int a) {
        switch (m) {
            case 2: return estBissextile(a) ? 29 : 28;
            case 4: case 6: case 9: case 11: return 30;
            default: return 31;
        }
    }

    Date lendemain() {
        if (jour < joursDansMois(mois, annee)) return new Date(jour + 1, mois, annee);
        if (mois < 12) return new Date(1, mois + 1, annee);
        return new Date(1, 1, annee + 1);
    }

    @Override
    public String toString() { return String.format("%02d/%02d/%d", jour, mois, annee); }
}

public class Ex11Date {
    public static void main(String[] args) {
        System.out.println(new Date(28, 2, 2024).lendemain());
        System.out.println(new Date(28, 2, 2026).lendemain());
        System.out.println(new Date(31, 12, 2026).lendemain());
        for (int[] d : new int[][] {{29, 2, 1900}, {29, 2, 2000}, {31, 4, 2026}}) {
            try {
                System.out.println(new Date(d[0], d[1], d[2]) + " valide");
            } catch (IllegalArgumentException e) {
                System.out.println(e.getMessage());
            }
        }
    }
}

29/02/2024
01/03/2026
01/01/2027
date invalide : 29/2/1900
29/02/2000 valide
date invalide : 31/4/2026

1900 est divisible par 100 sans l'être par 400 : elle n'est pas bissextile. 2000, divisible par 400, l'est. Dans le constructeur, l'ordre des tests compte : on vérifie que le mois est dans $[1,12]$ avant d'appeler joursDansMois. Ici, l'appel avec un mois invalide retournerait 31 sans dommage, mais dans une version qui lirait un tableau indexé par le mois, il provoquerait un débordement d'indice. La bibliothèque de Java fournit une classe java.time.LocalDate qui fait tout cela, et bien plus.