Wstecz: 22.2 Wychwytywanie wyjątków W górę: 22. Wyjątki Dalej: 22.4 Wyjątki w konstruktorach i destruktorach

---

22.3 Hierarchie wyjątków

Za blokiem try można umieścić kilka następujących po sobie bloków catch. Jeśli w takiej sytuacji nastąpi zgłoszenie wyjątku, to podczas poszukiwania odpowiedniej procedury obsługi będzie sprawdzany typ wyjątków deklarowany w nagłówkach przez kolejne bloki catch. Jeśli (po ewentualnej konwersji niejawnej, jak w poprzednim przykładzie) znaleziony zostanie odpowiedni typ, to ta właśnie fraza catch zostanie użyta i na tym obsługa tego wyjątku zakończy się: pozostałe bloki catch zostaną już zignorowane, nawet jeśli jest wśród nich taki o bliższym dopasowaniu typu parametru z typem wyjątku. Konwersje w górę są wykonywane tylko dla argumentów obiektowych. Na przykład program

      1.  #include <iostream>
      2.  using namespace std;
      3.  
      4.  int main() {
      5.      try {
      6.          throw 7;
      7.      }
      8.      catch(double) { cout << "double" << endl; }
      9.      catch(int   ) { cout << "int   " << endl; }
     10.  }

Dla wyjątków typu obiektowego konwersja w górę będzie jednak zastosowana

      1.  #include <iostream>
      2.  using namespace std;
      3.  
      4.  class A { };
      5.  class B : public A { };
      6.  
      7.  int main() {
      8.      try {
      9.          throw B();
     10.      }
     11.      catch(A) { cout << "A" << endl; }
     12.      catch(B) { cout << "B" << endl; }
     13.  }

    cpp> g++ -pedantic-errors -Wall -o hierob hierob.cpp
    hierob.cpp: In function `int main()':
    hierob.cpp:12: warning: exception of type `B' will be
                        caught by earlier handler for `A'
    cpp> ./hierob
    A

      1.  #include <iostream>
      2.  using namespace std;
      3.  
      4.  struct A {
      5.      const char* info() { return "A*"; }
      6.  };
      7.  
      8.  struct B : A {
      9.      const char* info() { return "B*"; }
     10.  };
     11.  
     12.  int main()
     13.  {
     14.      try {
     15.          throw new B;
     16.      }
     17.      catch(A* a) { cout << a->info() << endl; }
     18.      catch(B* b) { cout << b->info() << endl; }
     19.  }

    cpp> g++ -pedantic-errors -Wall -o hier1 hier1.cpp
    hier1.cpp: In function `int main()':
    hier1.cpp:18: warning: exception of type `B*' will be
                       caught by earlier handler for `A*'
    cpp> ./hier1
    A*

• A i  B są tym samym typem;
• B jest klasą dziedziczącą publicznie z  A i tylko z  A (B może dziedziczyć też z innych klas, ale nie publicznie);
• oba typy są wskaźnikowe, a typy wskazywane spełniają jeden z powyższych warunków;
• catch deklaruje A&, a typ  B wyjątku spełnia któryś z wymienionych warunków.

Czasem na samym końcu listy fraz catch umieszcza się taką frazę z trzema kropkami zamiast parametru

       catch(...) {
           // ...
       }

---

Wstecz: 22.2 Wychwytywanie wyjątków W górę: 22. Wyjątki Dalej: 22.4 Wyjątki w konstruktorach i destruktorach