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)
-
传进去的是指针,调用(2)。(2)即是模板类的指针偏特化(优先调用)
(这里需要一个接收指针的偏特化版本,而 函数模板不存在偏特化)