STL -关于迭代器的设计原则和 Iterater Traits 的作用和设计

Iterater Traits理解为 用于萃取器 所需的特征

有的迭代器只能往前，有的只能往后，有的只能加1 ，有的只能-1，有的可以随机读取（+n或-n）

这就叫做 种类 category

迭代器必须能 回答出 算法的 5种提问：（标准规格书要求必须写出来）

迭代器类型Iterator_category，距离 类型 difference_type，元素值类型value_type，另外，指针(pointer)和引用(reference)在STL中从未被使用

以便于能够选择最好的迭代器方式

这5种typedef 即相关类型 associated types

表示指针间的距离的类型ptrdiff_t 通常定义为long int型
ptrdiff_t是C/C++标准库中定义的一个与机器相关的数据类型。ptrdiff_t类型变量通常用来保存两个指针减法操作的结果。ptrdiff_t定义在stddef.h（cstddef）这个文件内。ptrdiff_t通常被定义为long int类型。

直接使用上图右边的方式不就能获取五种 关联类型了，为什么还需要Iterator Traits呢？

退一步讲，算法想要对指针也能够使用，如何让指针也能获取这 5 个 类型？

Traints机器要有能力分辨 获取的到底是 T的迭代器(class)，还是T的指针。
利用偏特化可以实现。

解决问题的silver bullet (万用灵丹)：加一个中间层

上图中，STL添加中间层 iterator_trais 类模板

1. 如果传进去的是一个类（迭代器类），调用（1）

2. 传进去的是指针，调用（2）。（2）即是模板类的指针偏特化（优先调用）
   （这里需要一个接收指针的偏特化版本，而 函数模板不存在偏特化）