Traits：特征
Traits就是说你丢给他一个东西，希望得到某些特征
iterator的原则
是算法和容器的桥梁
用iterator告诉算法操作范围
在操作的过程中，算法想知道iterator的性质，从中选择最佳化的动作
以rotate为例子
调用关系如图
萃取机制想要得到迭代器的分类，
迭代器的分类：移动性质，双向单向，能否跳着走
Rotate在这里就想知道这个迭代器的分类，以得到最佳的方法
Value_type表示iterator指向的元素的type
Difference_type表示两个iterator的距离，如果两个迭代器相减后的距离<2^32-1那么就能用
Unsigned int 来表示
Difference_type的使用如图，需要定义n k来指定范围进行运算
这里就需要用了
五种类型
算法需要知道以上的信息
迭代器中设计了5种类型associated types来回答这个问题
traits
那么traits的作用呢
如果迭代器不是一个class例如原生指针，如何回答这些问题？
所以就是用traits
萃取机需要区分这个iterator是class的iterator还是别的iterator
Traits 通过特化的方法作为一个中间层，解决iterator或者指针的问题
如果是指针，那么指针指向的类型就是valuetype，如果是个iterator，就去iterator中找到相关的valuetype
总共的五个问题
