【STL源码剖析】总结笔记（3）：vector初识

00 写在前面

vector是我们在学习c++过程中最早接触也是比较常用的容器之一，从vector入手可以更加容易地理解STL的组织架构。这里我们侧重于vector的内部结构，而vector提供的接口操作不是我们的重点，使用方法可以参考cppreference。

01 概述

array我们经常使用，但它是静态空间，不能做到动态分配内存。大小在一开始就已经固定了。

vector和array很相似，区别在于vector是动态空间，它的内部机制会自行扩充空间以容纳新元素。也不需要像array一样在使用大空间前申请大块内存。而且我们也能看到vector在扩充时“未雨绸缪”的能力。

02 vector的数据结构

基本结构

先来看一张图

vector的结构如上图所示。因为是线性连续空间，所以较为简单。

vector内部有三个迭代器，start，finish和end of storage。

start和finish指向已占用空间的首端和尾端（注意这个尾端是最后一个元素的下一位，左闭右开）

end of storage指向整块连续空间的尾部。

代码如下：

template <class T,class Alloc=alloc>
class vector {
   
    ...
    protected:
    	iterator start;
    	iterator finish;
    	iterator end_of_storage;
    ...
}

这里所使用的分配器alloc我们后续深入探讨。迭代器iterator暂时理解为指针。

所以vector的大小也一目了然。一个指针4个字节（32位），所以vector在这个版本中的大小为12个字节。

衍生结构

因为这三个迭代器的存在，vector提供的其他诸如计算数据大小size,容器容量capacity的各种方法就可以很容易地实现了。

先来看代码，再逐一解释：

template <class T,class Alloc=alloc>
class vector {
   
    ...
    public:
    	iterator begin(){
   return start};//1
    	iterator end(){
   return finish};//1
    	size_type size() const {
   return size_type(end()-begin());}//2
    	size_type capacity() const{
   //3
            return size(end_of_storage-begin());
        }
    	bool empty() const {
   return begin()==end();}//4
    	reference operator[](size_type n){