迭代器（iterator）是一种抽象的设计概念，现实程序语言中并没有直接对应于这个概念的实物。《Design Patterns》一书提供有 23 个设计模式的完整描述，其中 iterator 模式定义如下：提供一种方法，使之能够依序巡防某个聚合物（容器）所含的各个元素，而又无需暴露该聚合物的内部表达式。
3.1 迭代器设计思维 —— STL关键所在
不论是泛型思维或 STL 的实际运用，迭代器都扮演着重要的角色。
STL 的中心思想在于：将数据容器和算法分开。
3.2 迭代器是一种 smart pointer
迭代器是一种行为类似指针的对象，而指针的各种行为中最常见也是最重要的便是内容提领和成员访问。
3.3 迭代器相应型别
最常用的相应型别有五种，然而并非任何情况下任何一种都可利用上述的 template 参数推到机制来取得。
3.4 Traits 编程技法 —— STL 源码门钥
并不是所有迭代器都是 class type，原生指针就不是。
3.4.1 迭代器相应型别之一：value type
3.4.2 迭代器相应型别之二：difference type
3.4.3 迭代器相应型别之三：reference type
3.4.4 迭代器相应型别之四：pointer type
3.4.5 迭代器相应型别之五：iterator_category
3.5 std::iterator 的保证
它利用 “内嵌型别” 的编程技巧与编译器的 template 参数推导功能。