Wyjątek wrzucony do bloku catch - czy zostanie złapany ponownie?

Może się to wydawać pytaniem o programowanie 101 i myślałem, że znam odpowiedź, ale teraz muszę sprawdzić dwukrotnie. W tym fragmencie kodu poniżej, czy wyjątek rzucony w pierwszym bloku catch zostanie następnie przechwycony przez ogólny blok Exception catch poniżej?

try {
  // Do something
} catch(IOException e) {
  throw new ApplicationException("Problem connecting to server");
} catch(Exception e) {
  // Will the ApplicationException be caught here?
}

Zawsze myślałem, że odpowiedź brzmi: nie, ale teraz mam dziwne zachowanie, które może być przez to spowodowane. Odpowiedź jest prawdopodobnie taka sama dla większości języków, ale pracuję w Javie.

Nie, ponieważ nowy thrownie znajduje się trybezpośrednio w bloku.

Nie. Bardzo łatwo to sprawdzić.

public class Catch {
    public static void main(String[] args) {
        try {
            throw new java.io.IOException();
        } catch (java.io.IOException exc) {
            System.err.println("In catch IOException: "+exc.getClass());
            throw new RuntimeException();
        } catch (Exception exc) {
            System.err.println("In catch Exception: "+exc.getClass());
        } finally {
            System.err.println("In finally");
        }
    }
}

Powinien wydrukować:

W catch IOException: klasa java.io.IOException
W końcu
Wyjątek w wątku „main” java.lang.RuntimeException
        w Catch.main (Catch.java:8)

Z technicznego punktu widzenia mógł to być błąd kompilatora, zależne od implementacji, nieokreślone zachowanie lub coś w tym rodzaju. Jednak JLS jest dość dobrze dopracowany, a kompilatory są wystarczająco dobre do tego rodzaju prostych rzeczy (przypadek narożnika generycznego może być inną sprawą).

Zauważ również, że jeśli zamienisz się dwoma blokami catch, to się nie skompiluje. Drugi haczyk byłby całkowicie nieosiągalny.

Zauważ, że ostatni blok zawsze działa, nawet jeśli wykonywany jest blok catch (poza głupimi przypadkami, takimi jak nieskończone pętle, dołączanie przez interfejs narzędzi i zabijanie wątku, przepisywanie kodu bajtowego itp.).

Specyfikacja języka Java mówi w sekcji 14.19.1:

Jeśli wykonanie bloku try kończy się nagle z powodu rzutu o wartości V, wówczas istnieje wybór:

• Jeśli typ czasu wykonywania V można przypisać do parametru dowolnej klauzuli catch instrukcji try, wówczas wybierana jest pierwsza (najbardziej po lewej) taka klauzula catch. Wartość V jest przypisywana do parametru wybranej klauzuli catch i wykonywany jest blok tej klauzuli catch. Jeśli ten blok kończy się normalnie, instrukcja try kończy normalnie; jeśli ten blok kończy się nagle z jakiegokolwiek powodu, instrukcja try kończy się nagle z tego samego powodu.

Źródła : http://java.sun.com/docs/books/jls/second_edition/html/statements.doc.html#24134

Innymi słowy, pierwszy obejmujący przechwyt, który może obsłużyć wyjątek, robi, a jeśli wyjątek zostanie wyrzucony z tego przechwytywania, nie jest to zakres żadnego innego przechwytywania dla oryginalnej próby, więc nie będą próbowali go obsłużyć.

Jedną z powiązanych i mylących rzeczy, które należy wiedzieć, jest to, że w strukturze try- [catch] -finally blok final może zgłosić wyjątek, a jeśli tak, każdy wyjątek rzucony przez blok try lub catch zostaje utracony. To może być mylące, gdy zobaczysz to po raz pierwszy.

Jeśli chcesz zgłosić wyjątek z bloku catch, musisz poinformować o tym swoją metodę / klasę / etc. że musi zgłosić wspomniany wyjątek. Tak jak to:

public void doStuff() throws MyException {
    try {
        //Stuff
    } catch(StuffException e) {
        throw new MyException();
    }
}

A teraz twój kompilator nie będzie na ciebie krzyczał :)

Nie - jak powiedział Chris Jester-Young, zostanie on wyrzucony do następnego próbnego złapania w hierarchii.

Jak wspomniano powyżej ...
dodam, że jeśli masz problem z zobaczeniem, co się dzieje, jeśli nie możesz odtworzyć problemu w debugerze, możesz dodać ślad przed ponownym wyrzuceniem nowego wyjątku (z dobrym starym Systemem .out.println co gorsza, z dobrym systemem dzienników, takim jak log4j).

Nie zostanie złapany przez drugi blok zaczepowy. Każdy wyjątek jest przechwytywany tylko wtedy, gdy znajduje się w bloku próbnym. Możesz jednak zagnieżdżać próby (co nie jest ogólnie dobrym pomysłem):

try {
    doSomething();
} catch (IOException) {
   try {
       doSomething();
   } catch (IOException e) {
       throw new ApplicationException("Failed twice at doSomething" +
       e.toString());
   }          
} catch (Exception e) {
}

Nie, ponieważ wszystkie catch odnoszą się do tego samego bloku try, więc rzucanie z wewnątrz bloku catch zostanie złapane przez otaczający blok try (prawdopodobnie w metodzie, która wywołała ten)

Stary post, ale zmienna „e” musi być unikalna:

try {
  // Do something
} catch(IOException ioE) {
  throw new ApplicationException("Problem connecting to server");
} catch(Exception e) {
  // Will the ApplicationException be caught here?
}