STL 空間配置器 allocator

---

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*) {}