GUN C++ STL中的vector的内存分配器

GUN C++ STL中的vector的内存分配器

//vector 原型  默认情况下其内存配置器为std::allocator<_Tp>
template <typename _Tp, typename _Alloc = std::allocator<_Tp>>
class vector : protected _Vector_base<_Tp, _Alloc>;
//_Vector_base原型
template <typename _Tp, typename _Alloc>
struct _Vector_base{
typedef typename __gnu_cxx::__alloc_traits<_Alloc>::template rebind<_Tp>::other _Tp_alloc_type;//stl源码剖析上说, 这个其实就是一个allocator<U>, 见alloc_traits
//_Vector_base的一个内部类, 继承了这个allocator
struct _Vector_impl : _Tp_alloc_type{
    pointer _M_start;//目前使用的空间的开始指针
    pointer _M_finish;//目前使用的空间的结尾指针
    pointer _M_end_of_storage;//目前可用的空间的尾指针
};
};

看一个vector的构造函数

//调用形式：vector<string> v(10, "asd");
vector( size_type __n, //构造函数结束时，会析构这个临时对象allocator
        const value_type &__value, 
        const allocator_type &__a = allocator_type())//此处构造一个临时的allocator对象
    : _Base(__n, __a){
  //基类复制了这个临时对象, 生成了自己的内部类
    _M_fill_initialize(__n, __value);//这个是负责构造对象的
}
//调用基类的这个构造函数
//发现父类中并没有负责对象的构造，只是负责内存的分配
_Vector_base(size_t __n, const allocator_type &__a) : _M_impl(__a){
  //调用_M_impl复制构造
    _M_create_storage(__n);//内存貌似在这儿分配的
}
//调用这个内部类的构造函数
_Vector_impl(_Tp_alloc_type const& __a) _GLIBCXX_NOEXCEPT
    : _Tp_alloc_type(__a), _M_start(0), _M_finish(0), _M_end_of_storage(0){}