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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

import java.io.FileNotFoundException;
import java.io.IOException;

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) { ... }