About the Expressiveness of D

[Jonathan M Davis]

On Wednesday, April 03, 2013 11:27:38 Walter Bright wrote:
> On 4/3/2013 11:08 AM, Jonathan M Davis wrote:
> > (with most or all of the missing lines being due to stuff like catching
> > Exception and asserting 0 in the catch block for making a function nothrow
> > when you know that the code being called will never throw)
> 
> Why not just mark them as nothrow? Let the compiler statically check it.

It's for cases where the compiler _can't_ check. For instance, if you had code 
like

string foo(int i, int j) nothrow
{
 try
 return format("%s: %s", i, j);
 catch(Exception e)
 assert(0, "format threw when it should have been impossible.");
}

the catch is necessary in order to mark the function as nothrow, because 
format _could_ throw. It's just that given the arguments, you know that it 
never will.

- Jonathan M Davis