DIP 57: static foreach

[Shammah Chancellor via Digitalmars-d]

On Monday, 10 March 2014 at 06:40:49 UTC, Kenji Hara wrote:
> 2014-03-10 6:31 GMT+09:00 Timon Gehr <timon.gehr at gmx.ch>:
>
>> http://wiki.dlang.org/DIP57
>>
>> Thoughts?
>>
>
>>From the "Semantics" section:
>
>> For static foreach statements, break and continue are 
>> supported and
> treated like for foreach statements over tuples.
>
> This is questionable sentence. On the foreach with tuple 
> iteration, break and continue have no effect for the unrolling.
>
> void main()
> {
>     import std.typetuple, std.stdio;
>
>     foreach (i; TypeTuple!(1, 2, 3))
>     {
>         static if (i == 2) continue;
>         else static if (i == 3) break;
>
>         pragma(msg, "CT: i = ", i); // prints 1, 2, and 3 in CT
>         writeln("RT: i = ", i);     // prints only 1 in RT
>     }
> }
>
> So, I think that static foreach *cannot* support break and 
> continue as same as foreach with tuples.
>
> Kenji Hara

Ditto.  This needs `static continue` and `static break`.  Without 
this functionality, the control flow in `static foreach` becomes 
very unwieldy.

-Shammah