template<typename ...>
class deque{  public:  class iterator{  public:  typedef  random_access_iterator_tag  iterator_category; ...};...
};  template<typename ...>
class list{  public:  class iterator{  public:  typedef  bidirectional_access_iterator_tag  iterator_category;   ...};...
};

template<typename IterT>
struct iterator_traits{  typedef  typename IterT::iterator_category  iterator_category;  ...
}; 

template<typename IterT>     　　　　//template偏特化
struct iterator_traits<IterT*>{    //针对内置指针
typedef  random_access_iterator_tag  iterator_category;
...
}; 

template<typename IterT, typename DistT>
void advance( IterT& iter, DistT d ) { doAdvance(  //doAdvance()有多个重载，其版本不同之处在于传递的迭代器的参数不同
        iter, d,  typename std::iterator_traits<IterT>::iterator_category()  );  ..
};  template<typename IterT, typename DistT>      //这份实现用于random access迭代器
void doAdvance( IterT& iter, DistT d, std::random_access_iterator_tag )
{  iter+=d;
}  template<typename IterT, typename DistT>      //这份实现用于bidirectional迭代器
void doAdvance(IterT& iter, DistT d, std::bidirectional_iterator_tag)
{  if(d>=0){  while(d--)  ++iter;  }  else{  while(d++)  --iter;  }
}  template<typename IterT, typename DistT>      //这份实现用于input迭代器，由于forward迭代器派生于input迭代器，也可用于forward迭代器
void doAdvance(IterT& iter, DistT d, std::input_iterator_tag)
{  if(d<0){  throw std::out_out_range("Negnative distance"); //对于input或forward迭代器，移动负距离会导致不明确的行为，因而抛出异常
    }  while(d--)   ++iter;
} 

★TMP（模板元编程）可将工作由运行期移往编译期，因而得以实现早期错误侦测和更高的执行效率

★TMP可被用来生成“基于政策选择组合”的客户定制代码，也可用来避免生成对某些特殊类型并不适合的代码

--------------------------------------------------------------------------------------------------

TMP可以将部分执行期的任务提前至编译期完成，从而可以更早发现错误，更高效（编译时间会变长，但是执行期效率会高）。且TMP对“难以或甚至不可能于运行期实现出来的行为”的表现也很吸引人！

----------------------------------------------

TMP是图灵完备的，可以执行分支语句和循环（通过递归实现）。如解决阶乘问题：

template<unsigned n>        //一般情况，递推关系式
struct Factorial{enum { value = n * Factorial<n-1>::value };
};
template<>                  //特殊情况，以结束递归
struct Factorial<0>{enum{value = 1};
};int main()
{std::cout<<Factorial<5>::value;std::cout<<Factorial<10>::value;
}

-----------------------------------------------------

使用TMP一般可以有如下效果：

（1）确保量度单位正确。

（2）优化矩阵运算。

（3）生成客户定制的设计模式。