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

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

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

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

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

Оператор throw (§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, если выполняется хотя бы одно из следующих условий:

Любой другой оператор 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₁, и при этом блок кода, соответствующий этому блоку обработки исключений, не может сгенерировать проверяемый класс исключения, который является подклассом или надклассом E₁, за исключением случаев, когда E₁ является Exception или надклассом Exception.

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

Компилятор Java рекомендуется выводить предупреждение, если блок обработки исключений может поймать проверяемый класс исключения E₁, а соответствующий блок кода может сгенерировать проверяемый класс исключения 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) { ... }