construct()和destroy()

    new操作包含两阶段：1调用::operator new分配内存，2 调用类的构造函数构造对象内容。delete也包含两阶段：1 调用类的析构函数将对象析构，2 调用::operator delete释放内存。STL allocator为了精密分工，将这两阶段操作分开，内存的分配和释放分别由alloc::allocate()和alloc::deallocate()负责，对象的构造和析构分别由::construct和::destroy()负责。

template <class T1, class T2>
inline void construct(T1* p, const T2& value) {
    new (p) T1(value); //placement new
}

template <class T>
inline void destroy(T* pointer) {
    pointer->~T();
}

destroy()还有第二个版本，接受两个迭代器。其在实现时先找出元素的数值型别，再用__type_traits<>判断是否有trivial destructor：

template <class ForwardIterator>
inline void destroy(ForwardIterator firsrt, ForwardIterator last)  {
    __destroy(first, last, value_type(first));
}

template <class ForwardIterator, class T>
inline void __destroy(ForwardIterator firsrt, ForwardIterator last, T*)  {
    typedef typename __type_traits<T>::has_trivial_destructor trivial_destructor;
    __destroy_aux(first, last, trivial_destructor());
}

template <class ForwardIterator>
inline void __destroy_aux(ForwardIterator firsrt, ForwardIterator last, __false_type)  {
    for( ; first < last; ++first)
        destroy(&*first);
}

template <class ForwardIterator>
inline void __destroy_aux(ForwardIterator firsrt, ForwardIterator last, __true_type)  {   }

这两个（仅）作为构造，析构之用的（不涉及内存的分配与释放）函数设计为全局函数。

    基于construct()，有以下三个函数：

template <class InputIterator, class ForwardIterator>
ForwardIterator  uninitialized_copy(InputIterator first, InputIterator last, ForwardIterator result);

template <class ForwardIterator, class T>
void uninitialized_fill(ForwardIterator first, ForwardIterator last, const T& x);

template <class ForwardIterator, class Size, class T>
ForwardIterator  uninitialized_fill(ForwardIterator first, Size n, const T& x);

上述函数在实现时类似destory的第二个版本，先取value_type,再使用__type_traits<>判断型别是否为POD，如果是，分别调用高阶的copy(),fill(),fill_n()。如果不是，则调用construct().