读书笔记-STL迭代器之萃取技术

迭代器是一种抽象的设计概念，它提供一种方法，能够依序巡防某个容器的各个元素，而无需暴露该容器的内部数据的组织结构，将数据容器和算法(对容器内元素的操作)分开，彼此独立设计。此外，迭代器是一种智能指针(smart pointer)。STL一共定义了5种类型的迭代器：

图一：

它们在STL中的定义如下(图二)：

什么意思？？？我们以distance()函数为例：

这个函数的迭代器的类型是开发的，即它可以接受任何类型的迭代器。但是在底层实现上，我们要对传入的迭代器参数InputIterator进行分类，也就是萃取迭代器所指对象的型别，这样就可在_distance重载的函数中找到一个接受对应迭代器类型的函数执行：

可以看出图二定义的五种结构体类型在实际的运用中仅仅起到区分重载函数的重用，方便根据传入迭代器的类型来调用正确的函数！！！！就像下面的代码示例的那样：

#include <cstddef>  
#include <cstdlib>  
#include <climits>  
#include <iostream>  
#include <memory>  
#include <vector>  

using namespace std;

struct input_iterator_tag1{};

void func(int b,input_iterator_tag1 ){
	cout <<"This is a function!"<< endl;
}

int main(){
	int a = 1;
	func(a,input_iterator_tag1());
	return 0;
}

那么萃取是如何做到的呢？？？？这里必须涉及到以下两个类型：

template<class Category, class T, class Distance, 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;        //迭代器所指类型的引用  
};

template<class I>
struct iterator_traits{
	typedef typename I::iterator_category iterator_category;
	typedef typename I::value_type value_type;
	typedef typename I::difference_type difference_type;
	typedef typename I::pointer pointer;
	typedef typename I::reference reference;
};

在STL源码剖析中提到，为了符合STL所需之规范，每个新设计的迭代器都继承自它，iterator class不含任何成员，纯粹只是型别定义，继承它不会招致任何额外负担，下面是一个例子：

#include <cstddef>  
#include <cstdlib>  
#include <climits>  
#include <iostream>  
#include <memory>  
#include <vector>  

using namespace std;

struct input_iterator_tag1{};

void func(int b,input_iterator_tag1 ){
	cout <<"This is a function!"<< endl;
}

template<class Category, class T, class Distance, 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;        //迭代器所指类型的引用  
};

template<class I>
struct iterator_traits{
	typedef typename I::iterator_category iterator_category;
	typedef typename I::value_type value_type;
	typedef typename I::difference_type difference_type;
	typedef typename I::pointer pointer;
	typedef typename I::reference reference;
};

template<class Item>
struct ListerIter :public std::iterator<std::forward_iterator_tag, Item>{
	//里面可能就是一些操作
	reference operator*()const{/*......*/}//对*运算符的重载
	pointer operator->()const{/*......*/ }//对->运算符的重载
	iterator_category operator++()const{/*......*/ }//对++运算符的重载
	iterator_category operator--()const{/*......*/ }//对--运算符的重载
};

ListerIter<int>myiter;
vector<int>::iterator iter1;
std::iterator_traits<ListerIter<int>>::value_type aa = 3;

int main(){
	int a = 1;
	cout << sizeof(aa)<< endl;
	func(a, input_iterator_tag1());
	return 0;
}

结果：

可以看出aa的类型被定义成int型，因为我们的ListerIter类继承了iterator类，所以当我们用int实例化ListerIter的时候，T被实例化为int型，那么value_type就是T的一个别名，也

就是int类型的一个别名，当我们使用ListerIter<int>实例化iteratro_traits的时候，它里面的value_type的型别就是 I::value_type 的型别，而I的型别是ListerIter<int>，所以Item的

型别是int,那么在iterator类中的T的型别是int，最终iterator_traits中的value_type型别被实例化为int。这个过程有点晕，要反复理解！！！！！下面是整个实例化过程：