這裏有一個更新的版本與最新版本的編譯器d的編譯:
/**
Return a Tuple expression of $(D Func) being
applied to every tuple argument.
*/
template Map(alias Func, args...)
{
static auto ref ArgCall(alias Func, alias arg)() { return Func(arg); }
static if (args.length > 1)
alias Map = TypeTuple!(ArgCall!(Func, args[0]), Map!(Func, args[1 .. $]));
else
alias Map = ArgCall!(Func, args[0]);
}
///
unittest
{
import std.conv;
int square(int arg)
{
return arg * arg;
}
int refSquare(ref int arg)
{
arg *= arg;
return arg;
}
ref int refRetSquare(ref int arg)
{
arg *= arg;
return arg;
}
void test(int a, int b)
{
assert(a == 4, a.text);
assert(b == 16, b.text);
}
void testRef(ref int a, ref int b)
{
assert(a++ == 16, a.text);
assert(b++ == 256, b.text);
}
int a = 2;
int b = 4;
test(Map!(square, a, b));
test(Map!(refSquare, a, b));
assert(a == 4);
assert(b == 16);
testRef(Map!(refRetSquare, a, b));
assert(a == 17);
assert(b == 257);
}
實際上如果轉換函數返回一個不同類型不一定會工作。但是如果你做了 import std.traits; ParameterTypeTuple!call a; 而不是T a;我認爲那樣做。 –
還有一個問題:當T包含不可變類型時它不起作用。我認爲唯一的方法就是使用string mixins。我現在正在爲Phobos提出拉請求。 –
我的實現適用於具有不可變字段的類型:http://stackoverflow.com/a/12926873/279684 –