Глава 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, чье выражение исключения является окончательным или фактически окончательным параметром исключения блока 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) { ... }