首页 > 代码库 > 一步一步认识C++STL中的迭代器
一步一步认识C++STL中的迭代器
“指针”对所有C/C++的程序员来说,一点都不陌生。在接触到C语言中的malloc函数和C++中的new函数后,我们也知道这两个函数返回的都是一个指针,该指针指向我们所申请的一个“堆”。提到“堆”,就不得不想到“栈”,从C/C++程序设计的角度思考,“堆”和“栈”最大的区别是“栈”由系统自动分配并且自动回收,而“堆”则是由程序员手动申请,并且显示释放。如果程序员不显示释放“堆”,便会造成内存泄漏,内存泄漏的危害大家知道,严重时会导致系统崩溃。
既然“指针”的使用者一不小心就可能导致内存泄漏,那么我们如何能够使得指针的使用变得更安全呢?从C++面向对象的角度分析,我们有没有可能将“指针”封装起来,使得用户不直接接触指针,而使用一个封装后的对象来替代指针的操作呢?
答案是显然的,“智能指针”(smart pointer)正解决这类问题,尤其是在防止内存泄漏方面做得非常突出。C++标准库std中提供了一种“智能指针类”名为"auto_ptr",先看下面的代码:
void f() { int *p=new int(42); ////////此处发生异常//// delete p; }
正如上面的代码所示,如果在两条语句中间发生异常,会导致指针p所指的那块内存泄漏,因为在执行delete之前发生异常,就不会自动释放堆。然而,如果使用auto_ptr对象代替常规指针,将会自动释放内存,因为编译器能够保证提前运行其析构函数。这样,我们就可以将上述代码改为:
#include<memory>//auto_ptr的头文件 void f() { auto_ptr<int>p(new int (42)); }
通过以上的分析,我们便对智能指针有了一定的了解。迭代器iterator就是一种智能指针,它对原始指针进行了封装,并且提供一些等价于原始指针的操作,做到既方便又安全。
一提到STL,必须要马上想到其主要的6个组成部件,分别是:容器、算法、迭代器、仿函数、适配器和空间分配器,本文主要介绍迭代器。迭代器是连接容器和算法的一种重要桥梁。为什么呢?我们举个例子来说明原因。
#include<iostream> #include<algorithm>//用到find函数 #include<vector> using namespace std; int main() { vector<int>vec; int i; for(i=0;i<10;i++) { vec.push_back(i); } if(vec.end()!=find(vec.begin(),vec.end(),7)) { cout<<"find!"<<endl; } else { cout<<"not find!"<<endl; } system("pause"); return 0; }
上述代码中,值得注意的是用到的find函数,find函数的函数原型为:template<class _InIt,class _Ty> _InIt find(_InIt _First, _InIt _last, const _Ty & _val),从find函数原型可以看出find函数是一个函数模板,函数的形参中前两个参数为_InIt,该参数是InputIterator的缩写,最后一个参数则是一个任意类型变量的引用。而我们的程序在使用find函数实,传入的实参为find(vec.begin(),vec.end(),7),这样我们的形参迭代器就将算法find和容器vector联系起来了,从这个角度我们可以很容易理解为什么说迭代器是算法和容器的联系的桥梁了。
为什么上面的形参是一个InputIterator,而能够接受实参vec.begin()呢?为了回答这个问题,需要从迭代器的分类说起。
在STL中,迭代器主要分为5类,分别是:输入迭代器、输出迭代器、前向迭代器、双向迭代器和随机访问迭代器。
输入迭代器:只读,支持++、==、!=;
输出迭代器:只写,支持++;
前向迭代器:读写,支持++、==、!=;
双向迭代器:读写,支持++、--,C++的所有标准库容器都至少在双向迭代器的层次上。;
随机访问迭代器:读写,支持++、--、[n]、-n、<、<=、>、>=;
输入迭代器和输出迭代器是最低级的迭代器,后三种迭代器都是对该迭代器的一种派生,回到刚刚那个问题,为什么实参vec.begin()能够与形参_InIt“虚实结合”呢?我们先看下面的代码:
#include<iostream> using namespace std; class A{}; class A1:public A{};//类A1继承A class B{}; void print(A)//只需指定参数类型 { cout<<"This is Base class A!"<<endl; } void print(B)//只需指定参数类型 { cout<<"This is Base class B!"<<endl; } int main() { print(A()); print(B()); print(A1());//将一个派生类的对象传递过去 return 0; }
从上面的代码可以看出,在main函数中,我们调用print(A1()),即可以用派生类对象作为实参传递给以基类类型作为形参的函数,所以find函数中的vec.begin()作为实参,以输入迭代器类型作为形参,两者可以达到虚实相结合的目的而不会出错。所以说,迭代器为各类算法和和各类容器提供了一个相互沟通的平台。
接着,我们从容器本身的角度和算法本身的角度对迭代器做进一步的分析。
容器的迭代器都是定身制作的,什么意思呢?所有容器都内置一个迭代器,该内置迭代器由容器的设计者实现。由于现有的容器比较多,不可能每种容器的迭代器都详细介绍下,但是有一点可以确定的是,每个容器对应的迭代器都是根据容器的特点来实现的,以求达到最高效率。我们所关心的问题是:哪些操作会使容器的迭代器失效呢?
迭代器失效?没错,就是迭代器失效。迭代器失效指的是迭代器原来所指向的元素不存在了或者发生了移动,此时如果不更新迭代器,将无法使用该过时的迭代器。迭代器失效的根本原因是对容器的某些操作修改了容器的内存状态(如容器重新加载到内存)或移动了容器内的某些元素。
使vector迭代器失效的操作
1.向vector容器内添加元素(push_back,insert)
向vector容器添加元素分以下两种情况:
1)若向vector添加元素后,整个vector重新加载,即前后两次vector的capacity()的返回值不同时,此时该容器 内的所有元素对应的迭代器都将失效。
2)若该添加操作不会导致整个vector容器加载,则指向新插入元素后面的那些元素的迭代器都将失效。
2,删除操作(erase,pop_back,clear)
vector执行删除操作后,被删除元素对应的迭代器以及其后面元素对应的迭代器都将失效。
3.resize操作:调整当前容器的size
调整容器大小对迭代器的影响分如下情况讨论:
A.若调整后size>capacity,则会引起整个容器重新加载,整个容器的迭代器都将失效。
B.若调整后size<capacity,则不会重新加载,具体情况如下:
B1.若调整后容器的size>调整前容器的size,则原来vector的所有迭代器都不会失效;
B2.若调整后容器的size<调整前容器的size,则容器中那些别切掉的元素对应的迭代器都将失效。
4.赋值操作(v1=v2 v1.assign(v2))
会导致左操作数v1的所有迭代器都失效,显然右操作数v2的迭代器都不会失效。
5.交换操作(v1.swap(v2))
由于在做交换操作时,v1,v2均不会删除或插入元素,所以容器内不会移动任何元素,故v1,v2的所有迭代器都不会失效。
使deque迭代器失效的操作
1.插入操作(push_front,push_back,insert)
deque的插入操作对迭代器的影响分两种情况:
A.在deque容器首部或尾部插入元素不会是任何迭代器失效;
B.在除去首尾的其他位置插入元素会使该容器的所有迭代器失效。
2.删除操作
A.在deque首、尾删除元素只会使被删除元素对应的迭代器失效;
B.在其他任何位置的删除操作都会使得整个迭代器失效。
使list/map/set迭代器失效的操作
由于list/map/set容器内的元素都是通过指针连接的,list实现的数据结构是双向链表,而map/set实现的数据结构是红黑树,故这些容器的插入和删除操作都只需更改指针的指向,不会移动容器内的元素,故在容器内增加元素时,不会使任何迭代器失效,而在删除元素时,仅仅会使得指向被删除的迭代器失效。
再回忆下find函数,find函数前两个形参都是输入迭代器类型,这两个迭代器并不是某个容器特有的迭代器,而是一个一般的迭代器,可将所有标准库容器内部的迭代器视为形参所对应迭代器类的派生类。下面我们透过stl中迭代器的实现代码来分析迭代器的实现方法.
#include<iostream> #include<cstddef>//ptrdiff_t对应的头文件 struct input_iterator_tag{};//输入迭代器 struct output_iterator_tag{};//输出迭代器 struct forward_iterator_tag:public input_iterator_tag{};//前向迭代器 struct bidirectional_iterator_tag:public forward_iterator_tag{};//双向迭代器 struct random_access_iterator_tag:public bidirectional_iterator_tag{};//随机访问迭代器 //std::iterator,标准迭代器的类模板 template<class Category,class T,class Distance=ptrdiff_t, class Pointer=T*,class Reference=T&> struct iterator//迭代器包含五个常用属性 { typedef Category iterator_category;//迭代器的类型,五种之一 typedef T value_type;//迭代器所指向的元素的类型 typedef Distance difference_type;//两个迭代器的差值 typedef Pointer pointer;//迭代器的原始指针 typedef Reference reference;//迭代器所指向元素的引用 }; //定义iterator_traits,用于提取迭代器的属性,该类的对象不应该让用户看到 template<class Iterator> struct iterator_traits { //下面的操作相当于一个递归的操作,用于递归提取原始指针的相关值 typedef typename Iterator::iterator_category iterator_category; typedef typename Iterator::value_type value_type; typedef typename Iterator::difference_type difference_type; typedef typename Iterator::pointer pointer; typedef typename Iterator::reference reference; }; //针对原始指针的偏特化版本 template<class T> struct iterator_traits<T*> { //相当于递归终止条件 typedef random_access_iterator_tag iterator_category; typedef T value_type; typedef ptrdiff_t diffrence_type; typedef T* pointer; typedef T& reference; }; //针对指向常用的原始指针设计的偏特化版本 template<class T> struct iterator_traits<const T*> { typedef random_access_iterator_tag iterator_category; typedef T value_type; typedef ptrdiff_t diffrence_type; typedef const T * pointer;//重点在这里 typedef const T & reference;//还有这里 }; //定义两个迭代器的差值类型的函数distance_type template<class Iterator> inline typename iterator_traits<Iterator>::difference_type * distance_type(const Iterator&) { return static_cast<typename iterator_traits<Iterator>::difference_type *>(0); } //获取迭代器的value_type函数 template<class Iterator> inline typename iterator_traits<Iterator>::value_type * value_type(const Iterator&) { return static_cast<typename iterator_traits<Iterator>::value_type*>(0); } //求两个一般迭代器之间的距离的函数_distance,供distance函数分类调用 template<class InputIterator> inline typename iterator_traits<InputIterator>::difference_type _distance(InputIterator first,InputIterator last,input_iterator_tag) { typename iterator_traits<InputIterator>::difference_type n=0; while(first!=last) { ++first; ++n; } return n; } //求两个随机访问迭代器之间的距离的函数_distance,供distance函数分类调用 template<class RandomAccessIterator> inline typename iterator_traits<RandomAccessIterator>::difference_type _distance(RandomAccessIterator first,RandomAccessIterator last, random_access_iterator_tag) { return last-first; } //自适应地调用distance函数 template<class InputIterator> inline typename iterator_traits<InputIterator>::difference_type distance(InputIterator first,InputIterator last) { typedef typename iterator_traits<InputIterator>::iterator_category category; //从typename可以看出,category是一个类型 return _distance(first,last,category());//显示调用category类的构造函数,返回该类的一个对象 } /*****下面的函数用于将指针移动n位的方法*/ //一般迭代器求向前移动的方法,与双向迭代器和随机反问迭代器不同 template<class InputIterator,class Distance> inline void _advance(InputIterator& i,Distance n,input_iterator_tag) { while(n--) { ++i; } } //针对双向迭代器移动的方法 template<class BidirectionalIterator,class Distance> inline void _advance(BidirectionalIterator &iter,Distance n, bidirectional_iterator_tag) { if(n>=0)//当n大于0时,向后移动 { while(n--) { ++iter; } } else//当n小于0时,向前移 { while(n++) { --iter; } } } //定义随机访问迭代器移动的方法 template<class RandomAccessIterator,class Distance> inline void _advance(RandomAccessIterator &iter,Distance n, random_access_iterator_tag) { iter+=n; } //自适应的调用advance函数 template<class InputIterator,class Distance> inline void advance(InputIterator &iter,Distance n) { _advance(i,n,iterator_catetory(iter)); }从上面的代码中不难发现,实现一个迭代器,需要做一下工作:
1.定义5类迭代器的标志类,该标志类用于实现函数的区别调用(即重载),例如求两迭代器距离函数distance(iter1,iter2,tag),移动函数advance(iter,n,tag)。这五个标志类分别为:input_iterator_tag,output_iterator_tag,forward_iterator_tag,bidirectional_iterator_tag,random_access_iterator_tag。
2.对于每一个iterator类,都必须包含5个属性,分别为:iterator_category、value_type、difference_type、pointer、reference。
3.定义一个迭代器的“属性榨汁机”iterator_traits,用于获取iterator的5中属性值。
4.定义迭代器的操作,分别为:
1) 获取iterator的标志----->iterator_category(iter);
2)获取两迭代器差值的类型----->distance_type(iter);
3)获取迭代器的原始类型--------->value_type(iter);
4)求两迭代器的距离---------------->distance(iter1,iter2,tag);
5)将迭代器移动n位------------------>advance(iter,n,tag)。
参考文献:
[1]《C++ Primer中文版 第4版》
[2]《STL源码剖析 侯捷》