Exception handling

[Moritz Maxeiner via Digitalmars-d-learn]

On Friday, 14 July 2017 at 20:22:21 UTC, Ali Çehreli wrote:
> On 07/14/2017 12:36 PM, ANtlord wrote:
> > Hello! I've tried to use nothrow keyword and I couldn't get a
> state of
> > function satisfied the keyword. I have one more method that
> can throw an
> > exception; it is called inside nothrow method. Every type of
> an
> > exception from the throwable method is handled by the nothow
> method.
> >
> > ubyte throwable_fn(ubyte state) {
> >     if(state < 2) {
> >         return 1;
> >     } else if(state == 3) {
> >         throw new MyException1("qwe");
> >     } else {
> >         throw new MyException2("asd");
> >     }
> > }
>
> Although it's obvious to us that there are only those two 
> exceptions, the compiler cannot in general know that.

Not in general, no, but if the function's body (and the body of 
all functions it calls) are available, the compiler can aggregate 
the exception set and indeed perform a more precise nothrow 
analysis.