C++模板元编程之模板递归

如何提高程序运行效率？在编译时就把需要计算的结果算出来，避免运行时占用CPU时间去做耗时计算，这就是模板递归的原理。

举例说明：

1、计算100的阶乘

//一般情况下，我们是这样做的：

int GetFactorial(const int n)
{
 int nResult=1;//n=0或者1时返回1
 assert(n>=0);
 if(1!=n)
  nResult=GetFactorial(n-1)*n;//递归调用
 return nResult;
}
//这样做程序在运行时递归调用GetFactorial直到求出结果。

//而模板递归时是这样的：

<pre class="cpp" name="code">template<int n>
struct Factorial{
	const static int value=Factorial<n-1>::value*n;
};
//特化终结递归，否则上面那个递归会死循环，编译时报错
template<>
struct Factorial<0>{
	const static int value=1;
};

//对比以上两种方法会发现，对于模板递归：

//优点：1、编译时就把数据计算出来了，对于运行时的大数据递归计算效率大大提高了；

//缺点：1、不能计算变量的值，也就是对于运行时确定的数据是不能通过模板递归出来的，道理很简单：需要编译时确定结果；

//      2、不能进行异常处理，也就是模板参数传入一个错误的数字后可能导致崩溃。

//类似的，我们可以这样求m的n次幂：

//计算m的n次方
template<int m,int n>
struct POWER{
	static const size_t data=POWER<m,n-1>::data*m;//递归调用
};
//模板特化，终结递归
template<int m>
struct POWER<m,0>{
	static const size_t data=1;
};

//初学C++模板元编程，欢迎批评指教。