MyTinySTL--迭代器

迭代器

迭代器提供一种方法，使之能够依序巡访某个容器所含的各个元素，但是又无需暴露该容器内部表述方式。
迭代器最重要的编程工作就是对operator*和operator->进行重载工作。

(1 假设算法中有必要声明一个变量，以“迭代器所指对象的型别”为型别，如何是好？

解决方法：利用function template 的参数推导机制（argument deducation）.

(2 template 参数推导机制推而导之的只是参数类型，无法推导函数的返回值类型。

解决方式：（1）声明内嵌型别。如下：

template <class T>
struct MyIter{
   
	typedef T value_type;//内嵌型别声明（nested type）
	T* ptr;
	MyIter(T* p=0):ptr(p){
   }
	T& operator*()const {
   return *ptr;}
	//......
};
template<class T>
typname I ::value_type//这一整行是func的返回值类型，func()返回值类型必须加上关键词typname
func(I ite)
{
   return *ite}
//......
MyIter<int>ite(new int (8));
cout<<func(ite);//输出8

（2）内嵌有一个隐晦的陷阱，并不是所有的迭代器都是class type，原生指针就不是！若不是，就无法定义为内嵌型别，但STL必须接受原生指针作为一种迭代器。那么需要一种可以让上述的一般化概念针对特定情况（例如针对原生指针）做特殊化处理的方法？
解决方式：template partial specialization （偏特化处理）（特性萃取机）：针对任何template参数更进一步的条件限制所设计出来的一个特化版本。

//泛化版本
template<typename T>
class C{
   ...};//

//偏特化处理
template<typename T>
class C<T*>{
   ...};//这个特化版本仅适用于“T为原生指针”的情况
//“T为原生指针”便是“T为任何类型”的一个更进一步的条件限制。

3)最常用的5种特性萃取机：

① value _type
② different_type
③ pointer
④ reference
⑤ iterator_catagoly

4)五种迭代器：

Input Iterator:只读
Output Iterator:只写
Forward Iterator:允许写入型算法（例如replace（））在此种迭代器所形成的区间上进行读写操作。
Bidirectional Iterator:可双向移动。
Random Access iterator： 前四种迭代器只供应一部分指针算术能力（前三种支持operator++，第四种再加上operator–），第五种则涵盖了所有指针算术能力，包括：p+n，p-n，p[n]，p1-p2，p1<p2。

5)迭代器举例：

Advanced():该函数有两个参数，迭代器p和数值n；函数内部将p累进n次（前进n距离）。
对于该函数有三份定义：一个针对Input Iterator；一个针对Bidirectional Iterator；再一份针对Random Access iterator。
此处为了让在编译期就决定使用哪个版本，而不是在执行期。这样便可以加快程序效率。因此我们采用重载函数机制来达成这一目标。
如下：
实现接口
// 以下函数用于让迭代器前进 n 个距离

template <class InputIterator, class Distance>
inline void advance(InputIterator& i, Distance n) {
   
    __advance(i, n, iterator_category(i));// iterator_category(i)萃取迭代器种类
}
三种版本的函数重载
//__advance（）函数的第三个参数代表迭代器的不同类别，从而形成函数的重载。
// advance 的 input_iterator_tag 的版本，
template <class InputIterator, class Distance