【STL】construct()和destroy()

最新推荐文章于 2024-10-03 00:04:18 发布

原创最新推荐文章于 2024-10-03 00:04:18 发布 · 2.9k 阅读

3 ·

CC 4.0 BY-SA版权

C++ 同时被 3 个专栏收录

38 篇文章

订阅专栏

STL源码分析

24 篇文章

订阅专栏

STL

23 篇文章

订阅专栏

本文深入探讨了STL中的全局构造和析构函数，包括如何使用定位new进行对象构造，以及析构对象的不同版本和场景。还介绍了uninitialized_copy等其他三个全局函数的用途，以及它们在不同情况下的重载版本。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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.