STL中的内存分配器

2024-08-25 22:20
文章标签 内存 stl 分配器

本文主要是介绍STL中的内存分配器,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一、operator newnew operator 的区别

1.1、new operator

new 运算符是 C++ 提供的语法糖,用于在堆上动态分配内存并同时调用构造函数初始化对象。

  • 功能:

    • 分配足够的内存来存储对象。
    • 调用对象的构造函数,执行初始化。
    • 返回指向分配内存的指针。
  • 语法:

    Type* ptr = new Type(args);      // 动态分配单个对象
    Type* arrayPtr = new Type[size]; // 动态分配数组
    

1.2、 operator new

operator new 是一个函数,用于在堆上分配原始的未初始化内存。它不调用构造函数,只是纯粹地分配内存。

  • 功能:

    • 分配原始内存块,不进行任何初始化。
    • new 运算符在幕后调用,也可以直接调用 operator new 来分配内存。
  • 语法:

    void* ptr = operator new(size_t size);
    

1.3、注意事项

  • 两者之间的区别对于delete也适用
  • operator new 是一个可以被重载的全局或类成员函数,他是一个函数!函数!函数!允许自定义内存分配行为。
  • operator new 不会调用构造函数,因此它返回的是未初始化的内存块。

1.4、operator newmalloc 的区别与联系

实质上operator new是对 malloc的又一次封装,使其更加符合C++语言的习惯

