Obsługa wyjątków

Wyjątek - jest to specjalny obiekt zgłaszany przez program, powodujący przerwanie wykonywania danej części kodu

Składnia

Kod, który potencjalnie może zgłosić wyjątek umiejscawiamy w bloku try, zaś obsługę tych wyjątków w następujących zaraz po nim blokach catch:

Zgłaszanie (rzucanie) wyjątków

Do zgłaszania wyjątków służy słowo kluczowe throw


Warto wiedzieć, że nie musimy w ten sposób rzucać obiektów klas. Równie dobrze możemy posłużyć się typem wbudowanym:

Hierarchia wyjątków

Przesłanką przemawiającą za rzucaniem obiektów klas jest możliwość stworzenia hierarchii wyjątków. Wynika to stąd, że bloki catch są w stanie łapać obiekty swojej klasy lub klasy pochodnej.
W celu zilustrowania tej właściwości przedstawmy następujący przykład (nazwy klas bardzo obrazowe):

 
• Mamy klasę o nazwie Wypadek:
   
     class Wypadek
     {
       // Treść nieistotna
     };
     
  
   
• Tworzymy klasy o nazwie WypadekKolejowy i WypadekSamochodowy dziedziczące z klasy Wypadek:
   
     class WypadekKolejowy : public Wypadek
     {
       // ...
     };
     class WypadekSamochodowy : public Wypadek
     {
       // ...
     };
     
  
   
• Dodatkowo definiujemy klasę Karambol dziedziczącą z klasy WypadekSamochodowy:
   
     class Karambol : public WypadekSamochodowy
     {
       // ...
     };
     
  
  

Przykładowy kod przyjmijmy taki:


W takim wypadku, jeżeli zgłosimy Karambol

wyjątek ten zostanie przechwycony przez blok:

Jeżeli natomiast zgłosimy WypadekSamochodowy, zostanie on przechwycony przez drugi blok.

Powstaje teraz pytanie: co się stanie, jak w bloku try znajdzie się taki kod:


Nie ma w naszym kodzie bloku catch odpowiedzialnego za łapanie tego typu obiektów. Wypadek kolejowy jest jednak szczególnym rodzajem wypadku - tak samo u nas WypadekKolejowy jest klasą pochodną od Wypadek. Wyjątek zostanie zatem przechwycony przez blok:

Na takiej samej zasadzie, jeżeli usuniemy blok odpowiedzialny za łapanie Karambolu, łapać takie wyjątki będzie blok:

Blok catch(...)

W przykładzie powyżej przemycono blok catch z wielokropkiem. Zadanie takiego bloku to: "cokolwiek by nie leciało, łap to!" - blok taki będzie wychwytywał wszystkie nieprzechwycone wcześniej wyjątki.
Przykładowo, jeżeli w naszym bloku try rzucimy obiekt typu char:

wyjątek ten zostanie przechwycony przez ostatni blok catch.

Kolejność bloków catch

Kolejność łapania wyjątków nie jest dowolna. Następujący kod:


spowoduje błąd. Zasada definiowania bloków catch jest następująca:
Wyjątki należy przechwytywać zaczynając od najbardziej szczegółowych, a kończąc na najbardziej ogólnych.
Z powyższego wynika zatem, że blok catch(...) musi być zawsze ostatnim.

Uwagi

 
• Bloki try...catch można zagnieżdżać. Nie stanowi to problemu, aby wewnątrz bloku try znalazła się cała konstrukcja try...catch.
   
• Niezłapane wyjątki powodują zakończenie wykonywania programu i wypisanie komunikatu o błędzie.
   
• Nie należy rzucać wyjątków z destruktorów! Zignorowanie tego faktu może powodować nieoczekiwane zakończenia wykonywania programu.
   
• Nie powinno się wyrzucać wyjątków z bloku catch(). Spowoduje to wywołanie funkcji terminate() i w konsekwencji zakończenie działania programu.