/*条款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;
}
条款48:认识template元编程
最新推荐文章于 2024-05-03 09:23:21 发布