template可以把不少事情在编译期处理,只不过编译期处理要求所有东西都是确定的。你不可能用一个在运行阶段才知道的数据填充编译期处理问题的参数。
typelist是编译期处理的东西。类型拼接和获取等一系列策略都在编译期完成。
同是采用template思想,functor却对类型没有特殊要求,因而你可以把一些运行阶段得到的参数传给functor、bindfirst,明白代码让这个问题更容易理解。BindFirst是一个函数,内部虽采用了template类,但是实际是使用了它的对象。
事实上,编译期做再多的事情,还是要在运行阶段使用的,否则没有任何意义。编译期可以生成typelist,但是还是为了生成对象在运行时期使用。
typelist是为了抽象工厂模式,functor是实现command模式。
functor偏重使用上的便利,它的直接指向command模式,把比较烦琐的command构造过程一次性解决掉在类库里。
typelist侧重一种思想,在typelist的过程中,type2type,typeselect等技术得到充分使用,这是放诸天下皆可用的思想。