Re: Typed variadic template syntax?

[Idan Arye]

On Wednesday, 29 January 2014 at 22:16:57 UTC, Peter Alexander 
wrote:
On Wednesday, 29 January 2014 at 21:18:06 UTC, Etienne wrote:

void exec(string command)(){
        foreach(str ; choice.splitter(".")){
                writeln(str);
        }
}

I'd like to take the opportunity to say how much I'd love to 
be able to do a static foreach rather than use recursion.

You can use TypeTuple for static foreach.

void foo(int x)()
{
        import std.stdio;
        writeln(x);
}

void main()
{
        import std.typetuple;
        foreach (x; TypeTuple!(1, 2, 3))
                foo!x();
}

Notice that the loop variable x is used as a template parameter 
at compile time. The code expands to:

foo!1();
foo!2();
foo!3();

Two problems:

1) You can't use `foreach` outside functions. That means that you 
write:
    struct Foo{
        foreach(i;TypeTuple!(1,2,3)){
            mixin("int num"~i.stringof~";");
        }
    }

2) `foreach` creates it's own scope. This won't work:
    foreach(i; TypeTuple!(1,2,3)){
        mixin("int num"~i.stringof~";");
    }
    num1=1;
    num2=2;
    num3=3;
    writeln(num1,num2,num3);