d分成两组参数

原文

import std.meta : AliasSeq;
//`"args"`的前半部分是"第一个参数",后半是第2个
// 可生成多组.
template staticMap2(alias fun, args...)
{
    alias firsts = args[0 .. $ / 2];
    alias seconds = args[$ / 2 .. $];

    static assert(firsts.length == seconds.length,"长度不匹配");

    alias staticMap2 = AliasSeq!();
    static foreach (i; 0 .. firsts.length) {
        staticMap2 = AliasSeq!(staticMap2, fun!(firsts[i], seconds[i]));
    }
}

// 两模板的.
struct S(T, size_t length) {
}

//创建S模板实例化的示例模板
template Instantiate(T, size_t length) {
    alias Instantiate = S!(T, length);
}

//用示例
alias myTypes = AliasSeq!(int, double, long);
alias mySizes = AliasSeq!(1, 2, 3);
alias result = staticMap2!(Instantiate, myTypes, mySizes);

pragma(msg, result);

void main() {
}