STL源码剖析－空间配置器

最新推荐文章于 2022-04-14 16:42:27 发布

oyhy_

最新推荐文章于 2022-04-14 16:42:27 发布

阅读量504

点赞数

分类专栏： stl源码剖析

本文链接：https://blog.csdn.net/oyhy_/article/details/70239642

版权

stl源码剖析专栏收录该内容

12 篇文章 0 订阅

订阅专栏

１．allocator是空间配置器而不是内存配置器，空间不一定是内存，也可以是磁盘或其他辅助存储介质。但SGI STL提供的配置器配置的对象是内存。

２．SGI标准的空间配置器，std::alloctor
　　
SGI定义了一个符合部分标准，名为alloctor的配置器，效率不高，只把c++的::operator new 和 ::operator delete做了一层薄薄的封装。

３．c++用new构造一个对象时，包含两阶段操作：(1)调用::operator new 配置内存；(2)调用该对象的构造函数构造对象内容。　delete销毁一个对象时，也包含两阶段操作：(1)调用该对象的析构函数将对象析构；(2)调用::operator delete释放内存。

STL allocator将上述两阶段操作区分开来。内存配置由alloc::allocator()负责，内存释放操作由alloc::deallocator()负责；对象构造由::constructor()负责，对象析构由::destroy负责。

这里写图片描述

４．构造和析构基本工具

对象的构造：

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

上述函数接受一个指针p和一个初值value，用定位new运算子将初值设定到指针所指的空间上。

对象的析构：

template <class T>  //第一版本  
inline void destroy(T* pointer) {  
    pointer->~T();  
}  

template <class ForwardIterator>  //第二版本  
inline void destroy(ForwardIterator first, ForwardIterator last) {  
  __destroy(first, last, value_type(first));  
}  
template <class ForwardIterator>  
inline void  
__destroy_aux(ForwardIterator first, ForwardIterator last, __false_type) {  
  for ( ; first < last; ++first)  
    destroy(&*first);  
}  
template <class ForwardIterator>   
inline void __destroy_aux(ForwardIterator, ForwardIterator, __true_type) {}

上述destroy()的第一版本接受一个指针，将指针所指的对象析构掉。第二版本接受first和last两个迭代器，将两个迭代器范围内的对象析构掉。在第二版本中运用了traits编程技法，traits会得到当前对象的一些特性，再根据特性的不同分别对不同特性的对象调用相应的方法。在第二版本中，STL会分析迭代器所指对象的has_trivial_destructor特性的类型(只有两种：__true_type和__false_type)，如果是__true_type，STL就什么第一不做；如果是false_type，就会调用每个对象的析构函数来销毁这组对象。

５．内存的配置

SGI设计了双层配置器，第一级配置器直接使用malloc()和free()，第二级配置器采取以下策略：当配置区块超过128bytes时，调用第一级配置器；当配置区块小于128bytes时，采用内存池方式。

这里写图片描述

６．第一级配置器

    static void * allocate(size_t n)  
    {  
        void *result = malloc(n);   //直接使用malloc()  
        if (0 == result) result = oom_malloc(n);  
        return result;  
    }  

    static void deallocate(void *p, size_t /* n */)  
    {  
        free(p);    //直接使用free()  
    }  

    static void * reallocate(void *p, size_t /* old_sz */, size_t new_sz)  
    {  
        void * result = realloc(p, new_sz);     //直接使用realloc()  
        if (0 == result) result = oom_realloc(p, new_sz);  
        return result;  
    }