迭代器的分类
插入迭代器(insert iterator):绑定一个容器上后可以向容器中插入元素;
流迭代器(stream iterator):绑定在输入输出流中,可以遍历关联的流;
反向迭代器(reverse iterator):迭代器向后移动,标准库容器中除了forward_list外都有反向迭代器;
移动迭代器(move iterator):使用该迭代器移动其中元素;
插入迭代器(insert iterator)
back_inserter:创建一个使用push_back的迭代器;
front_inserter:创建一个使用push_front的迭代器;
inserter:创建一个使用insert的迭代器;
注意:只有容器支持push_front的情况下,才能使用front_inserter;只有容器支持push_back的情况下,才能使用back_inserter;
若it是inserter生成的插入迭代器,则*it = val;等价于it = c.insert(it,val);++it;
顾名思义back_inserter始终将元素插入到末尾,front_inserter始终将元素插入到头部。
list<int> lst1 = {1,2,3,4}; list<int> lst2,lst3; //复制lst1到lst2,每次将lst1中的元素复制插入到lst2的前面 copy(lst1.cbegin(),lst1.cend(),front_inserter(lst2)); //复制lst1到lst3,每次将lst1中的元素复制插入到lst3的前面 copy(lst1.cbegin(),lst1.cend(),inserter(lst3,lst3.begin()));
流迭代器(stream iterator)
虽然iostream类型不是容器,但是标准库定义用于IO类型对象的迭代器。istream_iterator读取输入流,ostream_iterator向输出流写数据。
istream_iterator操作
可以对任何定义了输入运算符(>>运算符)的类型定义istream_iterator。
从标准输入读取数据存入到数组中:
istream_iterator<int> in_iter(cin);//从cin中读取数据 istream_iterator<int> eof;//尾后迭代器 vector<int> vec(in_iter, eof);//将输入的数据存入数组中
使用算法将输入数据求和:
istream_iterator<int> in_sum(cin), eof;//从cin中读取数据,尾后迭代器 cout << accumulate(in_sum, eof, 0) << endl;//将输入的数据存入数组中
istream_iterator允许使用懒惰求值
当我们将istream_iterator绑定到一个流上时,并不保证迭代器立即从流中读取数据;即具体实现中可以推迟从流中读取数据。
标准库保证的是在我们第一次解引用迭代器之前,已经完成从流中读取数据的操作。
ostream_iterator操作
可以对任何定义了输出运算符(<<运算符)的类型定义ostream_iterator。
ostream_iteratorout(os);//out将类型为T的值写到输出流os中 ostream_iterator out(os,d);//out将类型为T的值写到输出流os中,每个值后面输出一个C风格的字符串d(一个字符串字面常量或一个指向空字符结尾的字符数组指针)
不允许空的或尾后的ostream_iterator
ostream_iterator<int> out_iter(cout," "); copy(vec.cbegin(),vec.cend(),out_iter));//输出数组vec中的所有元素,用空格隔开 cout << endl;
反向迭代器(reverse iterator)
反向迭代器(reverse iterator)从容器的尾元素向首元素移动的迭代器,此时递增表示移动到前一个元素,递减表示移动到后一个元素,移动到第一个元素的前一个位置表示结束。
除了forward_list之外的容器都有反向迭代器,可以通过rbegin、rend、crbegin、crend来获得反向迭代器。可以看出,它也有const和非const两个版本。
反向输出数组的所有元素:
vector<int> arr = {0,1,2,3,4,5,6,7,8,9}; for(auto riter = arr.crbegin();riter != arr.crend();++riter) cout << *riter << endl;
降序排序的另一种写法:
sort(vec.rbegin(),vec.rend());
注意流迭代器不支持递减运算,因为不能在一个流中反向移动。
反向迭代器转换为普通的迭代器
string line = "FIRST,MIDDLE,LAST"; auto pos = find(line.crbegin(), line.crend(), ',');//找到最后一个单词 cout << string(line.crbegin(), pos) << endl;//输出TSAL cout << string(pos.base(), line.cend()) << endl;//输出LAST
上面通过调用reverse_iterator的base成员函数来完成反向迭代器向普通的迭代器的转换。
注意这两者的转换,关键在于[line.crbegin(), pos)和[pos.base(), line.cend())指向line中相同的元素范围,为了实现这个pos和pos.base()必须指向相邻位置而不是相同位置。
移动迭代器(move iterator)
泛型算法对应的5中迭代器操作
输入迭代器 只读,不写;单遍扫描,只能递增
输出迭代器 只读,不写;单遍扫描,只能递增
向前迭代器 可读写;多遍扫描,只能递增
双向迭代器 可读写;多遍扫描,可递增递减
随机访问迭代器 可读写;多遍扫描,支持迭代器所有运算
C++标准指明了泛型和数值算法的每个迭代器参数的最小类别。
例如find算法要求对序列一遍扫描,对元素只读操作,因此至少需要输入迭代器;replace函数需要一对迭代器,至少是向前迭代器;replace_copy的前两个迭代器至少是向前迭代器,第三个迭代器表示目前位置,必须至少是输出迭代器。
输入迭代器(input iterator)要支持:
它只用于顺序访问,对于输入迭代器,*it++保证有效,但是,递增他可能导致其他指向流的迭代器失效,因此只能用于单遍扫描算法,例如find和accumulate。
- 比较两个迭代器的相等和不相等(==、!=)
- 迭代器的前置和后置递增运算(++)
- 读取元素的解引用运算(*)
- 箭头运算符(->)等价于解引用
输出迭代器(output iterator)要支持:
只能向输出迭代器赋值一次,且它只能用于单遍扫描算法,用作目的位置的迭代器通常是输出迭代器。例如copy的第三个迭代器。
- 迭代器的前置和后置递增运算(++)
- 读取元素的解引用运算(*)
向前迭代器(forward iterator)要支持:
可以读写元素,只能在序列中沿一个方向移动,支持所有输入迭代器和输出迭代器的操作,可以多次读写同一个元素;因此可以保存前向迭代器的状态,可以对序列多次扫描。
双向迭代器(bidirectional iterator)要支持:
可以读写元素,只能在序列中正反两个方向移动,支持所有前向迭代器的操作,还支持前置和后置递减运算符。例如reverse要求双向迭代器。
随机访问迭代器(random-access iterator)
提供在常量时间内访问序列中任意元素,支持双向迭代器的所有功能。
- 比较两个迭代器相对位置的关系运算符(<、>、==、!=、...)
- 迭代器和整数的加减运算符(++、——、+=、—=)
- 两个迭代器减法运算
- 下标运算符,和*等价