void *__CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{void *p;while ((p = malloc(size)) == 0)if (_callnewh(size) == 0){// 如果申请内存失败了,这里会抛出bad_alloc 类型异常static const std::bad_alloc nomem;_RAISE(nomem);}return (p);
}

同样的, operator delete 也是对 free 的封装。

二、placement new

这是 new 运算符的一个特殊形式,它允许你在指定的内存位置上构造对象,而不是分配新的内存。使用方式如下:

void* memory = operator new(sizeof(MyClass));
MyClass* obj = new(memory) MyClass();

其中 MyClass 是类,最终构造好的对象在obj上。使用 Placement new 构造的对象通常需要显式调用析构函数来正确地销毁对象。

obj->~MyClass();
operator delete(memory)

为什么要讲placement new呢,因为自定义内存分配器和标准的默认实现内存分配器都是基于 placement new 的二次封装

三、std::allocator

std::allocator 旨在将内存申请和对象构造分离。std::allocator 是 C++ 标准库提供的默认分配器,实现了最基本的内存分配和对象管理功能。其定义位于头文件 <memory> 中。

主要成员函数:

  • allocate:分配未构造的内存。
pointer allocate(size_type n);
  • deallocate:释放先前分配的内存。
void deallocate(pointer p, size_type n);
  • construct:在已分配的内存上构造对象。
void construct(pointer p, const T& val); // C++17之前
  • destroy:调用对象的析构函数。
void destroy(pointer p); //C++17之前

**注意:**从 C++17 开始,constructdestroy 都被移除了,建议使用 std::allocator_traits 或者直接使用 std::uninitialized_fill 等算法。

**举例:**使用默认分配器

using Alloc = std::allocator<int>;
Alloc alloc; // 创建一个分配int的allocator
// 分配10个int的空间
int* p = std::allocator_traits<Alloc>::allocate(alloc, 10);
// 在分配的内存上构造对象
for (int i = 0; i < 10; ++i) {std::allocator_traits<Alloc>::construct(alloc, p + i, i);
}
// 销毁对象
for (int i = 0; i < 10; ++i) {std::allocator_traits<Alloc>::destroy(alloc, p + i);
}
// 释放内存
std::allocator_traits<Alloc>::deallocate(alloc, p, 10);

四、自定义分配器

自定义分配器允许开发者控制内存管理策略。例如,可以实现一个内存池分配器,以减少频繁的内存分配和释放带来的开销。

一个自定义分配器需要实现以下几个接口:

typedef:为使用的类型定义别名,C++11后推荐使用 using
allocate(n):分配能容纳n个对象的内存
deallocate(p, n):释放前面分配的内存
construct(p, val):在指针p所指向的内存上构造一个对象,其值为val
destroy(p):销毁指针p所指向的对象

**示例:**一个模板

template <class T>
class MyAllocator {
public:using value_type = T;MyAllocator() = default;template <class U> constexpr MyAllocator(const MyAllocator<U>&) noexcept {}T* allocate(std::size_t n) {// 你的内存分配策略}void deallocate(T* p, std::size_t) noexcept {// 你的内存释放策略}template<typename... Args>void construct(T* p, Args&&... args) {// 你的对象构造策略}void destroy(T* p) {// 你的对象销毁策略}
};template <class T, class U>
bool operator==(const MyAllocator<T>&, const MyAllocator<U>&) { return true; }template <class T, class U>
bool operator!=(const MyAllocator<T>&, const MyAllocator<U>&) { return false; }

**示例:**一个实例

#include <memory>
#include <cstddef>  // for std::size_t
#include <utility>  // for std::forwardtemplate <class T>
class MyAllocator {
public:using value_type = T;// 默认构造函数MyAllocator() = default;// 允许从其他类型的分配器转换构造template <class U>constexpr MyAllocator(const MyAllocator<U>&) noexcept {}// 内存分配策略T* allocate(std::size_t n) {if (n == 0) return nullptr;if (n > std::numeric_limits<std::size_t>::max() / sizeof(T)) { // 查询size_t的最大值throw std::bad_alloc();}return static_cast<T*>(::operator new(n * sizeof(T)));}// 内存释放策略void deallocate(T* p, std::size_t) noexcept {::operator delete(p);}// 对象构造策略(可选)template <typename... Args>void construct(T* p, Args&&... args) {new (p) T(std::forward<Args>(args)...);}// 对象销毁策略(可选)void destroy(T* p) {p->~T();}
};// 比较相等性,通常分配器是无状态的
template <class T, class U>
bool operator==(const MyAllocator<T>&, const MyAllocator<U>&) {return true;
}template <class T, class U>
bool operator!=(const MyAllocator<T>&, const MyAllocator<U>&) {return false;
}

从 C++11 开始,引入了 std::allocator_traits,用于统一和简化分配器的实现。它为分配器提供了默认实现和辅助功能,建议在自定义分配器中使用。所以其实上述代码可以简化部分实现

template <class T>
class MyAllocator {
public:using value_type = T;// 默认构造函数MyAllocator() = default;// 允许从其他类型的分配器转换构造template <class U>constexpr MyAllocator(const MyAllocator<U>&) noexcept {}// 内存分配策略T* allocate(std::size_t n) {if (n == 0) return nullptr;if (n > std::numeric_limits<std::size_t>::max() / sizeof(T)) { // 查询size_t的最大值throw std::bad_alloc();}return static_cast<T*>(::operator new(n * sizeof(T)));}// 内存释放策略void deallocate(T* p, std::size_t) noexcept {::operator delete(p);}
};

五、STL中使用自定义分配器

自定义分配器可以用于STL中的任何容器,包括vector、list等。以下是一个使用自定义分配器的vector的例子

std::vector<int, MyAllocator<int>> vc;vc.push_back(1);
vc.push_back(2);
vc.push_back(3);
vc.push_back(4);

我们在自定义的内存分配器中的allocate方法中添加一个打印值,可以看到进行了三次内存的申请。
在这里插入图片描述

这篇关于STL中的内存分配器的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!


原文地址:
本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.chinasem.cn/article/1106813

相关文章

怎样通过分析GC日志来定位Java进程的内存问题

《怎样通过分析GC日志来定位Java进程的内存问题》:本文主要介绍怎样通过分析GC日志来定位Java进程的内存问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、GC 日志基础配置1. 启用详细 GC 日志2. 不同收集器的日志格式二、关键指标与分析维度1.

Java内存分配与JVM参数详解(推荐)

《Java内存分配与JVM参数详解(推荐)》本文详解JVM内存结构与参数调整,涵盖堆分代、元空间、GC选择及优化策略,帮助开发者提升性能、避免内存泄漏,本文给大家介绍Java内存分配与JVM参数详解,... 目录引言JVM内存结构JVM参数概述堆内存分配年轻代与老年代调整堆内存大小调整年轻代与老年代比例元空

C++高效内存池实现减少动态分配开销的解决方案

《C++高效内存池实现减少动态分配开销的解决方案》C++动态内存分配存在系统调用开销、碎片化和锁竞争等性能问题,内存池通过预分配、分块管理和缓存复用解决这些问题,下面就来了解一下... 目录一、C++内存分配的性能挑战二、内存池技术的核心原理三、主流内存池实现:TCMalloc与Jemalloc1. TCM

Redis过期删除机制与内存淘汰策略的解析指南

《Redis过期删除机制与内存淘汰策略的解析指南》在使用Redis构建缓存系统时,很多开发者只设置了EXPIRE但却忽略了背后Redis的过期删除机制与内存淘汰策略,下面小编就来和大家详细介绍一下... 目录1、简述2、Redis http://www.chinasem.cn的过期删除策略(Key Expir

Java内存区域与内存溢出异常的详细探讨

《Java内存区域与内存溢出异常的详细探讨》:本文主要介绍Java内存区域与内存溢出异常的相关资料,分析异常原因并提供解决策略,如参数调整、代码优化等,帮助开发者排查内存问题,需要的朋友可以参考下... 目录一、引言二、Java 运行时数据区域(一)程序计数器(二)Java 虚拟机栈(三)本地方法栈(四)J

java变量内存中存储的使用方式

《java变量内存中存储的使用方式》:本文主要介绍java变量内存中存储的使用方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1、介绍2、变量的定义3、 变量的类型4、 变量的作用域5、 内存中的存储方式总结1、介绍在 Java 中,变量是用于存储程序中数据

在Spring Boot中浅尝内存泄漏的实战记录

《在SpringBoot中浅尝内存泄漏的实战记录》本文给大家分享在SpringBoot中浅尝内存泄漏的实战记录,结合实例代码给大家介绍的非常详细,感兴趣的朋友一起看看吧... 目录使用静态集合持有对象引用,阻止GC回收关键点:可执行代码:验证:1,运行程序(启动时添加JVM参数限制堆大小):2,访问 htt

Python如何使用__slots__实现节省内存和性能优化

《Python如何使用__slots__实现节省内存和性能优化》你有想过,一个小小的__slots__能让你的Python类内存消耗直接减半吗,没错,今天咱们要聊的就是这个让人眼前一亮的技巧,感兴趣的... 目录背景:内存吃得满满的类__slots__:你的内存管理小助手举个大概的例子:看看效果如何?1.

Redis 内存淘汰策略深度解析(最新推荐)

《Redis内存淘汰策略深度解析(最新推荐)》本文详细探讨了Redis的内存淘汰策略、实现原理、适用场景及最佳实践,介绍了八种内存淘汰策略,包括noeviction、LRU、LFU、TTL、Rand... 目录一、 内存淘汰策略概述二、内存淘汰策略详解2.1 ​noeviction(不淘汰)​2.2 ​LR

Golang基于内存的键值存储缓存库go-cache

《Golang基于内存的键值存储缓存库go-cache》go-cache是一个内存中的key:valuestore/cache库,适用于单机应用程序,本文主要介绍了Golang基于内存的键值存储缓存库... 目录文档安装方法示例1示例2使用注意点优点缺点go-cache 和 Redis 缓存对比1)功能特性