STL的操作对象(所有的数值)都存放在容器之中,而容器则需要配置空间以置放资料。最近在看侯捷的《STL源码剖析》,所以做了笔记。
为什么不说allocator是内存配置器而说他是空间配置器呢?
因为空间不一定是内存,空间也可以是磁盘或其他辅助存储介质。
一般意义上理解:
- 对象构造的分解: 对象内存开辟allocator | 对象构造 construct
- 对象析构的分解: 对象内存释放deallocate | 对象析构destroy
1.具备次配置力的SGI空间配置器
1.1 构造和析构:construct() 和 destroy()
/*构造construct*/
template <class T1, class T2>
inline void construct(T1* p, const T2& value)
{
/*将初值value设定到指针所指空间上*/
/*p是一块已知内存*/
new (p) T1(value); // placement new 定位new
}
// destroy() 第1版本,接受1個指针。
template <class T>
inline void destroy(T* pointer)
{
pointer->~T(); // 调用dtor ~T()
}
// 以下是 destroy() 第2版本,接受两个迭代器。此函式設法找出元素的數值型別,
// 进而利用 __type_traits<> 求取最適當措施。
template <class ForwardIterator>
inline void destroy(ForwardIterator first, ForwardIterator last) {
__destroy(first, last, value_type(first));
}
// 判斷元素的數值型別( value 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());
}
// 如果元素的數值型別( value type)有 non-trivial destructor…
template <class ForwardIterator>
inline void
__destroy_aux(ForwardIterator first, ForwardIterator last, __false_type) {
for ( ; first < last; ++first)
destroy(&*first);
}
// 如果元素的數值型別( value type)有 trivial destructor…
template <class ForwardIterator>
inline void __destroy_aux(ForwardIterator, ForwardIterator, __true_type) {}
// 以㆘是 destroy() 第㆓版本針對迭代器為 char* 和 wchar_t* 的特化版
inline void destroy(char*, char*) {}
inline void destroy(wchar_t*, wchar_t*) {}