poikkeuskäsittelijä

Poikkeuskäsittelijä on ohjelmointikielen mekanismi, jonka avulla poikkeustilanteet, kuten virheet tai odottamattomat olosuhteet, käsitellään erillään normaalista suorituspolusta. Poikkeus voidaan heittää tai viskauttaa ohjelman suorittaessa; käsittelijä vastaa siitä, miten ohjelma reagoi tilanteeseen, esimerkiksi virheilmoituksen antamiseen, resurssien vapauttamiseen tai ohjelman turvalliseen tilaan palauttamiseen.

Käytännössä poikkeuskäsittely perustuu tyypin perusteella tehtävään valintaan. Kun poikkeus heitetään, suoritus siirtyy lähimpään käsittelijään, joka pystyy käsittelemään kyseisen poikkeusluokan. Taustalla tapahtuu usein pinon vapauttamista (stack unwinding), jolloin päällekkäiset resurssit, kuten muisti- tai tiedostoresurssit, vapautuvat. Jos käytössä on lopulta lohko (finally) tai vastaava mekanismi, se suoritetaan riippumatta siitä, toteutuiko käsittely.

Käsittelijät voivat olla paikallisia tai laajemman skaalan, ja poikkeukset voidaan luokitella sekä tarkasteltaviin (checked) että epäluotettaviin (unchecked) poikkeuksiin kielestä riippuen. Joissakin kielissä kompilaatio-aikana odotetaan, että tietyt poikkeukset käsitellään tai merkitään, kun taas toiset kielet sallivat poikkeusten valumisen läpi ilman pakollista käsittelyä.

Hyviä käytäntöjä poikkeuskäsittelijöille ovat muun muassa rajoitettujen käsittelijöiden käyttö, virheviestien ja kontekstin säilyttäminen sekä resurssien asianmukainen vapauttaminen. Poikkeusten käsittelyt tulisi pitää kevyinä ja paikantaa virheiden lähteet tarkasti, jotta ohjelman luotettavuus ja ylläpidettävyys paranisivat.

Poikkeuskäsittelijä on keskeinen osa ohjelmoinnin virheenkäsittelyä ja ohjelman luotettavuutta lisäävä rakennuspalikka, jota käytetään yhdessä muiden hallintamekanismien, kuten lokituksen ja resurssien hallinnan, kanssa.