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