什么是模版元编程技术

主要思想:利用模板特化机制实现编译期条件选择结构，利用递归模板实现编译期循环结构，模板元程序则由编译器在编译期解释执行。

优劣及适用情况:
通过将计算从运行期转移至编译期，在结果程序启动之前做尽可能多的工作，最终获得速度更快的程序。也就是说模板元编程的
优势在于：
1.以编译耗时为代价换来卓越的运行期性能（一般用于为性能要求严格的数值计算换取更高的性能）。通常来说，一个有意义的程序的运行次数（或服役时间）总是远远超过编译次数（或编译时间）。
2.提供编译期类型计算，通常这才是模板元编程大放异彩的地方。
模板元编程技术并非都是优点：
1.代码可读性差，以类模板的方式描述算法也许有点抽象。
2.调试困难，元程序执行于编译期，没有用于单步跟踪元程序执行的调试器（用于设置断点、察看数据等）。程序员可做的只能是等待编译过程失败，然后人工破译编译器倾泻到屏幕上的错误信息。
3.编译时间长，通常带有模板元程序的程序生成的代码尺寸要比普通程序的大，
4.可移植性较差，对于模板元编程使用的高级模板特性，不同的编译器的支持度不同。

总结：模板元编程技术不适用普通程序员的日常应用，它常常会做为类库开发的提供技术支持，为常规模板代码的内核的关键算法实现更好的性能或者编译期类型计算。模板元程序几乎总是应该与常规代码结合使用被封装在一个程序库的内部。对于库的用户来说，它应该是透明的。

工程应用实例
1. Blitz++：由于模板元编程最先是因为数值计算而被发现的，因此早期的研究工作主要集中于数值计算方面，Blitz++库利用模板将运行期计算转移至编译期的库，主要提供了对向量、矩阵等进行处理的线性代数计算。
2.Loki：将模板元编程在类型计算方面的威力应用于设计模式领域，利用元编程（以及其他一些重要的设计技术）实现了一些常见的设计模式之泛型版本。Loki库中的Abstract Factory泛型模式即借助于这种机制实现在不损失类型安全性的前提下降低对类型的静态依赖性。
3.Boost：元编程库目前主要包含MPL、Type Traits和Static Assert等库。 Static Assert和Type Traits用作MPL的基础。Boost Type Traits库包含一系列traits类，用于萃取C++类型特征。另外还包含了一些转换traits（例如移除一个类型的const修饰符等）。Boost Static Assert库用于编译期断言，如果评估的表达式编译时计算结果为true，则代码可以通过编译，否则编译报错。