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

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

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

Оператор 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 только в случае, если:

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

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

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

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

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

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

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

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

import java.io.*;

class StaticallyThrownExceptionsIncludeSubtypes {
    public static void main(String[] args) {
        try {
            throw new FileNotFoundException();
        } catch (IOException ioe) {
            // Legal in Java SE 6 and 7. "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) {
            // Legal in Java SE 6 and 7.
        } catch (IOException ioe) {
            // Legal in Java SE 6 and 7, but compilers are
            // encouraged to throw warnings as of Java SE 7.
            // All subtypes of IOException that the try block
            // can throw have already been caught.
        }

        try {
            m();
              // Method m's declaration says "throws IOException".
              // m "can throw" IOException. It is not the case
              // that m "can throw" a subtype or supertype of
              // IOException, e.g. Exception, though Exception or
              // a supertype of Exception can always be caught.
        } catch (FileNotFoundException fnfe) {
            // Legal in Java SE 6 and 7, because the dynamic type
            // of the IOException might be FileNotFoundException.
        } catch (IOException ioe) {
            // Legal in Java SE 6 and 7.
        } catch (Throwable t) {
            // Legal in Java SE 6 and 7.
        }
    }

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

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