1、考虑下面的需求，对迭代器移动d个单位。因为不同类型的迭代器，能力不同，有的迭代器（vector，deque内置迭代器）可以一步到位移动到指定位置，有的迭代器（list内置迭代器）必须一步一步移动，怎么解决？
2、很显然，需要判断迭代器的能力，也就是哪一类，不同分类的迭代器采用不同的做法。这需要在运行时判断迭代器的分类，效率低，有没有更好的办法呢？
3、很自然地，我们想到增加一个中间层，对不同分类的迭代器封装，对外暴露迭代器的类型信息，也就是在编译器就确定它的分类。具体做法如下：
a、每种集合的内置迭代器，都有一个值表示自己的分类，使用typedef 为它的分类取个别名，对外暴露别名；
b、使用traits封装迭代器，暴露一个接口，表示分类，这个分类就是内部迭代器的分类别名；
c、准备一组过载的模版方法，根据迭代器的分类进行过载，这样就能在编译器确定调用哪个方法模版。
4、考虑到，可能对指针移动d个单位，需要特化一个traits，对指针封装。
原文：http://www.cnblogs.com/nzbbody/p/3528732.html