在面向對象語言的程序開發(fā)中砖第，我們習慣的用
class Info{...}抱既；
Info* info = new Info；
delete info;
這里的第二行是一個new operator的操作州泊，包含了分配內存和構造對象這兩個步驟十饥，具體的是(1)調用::operator new分配內存(2)調用Info的構造函數(shù)構造對象窟勃。第三行是一個delete operator操作，包含了析構對象和釋放內存這兩個步驟逗堵，具體的是(1)調用Info的析構函數(shù)將對象析構(2)調用::operator delete釋放內存秉氧。
在C++中為了精密的分工，將這兩個步驟分開蜒秤。內存的分配由allocator::allocate()負責汁咏，內存的釋放有allocator::deallocate()負責；對象的構造由::construct()負責作媚，對象的析構由::destroy()負責攘滩。
在STL源碼解析中，STL的配置器位于<memory>文件中纸泡，內存的分配與對象的構造分別放在了stl_alloc.h與stl_construct.h這兩個頭文件中漂问。stl_construct.h定義了兩個基本的函數(shù)，construct()與destroy().
memory文件中主要包含了3個頭文件弟灼，stl_construct.h,stl_alloc.h與stl_uninitialized.h.其他兩個文件用途前面提過，這里說下stl_uninitialized.h冒黑，該文件中定義了一些全局函數(shù)田绑，用來fill and copy大塊內存的數(shù)據(jù)，具體的有全局函數(shù)un_initialized_copy(),un_initialized_fill(),un_initialized_fill_n(),這些函數(shù)對于效率都有很全面的考慮抡爹，最佳的情況會調用C標準函數(shù)memmove()直接進行內存數(shù)據(jù)的移動掩驱，最壞的情況會調用construct().
在深入construct()函數(shù)時，在實現(xiàn)的時候調用了placement new的操作,關于placement new操作可以參考http://www.cnblogs.com/luxiaoxun/archive/2012/08/10/2631812.html,這里做了講解，這里簡單地說下placement new的含義欧穴，是在預先分配好的緩沖區(qū)(內存)中構造一個對象民逼。
template <class T1, class T2>
inline void construct(T1* p, const T2& value)
{
new (p) T1(value); // placement new; 調用 T1::T1(value);
}
construct()函數(shù)接收一個指針和一個初始值value，用途就是將初始值value設定到指針p所指的空間上涮帘。這個可以有placement new來完成拼苍。
destroy()函數(shù)存在兩個版本调缨，第一個版本原型如下
template <class T>
inline void destroy(T* pointer) {
pointer->~T();
}
接收一個指針疮鲫，準備將該指針所指之物析構，直接調用該對象的析構函數(shù)弦叶。
第二個版本原型如下
template <class ForwardIterator>
inline void destroy(ForwardIterator first, ForwardIterator last) {
__destroy(first, last, value_type(first));
}
接收first和last這兩個迭代器Iterator，準備將[first,last)范圍內的對象析構掉。
這是會產(chǎn)生一個問題:我們不知道具體要析構對象的范圍多大,萬一很大桃序，而且每一個對象的析構函數(shù)都是trivial destructor,每一個調用這些析構函數(shù)對效率是一種傷害奇适。這里先用value_type()取出迭代器對象所指對象的類型，然后利用__type_traits<T>判斷該類型的析構函數(shù)是否是trivial destructor贷祈，若是(__true_type),則實現(xiàn)為空谣蠢，什么都不做挤忙。否則(__false_type)矮冬，循環(huán)訪問[first,last)，將該范圍的每一個對象析構哀卫，析構每一個對象時會調用第一個版本的析構函數(shù)移剪。關于value_type()和__type_traits<>在以后的文章中會提到剿涮。具體實現(xiàn)代碼如下
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());
}
以下為__true_type的情況
template <class ForwardIterator>
inline void __destroy_aux(ForwardIterator, ForwardIterator, __true_type) {}
以下為__false_type的情況
inline void
__destroy_aux(ForwardIterator first, ForwardIterator last, __false_type) {
for ( ; first < last; ++first)
destroy(&first);
}