标准模板库中对于内存的申请与释放的设计是比较简单的,我们拿std::vector
来讲:
template<typename _Tp, typename _Alloc = std::allocator<_Tp> >
class vector : protected _Vector_base<_Tp, _Alloc>
{
//...
}
除了元素的类型外,默认会有一个标准的容器空间配置器std::allocator
,我们在使用的vector
时往往不会去理会这个参数的,使用的都是默认值。接下来介绍一个该类模板的几个方法:
template<typename T>
struct Allocator{
T*allocate(size_t size){
return (T*)malloc(sizeof(T)*size);
}
void deallocate(void *p){
free(p);
}
void construct(T*p,const T&val){
new (p) T(val);
}
void construct(T*p,T&&val){
new (p) T(std::move(val));
}
void destroy(T*p){
p->~T();
}
};
allocate(size_t size)
: 为容器开辟空间,使用的是C库函数,malloc();deallocate(void *p)
: 是否对象所占用的空间,使用的自然是free(),参数p是对象的地址;construct(T*p,T&&val) | construct(T*p,T&val)
:用来在申请好的内存上调用构造函数来构造对象;destroy(T*p)
: 调用析构函数来析构p指向的对象。
实际上,malloc()和free()在linux上的实现也比较复杂,比如对应的ptmalloc版,还有其他tcmalloc,以及jemalloc等,都是比较好的内存池的实现。
接下来,会记录更新学习SGI-STL版本中的内存管理机制。