（摘自effective C++）

之前使用模板时，只记得有typename，class做参数的。当再看到时，才感觉还是挺神奇。

模板参数并不局限于类型，可以使用编译器内置类型。

template告诉编译器，虽有的定义中将包含一个或多个未确定的量（常量或类型），当该模板产生实际代码时，必须制定这些量由编译器来替换。

 

  TMP 的 "hello world" 程序在编译期间计算一个阶乘。它不是一个很令人兴奋的程序，不过，即使不是 "hello world"，也有助于语言入门。TMP 阶乘计算示范了通过 recursive template instantiation（递归模板实例化）实现循环。它也示范了在 TMP 中创建和使用变量的一种方法。看：

template<unsigned n>                 // general case: the value of
struct Factorial                          // Factorial<n> is n times the value

{                                             // of Factorial<n-1>

  enum { value = n * Factorial<n-1>::value };

};

template<>                             // special case: the value of
struct Factorial<0> {                // Factorial<0> is 1
  enum { value = 1 };

};

给出这个 template metaprogram（模板元程序）（实际上只是单独的 template metafunction（模板元函数）Factorial），你可以通过引用 Factorial<n>::value 得到 factorial(n) 的值。

  代码的循环部分出现在 template instantiation（模板实例化）Factorial<n> 引用了 template instantiation（模板实例化）Factorial<n-1> ，这样子它便会不断实例出新的类型Factorial<n-1>，并取得各个类型中value值来相乘，由于是enum常量，所以每个value的值都会在编译时计算出来。

所有正确的 recursion（递归）都会有一个出口。这里，它就是 template specialization（模板特化）Factorial<0>。

  Factorial template 的每一个 instantiation（实例）都是一个 struct，而每一个 struct 都会有相应的阶乘值值value。

 

编译期检测数值是否相等
template<int m, int n>
struct CheckEqualInCompileTime
{
    enum { var = (m == n) ? 0 : -1, };
    char check[var];
};

CheckEqualInCompileTime<sizeof(A) / sizeof(int), ENUM_MAX + 1> checka;