条款48提及的模板元编程

模板元编程（TMP）是编写template-based C++程序并执行与编译期的过程。

TMP有两个伟大的效力。第一，它让某些事情更容易。

第二，由于template metaprograms执行于C++编译期，因此可将工作从运行期转移到编译期。

TMP没有真正的循环条件，所以循环效果由递归完成。

下面是一个例子：

#include <iostream>
using namespace std;

// 主模板
template<int N>
struct Fib
{
	enum { Result = Fib<N - 1>::Result + Fib<N - 2>::Result };
};

// 完全特化版
template <>
struct Fib<1>
{
	enum { Result = 1 };
};


// 完全特化版
template <>
struct Fib<0>
{
	enum { Result = 0 };
};

int main()
{
	int i = Fib<10>::Result;
	std::cout << i << std::endl;
}

每个Fib template具现体都是一个struct，每个struct都使用enum hack声明一个名为Result的TMP变量，Result用来保存当前计算所得的值。