简单的说一下：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 >= 0) 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 - 1>::value};
};
template<>
struct Factorial<0>{
    enum{value = 1};
};

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

 

小结：

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