条款48：认识template元编程

/*条款48：认识template元编程*/
// Template metaprogramming (TMP,模板元编程):是以C++写成，执行于C++编译器内的程序
#include<iostream>
using namespace std;
/*
template<typename IterT,typename DistT>
void advance(IterT&iter,DistT d){
	if(typeid(typename std::iterator_traits<IterT>::iterator_category)==typeid(std::random_access_iterator_tag)){
	//条款47指出，typeid-based解法效率比traits解法低，类型测试发生在运行期而非编译期，而traits是在编译期，traits就属于TMP方法 ，typeid-based实现方式可能导致编译期问题如：
//  std::list<int>::iterator iter; advance(iter,10);//无法通过编译 
		iter+=d;	
	}
	else {
		if(d>=0){
			while(d--)
				++iter;
		}	
		else {
			while(d++)
				--iter;
		}
	}
}*/
template<unsigned n>// 一般情况：Factorial<n>的值是n*Factorial<n-1>
struct Factorial{
	enum{value=n*Factorial<n-1>::value};//递归模板具现化
};
template<>// 特殊情况：Factorial<0>的值是1
struct Factorial<0>{
	enum{value=1};
};
int main(){
	std::cout<<Factorial<5>::value<<endl;
	std::cout<<Factorial<10>::value<<endl;
	return 0;
}