Виняток, кинутий всередині блоку лову - чи буде його знову спіймано?

Це може здатися питанням програмування 101, і я думав, що знаю відповідь, але тепер мені здається, що потрібно ще раз перевірити. У цьому фрагменті коду нижче, чи буде виняток, викинутий у перший блок вилучення, спійманим загальним блоком вилову винятків нижче?

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

Я завжди думав, що відповідь буде «ні», але зараз у мене є якась дивна поведінка, яка може бути викликана цим. Відповідь, мабуть, однакова для більшості мов, але я працюю на Java.

Ні, оскільки нове throwне знаходиться в tryблоці безпосередньо.

Ні. Це дуже легко перевірити.

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");
        }
    }
}

Слід надрукувати:

У лові IOException: клас java.io.IOException
Нарешті
Виняток у потоці "main" java.lang.RuntimeException
        на Catch.main (Catch.java:8)

Технічно це могла бути помилка компілятора, залежність від реалізації, невказана поведінка чи щось таке. Однак, JLS досить добре прибита, і компілятори досить хороші для такого простого (річ у кутовому випадку може бути різною справою).

Також зауважте, що якщо ви поміняєте місцями навколо двох блоків уловлювання, вони не збираються. Другий улов був би абсолютно недосяжним.

Зверніть увагу, що остаточний блок завжди працює, навіть якщо виконується блок ловлі (крім дурних випадків, таких як нескінченні петлі, приєднання через інтерфейс інструментів та вбивство потоку, перезапис байт-коду тощо).

У розділі 14.19.1 вказано специфікацію мови Java:

Якщо виконання блоку спробу завершено різко через кидок значення V, то є вибір:

• Якщо тип V під час виконання V присвоюється Параметру будь-якого застереження про запуск оператора спробу, тоді вибирається перший (крайній лівий) такий пункт зачеплення. Значення V присвоюється параметру вибраного пункту лову, і виконується блок цього пункту лову. Якщо цей блок завершується нормально, то оператор try завершується нормально; якщо цей блок різко завершується з будь-якої причини, то оператор спробу завершується різко з тієї ж причини.

Довідка: http://java.sun.com/docs/books/jls/second_edition/html/statements.doc.html#24134

Іншими словами, перший улов, що охоплює виняток, є, і якщо виняток буде викинутий з цього улову, це не входить в рамки будь-якого іншого вилову для оригінальної спроби, тому вони не намагатимуться його впоратися.

Одне пов'язане та заплутане, що потрібно знати, це те, що в структурі try- [catch], нарешті, блок нарешті може кинути виняток, і якщо так, будь-який виняток, кинутий блоком try або catch, втрачається. Це може бентежити, коли ви це побачите.

Якщо ви хочете викинути виняток із блоку вилову, ви повинні повідомити про свій метод / клас / тощо. що для цього потрібно кинути виняток. Так:

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

І тепер ваш компілятор не буде на вас кричати :)

Ні - Як сказав Кріс Єстер-Янг, це буде перенесено на наступний досвід в ієрархії.

Як було сказано вище ...
Я додам, що якщо у вас виникли проблеми з переглядом того, що відбувається, якщо ви не можете відтворити проблему в налагоджувачі, ви можете додати слід перед повторним перекиданням нового винятку (за допомогою старої гарної системи .out.println в гіршому випадку, з хорошою системою журналів, як log4j в іншому випадку).

Він не буде спійманий другим блоком лову. Кожен виняток потрапляє лише тоді, коли всередині пробного блоку. Ви можете вкладати спроби, хоча (не те, що це взагалі гарна ідея):

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

Ні, оскільки всі уловки відносяться до одного і того ж блоку спробу, тому викидання з блоку лову буде сприймане блоком спробувати, що додається (можливо, у методі, який називав цей)

Стара змінна публікація, але "e" повинна бути унікальною:

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