1.iterator_category 迭代器的类型：迭代器是一种泛型指针，因此对不同的容器的具体设计也不同（比如说有些迭代器可以++，也可以--，有些则只能++）
2.difference_type 两个迭代器可能存在的最大距离：也就是容器的最大容量
3.value_type 容器的值类型
4.reference
5.pointer
为了回答这五个问题，迭代器需要定义五种数据类型。上图一种的：：就是算法问迭代器 I 的 xxx 值是什么。
2.什么是traits？traits的意义？在上面的算法提问和迭代器回答中，可能存在这样一个问题，就是传入算法的参数可能不是某个迭代器，而是一般性指针，而一般性指针是没法回答算法的五个问题的。
因此需要一个“中介”来代替算法去问传进来的参数的类型，也就是iterator_traits
traits的中文意思是萃取机，在STL中有各种traits，他们的作用都是异曲同工。
iterator_traits使用模板的偏特化功能来区分指针和迭代器。
上图以算法询问容器的value_type为例。如果传入的是迭代器，则由traits继续问迭代器value_type；如果传入的是指针，则指针类型就是value_type。
需要注意第三处，传入的是const T*，而value_type并不是const T*，这是因为value_type的用处主要是拿去声明变量，如果value_type是一个const类型指针的别名，则声明的所有变量也会称为const，这是不需要的。
若传入是指针，则由traits回答所有问题。
