本文描述 了STL 迭代器,并介绍了泛型的中心思想。
1.Iterators(迭代器)基本概念
考虑一个简单的算法find.
- 在序列中查找特定的值(元素的线性集合)
- 从beginning搜索,直到找到value或到达end
作为一个抽象的算法,这是很清楚的,但是我们能不能在不指定我们处理的是什么样的序列的情况下实现它呢?
任何实现都必须回答以下问题:
- 如何指定序列的开始?
- 如何按顺序前进?
- 如何识别序列的结尾?
- 如何访问序列中的元素?
- 成功时返回值是什么?
- 失败时返回值是什么?
Iterators(迭代器)为所有这些问题提供了一个优雅的答案。
迭代器是一个广义的指针,用于标识容器中的位置,允许在容器中移动和访问元素。
问题的答案:
如何指定序列的开始?
一个指向序列开头的Iterator
如何按顺序前进?
operator++
如何识别序列的结尾?
一个指向序列末尾的Iterator.
如何访问序列中的元素?
operator*
成功时返回值是什么?
指向找到位置的迭代器
失败时返回值是什么?
指向末尾的迭代器
范围(Range)
范围 (Range)是指定序列的标准 STL 方式。 大多数 STL 算法采用范围作为参数。
- 一个范围是一对指向序列开始和结束的迭代器
- 前者指向第一个元素,而后者指向比最后一个元素再多一个的元素
- 范围通常是半开区间,[begin, end) 或者[first, last)
- 一个范围可以通过operator++来从first位置遍历到last
算法Find
template <class Iterator, class T>
Iterator find(Iterator begin, Iterator end, const T& value)
{
while (begin != end && *begin != value)
++begin;
return begin;
}
如果返回的迭代器等于end,则代表没有找到该值。 否则,迭代器将指向该值。
这个实现适用于任何带有合适迭代器的序列:
- STL containers
- 指针是基本数组的迭代器
int A[10];
/* ... */
find (A, A+10, 5);
- input streams
- 自定义迭代器
例子:简单链表
一个非常简单的单链表可以定义如下:
struct node {
int val;
node* next;
node (int i, node* n) : val(i), next(n) {}
// implicit copy constructor, copy assignment and destructor
};
我们可以像这样构建一个简单的列表[1,2,3]:
node* list = new node(3,0);
list = new node(2, list);
list = new node(1, list);
struct node {
// as before
struct iterator {
node* ptr;
iterator (node* p = 0) : ptr(p) {}
// implicit copy constructor, copy assignment and destructor
int& operator* () { return ptr->val; }
iterator& operator++ () { ptr = ptr->next; return *this; }
iterator operator++ (int) {
iterator tmp = *this; ++*this; return tmp; }
bool operator== (const iterator& other) const {
return ptr == other.ptr;
}
bool operator!= (const iterator& other) const {
return ptr != other.ptr;
}
};
iterator begin() { return iterator(this); }
iterator end() { return iterator(); }
};
现在,我们可以这样搜索列表:
node::iterator iter = find (list->begin(), list->end(), 2);
assert (*iter==2);
注意: node::iterator 现在还不算是完整的 STL 迭代器。
迭代器类别(Iterator Categories)
算法 find 使用迭代器的以下操作符:
- operator++
- operator*
- operator!=
- copy constructor
该算法适用于正确定义以上运算符的任何迭代器类型。 这样的需求有时被称为概念(Concepts)。
概念(Concepts)
一个概念是一个类型的一组要求:
- 语法上,需求(requirements)说明应该是合法的表达式
- 语义上,需求说明表达式的效果应该是什么
对需求的完整描述可能很复杂,特别是对于语义需求。 根据相关的算法和类型来思考概念通常更为直观:
- 除了满足需求(requirements)之外,不对模板参数的类型做任何假设的算法
- 满足需求的类型,我们称为这个类型model这个概念,或者这个概念的一个model
这些models是算法的有效模板参数。
概念是泛型的核心。 它们的角色类似于面向对象程序设计中的虚拟基类,其models对应于派生类。 一个重要的区别是概念不是语言结构,而是文档的一部分。 一个结果是,内置类型也可以是模型。
与类层次结构类似,概念也可以形成层次结构。 如果一个概念 a 的要求是一个概念 b 要求的超集:
- A 被称为B的细化
- 所有 A 的models都是 B 的models
一些简单的概念
以上是第一部分,下一篇会介绍迭代器的一些概念。