allocator
allocator:
通常c++内存配置和释放操作是这样的:
class Fo{};
Fo *p = new Fo;
delete p;
new算式主要有三个阶段:
- 调用::operator new配置内存
- 调用Fo::Fo()构造函数
- 返回一个对象的指针
allocator为了精密分工将步骤分开
1.allocate()和deallocatr()负责内存的配置和释放
2.construct()和destroy()负责对象的构造和析构
- pointer->~T() 和 new(p) T1(value) 定位new
空间配置和释放
第一级:通过malloc、realloc和free。(::operator new无法可能是C++未有realloc这种内存重置函数)
第二级:为了避免小额区块造成的内存碎片,用freelist管理小额区块
如果大于128kb就用第一级
freelist:
union可以有多个数据成员,但是任意时刻只能有一个生效。共享内存,所以有时需要定位new。
如果用其来实现链表,那么分配的内存既能用做指针,(不使用时)又能用做实际内容.
union obj{
union obj *free_list_link;
char clent_data[1]; /* the client sees this */
};
一些内存处理工具
uninitialized_copy();
uninitialized_fill();
uninitialized_fill_n();
都能将内存的配置和对象的构造行为分离开来
如果范围内每个迭代器都是未初始化的,会construct产生对象。
参考:
Effecti STL