It lets you check for errors, and have a deterministic time at which the file is closed. Both of these are desirable properties. The finalizer is there to pre

It lets you check for errors, and have a deterministic time at which the file is closed. Both of these are desirable properties. The finalizer is there to prevent a subset of resource leaks, not to be relied upon.