正文
1. TMP是什么？
模板元编程（template metaprogramming TMP）是实现基于模板的C++程序的过程，它能够在编译期执行。你可以想一想：一个模板元程序是用C++实现的并且可以在C++编译器内部运行的一个程序，它的输出——从模板中实例化出来的C++源码片段——会像往常一样被编译。
2. 使用TMP的优势
如果这没有冲击到你，是因为你没有足够尽力去想。
C++不是为了模板元编程而设计的，但是自从TMP早在1990年被发现之后，它就被证明是非常有用的，为了使TMP的使用更加容易，在C++语言和标准库中加入了一些扩展。是的，TMP是被发现的，而不是被发明。当模板被添加到C++中的时候TMP这个特性就被引入了。对于某些人来说所有需要做的就是关注如何以一种聪明的和意想不到的方式来使用它。
TMP有两种强大的力量。第一，它使得一些事情变得容易，也即是说如果没有TMP，这些事情做起来很难或者不可能实现。第二，因为模板元编程在C++编译期执行，它们可以将一些工作从运行时移动到编译期。一个结果就是一些原来通常在运行时能够被发现的错误，现在在编译期就能够被发现了。另外一个结果就是使用TMP的C++程序在基本上每个方面都更加高效：更小的执行体，更短的运行时间，更少的内存需求。（然而，将工作从运行时移到编译期的一个后果就是编译时间增加了。使用TMP的程序比没有使用TMP的程序可能消耗更长的时间来进行编译。）
