Глава 11. Исключения

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

Выражение вызова метода (§15.12) может выбросить исключение класса E, если выполняется одно из следующих условий:

Выражение лямбда-выражения (§15.27) не может выбросить никаких классов исключений.

Выражение switch (§15.28) может выбросить исключение класса E, если выполняется одно из следующих условий:

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

Обратите внимание, что выражение ссылки на метод (§15.13) вида Primary :: [TypeArguments] Identifier может выбросить исключение, если подвыражение Primary может выбросить исключение. В отличие от этого, лямбда-выражение ничего не может выбросить и не имеет непосредственных подвыражений, на которых можно выполнить анализ исключений. Это тело лямбда-выражения, содержащее выражения и операторы, которые могут выбросить классы исключений.

Оператор §14.18 с выражением, бросающим исключение статического типа E и не являющимся конечным или эффективно конечным параметром исключения, может бросить исключение типа E или любой класс исключения, который может бросить выражение.

Например, оператор throw new java.io.FileNotFoundException(); может бросить только java.io.FileNotFoundException. Формально, он не может "бросить" подкласс или надкласс java.io.FileNotFoundException.

Оператор throw, выражение которого бросает исключение, являющееся конечным или эффективно конечным параметром исключения блока обработки исключений C, может бросить исключение типа E, если:

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

Оператор явного вызова конструктора (§8.8.7.1) может бросить исключение типа E, если выполняется одно из следующих условий:

Оператор switch (§14.11) может бросить исключение типа E, если выполняется одно из следующих условий:

Любой другой оператор S может бросить исключение типа E, если выражение или оператор, немедленно содержащийся в S, может бросить E.

Ошибка компиляции, если тело метода или конструктора может бросить исключение класса E, когда E — класс проверяемого исключения и E не является подклассом какого-либо класса, объявленного в блоке обработки исключений метода или конструктора.

Ошибка компиляции, если тело лямбда-выражения может бросить исключение класса E, когда E — класс проверяемого исключения и E не является подклассом какого-либо класса, объявленного в блоке обработки исключений целевого типа функции, к которому относится лямбда-выражение.

Ошибка компиляции, если инициализатор переменной класса (§8.3.2) или статический инициализатор (§8.7) именованного класса или интерфейса может бросить проверяемый класс исключения.

Ошибка компиляции, если инициализатор переменной экземпляра (§8.3.2) или инициализатор экземпляра (§8.6) именованного класса может бросить проверяемый класс исключения, если у именованного класса нет ни одного явно объявленного конструктора, и класс исключения или один из его предков не объявлен в блоке обработки исключений каждого конструктора.

Обратите внимание, что ошибка компиляции не возникает, если инициализатор переменной экземпляра или инициализатор экземпляра анонимного класса (§15.9.5) может бросить исключение. В именованном классе программист обязан распространить информацию о классах исключений, которые могут быть брошены инициализаторами, объявив соответствующий блок обработки исключений в любом явном объявлении конструктора. Эта связь между классами проверяемых исключений, которые выбрасываются инициализаторами класса, и классами проверяемых исключений, объявленными конструкторами класса, гарантирована для объявления анонимного класса, потому что явных объявлений конструкторов быть не может, а компилятор Java всегда генерирует конструктор с соответствующим блоком обработки исключений для объявления анонимного класса на основе классов проверяемых исключений, которые могут быть брошены его инициализаторами.

Ошибка компиляции, если блок обработки исключений может перехватить проверяемый класс исключения E₁, и соответствующий блок catch, не выполняется, если try блок не может бросить проверяемый класс исключения, который является подклассом или надклассом E₁, за исключением случаев, когда E₁ — Exception или надкласс Exception.

Ошибка компиляции, если блок обработки исключений может перехватить класс исключения E₁, и предшествующий блок обработки исключений блока оператора try может перехватить E₁ или его надкласс.

Компилятор Java рекомендуется выдавать предупреждение, если блок обработки исключений может перехватить проверяемый класс исключения E₁, а соответствующий блок catch может бросить проверяемый класс исключения E₂, где E₂ <: E₁, и предшествующий блок обработки исключений оператора try может перехватить проверяемый класс исключения E₃, где E₂ <: E₃ <: E₁.

import java.io.*;

class StaticallyThrownExceptionsIncludeSubtypes {
    public static void main(String[] args) {
        try {
            throw new FileNotFoundException();
        } catch (IOException ioe) {
            // "catch IOException" catches IOException 
            // and any subtype.
        }

        try {
            throw new FileNotFoundException();
              // Statement "can throw" FileNotFoundException.
              // It is not the case that statement "can throw"
              // a subtype or supertype of FileNotFoundException.
        } catch (FileNotFoundException fnfe) {
            // ... Handle exception ...
        } catch (IOException ioe) {
            // Legal, but compilers are encouraged to give
            // warnings as of Java SE 7, because all subtypes of
            // IOException that the try block "can throw" have 
            // already been caught by the prior catch clause.
        }

        try {
            m();
              // m's declaration says "throws IOException", so
              // m "can throw" IOException. It is not the case
              // that m "can throw" a subtype or supertype of
              // IOException (e.g. Exception).
        } catch (FileNotFoundException fnfe) {
            // Legal, because the dynamic type of the exception 
            // might be FileNotFoundException.
        } catch (IOException ioe) {
            // Legal, because the dynamic type of the exception
            // might be a different subtype of IOException.
        } catch (Throwable t) {
            // Can always catch Throwable.
        }
    }

    static void m() throws IOException {
        throw new FileNotFoundException();
    }
}

try { ... }
catch (Foo f) { ... }
catch (Bar | SubclassOfFoo e) { ... }