d解包为指针

​​原文​​ 可这样:

template Includes(Args...)
{
   template Recurse(Arg...)
   {
      import std.meta:;
      static if (1 == Arg.length)
        alias Recurse = AliasSeq!(Arg[0]*);
      else
        alias Recurse = AliasSeq!(Arg[0]*, Recurse!(Arg[1..$]);
   }

   alias Includes = Includes!(Args);
}
void view_it(Args...)(void function(entity_t, Includes!(Args) cb)) {...}      

可以用​

​静映射​

​​,​​这里​​​把每个类型变成​

​指针​

​.

import std.meta;

alias Args = AliasSeq!(int, string, double);
struct Includes { alias args = Args; }
struct entity_t {}

alias PointerTo(T) = T*;//指针

void view_it(void function(entity_t, staticMap!(PointerTo, Includes.args) ) cb)
{
    // 干活.
}      

import std.meta:;
import std.traits:;

void view_it(Callback)(Callback cb)
    if (
        is(Callback == void function(entity_t, Args), Args...)
        && allSatisfy!(isPointer, Args)
    )//约束
{
    // 干活
}