Reverse Lexical Order

Jonathan M Davis jmdavisProg at gmx.com
Mon Jul 15 04:12:24 PDT 2013


On Monday, July 15, 2013 13:02:54 Manfred Nowak wrote:
> Jonathan M Davis wrote:
> > Under what circumstances would they not be the same thing?
> 
> http://dlang.org/statement.html#GotoStatement
> At least the famous gots can make lexical ordering different to
> executional ordering.

Well, what that would do would depend on what happens with gotos and try-
catch-finally blocks, because scope statements are lowered to try-catch-finally 
blocks. So, if you know what gotos do with them (and I personally have no idea 
how gotos affect stuff like destructors being run when you leave the scope, 
since you're not leaving it normally or properly), then you can figure it out 
by translating the scope statements to the set of try-catch-finally statements 
which would have the same semantics. gotos in such a context seem like a bit 
of a nightmare to me though.

- Jonathan M Davis


More information about the Digitalmars-d-learn mailing list