Hvorfor unntak?

Et unntak signaliserer at noe gikk galt på en måte som ikke kan ignoreres. I objektorientert kode brukes unntak særlig til å håndheve regler/invarianter: i stedet for å returnere en feilverdi, stopper man programflyten og forklarer hva som er galt.

public Seating(Table table, Group group) {
    if (table.getCapacity() < group.getGuestCount()) {
        throw new IllegalArgumentException("Bordet er for lite for gruppen");
    }
    this.table = table;
    this.group = group;
}

Poenget er å utløse unntak — ikke bare pakke initialiseringen i en if og late som ingenting.

Sjekkede vs. usjekkede unntak

Usjekkede (subklasser av RuntimeException, f.eks. IllegalArgumentException, NullPointerException, IndexOutOfBoundsException): trenger ikke deklareres. Brukes for programmeringsfeil og brudd på forutsetninger.
Sjekkede (f.eks. IOException): må enten fanges med try/catch eller deklareres med throws i metodesignaturen. Brukes for forventede, ytre feil (fil mangler, nettverk nede).

throws — la unntaket boble opp

Når en metode bruker strømmer, er det ofte riktigst å ikke håndtere feilen lokalt, men deklarere den og la kalleren bestemme:

public void load(InputStream in) throws IOException {
    Scanner scanner = new Scanner(in);
    // ... lesing som kan kaste IOException ...
}

Bruk den mest spesifikke unntakstypen (IOException framfor Exception); det dokumenterer hva som faktisk kan gå galt.

try/catch og hvorfor man ikke bør svelge unntak

Et tomt catch-blokk skjuler feil og gjør feilsøking vanskelig. Det finnes likevel legitime tilfeller der man bevisst prøver et alternativ og fanger forventede unntak:

public boolean checkAnswer(String answer) {
    if (!options.isEmpty()) {
        try {
            int num = Integer.parseInt(answer);          // kan kaste
            if (this.answer.equals(options.get(num - 1))) // kan kaste
                return true;
        } catch (IndexOutOfBoundsException | NumberFormatException e) {
            // svaret var ikke et gyldig nummer -> fall tilbake til tekst
        }
    }
    return this.answer.equals(answer);
}

Her er det bevisst og dokumentert at vi faller tilbake til tekstsammenligning; det er forskjellig fra å svelge en uventet feil.

Eksempel i eksamensstil — uttak fra konto

Lag en trekk(beløp)-metode som kaster unntak dersom beløpet er negativt eller større enn saldoen.

public void trekk(double belop) {
    if (belop < 0) {
        throw new IllegalArgumentException("Belop kan ikke vaere negativt");
    }
    if (belop > saldo) {
        throw new IllegalStateException("Ikke nok dekning: " + saldo);
    }
    saldo -= belop;
}

Ugyldig argument gir IllegalArgumentException; et lovlig argument i en ulovlig tilstand (for lite dekning) gir IllegalStateException. Begge er usjekkede og trenger ikke throws.

Studieguide: Unntakshåndtering

Studieguide: Unntakshåndtering