Re: Java language and library suggestions
On Jul 19, 6:38 pm, Lew <no...@lewscanon.com> wrote:
Tom Anderson wrote:
This *is* an exception handler! It's shorthand for:
try {
STATEMENT
}
catch (EXCEPTION e) {
throw new AssertionError(e);
}
How is that not an exception handler?
Arne Vajh=F8j wrote:
It is an exception handler.
But it is converting the exception that the designer of the API
being called consider a real possibility to an exception that should
never happen by the designer of the calling code.
That is a pretty serious decision. It makes sense to me that it
requires some rather explicit coding.
Amen, brother!
I don't see the saving of six lines of typing to be worth the burial of t=
his
serious a decision.
Use of @Safe is the outcome of that decision. Noone is forced to use
it. If you think that it would encourage people to use it
inappropriately, then most probably these people would do worse things
(like empty catch blocks) without it.
And tom, while the proposed @Safe (obviously it wouldn't be "@safe") "is"=
and
exception handler under the hood, it doesn't look like one. I espouse =
writing
explicit exception handlers for checked exceptions. The purpose of a c=
hecked
exception is to require explicit handling.
Use of @Safe *is* explicit handling of exception. It's just a
different syntax.
To dodge that to save a few lines
of typing ("Ow! My poor fingers!") defeats that purpose,
As I already said, it's mainly about readability.
and as Arne points
out, moves the realm of expected exception to impossible error. A chec=
ked
exception is supposed to represent a recoverable situation, an error an
unrecoverable one. Why elevate the seriousness of the flaw?
Why not?? You do this every time you throw an exception or make an
assertion.
if(i<0)
throw new IllegalArgumentException("negative argument");
This is an elevation of invalid argument into a runtime exception.
I don't regard turning an exception into an error as "handling" it; it's
really just making it worse.
You are generalizing too much. In some cases it is a perfectly
suitable handling of an exception.
Tomas