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

 void adance(std::list<int>::iterator& iter, int d)
 {
     if(typeid(std::iterator_traits<std::list<int>::iterator>::iterator_catagory)
         ]== typeid(std::random_access_iterator_tag)){
         iter += d;
     }else{
         if(d >= ) while(d--)iter++;
         else while(d++) iter--;
     }
 }

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

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

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

 template<unsigned n>
 struct Factorial{
     enum{value = n * Factorial<n - >::value};
 };
 template<>
 struct Factorial<>{
     enum{value = };
 };

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

 

小结：

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