Краткий ответ

Возвращаемое значение вычисляется, но метод не завершает возврат, если закрытие ресурса выбрасывает исключение. В этом случае исключение из close() становится результатом выполнения метода, а вычисленное значение теряется.

Если закрытие проходит успешно, метод возвращает ранее вычисленное значение. Ресурс закрывается до фактического выхода из метода.

Исторический контекст

Конструкция try-with-resources появилась в Java 7, чтобы безопасно освобождать ресурсы без повторяющихся блоков finally. Она решает проблему утечек ресурсов и корректно учитывает исключения, возникающие как в основном теле операции, так и при закрытии.

В старом шаблоне с finally разработчику приходилось вручную вызывать close() и отдельно решать, какое исключение считать главным. Try-with-resources формализует этот порядок и автоматически закрывает ресурс перед завершением метода.

Постановка проблемы

return внутри try не означает немедленный выход из метода. Сначала Java должна вычислить возвращаемое выражение, затем закрыть ресурсы, и только после успешного закрытия завершить возврат.

Если close() выбросит исключение, продолжение с возвращаемым значением невозможно. Неверное предположение о приоритете return может привести к неожиданным ошибкам вместо обычного результата метода.

Подробное решение

Порядок действий таков:

Вычисляется выражение в return.
Сохраняется полученное значение.
Закрываются ресурсы в соответствии с правилами try-with-resources.
Если закрытие успешно, сохранённое значение возвращается вызывающему коду.
Если закрытие выбрасывает исключение, оно покидает метод, а сохранённое значение не возвращается.

Минимальный пример:

public class Demo {
    static String get() throws Exception {
        try (AutoCloseable r = () -> {
            throw new Exception("close");
        }) {
            return "value";
        }
    }

    public static void main(String[] args) {
        try {
            System.out.println(get());
        } catch (Exception e) {
            System.out.println(e.getMessage());
        }
    }
}

В примере выражение "value" вычисляется, но строка не выводится: при закрытии ресурса возникает исключение close, которое становится исключением метода get().

Это отличается от случая, когда тело try уже выбросило исключение: тогда исключение закрытия обычно становится подавленным относительно основного исключения. При успешном return основного исключения из тела нет, поэтому исключение close() просто препятствует возврату.

Компромисс заключается в том, что автоматическая безопасность ресурсов может изменить наблюдаемое поведение метода: операция, которая логически подготовила результат, всё равно завершится ошибкой из-за неудачного освобождения ресурса. Поэтому вызывающий код должен учитывать исключения закрытия в контракте метода.

Ситуация из практики

Сервис читает данные из файла и возвращает сформированный объект. Разработчик помещает файл в try-with-resources и возвращает объект непосредственно из try. При закрытии файла возникает ошибка файловой системы, поэтому вызывающий код получает исключение, хотя данные уже были успешно прочитаны.

Вариант с игнорированием ошибки закрытия опасен: ресурс может оставаться некорректно освобождённым, а системная проблема будет скрыта. Вариант с ручным закрытием до return дублирует логику и повышает риск ошибки в новых ветках метода.

Обычно выбирают try-with-resources и явно обрабатывают исключение на уровне, который способен принять решение: повторить операцию, вернуть ошибку инфраструктуры или записать диагностические данные. Это сохраняет автоматическое управление ресурсом и не маскирует сбой закрытия.

Что кандидаты часто упускают

1. Меняется ли результат, если выражение return само выбрасывает исключение?

Да. Сначала вычисляется выражение возврата. Если оно выбросило исключение, значение не было получено, но ресурсы всё равно закрываются. Если закрытие прошло успешно, наружу выходит исключение из выражения; если закрытие также выбросило исключение, исключение закрытия обычно добавляется как подавленное к первоначальному.

2. Может ли close() изменить объект, который возвращает метод?

Да, если возвращается ссылка на изменяемый объект. Ссылка вычисляется до закрытия ресурса, но сам объект может быть изменён во время close(). Поэтому вызывающий код получит ту же ссылку, однако её состояние может отличаться от состояния на момент вычисления return.

3. Обязательно ли объявлять исключение закрытия в контракте метода?

Если close() может выбросить проверяемое исключение, метод должен либо обработать его, либо объявить совместимое исключение в throws. Наличие return это требование не отменяет: закрытие происходит до завершения метода, поэтому его исключение является частью фактического пути выполнения.