STL源码分析之空间配置器-优快云博客

本文链接：https://blog.youkuaiyun.com/Function_Dou/article/details/84630781

本文分析了STL中的空间配置器，解释了如何将`new`操作分解为空间申请和对象构造两个步骤。文章详细讨论了`new`的实现，包括一级和二级配置器的概念，以及如何利用内存池提高效率。接着，文章探讨了`delete`的实现，特别是析构函数的不同版本及其优化策略，以提高范围析构的效率。最后，总结了STL采用这种方法的原因，主要是为了效率和内存池的构建。

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

前言

SGI STL将new的申请空间和调用构造函数的两个功能分开实现, 如果对new不太清楚的, 可以先去看看这一篇new实现再来看配置器也不迟. 本节是STL分析的第一篇, 主要分析STL各个部分都会出现的alloc实现, 虽然每个部分都只会默认调用它, 不了解它也可以看懂分析, 但是他又是不可缺少的, 我们就以它做为开篇进行分析.

"new"的实现

这里直接我们直接来看STL的construct实现吧

// 这里的construct调用的是placement new, 在一个已经获得的内存里建立一个对象
template <class T1, class T2>
inline void construct(T1* p, const T2& value) 
{
   
  new (p) T1(value);
}

可以明白这里就只是一个placement new的调用, 只是用了泛型来实现一个对象分配的模板, 并实现初始化.

既然已经看到了对象的分配, 那再接再厉看看空间的分配, 充分了解STL是怎么将new分开执行的. allocate函数实现空间的申请, 但是这里有一点看不出来, 申请内存是有分为一级配置器和二级配置器, 分配的空间小于128字节的就调用二级配置器, 大于就直接使用一级配置器, 一级配置器直接调用malloc申请, 二级使用内存池.

template<class T>
inline T* allocate(ptrdiff_t size, T*)
{
   
    set_new_handler(0);
    T* tmp = (T*)(::operator new(size)(size * sizeof(T)))