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