stl之空间配置器Allocator

本文深入探讨STL容器的空间分配器alloc的作用机制,包括对象构造与析构过程,以及分配器提供的核心接口。重点阐述alloc如何通过内存数组和内存池高效地管理小块内存,以及大块内存的分配策略。同时,介绍了STL提供的空间配置器及其在初始化空间、构造、销毁对象等操作中的应用。最后,展示了如何在实际中灵活运用这些概念和技术。

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

         alloc作为stl容器的空间分配器,主要负责空间的分配allocate和释放deallocate。下面先了解下对象的构造过程:

         对于:

                            classFoo{ … };

                            Foo*ptr = new Foo;

                            deletepf;

         其中new包含两个阶段的工作:1) 调用::operatornew分配内存  2) 调用Foo类构造函数Foo::Foo()构造对象;delete也包含两个阶段:1)调用Foo::~Foo()  2) 调用::operator delete释放内存

         为了精密分工,STLallocator 把这两个阶段的操作分隔开来,由alloc::allocate和alloc::deallocate负责内存的配置和释放操作;由alloc::construct和alloc::destory负责对象的构造和析构操作。

         标准的Allocator接口应包含如下主要内容:

         allocator::allocator

         allocator::construct

         allocator::destroy

         allocator::allocate

         allocator::deallocate

         allocator::address  //返回某个对象的地址

         stl提供了四种空间配置器,如下图:

      

         alloc作为默认的空间配置器,其内部维护了一个内存块数组(数组大小为128/8,从第一个元素到最后一个元素分别对应8bytes和128bytes的内存块链表)和一个内存池(当内存块空间不足时向内存池申请补充),对于申请的内存空间<=128bytes的情况,由内存数组和内存池(当内存数组空间不足时需用到内存池)进行分配;对于大块的内存(>128bytes),其直接调用malloc_alloc::allocate申请.

         此外stl定义了五个全局函数,作用于未初始化空间,分别为:

         construct

         destroy

         uninitialized_copy

         uninitialized_fill

         uninitialized_fill_n

         allocator和以上五个函数的具体介绍及用法可以参考sgi 上的stl说明文档Allocators.html。

         为了提高效率,allocator在析构对象时,对型别进行了区分处理:对基本类型(如int, char, struct等)无需进行析构操作。当进行对象的批量构造时(即调用uninitialized_copy等函数),也会进行标量型别(PlainOld Data) 判断,由此决定是否可用运用memmove操作、是否可直接赋值(不需要调用construct)来提升效率。

实际运用方式:

         template<class T, class Alloc = alloc>

         class vector{

                   typedef simple_alloc<T, Alloc>data_alloctor;

                   data_alloctor::allocate(n); //分配n个元素空间

                   //构造元素

         };

对于vectorclear操作,本质上只是调用了析构函数析构对象,而没有调用allocdeallocate释放内存,如需释放vector的空间借助swap。

附:

stl_doc下载链接:

http://www.sgi.com/tech/stl/download.html

### C++空间配置器 `allocator` 的使用方法 #### 一、基本概念 在 C++ 标准模板库 (STL) 中,`allocator` 是一种用于管理动态内存分配和释放的工具。通过分离内存管理和对象生命周期管理的功能,使得容器可以更灵活高效地处理不同类型的资源[^3]。 #### 二、常用操作函数 - **allocate**: 请求一块未初始化的新内存区域。 - **deallocate**: 归还之前由 allocate 获取到的内存给系统。 - **construct**: 构造位于指定位置上的新对象实例。 - **destroy**: 销毁已存在的对象而不释放其占用的空间。 这些成员函数的具体行为可能因具体实现而异,在某些情况下可能会有不同的优化策略或者额外功能支持[^1]。 #### 三、简单示例代码展示如何利用自定义 allocator 创建并销毁 vector 内部存储的数据项: ```cpp #include <iostream> #include <memory> #include <vector> // 自定义简单的 allocator 类型 template<typename T> class MyAlloc { public: using value_type = T; template<typename _Tp1> struct rebind { typedef MyAlloc<_Tp1> other; }; T* allocate(std::size_t n) { std::cout << "MyAlloc::allocate called\n"; return static_cast<T*>(::operator new(n * sizeof(T))); } void deallocate(T* p, std::size_t /*n*/) noexcept { std::cout << "MyAlloc::deallocate called\n"; ::operator delete(p); } }; int main(){ // 使用自定义 alloc 实例化 vector 容器 std::vector<int, MyAlloc<int>> vec; // 添加元素至向量中触发 construct 调用 vec.push_back(42); // 清除所有元素会调用 destroy 方法 vec.clear(); return 0; } ``` 上述程序展示了当往基于自定义 allocator 的 `std::vector` 插入数据时会发生什么;同样也说明了清除内容期间发生的动作[^2]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值