Коротко: если в catch делаете `return`, это не освобождает ресурс автоматически — надо гарантировать закрытие в любом случае. В Java предпочтительный способ — try-with-resources; альтернативы — `finally` или явное закрытие в catch с повторным пробросом/возвратом. Ниже — правила, примеры и сравнение с другими языками.
1) Проблема (пример неправильный)
public void foo() {
InputStream in = new FileInputStream("file");
try {
// чтение
} catch (IOException e) {
return; // ресурс останется открытым
}
// нет close()
}
2) Правильные варианты в Java
- try-with-resources (предпочтительно, автоматически закрывает и корректно добавляет suppressed-исключения). Начиная с Java $7$:
InputStream in = null;
try (InputStream r = new FileInputStream("file")) {
// чтение
return; // ресурс закроется
} catch (IOException e) {
// обработка или rethrow
}
- try / finally (если нельзя использовать try-with-resources):
InputStream in = null;
try {
in = new FileInputStream("file");
// чтение
return;
} catch (IOException e) {
// обработка
return;
} finally {
if (in != null) {
try { in.close(); } catch (IOException ex) { /* логировать или добавлять как suppressed */ }
}
}
- Явное закрытие в catch и после try: если хотите, чтобы исключение из close имело приоритет, нужно аккуратно сохранить первичное исключение и добавлять suppressed (вручную через Throwable.addSuppressed).
3) Исключения в конструкторе/деструкторе (Java)
- Если конструктор открывает ресурс и бросает исключение до завершения инициализации, нужно закрыть уже открытые ресурсы внутри конструктора (try/catch в конструкторе) либо использовать фабрику/статический метод, который создаёт ресурс в try-with-resources и возвращает корректно инициализированный AutoCloseable объект. Объект, чей конструктор бросил, не будет передан вызвавшему и его close не вызовется автоматически.
4) Подходы в других языках (кратко)
- C++ (RAII): ресурсы управляются объектами-обёртками; деструктор вызывается при выходе из области видимости — устойчиво к исключениям. Предпочтение: RAII + smart pointers (std::unique_ptr, std::shared_ptr).
- C# (using / using declaration): аналог try-with-resources; IDisposable.Dispose вызывается всегда.
- Python (with / context manager): реализовать __enter__/__exit__ или использовать contextlib; ExitStack для динамических/множественных ресурсов.
- Go (defer): defer resource.Close() выполняется при выходе из функции, даже при return или panic.
- Rust (ownership + Drop): Drop выполняется по выходу владельца из области; ошибки при закрытии обычно возвращают Result и требуют явной обработки; умело комбинируют с ? и типами-обёртками.
5) Когда что выбирать
- Если язык поддерживает конструкцию автоматического управления ресурсом (try-with-resources, using, with, defer, RAII) — используйте её (более коротко, безопасно, правильно обрабатываются suppressed-исключения).
- Если не доступна — используйте finally/defer/эквивалент и аккуратно обрабатывайте исключения при закрытии (логирование, добавление как suppressed, но не подавление первичного исключения).
- Избегайте выполнения тяжёлой инициализации с ресурсами прямо в конструкторе без гарантированного механизма очистки; лучше фабрика или создание ресурса после успешной инициализации.
- Если нужно контролировать приоритет исключений (например, сохранить основное исключение, но логировать исключение close) — явно сохраняйте и комбинируйте исключения (в Java addSuppressed).
6) Практические советы
- Преферируйте try-with-resources в Java.
- Не полагайтесь на finalize()/деструкторы для освобождения ресурсов в управляемых окружениях.
- Всегда логируйте или корректно обрабатывайте исключения close(), чтобы не терять информацию.
- Для множественных ресурсов используйте вложенный try-with-resources или структуры вроде Python ExitStack.
Если нужно — пришлю компактные шаблоны кода для конкретной ситуации (например, ресурс в конструкторе).