www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.learn - [TWiD] static foreach loop variable

reply Nick Treleaven <nick geany.org> writes:
Hi,
Last week's TWiD had a tip that didn't make sense:
http://dpldocs.info/this-week-in-d/Blog.Posted_2019_05_20.html#tip-of-the-week

template Locals(int i) {
     alias Whatever = int;
}

static foreach(i; [1, 2, 3]) {
    Locals!i.Whatever;
}

The body is just `int;`. Not sure how to reach Adam. What was 
intended?
May 28 2019
parent reply Adam D. Ruppe <destructionator gmail.com> writes:
On Tuesday, 28 May 2019 at 13:43:45 UTC, Nick Treleaven wrote:

 Hi,
 Last week's TWiD had a tip that didn't make sense:
 http://dpldocs.info/this-week-in-d/Blog.Posted_2019_05_20.html#tip-of-the-week

 template Locals(int i) {
     alias Whatever = int;
 }

 static foreach(i; [1, 2, 3]) {
    Locals!i.Whatever;
 }



 The body is just `int;`. Not sure how to reach Adam. What was 
 intended?


Yes, intended, but also incomplete. The idea there is to use the 
template as a namespace for whatever local stuff you had. (I 
adapted this from a reflection thing where Whatever would have 
been an alias to a member type, and then in simplifying to get to 
just the new idea - and in a rush to type it up that day - I 
removed like all the context).

So it might actually be more like (still an incomplete example 
but more complete):

void test(T)() {
   template Locals(int i) {
      static if(is(typeof(__traits(getMember, T, 
__traits(allMembers, T)[i])) Ret == return))
        alias ReturnValue = Ret;
   }

   static foreach(idx, t; __traits(allMembers, T)) {
      mixin("auto " ~ t ~ "() { return 
Locals!idx.ReturnValue.init; }");
   }
}


So now the Locals template wraps a bunch of aliases so we can 
refer to them more succinctly later.

A regular alias defined inside that static foreach would end up 
being duplicated in future iterations. Putting the extra {} 
around it would mean the mixed in function would not be visible 
outside.

so the Locals template is just a collection of convenience 
aliases in a namespace.
May 28 2019
parent Nick Treleaven <nick geany.org> writes:
Ok, thanks for explaining. Nice idea.
May 28 2019