1、 符合STL標準的空間配器介面

STL是c++中使用非常廣泛的一個標準庫，它包含各種有用的容器。而空間配置器作為STL各種容器的背後的核心，負責容器內部記憶體的分配和釋放。不過空間配置器可以分配的也不只是記憶體，因為空間也意味著可以是磁碟或者其他儲存介質。下邊是一個符合STL規範的空間配置器的必要介面：

allocator::value_type

allocator::pointer

allocator::const_pointer

allocator::reference

allocator::const_reference

allocator::size_type

allocator::difference_type

//上邊這幾個都是一些typedef定義，其中 size_type 和difference_type是stddef.h中 size_t, ptrdiff_t這兩個型別的類型別名（ptrdiff_t是兩個指標相減的結果）

allocator::rebind

allocator::allocator

allocator::allocator(const allocator&)

template<class U>

allocator::allocator(const allocator(U)&)

//泛化的拷貝建構函式

allocator::~allocator()

pointer allocator::address(reference X) const

const_pointer allocator::address(const_reference X)const

pointer allocator::allocator(size_type n, const void* = 0)

void allocator::deallocate(pointer p, size_type n)

//歸還先前配置的空間

size_type allocator::max_size() const

void allocator::construct(pointer p, const T& x)

void allocator::destrory(pointer p)

2、 SGI空間配置器

SGI STL的配置器與標準規範不同，其名稱是alloc而不是allocator,而且不接受任何引數。如果在程式中需要明確使用SGI的配置器，我們不能採用標準寫法：

vector<int, std::allocator<int> > v

需要這麼寫：

vector<int, std::alloc> v

通常情況下，我們使用的stl中的容器都是用標準配置器，而SGI STL的每一個容器都已經指定其預設空間配置器為alloc,如：

template <class T, class Alloc=alloc>

class vector ｛…｝

2.1 標準空間配置器

SGI STL也有一個符合標準，名為allocator的配置器，但SGI從未使用過它，因為它效率太低，只是對::operator new, ::operator delete的簡單封裝而已；下邊我著重介紹SGI特殊的配置器alloc。

2.2 SGI特殊空間配置器， std::alloc

C++中，我們在申請記憶體和釋放記憶體的時候，一般這樣做：

class Foo{}

Foo* f = new Foo

delete f

這其中new操作符內部含有兩階段操作，(1)呼叫new申請記憶體， (2)呼叫Foo:Foo()即物件的建構函式構造物件內容。

delete也含有兩段操作：(1)呼叫Foo::~Foo()將物件析構， (2) 呼叫delete 釋放記憶體。

為了精密分工也更有效的利用記憶體，SGI alloc將這兩個階段分開來操作。記憶體配置有alloc::allocator()負責記憶體配置，alloc::deallocator()負責記憶體釋放；::constructor()負責構造物件；::destrory負責析構物件。

2.3記憶體配置後物件的構造與記憶體釋放前物件的析構工具： constructor()和destrory()

這兩個函式為全域性函式，符合stl規範。

constructor()接受一個指標p和一個初值，該函式的作用是將初值設定到指標所指的記憶體空間上

template<class T1, class T1>

inlie void destructor(T1 *p, const T2 &value) {

new (p) T1(value) //placement new 在一個已經分配的記憶體中建立物件

}

destroy()函式有兩個版本，一個版本接受一個指標引數，直接呼叫這個指標所指物件的解構函式析構物件。

template<class T>

inline void destroy(T* pointer){

pointer->~T();

}

另外一個版本接受兩個迭代器，

template<class ForwardIterator, class T>

inline void destroy(ForwardIterator first, ForwardIterator last, T*) {

…

}

destroy函式實現的有點複雜，他先獲取到迭代器所指物件的的型別，然後在看物件是否有trivial destructor， 如果有，呼叫一個什麼也不做的版本；如果有non-trivial destructor，則遍歷迭代器中的每一個物件，然後依次呼叫其解構函式。

（這裡主要是處於效率考慮， 如果一個物件的解構函式沒有任何作用，那麼迴圈呼叫這個函式對效率是一種傷害）。

備註：

        什麼是trivial destructor呢?舉個例子來說,存在A,B兩個類，其中類B含有一個數據成員C，C有解構函式需要釋放一些記憶體；那麼在這種情況下，A就含有trivial destructor， 而B則含有non-trivial destructor。