【STL】construct()和destroy()

STL定义了五个全局函数，作用于未初始化的空间上。

其中两个全局函数construct()和destroy()负责对象的构造和析构，它们隶属于STL标准规范。

构造对象直接使用定位new：

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

析构对象分多个版本

版本1：

template <class T>
inline void destroy(T* pointer) {
    pointer->~T();   // 直接调用析构函数
}

版本2：

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

它调用：

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());
}

再根据对象有无必要析构分别调用：

template <class ForwardIterator>
inline void
__destroy_aux(ForwardIterator first, ForwardIterator last, __false_type) {     // non-trivial destructor
  for ( ; first < last; ++first)
    destroy(&*first);   // 逐个调用析构函数
}
 
template <class ForwardIterator> 
inline void __destroy_aux(ForwardIterator, ForwardIterator, __true_type) {}    // trivial destructor

另外还有两个版本2的重载版本：

// 两个重载版本，无需析构
inline void destroy(char*, char*) {}
inline void destroy(wchar_t*, wchar_t*) {}

很显然，对象为字符，则什么也不做。

另外三个全局函数：

• uninitialized_copy
• uninitialized_fill
• uninitialized_fill_n

这三个函数都有不同的重载版本，根据元素是否为POD（传统C struct类型），执行相应的操作，或者直接memmove()，或者调用STL泛型函数，或者分别对每个元素调用构造函数。P77的图已经概括的非常好了。详情参见《“类型萃取器”__type_traits》。

参考：

《STL源码剖析》 P51、P70.