一、首先,vector没有那么牛逼,需要一个元素就”只“分配一个元素的空间。从c/c++语言的角度,我想不到有什么办法可以在不改变原有内存array的基础上,动态的增加内存(除非使用链表,这代价过高,无必要)。vector的策略是当已分配的内存n用完时,就重新分配块更大的内存n+m(并非是n+1,而m的具体值不同的STL实现不定),然后将原来的元素复制过来,并释放掉之前的内存。
知道了vector的大致原理,再来看其如何实现。
二、_Vector_base
1. 官方说:此类提供了一个目的,其构造函数和析构函数分配内存(但并不初始化)。使异常安全更容易。这个类是个模板类
template <class _Tp, class _Alloc>
_Tp是其元素类型,_Alloc是其内存分配器(allocator)。
2. 别名
typedef _Alloc allocator_type;
typedef _Tp* pointer;
typedef _STLP_alloc_proxy<pointer, _Tp, allocator_type> _AllocProxy;
3. 成员变量
pointer _M_start;
pointer _M_finish;
_AllocProxy _M_end_of_storage;
_M_start和_M_finish指向连续空间中已使用的范围。
《STL源码解析》中讲,_M_end_of_storage也是个pointer,指向已分配的连续空间的末尾。但是,STLport将其处理为_AllocProxy,使用了一个代理来管理。_AllocProxy有个成员_M_data,实际上指向了已分配的连续空间的末尾。至于AllocProxy的其他功能,不要在意这些细节--!。
三、vector类的定义
实际上vector是有两个模板参数的模板类,但一般情况下只指定第一个,而第二个为默认的allocator
template <class _Tp, _STLP_DFL_