Feedback and comments on ARM proposal - resend

Howard Lovatt howard.lovatt at
Tue Mar 17 22:00:57 PDT 2009

Hi All,

2009/3/15 Reinier Zwitserloot <reinier at>:


>> Also, why not make the dispose method exception free,
>> realistically what can a user of an API do if dispose throws an exception?
> Realistically, what can a user of an API do if 'write' throws an exception?
> Your argument does not hold water unless this is an argument for eschewing
> checked exceptions altogether.

There are cases were the user can do something with a checked
exception, e.g. opening a file. In this case the user can be prompted
for a different file name if the one suggested does not exist. So I
think there are some cases for which checked exceptions are suitable,
I have certainly used them from time to time (I don't use many

I think one of the problems with checked exceptions is that they are
over used, e.g. close file, that is why I am suggesting that the
resource auto-clean-up should not throw an exception.

More information about the coin-dev mailing list