On Thursday, 8 May 2014 at 12:27:55 UTC, John Colvin wrote:
On Thursday, 8 May 2014 at 12:00:40 UTC, amehat wrote:
On Thursday, 8 May 2014 at 10:14:27 UTC, Jonathan M Davis via
Digitalmars-d-learn wrote:
On Thu, 08 May 2014 09:15:13 +0000
amehat via Digitalmars-d-learn
<digitalmars-d-learn@puremagic.com>
wrote:
Hello everyone,
in java, you can have exceptions on methods.
Thus we can write:
public static void control (String string) throws
MyException {}
Is that possible in D and if so how does it work? If I write
this
D:
public void testMe () throws MyException {}
The compiler refuses to compile.
What is the proper behavior for this D?
thank you
At this point, the programming community at large seems to
have decided that
while checked exceptions seem like a good idea, they're
ultimately a bad one.
This article has a good explanation from one of the creators
of C# as to why:
http://www.artima.com/intv/handcuffs.html
At this point, Java is the only language I'm aware of which
has checked
exceptions (though there may be a few others somewhere), and
newer languages
have learned from Java's mistake and chosen not to have them.
What D has instead is the attribute nothrow. Any function
marked with nothrow
cannot throw an exception. e.g.
auto func(int bar) nothrow {...}
It's similar to C++11's noexcept except that it's checked at
compile time
(like Java's checked exceptions), whereas noexcept introduces
a runtime check.
If a function is not marked with nothrow, then the only ways
to know what it
can throw are to read the documentation (which may or may not
say) or to read
the code. There are obviously downsides to that in comparison
to checked
exceptions, but the consensus at this point is that it's
ultimately better.
- Jonathan M Davis
My English might not be very good and I'm not sure I
understand.
If I understand what you say, D for all methods (and
functions) can raise exceptions, unless it has nothrow. And if
I still includes exceptions that are thrown are at the time of
compilation.
So I can not write:
public void testMe () throws MyException {}
However, if I write this and my method throws an exception, it
will take place at compile time:
public void testMe () {}
And if do not want an exception thrown, I should write:
public void testMe () : nothrow {}
or perhaps :
public void testMe () pure nothrow @safe {}
Is that correct?
PS: Thanks for the article on the interveiw Anders Hejlsberg,
it enlightens me a little more about how exceptions sen D (and
C #;))
Exceptions are runtime-only (or ctfe (compile time function
execution), but that's not relevant here).
functions that are not marked nothrow can, at any point in the
body of the function, exit via an exception. Functions marked
nothrow cannot exit via an exception; the compiler must be able
to prove that all exceptions that could be thrown are caught,
e.g.
void foo() nothrow
{
try
{
throw new Exception("");
}
catch(Exception e){}
}
is fine.
Okay.
Thank you for these explanations, I understand a little better
the exceptions D.