今天把SGI提供的Allocator分配器仔细看了下，其设计还是相当精巧的。不过SGI的分配器已经脱离了STL标准，比如它就没有实现construct()和destroy()成员函数。
一 简单malloc分配器
对于大于128B的空间直接就是malloc()和free()了，没有什么特殊的；不过它还是仿造C++的new handler形式设置了一个malloc exception handler；这样就和C++的new行为相一致了，你可以设置malloc失败时的exception handler。
二 New和delete的分离
当对一个对象调用new和delete时，这两个操作都包含了两个阶段的动作：调用operator new分配空间，然后调用该对象的构造函数；调用该对象的析构函数，然后调用operator delete释放空间；SGI的分配器将这两步做了分离，内存分配和释放由函数alloc::allocate()和alloc::deallocate()负责；物体构造和析构由函数construct()和destroy()负责。
在调用destroy()函数同时释放n个对象（假设类型为T）时，SGI提供了方法可以判定对象是否有non-trivial destructor，如果没有则不必要循环为每个对象调用T::~T()，以提高效率，贴上源码，以便查看：
template <class T1, class T2>
inline void construct(T1* p, const T2& value) {
new (p) T1(value);
}
template <class T>
inline void destroy(T* pointer) {
pointer->~T();
}
template <class ForwardIterator>
inline void // 具有non trivial destructor
__destroy_aux(ForwardIterator first, ForwardIterator last, __false_type) {
for ( ; first < last; ++first)
destroy(&*first);
}
template <class ForwardIterator>
inline void __destroy_aux(ForwardIterator, ForwardIterator, __true_type) {} //空函数体，trivial destructor不需要调用
template <class ForwardIterator, class T>
inline void __destroy(ForwardIterator first, ForwardIterator last, T*) {
typedef typename __type_traits<T>::has_trivial_destructor trivial_destructor;
__destroy_aux(first, last, trivial_destructor());
}
template <class ForwardIterator>
inline void destroy(ForwardIterator first, ForwardIterator last) {
__destroy(first, last, value_type(first));
}
这需要借助于Traits编程技法来完成（原书3.7节）的：
typedef typename __type_traits<T>::has_trivial_destructor trivial_destructor;
首先使用value_type()获取迭代器指向的物体类型，然后使用__type_traits<T>查看T是否有non-trivial destructor。
三 简单分配器 simple_alloc
SGI为这原始分配器malloc和次级分配器alloc所作的一层简单封装；
四 次级分配器alloc
对于小于128B的请求采用了次级分配器；说白了就是SGI维护一个内存池来处理这些请求，以保证效率。它会将请求的字节数n圆整到8的倍数，比如如果请求的是14B的空间，其实获得的是16B；从这也可以得出SGI一共有16个链表需要维护，每个链表对应一个分配级别，对应的内存块大小分别是：8、16、24、…、128。
为了不浪费存储空间，链表是一个union结构，像这样：
union OBJ{
union OBJ *free;
char *data[1];
};
其free指针指向的是free链表中下一个空闲内存块，如果一个内存块被分配出去，就交给用户程序维护了，那么该块就没有必要继续维护了，知道再次收回（通过 free()）。
分配和回收函数allocate()和deallocate()就是简单的链表操作了，没有特别的地方。
比较复杂的就是内存池的维护函数chunk_alloc()函数，它最终还是需要通过malloc()来申请内存新的空间。
五 辅助函数
最后是几个操作为初始化空间的辅助函数，其内部基本都是通过调用全局construct()函数完成的。
六 对别人不是问题的问题
读到最后一直有个疑惑就是allocator没有实现construct()函数，那么它和容器是如何协同工作的呢？搜了搜源文件才发现，原来各容器都会显式调用全局函数construct()（construct函数实际调用placement new），比如下面是list容器模板的一段代码：
typedef simple_alloc<list_node, Alloc> list_node_allocator;
link_type get_node() { return list_node_allocator::allocate(); }
void put_node(link_type p) { list_node_allocator::deallocate(p); }
link_type create_node(const T& x) {
link_type p = get_node();
__STL_TRY {
construct(&p->data, x);
}
__STL_UNWIND(put_node(p));
return p;
}
void destroy_node(link_type p) {
destroy(&p->data);
put_node(p);
} | 
扫一扫
846
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
