C++ STL 体系结构与内核分析 P16-P19(Vector，array，deque，stack，queue)

Vector深度探索

template<class T,class Alloc=alloc>
class vector{
public:
	typedef T  value_type;
	typedef value_type* iterator;
	typedef value_type& reference;
	typedef size_t size_type;
protected:
iterator start;
iterator finish;
iterator end_of_storage;
public:
iterator begin(){return start;}
iterator end(){return finish;}
size_type size() const;
{return size_type(end()-begin());}
size_type capacity() const
{return size_type(end_of_storage-begin());}
....
}

Vector使用

//定义vector
vector<int> vec;
//添加元素
for(int i = 1; i <= 5; i++) {	//循环完毕后vi中元素为1 2 3 4 5
    vi.push_back(i);    //push_back(i)在vi的末尾添加元素i，即依次添加1 2 3 4 5
}
//构造迭代器
vector<int>::iterator it = vec.begin();
//或者 
auto it = vec.begin();
 for(int i = 0; i < 5; i++) {
        printf("%d ", *(it + i));   //输出vi[i]
    }

1.vector只含有start、finish和end_of_storage三个指针成员类型，故占空间为3*8=24字节(64位下)。

2.vector支持下标操作。当vector空间不够的时候，需要额外开辟出两倍于原来的空间，然后将原来的数据复制到新的空间中，此过程需要对容器整体进行重分配、拷贝和释放等操作，消耗时间大，而且在vector中插入或删除元素效率很低(因为需要整体后移)

array

1.array在使用时除了指定类型外还需要指定大小

2.array源码内实际上就是构造一个数组

template<typename _Tp,std::size_t _Nm>
struct array
{
	typename _Tp	value_type;
	typename _Tp*	pointer;
	typedef value_type* iterator;
	
	value_type _M_instance[_Nm?_Nm:1];

	iterator begin()
	{return iterator(&_M_instance[0]);}

	iterator end()
	{return iterator(&_M_instance[_Nm]);}
	...
}

deque得可(双向的vector)

1.deque分段连续，由多段缓冲区构成，一段连续空间map中存储的指针指向这多段deque。当在末尾添加元素缓冲区不够时，在指针连续空间的末尾开辟新的指针指向新的缓冲区，这就是为什么可以deque可以双向添加元素。

2.deque的迭代器由cur，first，last和node四个元素组成
cur:指向当前iterator指向的分段的缓冲区中的当前迭代位置
first:指向当前iterator指向当前的分段的缓冲区中的初始位置
last:指向当前iterator指向当前的分段的缓冲区中的结束位置
node:指向当前iterator指向map中下一个分段的缓冲区中的开始位置

3.deque通过iterator中重载运算符实现模拟连续空间:
重载 - 号:finish-start返回两者之间所有buffer的元素之和
重载++和–：如果++或–到边界，则跳转到另一个缓冲区

stack(栈)和queue(队列)

1.stack和queue都由deque构建，只需要封掉deque的某些功能即可，stack和queue的低层就是deque，也可以用list

2.stack和queue不允许遍历，所有也不提供iterator