Всегда ли выполняется блок finally в Java? Разбираемся с нюансами

Краткий ответ: да, почти всегда, но есть важные исключения

Блок finally в Java выполняется в большинстве случаев, но не во всех. Давайте разберём все сценарии, включая ваш пример с return.

1. Ваш пример: finally с return

Когда в блоке finally есть return, он переопределяет возвращаемое значение из try или catch. Это одна из самых частых ловушек для новичков. Механизм такой:

• Выполняется код в try до оператора return
• Вычисляется возвращаемое значение (в вашем случае 1)
• Но вместо немедленного возврата, управление передаётся в finally
• В finally выполняется return 3, которое замещает предыдущее возвращаемое значение

public static int testFinally() {
    try {
        return 1;      // Вычисляется 1, но не возвращается
    } finally {
        return 3;      // Переопределяет возвращаемое значение на 3
    }
}
// Результат: 3

Вывод: Никогда не используйте return в блоке finally, если только вы не хотите специально переопределить результат. Это делает код непредсказуемым.

2. Когда finally НЕ выполняется

Есть три случая, когда блок finally может не выполниться:

а) System.exit()

try {
    System.out.println("В try");
    System.exit(0);  // Завершает JVM
} finally {
    System.out.println("Это не выполнится");
}

Метод System.exit() немедленно останавливает виртуальную машину Java. JVM не успевает выполнить finally.

б) Завершение JVM из-за критической ошибки

• Аварийное завершение потока (например, Thread.stop() — устаревший и опасный метод)
• Segmentation fault на уровне ОС
• OutOfMemoryError в редких случаях, когда JVM не может выделить память даже для обработки исключения

в) Бесконечный цикл или зависание в try/catch

try {
    while(true) {}  // Бесконечный цикл
} finally {
    System.out.println("Сюда мы никогда не попадём");
}

Если код в try никогда не завершится, finally тоже не выполнится.

3. Когда finally выполняется гарантированно

Блок finally выполняется в следующих ситуациях:

• Нормальное завершение try — даже если в try есть return, break или continue
• Исключение в try — независимо от того, перехвачено оно в catch или нет
• Исключение в catch — finally выполнится перед пробросом исключения выше
• Вложенные try-finally — каждый finally выполняется в порядке вложенности

public static void main(String[] args) {
    try {
        System.out.println("Внешний try");
        try {
            System.out.println("Внутренний try");
            throw new RuntimeException();
        } finally {
            System.out.println("Внутренний finally"); // Выполнится
        }
    } catch (Exception e) {
        System.out.println("Внешний catch");
    } finally {
        System.out.println("Внешний finally"); // Тоже выполнится
    }
}
// Вывод:
// Внешний try
// Внутренний try
// Внутренний finally
// Внешний catch
// Внешний finally

4. Практические рекомендации

• Используйте try-with-resources (Java 7+) для автоматического закрытия ресурсов — это безопаснее, чем ручной finally
• Не пишите return в finally — это антипаттерн, который запутывает логику
• Не полагайтесь на finally для критических операций — если нужно гарантированно выполнить код, используйте отдельные механизмы (например, ShutdownHook)

Итог: finally выполняется почти всегда, но не при System.exit(), критических ошибках JVM или бесконечных циклах. В вашем примере finally выполнился, но переопределил return — это особенность языка, которую нужно помнить.

public class FinallyException {
    public static void main(String[] args) {
        try {
            throw new RuntimeException("Ошибка в try");
        } finally {
            throw new RuntimeException("Ошибка в finally");
        }
    }
}
// Вывод: Exception in thread "main" java.lang.RuntimeException: Ошибка в finally
// Ошибка из try теряется!

public void safeFinally() {
    try {
        // опасный код
    } finally {
        try {
            // закрытие ресурса
        } catch (Exception e) {
            System.err.println("Ошибка в finally: " + e.getMessage());
            // НЕ пробрасываем исключение дальше
        }
    }
}