LOKI_TYPELIST的简单与复杂

提到这个，有必要带一下typelist的基石：


template <class T,class U>


struct Typelist




...{


typedef T Head;


typedef U Tail;


};




typedef Typelist<int,Typelist<double,float> > NumList;

这个递归工作交给了编译器，你可以构造无限长的list（你要付出编译时间的，但是却没允许时间），但是如果构建长度为10的list，你得typedef将变得让你我难以容忍，你可以依次套用，但是关键是这个东西太常用了，有必要“给大多数人带来方便”，这要这么做呢。

1.寻找一种通用的代码方法，把这个东西一次性解决掉，可以无限推演。
2.使用宏，定义常用的一些情况。

Loki使用了后者，在我的认知范围内，我认为第1点太难做到了，因为这些东西本身就在编译阶段处理。这给我很大的启示，我一直努力追求代码的优雅和安全，所以我有时候排斥宏，直到第一次看到Loki的这块处理，我觉得，它不失优雅，而且你没有比这个更好的办法，我也感觉到使用宏的巨大空间，你一样可以对宏进行安全检查的，譬如使用template技术，do like it。