抛砖：TypeTuple 的简单算法

D语言的 TypeTuple既然可以按数组的方式操作，我觉得应该可以对其增加更多的算法，下面的 RemoveIf就是一个例子：

 1 module dust.meta.tuple;
 2 
 3 import std.typetuple;
 4 
 5 
 6 template RemoveIf(alias PredTempl, TList...)
 7 {
 8     static if (TList.length == 0)
 9         alias TList RemoveIf;
10     else static if (PredTempl!(TList[0]))
11         alias RemoveIf!(Size, TList[1 .. length]) RemoveIf;
12     else
13         alias TypeTuple!(TList[0], RemoveIf!(Size, TList[1 .. length])) RemoveIf;
14 }
15 
16 template Foreach(alias PredTempl, TList...)
17 {
18     static if(TList.length == 0)
19         alias TList Foreach;
20     else
21     {
22         private alias PredTempl!(TList[0]) Dummy_;
23         alias Foreach!(PredTempl, TList[1 .. length]) Foreach;
24     }
25 }
26 
27 
28 template Size(T)
29 {
30     const bool Size = T.sizeof == char.sizeof;
31 }
32 
33 template Print(T)
34 {
35     const int Print = 0;
36     pragma(msg, T.stringof);
37 }
38 
39 void main()
40 {
41     alias TypeTuple!(int, long, char) T;
42     alias RemoveIf!(Size, T) T2;
43     alias Foreach!(Print, T2) forEach;
44 
45 }

这个RemoveIf模板的效果几乎和C++ STL 中的 remove_if 一样，提供一个谓词:PredTempl，RemoveIf最终得到处理后的TypeTuple。类似还可以实现 sort，unique等等算法，方便 TypeTuple的使用。