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

相关文章

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)功能特性

Go使用pprof进行CPU,内存和阻塞情况分析

《Go使用pprof进行CPU,内存和阻塞情况分析》Go语言提供了强大的pprof工具,用于分析CPU、内存、Goroutine阻塞等性能问题,帮助开发者优化程序,提高运行效率,下面我们就来深入了解下... 目录1. pprof 介绍2. 快速上手:启用 pprof3. CPU Profiling:分析 C

golang内存对齐的项目实践

《golang内存对齐的项目实践》本文主要介绍了golang内存对齐的项目实践,内存对齐不仅有助于提高内存访问效率,还确保了与硬件接口的兼容性,是Go语言编程中不可忽视的重要优化手段,下面就来介绍一下... 目录一、结构体中的字段顺序与内存对齐二、内存对齐的原理与规则三、调整结构体字段顺序优化内存对齐四、内

Linux内存泄露的原因排查和解决方案(内存管理方法)

《Linux内存泄露的原因排查和解决方案(内存管理方法)》文章主要介绍了运维团队在Linux处理LB服务内存暴涨、内存报警问题的过程,从发现问题、排查原因到制定解决方案,并从中学习了Linux内存管理... 目录一、问题二、排查过程三、解决方案四、内存管理方法1)linux内存寻址2)Linux分页机制3)

Java循环创建对象内存溢出的解决方法

《Java循环创建对象内存溢出的解决方法》在Java中,如果在循环中不当地创建大量对象而不及时释放内存,很容易导致内存溢出(OutOfMemoryError),所以本文给大家介绍了Java循环创建对象... 目录问题1. 解决方案2. 示例代码2.1 原始版本(可能导致内存溢出)2.2 修改后的版本问题在

大数据小内存排序问题如何巧妙解决

《大数据小内存排序问题如何巧妙解决》文章介绍了大数据小内存排序的三种方法:数据库排序、分治法和位图法,数据库排序简单但速度慢,对设备要求高;分治法高效但实现复杂;位图法可读性差,但存储空间受限... 目录三种方法:方法概要数据库排序(http://www.chinasem.cn对数据库设备要求较高)分治法(常

Redis多种内存淘汰策略及配置技巧分享

《Redis多种内存淘汰策略及配置技巧分享》本文介绍了Redis内存满时的淘汰机制,包括内存淘汰机制的概念,Redis提供的8种淘汰策略(如noeviction、volatile-lru等)及其适用场... 目录前言一、什么是 Redis 的内存淘汰机制?二、Redis 内存淘汰策略1. pythonnoe

Java内存泄漏问题的排查、优化与最佳实践

《Java内存泄漏问题的排查、优化与最佳实践》在Java开发中,内存泄漏是一个常见且令人头疼的问题,内存泄漏指的是程序在运行过程中,已经不再使用的对象没有被及时释放,从而导致内存占用不断增加,最终... 目录引言1. 什么是内存泄漏?常见的内存泄漏情况2. 如何排查 Java 中的内存泄漏?2.1 使用 J