简单的说一下：tarits技法就是一种模板元编程，起可以将本来处于运行期的事拉到编译期来做，增加了运行效率。 看以非模板元编程的例子，就是前面的那个例子：...

 1 void adance(std::list<int>::iterator& iter, int d)
 2 {
 3     if(typeid(std::iterator_traits<std::list<int>::iterator>::iterator_catagory) 
 4         ]== typeid(std::random_access_iterator_tag)){
 5         iter += d;
 6     }else{
 7         if(d >= 0) while(d--)iter++;
 8         else while(d++) iter--;
 9     }
10 }

上面是基于list特例化出来的版本，但是可惜的是并不能正常通过编译。

虽然说，当iter不支持随机访问的时候，由于if语句程序不会走到iter+=d;这个地方，但即使走不到，编译器也必须保证所有的语句都应该是正常的，但是这里的iter+=d在特例化为list的iterator时并不能通过编译。

简单的模板元编程例如下面的一个简单的阶乘：

1 template<unsigned n>
2 struct Factorial{
3     enum{value = n * Factorial<n - 1>::value};
4 };
5 template<>
6 struct Factorial<0>{
7     enum{value = 1};
8 };

有了上面这个之后，简单的指Factiorial<n>::value就可以得到一个n阶乘的数值。

 

小结：

    模板元编程可降工作从运行期转换到编译期，可以得到更早的错误侦测以及更高的执行效率

转载于:https://www.cnblogs.com/-wang-cheng/p/4889837.html