Item 48: 认识template元编程

我们在Item 47留下了一个问题，现在再来看一看：

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)){
    iter += d;
  }
  else
    ...
}

假如有下面的语句

std::list<int>::iterator iter;
...
advance( iter, 10 );    //iter是bidirectional_iterator

我们知道，iter+=d总是不会被执行到，但是编译器看到了，它要求所有的源码都必须有效，即使是不会执行起来的代码。因此，编译不通过。 
traits class，或者应该说，template编程真是一件神奇的事情。

至于元编程，只觉得它非常奇妙。就像前面的advance一样，也是元编程的一种。我们已经看到，advance是如何通过元程序将工作由运行期移往编译期的，也由此得以实现早期错误侦测和更高的执行效率。