條款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;
}