Имеет ли смысл методу закрытия AutoCloseable вызывать исключение? Как с этим справиться?

Похоже, что каждая операция с ресурсами, включая неявный вызов close(), считается частью блока try{}. Даже с технической/синтаксической точки зрения ресурсы упоминаются вне фигурных скобок {}.

Это означает, что если IOException возникнет во время close(), оно будет перехвачено некоторым предложением catch(), связанным с вашей попыткой (или оно будет распространяться вверх).

О причине, по которой могут возникнуть исключения: close() может вызвать flush(), flush() может вызвать write(), а write() может завершиться ошибкой.

Дизайн AutoCloseable является результатом проверенных исключений Java. Некоторые реализации просто должны иметь возможность генерировать проверенные исключения, поэтому требуется throws Exception. Однако реализации должны объявлять более конкретные выбрасываемые типы (если есть):

Несмотря на то, что этот метод интерфейса объявлен для выдачи Exception, разработчикам настоятельно рекомендуется объявлять конкретные реализации метода close для выдачи более конкретных исключений или вообще не выдавать исключений, если операция закрытия не может завершиться неудачно.

Вы не должны генерировать исключения, если есть способ избежать этого, но вы не всегда можете этого избежать. Например, при закрытии BufferedOutputStream с невыполненным data буферизованный поток имеет два варианта; игнорирование незаписанных данных и закрытие или запись их в поток, что может привести к возникновению исключений.

Поскольку разработчики Java смогли увидеть проблемы, возникающие при обработке исключений очистки в блоках using .NET, прежде чем реализовывать собственную функцию попытки использования ресурсов, они смогли ее улучшить. В .NET автор блока Dispose часто сталкивается с неприятным выбором между проглатыванием любых возникающих исключений, что позволяет вызывающей программе ошибочно полагать, что все в порядке, или предоставлением исключениям просачиваться из Dispose таким образом, чтобы стереть все доказательства. любого предыдущего исключения. К счастью, Java позволяет избежать этой проблемы.

Если блок try-with-resources завершается нормально, и блок close также завершается успешно, то внешний код видит все как обычно. Если в части try возникает исключение, но close выполняется нормально, внешний код увидит исключение try-block. Если try завершается нормально, но close выбрасывает, внешний код увидит исключение close. И если try выбрасывает, но close тоже выбрасывает, то внешний код увидит исключение try, но также сможет получить любое исключение, возникшее в close (и если во время close возникнет несколько вложенных исключений try-with-resources, все выброшенные исключения будут доступны для внешнего кода).

Следовательно, в отличие от дизайна .NET, который часто вынуждает авторов подавлять некоторые потенциально серьезные исключения, выдаваемые Dispose, дизайн Java предпочитает, чтобы close генерировало исключение каждый раз, когда что-то идет не так, что вызывающая сторона не может поверить, что все в порядке.