Ausnahmebehandlung in Java: Die Mehrdeutigkeit aufdecken

In einem rätselhaften Java-Ausnahmebehandlungsszenario präsentierte eine Universitätsfrage den folgenden Codeausschnitt:

// Exception Heirarchy
class MyExc1 extends Exception {}
class MyExc2 extends Exception {}
class MyExc3 extends MyExc2 {}

// Main Class
public class C1 {
    public static void main(String[] args) throws Exception {
        try {
            System.out.print(1);
            q();
        }
        catch (Exception i) {
            throw new MyExc2();
        }
        finally {
            System.out.print(2);
            throw new MyExc1();
        }
    }

    static void q() throws Exception {
        try {
            throw new MyExc1();
        }
        catch (Exception y) {
        }
        finally {
            System.out.print(3);
            throw new Exception();
        }
    }
}

Die Frage wurde nach ihrer Ausgabe gefragt und die Antwort war „13Exception in Thread main MyExc2“. Die richtige Antwort lautet jedoch „132Exception in thread main MyExc1“.

Klärung der Mehrdeutigkeit

Um dieses Rätsel zu lösen, ist es wichtig, die Priorität von Ausnahmen zu verstehen:

• Prinzip: Wenn eine neue Ausnahme innerhalb eines Catch- oder Final-Blocks ausgelöst wird, wird die aktuell behandelte Ausnahme abgebrochen.

• Konsequenzen :

  • Die Ausbreitung der aktuellen Ausnahme wird angehalten.
  • Die neue Ausnahme wird zur sich verbreitenden Ausnahme.
  • Die neue Ausnahme wickelt den Stapel wie gewohnt ab. auf anwendbare Catch- oder Final-Blockaden stoßen.

Rückverfolgung der Ausführung

Anwenden dieses Prinzips auf den Code:

1. Initial Execution:

   • Zeile 13: MyExc1 wird in den try-Block von q() geworfen.
   • Zeile 18: Die MyExc1 wird im Catch-Block von q() gefangen.
   • Zeile 21: Zeile 21 wird ausgeführt (druckt 3).

2. Catch Block Ausnahme:

   • Zeile 19: MyExc2 wird in den Catch-Block von main() geworfen.
   • Zeile 22: MyExc2 bricht die Weitergabe von MyExc1 ab.
   • Zeile 19: MyExc2 beginnt mit dem Abwickeln des Stapels.

3. Ausführung wird im Try-Block von Main fortgesetzt:

   • Zeile 15 : Zeile 15 wird ausgeführt (druckt 2).
   • Zeile 16: MyExc1 wird in den endgültigen Block von main() geworfen.
   • Zeile 16: MyExc1 bricht die Weitergabe von MyExc2 ab.
   • Zeile 16: MyExc1 beginnt mit dem Abwickeln des Stapels (und unterliegt immer noch dem „finally“-Block von main).

4. Finally Block Exception:

   • Zeile 23: Ausnahme wird im endgültigen Block von main() ausgelöst.
   • Zeile 23: Ausnahme bricht die Weitergabe von MyExc1 ab.
   • Zeile 23: Ausnahme beginnt mit dem Abwickeln den Stapel nach oben.

Ausgabe:

Die endgültige Ausgabe ist „132Exception in thread main MyExc1“, weil die Ausnahme, die sich nach außen ausbreitet der Hauptmethode ist das in Zeile 16 geworfene MyExc1. Das in Zeile 19 geworfene MyExc2 wird abgebrochen, wenn MyExc1 in Zeile 16 geworfen wird.