import std.meta;
alias TL = AliasSeq!(int, double);
int foo(TL td) // same as int foo(int, double);
{
return td[0] + cast(int) td[1];
}
alias TL = AliasSeq!(int, double);
alias Types = AliasSeq!(TL, char);
static assert(is(Types == AliasSeq!(int, double, char)));
// Creates a compile-time sequence of function call expressions
// that each call `func` with the next variadic template argument
template Map(alias func, args...)
{
auto ref lazyItem() {return func(args[0]);}
static if (args.length == 1)
{
alias Map = lazyItem;
}
else
{
// recurse
alias Map = AliasSeq!(lazyItem, Map!(func, args[1 .. $]));
}
}
static void test(int a, int b)
{
assert(a == 4);
assert(b == 16);
}
static int a = 2;
static int b = 4;
test(Map!(i => i ^^ 2, a, b));
assert(a == 2);
assert(b == 4);
test(Map!((ref i) => i *= i, a, b));
assert(a == 4);
assert(b == 16);
static void testRef(ref int a, ref int b)
{
assert(a++ == 16);
assert(b++ == 256);
}
testRef(Map!(function ref(ref i) => i *= i, a, b));
assert(a == 17);
assert(b == 257);
Creates a sequence of zero or more aliases. This is most commonly used as template parameters or arguments.
In previous versions of Phobos, this was known as TypeTuple.