STL源码：空间配置器（二）构造和析构construct()/destroy()

秒速五厘米 2022-08-07 07:43 20阅读 0赞

#ifndef __SGI_STL_INTERNAL_CONSTRUCT_H  
        #define __SGI_STL_INTERNAL_CONSTRUCT_H  
          
        // 欲使用 placement new，需先包含此文件  
        #include <new.h>  
          
        __STL_BEGIN_NAMESPACE  
          
        // 以下是 destroy() 第一版本，接受一个指针，仅仅调用析构函数 
        template <class T>  
        inline void destroy(T* pointer) {  
            // 调用 dtor ~T()  
            pointer->~T();  
        }  
          
        template <class T1, class T2>  
        inline void construct(T1* p, const T2& value) {  
            // placement new；调用 T1::T1(value)  
            new (p) T1(value);  
        }  
          
        // 如果元素的数值型别(value type)有 non-trivial destructor  
        template <class ForwardIterator>  
        inline void  
        __destroy_aux(ForwardIterator first, ForwardIterator last, __false_type) {  
          for ( ; first < last; ++first)  
            destroy(&*first);  
        }  
          
        // 如果元素的数值型别(value type)有 trivial destructor  
        template <class ForwardIterator>   
        inline void __destroy_aux(ForwardIterator, ForwardIterator, __true_type) {}  
          
        // 判断元素的数值型别(value type)是否有 trivial destructor  
        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());  
        }  
          
        // 以下是 destroy() 第二版本，接受两个迭代器。此函数设法找出元素的数值型别，  
        // 进而利用 __type_traits<> 求取最适当措施  
        template <class ForwardIterator>  
        inline void destroy(ForwardIterator first, ForwardIterator last) {  
          __destroy(first, last, value_type(first));  
        }  
          
        // 以下是 destroy() 第二版本针对迭代器为 char * 和 wchar_t * 的特化版  
        inline void destroy(char*, char*) {}  
        inline void destroy(wchar_t*, wchar_t*) {}  
          
        __STL_END_NAMESPACE  
          
        #endif /* __SGI_STL_INTERNAL_CONSTRUCT_H */

![Center][]

这两个作为构造、析构之用的函数被设计为全局函数。

上述 construct() 接受一个指针 p 和一个初值 value ，该函数的用途就是将初值设定到指针所指的空间上。C++ 的placement new 运算符可用来完成这一任务。

**destroy() 有两个版本**：

第一个版本接受一个指针，准备将该指针所指之物析构掉。这很简单，直接调用该对象的析构函数即可。.

第二版本接受 first 和 last 两个迭代器，准备将 \[first, last) 范围内的所有对象析构掉。 第二个版本 destroy() 中，首先利用 value\_type() 获得迭代器所指对象的型别，在利用 \_\_type\_traits<T> 判断该型别的析构函数是否无关痛痒（我们不知道析构的范围有多大，万一很大，而每个对象的析构函数无关痛痒，那么一次次调用这些无关痛痒的析构函数，对效率是一种伤害）。若是(\_\_true\_type) ，则什么也不做就结束；若否（\_\_false\_type），这才以循环方式巡访整个范围，并在循环中每经历一个对象就调用第一个版本的 destroy()。

[Center]: /images/20220805/d5092a3827224e6894c8a56363d7df72.png