scope() statements and return

Ola Fosheim Grostad via Digitalmars-d digitalmars-d at puremagic.com
Fri Oct 3 22:58:47 PDT 2014


On Saturday, 4 October 2014 at 05:54:20 UTC, ketmar via 
Digitalmars-d wrote:,
> 'cause `MyWrapper` promises to nothrow. you can't make such 
> promise for
> try-block.

If finally does imply nothrow then the try-block implies it too.
No difference from a wrapper.

>
> i.e. `MyWrapper` promises that the only exception that can be 
> thrown is
> `LovelyException`, and it's catched, thus `MyWrapper` is marked
> "nothrow". you can't attach such mark to try/catch, even if you 
> know
> for sure that you catched 'em all. it's a matter of style.

Nah, it is a matter of ad hoc design and implementation that 
needs more rigour.


More information about the Digitalmars-d mailing list