Исключение, брошенное в блок захвата - будет ли оно снова поймано?

Это может показаться вопросом программирования, и я подумал, что знаю ответ, но теперь мне нужно перепроверить. В этом фрагменте кода ниже будет ли исключение, генерируемое в первом блоке catch, перехватываться общим блоком catch Exception ниже?

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 довольно хорошо прибит, и компиляторы достаточно хороши для такого рода простых вещей (случай с обобщенным углом может отличаться).

Также обратите внимание, что если вы поменяете местами два блока catch, он не скомпилируется. Второй улов будет полностью недоступен.

Обратите внимание, что блок finally всегда выполняется, даже если выполняется блок catch (кроме глупых случаев, таких как бесконечные циклы, присоединение через интерфейс инструментов и уничтожение потока, перезапись байт-кода и т. Д.).

Спецификация языка Java говорит в разделе 14.19.1:

Если выполнение блока try завершается внезапно из-за выброса значения V, существует выбор:

• Если во время выполнения тип V назначается параметру любого предложения catch оператора try, то выбирается первое (самое левое) такое предложение catch. Значение V присваивается параметру выбранного предложения catch, и выполняется блок этого предложения catch. Если этот блок завершается нормально, то оператор try завершается нормально; если этот блок завершается преждевременно по какой-либо причине, то оператор try завершается преждевременно по той же причине.

Ссылка: http://java.sun.com/docs/books/jls/second_edition/html/statements.doc.html#24134

Другими словами, первый включающий улов, который может обработать исключение, делает, и если исключение выбрасывается из этого улова, это не входит в область действия какого-либо другого улова для первоначальной попытки, поэтому они не будут пытаться обработать его.

Одна связанная и запутанная вещь, которую нужно знать, это то, что в структуре try-[catch] -finally блок finally может выдать исключение, и если это так, любое исключение, выброшенное блоком try или catch, будет потеряно. Это может сбить с толку, когда вы впервые увидите это.

Если вы хотите выбросить исключение из блока catch, вы должны сообщить свой метод / класс / и т. Д. что для этого нужно выбросить указанное исключение. Вот так:

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

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

Нет - как сказал Крис Джестер-Янг, это будет выброшено на следующую попытку в иерархии.

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

Это не будет поймано вторым блоком захвата. Каждое исключение отлавливается только внутри блока try. Вы можете вложить попытки хотя (не то, что это хорошая идея вообще):

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

Нет, поскольку все перехваты ссылаются на один и тот же блок try, поэтому выброс изнутри блока перехвата будет перехвачен включающим блоком try (возможно, в методе, который вызвал этот)

Старая запись, но переменная "e" должна быть уникальной:

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