STL摘要五

 迭代器的分类

1. InPut Iterator，这种迭代器所指的对象不允许外界修改，只读的。
2. OutPut Iterator，只写迭代器。
3. Forward Iterator，允许“写入”读写型迭代器，单向性迭代器。
4. Bidirectional Iterator ，可双向移动。
5. Random Access Iterator，随机访问迭代器，前面四种只是支持operator++ 或者operator--，而此类型迭代器涵盖所有的算术能力，比如p[n] ,p[n-i],p1-p2,p1<p2。

迭代器从属关系

1、2->3->4->5，箭头不代表继承关系，而是所谓的概念与强化的关系，因此前者可以用后者进行替换，但是可以替换并不代表是最佳使用。

 

首先我们根据我们已知的迭代器功能实现相应的迭代器，我们拿myIterator()为例。

//不考虑其他方面的影响，首先从功能方面入手 template<class I , class D> void myIterator_in(I& i ,D n) { while(n--)++i;//单一前进 }; template<class I , class D> void myIterator_bi(I& i ,D n) { //双向 (n > 0) ? (while(n--)++i;) : (while(n++) --i;); }; template<class I , class D> void myIterator_rai(I& i ,D n) { //双向，跳跃 i += n; };

 为什么只有三个版本？因为前三种的设计方式一致。那好，那开始调用myIterator时候，应该调用哪个函数呢？如果是myIterator_in那么对于myIterator_rai来说是极其缺乏效率的，原本O(1)的操作变成了O(N)，若是选择后者，则无法接受前者。因此需要将他们三合唯一。因此我们又了另外一种做法：

template<class I , class D> void myIterator_all(I& i ,D n) { if(is_rai()) myIterator_rai(i,n); else if(is_bi()) myIterator_rai(i,n); else myIterator_in(i,n); };

 采用了traits获取相应的迭代器类型，然后根据类型进行函数调用，不过这种设计还是有一些缺点，因为像这样运行期才决定使用哪一个版本，影响程序效率，因此最好就可以在编译器就可以选择正确版本，而重载函数机制可以达成这个目标(如果不熟悉函数重载机制可以参考primer对应章节)。那应该如何来实现重载呢？以下我们稍作分析：

前面几个myIterator_xx函数都有两个模板参数，型别未定，为了实现重载机制，需要加上一个已经确定的函数参数，使重载机制得以有效运行起来，然而综合前面阐述，我们需要一个函数参数和traits来实现。那是否可以将traits类型来当做第三参数？答案又再一次得到肯定。具体实现如下：

struct input_iter_tag{}; struct output_iter_tag{}; struct forward_iter_tag :public input_iter_tag{}; struct bidirectional_iter_tag : public forward_iter_tag{}; struct randomacess_iter_tag : public bidirectional_iter_tag{}; //调整具体实现迭代器函数 template<class I , class D > inline void myIterator(I& i ,D n,input_iter_tag) { while(n--)++i;//单一前进 }; template<class I , class D> inline void myIterator(I& i ,D n,forward_iter_tag) { myIterator(i,n,input_iter_tag()); }; template<class I , class D> inline void myIterator(I& i ,D n,bidirectional_iter_tag) { //双向 (n > 0) ? (while(n--)++i;) : (while(n++) --i;); }; template<class I , class D> inline void myIterator(I& i ,D n ,randomacess_iter_tag) { //双向，跳跃 i += n; };

到此时，已经完善了大部分代码，但是好像还缺些什么东西吧？对了，刚才提到的traits呢？哈，的确，那traits又如何用呢？接着看：

template<class I , class D> inline void myIterator(I& i ,D n) { myIterator(i,n,traits_impl<I>::value_type()); }; //traits_impl<I>::value_type()产生一个临时对象 //而至于一些另外相信阐述、细节方面，相信好些书可以参考，比如《stl源码解析》、《effective c++》、《effective stl》等。

现在基本上可以说over了，但是可能存在对上面的代码有所疑问，而具体traits_impl的实现可以参考前面的摘要。