当前位置: 首页 > news >正文

C++ 中new/delete与malloc/free详解

文章目录

  • 前言
  • 一、new/delete
    • 1. 序言
    • 2. 使用方法
      • 2.1. new 和 delete 基本语法
      • 2.2. new 和 delete 的底层实现原理
    • 3. 底层原理
      • 3.1. operator new 和 operator delete
      • 3.2. new 和 delete 的底层实现原理
    • 4. 注意事项
    • 5. 总结
  • 二、malloc/free
    • 1. 序言
    • 2. 使用方法
      • 2.1. malloc 和 free 基本语法
      • 2.2. malloc 和 free 的底层实现原理
    • 3. 底层原理
      • 3.1. sbrk 函数
      • 3.2. 内存块管理
      • 3.3. 内存对齐
    • 4. 注意事项
    • 5. new/delete 与 malloc/free 的区别
    • 6. 总结


前言

对C++学习感兴趣的可以看看这篇文章哦:C/C++教程

一、new/delete

1. 序言

在 C++ 的程序设计中,动态内存分配是非常常见的操作。new 和 delete 是 C++ 中提供的动态内存分配运算符,它们可以用于动态分配任意类型的内存,并且不需要显式地指定内存块的大小。

2. 使用方法

2.1. new 和 delete 基本语法

new 和 delete 是 C++ 中的关键字,用于动态分配和释放内存。下面是 new 和 delete 的基本语法:

// 动态分配一个对象
Type* p = new Type;// 释放已经分配的对象
delete p;

其中 Type 表示要动态分配的数据类型,p 是一个指向该数据类型的指针。当执行 new Type 操作时,系统会为该类型的对象分配一块内存,并返回指向这个内存块的指针。当不再需要这个对象时,可以通过 delete 操作来释放这块内存。

如果需要同时分配多个对象,可以使用如下语法:

// 动态分配一个数组
Type* p = new Type[n];// 释放已经分配的数组
delete [] p;

其中 n 表示要分配的对象个数,p 是一个指向 Type 类型数组的指针。

需要注意的是,在使用 new 进行动态内存分配时,如果发生内存不足的情况,则会抛出 std::bad_alloc 异常。因此,在程序中应该对这种异常进行处理。

2.2. new 和 delete 的底层实现原理

new 和 delete 在底层实现上也有一些细节需要注意。在执行 new Type 操作时,实际上是依次进行了以下几个步骤:

  1. 调用 operator new 函数来申请一块大小为 sizeof(Type) 的内存。
  2. 调用类的构造函数来初始化申请到的内存空间。
  3. 返回指向申请到的内存空间的指针。

而在执行 delete p 操作时,实际上是依次进行了以下几个步骤:

  1. 调用类的析构函数来释放对象占用的资源。
  2. 调用 operator delete 函数来释放对象所占用的内存。

其中 operator new 和 operator delete 都是 C++ 中提供的关键字。operator new 函数负责申请内存,而 operator delete 函数负责释放内存。

需要注意的是,和 malloc/free 不同的是,new/delete 能够调用类的构造和析构函数,并自动计算所需的内存空间大小。这也是使用 new/delete 的一大优势。

3. 底层原理

3.1. operator new 和 operator delete

C++ 中的 operator new 函数和 operator delete 函数是用来动态分配和释放内存的。operator new 函数负责申请内存,而 operator delete 函数负责释放内存。

下面是 operator new 的一种实现方式:

void* operator new(size_t size) {if (size == 0) {size = 1;}void* ptr = malloc(size);if (!ptr) {throw std::bad_alloc();}return ptr;
}

其中 size 表示要申请的内存空间大小。如果该值为 0,则将其设置为 1。然后调用 malloc 函数来申请指定大小的内存空间,如果申请失败,则抛出 std::bad_alloc 异常。

下面是 operator delete 的一种实现方式:

void operator delete(void ptr) noexcept {free(ptr); 
}

其中 ptr 是要释放的内存空间指针。这里使用了 noexcept 关键字来表明该函数不会抛出任何异常。

注意,在使用 operator new 和 operator delete 函数时,需要自己负责调用类的构造函数和析构函数。

3.2. new 和 delete 的底层实现原理

new 和 delete 关键字在底层实现上实际上是对 operator new 和 operator delete 函数进行了封装和重载,以方便程序员使用。下面是 new 和 delete 的一种实现方式:

void* operator new(size_t size) {if (size == 0) {size = 1;}void* ptr = malloc(size);if (!ptr) {throw std::bad_alloc();}return ptr;
}void operator delete(void* ptr) noexcept {free(ptr);
}void* operator new[](size_t size) {if (size == 0) {size = 1;}void* ptr = malloc(size);if (!ptr) {throw std::bad_alloc();}return ptr;
}void operator delete[](void* ptr) noexcept {free(ptr);
}

可以看到,new 和 delete 实际上是对 operator new 和 operator delete 进行了重载。

注意,对于复杂数据结构,使用new[] 申请多个内存时,会多申请一块4字节的内存,用于存储当前申请的数量,用于delete[]知道调用几次对象的析构函数,但这个数据对外不可见

4. 注意事项

在使用 new/delete 进行动态内存分配时,需要注意以下几点:

  • 内存泄漏:必须及时释放不再使用的内存,否则可能会导致内存泄漏。
  • 悬空指针:已经释放的内存块指针不能再被访问,否则可能会导致程序崩溃或出现其他的不可预测的错误。
  • 不要重复释放内存:同一个内存块只能被释放一次,否则可能会导致程序崩溃或出现其他的不可预测的错误。
  • 多线程环境:在多个线程同时访问同一块内存时,需要采用适当的同步机制来保证线程安全。

5. 总结

在 C++ 编程中,应该根据具体情况选择适当的动态内存分配方式,在使用动态内存分配时应该遵循良好的编程习惯,确保程序的正确性和稳定性。同时,也需要注意避免内存泄漏、悬空指针、重复释放内存等问题,保证程序的健壮性和稳定性。

二、malloc/free

1. 序言

malloc 和 free 是 C 中提供的动态内存分配函数,它们可以用于动态分配任意类型的内存,并且不需要显式地指定内存块的大小

2. 使用方法

2.1. malloc 和 free 基本语法

malloc 和 free 是 C中的函数,用于动态分配和释放内存。下面是 malloc 和 free 的基本语法:

// 动态分配一块内存
Type* p = (Type*)malloc(sizeof(Type));// 释放已经分配的内存
free(p);

其中 Type 表示要动态分配的数据类型,p 是一个指向该数据类型的指针。当执行 malloc(sizeof(Type)) 操作时,系统会为该类型的对象分配一块内存,并返回指向这个内存块的指针。当不再需要这个对象时,可以通过 free 操作来释放这块内存。

需要注意的是,在使用 malloc 进行动态内存分配时,如果发生内存不足的情况,则会返回空指针。因此,在程序中应该对这种情况进行处理。

2.2. malloc 和 free 的底层实现原理

malloc 和 free 在底层实现上也有一些细节需要注意。在执行 malloc(sizeof(Type)) 操作时,实际上是依次进行了以下几个步骤:

  1. 调用系统函数 sbrk 来扩展程序的数据段。(windows则会调用win API来实现这一功能)
  2. 将申请到的内存块与已经使用的内存块链接起来。
  3. 返回指向申请到的内存空间的指针。

而在执行 free(p) 操作时,实际上是依次进行了以下几个步骤:

  1. 将 p 所指向的内存块标记为未使用。
  2. 将 p 所指向的内存块与其他未使用的内存块合并起来。
  3. 如果合并后的内存块没有被占用,则释放该内存块。

需要注意的是,在使用 malloc/free 进行动态内存分配时,需要自己负责调用类的构造函数和析构函数,并且无法计算所需的内存空间大小。

3. 底层原理

3.1. sbrk 函数

sbrk 函数是一个系统调用,用于扩展程序的数据段。在 Linux 系统中,sbrk 函数可以返回当前堆顶部地址,并且可以将堆顶部地址向上或向下移动指定的字节数。

下面是一个简单的示例,演示了如何使用 sbrk 函数来获取当前堆顶部地址:

#include <unistd.h>
#include <iostream>int main() {void* p1 = sbrk(0);  // 获取当前堆顶部地址std::cout << "p1 = " << p1 << std::endl;void* p2 = sbrk(1024);  // 将堆顶部地址向上移动 1024 字节std::cout << "p2 = " << p2 << std::endl;void* p3 = sbrk(-512);  // 将堆顶部地址向下移动 512 字节std::cout << "p3 = " << p3 << std::endl;void* p4 = sbrk(0);  // 再次获取当前堆顶部地址std::cout << "p4 = " << p4 << std::endl;return 0;
}

而window系统也有自己的win API可以用于分配堆内存

3.2. 内存块管理

malloc 和 free 在底层实现上还需要进行内存块的管理。在使用 malloc 进行动态内存分配时,系统会为申请的内存块添加一些额外的信息

例如内存块的大小、指向下一个内存块的指针等。这些信息会被保存在内存块的开始位置,并且不会影响用户程序对内存空间的访问。

下面是一个简单的示例,演示了如何通过 malloc 函数获取一块内存,以及内存块中包含的信息:

#include <iostream>
#include <cstdlib>int main() {int* p = (int*)malloc(sizeof(int) * 10);  // 动态分配一块内存,可以存放 10 个 int 类型的变量if (!p) {std::cout << "Memory allocation failed" << std::endl;return -1;}std::cout << "Allocate memory at address " << p << std::endl;std::cout << "The size of the memory block is " << sizeof(int) * 10 << " bytes" << std::endl;int* next_p = (int*)(((char*)p) + sizeof(int) * 10);std::cout << "The pointer to the next memory block is " << next_p << std::endl;free(p);  // 释放内存return 0;
}

3.3. 内存对齐

在使用 malloc 进行动态内存分配时,需要考虑内存对齐的问题。

所谓内存对齐,就是指将数据类型放置在内存中的地址必须满足一定的条件。

具体来说,每个数据类型都有一个与之相关联的对齐值,这个对齐值通常等于该数据类型的大小(例如 int 的对齐值为 4 字节)。在进行内存分配时,系统会确保申请到的内存块的起始地址是对齐值的整数倍。

下面是一个简单的示例,演示了如何通过 malloc 函数获取一块内存,并展示内存对齐的效果:

#include <iostream>
#include <cstdlib>struct MyStruct {double x;char c;int i;
};int main() {std::cout << "Size of MyStruct is " << sizeof(MyStruct) << " bytes" << std::endl;MyStruct* p1 = (MyStruct*)malloc(sizeof(MyStruct));if (!p1) {std::cout << "Memory allocation failed" << std::endl;return -1;}std::cout << "Allocate memory at address " << p1 << std::endl;char* p2 = (char*)p1;for (int i = 0; i < sizeof(MyStruct); ++i) {std::cout << (int)p2[i] << " ";}std::cout << std::endl;free(p1);  // 释放内存return 0;
}

可以看到,在分配 MyStruct 类型的内存时,系统会确保返回的起始地址是 double 类型大小的整数倍。

4. 注意事项

在使用 malloc/free 进行动态内存分配时,需要注意以下几点:

  • 内存泄漏:必须及时释放不再使用的内存,否则可能会导致内存泄漏。
  • 悬空指针:已经释放的内存块指针不能再被访问,否则可能会导致程序崩溃或出现其他的不可预测的错误。
  • 不要重复释放内存:同一个内存块只能被释放一次,否则可能会导致程序崩溃或出现

其他的不可预测的错误。

  • 内存越界:访问已经释放的内存块,或者访问超出分配的内存块范围的地址,都可能会导致程序崩溃或出现其他的不可预测的错误。
  • 不要混用 malloc/free 和 new/delete:在同一个程序中应该统一使用一种内存分配方式,不要混用 malloc/free 和 new/delete,否则可能会导致内存管理出现问题。

5. new/delete 与 malloc/free 的区别

new 和 delete 是 C++ 中提供的动态内存分配运算符,它们和 malloc/free 在功能上是类似的。

new/delete 的使用方法比 malloc/free 更简单直观。另外,new/delete 还有以下几个优点:

  • 类型安全:new/delete 可以根据类型自动计算所需的内存空间大小,无需手动指定。
  • 自动调用构造函数和析构函数:new 可以自动调用类的构造函数,delete 可以自动调用类的析构函数,更方便地管理对象的生命周期。
  • 支持重载:new/delete 运算符可以被重载,从而可以实现一些特殊的功能。

需要注意的是,在使用 new/delete 进行动态内存分配时,同样可能会出现内存泄漏、悬空指针、内存越界等问题。因此,在编写程序时,必须仔细处理动态内存分配和释放的问题,避免出现以上问题。

6. 总结

在使用动态内存分配的过程中,需要注意内存泄漏、悬空指针、内存越界等问题,同时还需要根据具体情况选择合适的内存分配方式。

相关文章:

C++ 中new/delete与malloc/free详解

文章目录前言一、new/delete1. 序言2. 使用方法2.1. new 和 delete 基本语法2.2. new 和 delete 的底层实现原理3. 底层原理3.1. operator new 和 operator delete3.2. new 和 delete 的底层实现原理4. 注意事项5. 总结二、malloc/free1. 序言2. 使用方法2.1. malloc 和 free 基…...

crm软件哪个好?该如何选择?

crm软件哪个好&#xff1f;该如何选择&#xff1f; 首先我们需要明确一下什么是好的CRM系统&#xff0c;优质的CRM系统应该具备以下优势&#xff1a; 1&#xff09;提高销售效率&#xff1a;通过CRM系统&#xff0c;销售人员可以跟踪客户互动历史和交易记录&#xff0c;了解客…...

蓝桥杯第22天(Python)(疯狂刷题第5天)

题型&#xff1a; 1.思维题/杂题&#xff1a;数学公式&#xff0c;分析题意&#xff0c;找规律 2.BFS/DFS&#xff1a;广搜&#xff08;递归实现&#xff09;&#xff0c;深搜&#xff08;deque实现&#xff09; 3.简单数论&#xff1a;模&#xff0c;素数&#xff08;只需要…...

软件测试面试常问的问题有哪些?

互联发展是很快的&#xff0c;每年都会有新语言的诞生。 我干测试已经三年了&#xff0c;主要负责web功能测试&#xff0c;java编写接口自动化&#xff0c;APP功能测试&#xff0c;APP 接口自动化&#xff08;也是用的java&#xff09;&#xff0c;面过得测试也差不多30个&…...

js之文件信息读取篇高级基础

文章目录js之文件信息读取&#xff08;FileReader&#xff09;获取文件相关信息的两种方式js原生拖拽事件js之文件信息读取&#xff08;FileReader&#xff09; 首先这里面会讲一些知识点 bolb 对象FileReader对象 let blob new Blob([heewwekgewgwer], { type: text/plain …...

SQL Server的死锁说明

死锁指南一、了解死锁二、检测并结束死锁2.1、可能死锁的资源三、处理死锁四、最大限度地减少死锁4.1、以相同的顺序访问对象4.2、避免事务中的用户交互4.3、保持交易简短且在一个批次中4.4、使用较低的隔离级别4.5、使用基于行版本控制的隔离级别4.6、使用绑定连接4.7、停止事…...

关于#define的一些小知识

目录 一&#xff0c;#define的声明格式&#xff1a; 二&#xff0c;#define宏的作用是为了完成替换 #define的替换规则&#xff1a; 三&#xff0c;#define使用时常犯的错误 四&#xff0c;宏与函数的比较 4.1&#xff0c;什么时候使用宏&#xff1f; 4.1&#xff0c;…...

rabbitmq普通集群与镜像集群搭建

1.准备三台centos7主机&#xff0c;并关闭防火墙与selinux 2.安装rabbitmq环境必备的Erlang(以下所有操作三台主机均需要执行) 执行以下命令下载配置erlang yum源 curl -s https://packagecloud.io/install/repositories/rabbitmq/erlang/script.rpm.sh | sudo bash使用yum命…...

session和jwt哪个更好

session和jwtsession优点缺点jwt优点缺点总结session 优点 原理简单&#xff0c;易于学习。用户信息存储在服务端&#xff0c;可以快速封禁某个用户。 缺点 占用服务端内存&#xff0c;硬件成本高。多进程&#xff0c;多服务器时&#xff0c;不好同步-需要使用第三方缓存&a…...

基于TPU-MLIR实现UNet模型部署-决赛答辩02

队伍&#xff1a;AP0200023 目录 初赛 一、 模型导出优化 1.1 直接倒出原始模型并转换 1.2 导出模型前处理 1.2.1 导出Resize 1.2.2 导出归一化 1.3导出模型后处理 1.3.1导出 Resize 与 1.3.2导出 ArgMaxout 1.3.3导出特征转RGB 复赛 一、 确定baseline 二、优化模…...

Maven高级-分模块开发依赖管理

Maven高级-分模块开发&依赖管理1&#xff0c;分模块开发1.1 分模块开发设计1.2 分模块开发实现1.2.1 环境准备1.2.2 抽取domain层步骤1:创建新模块步骤2:项目中创建domain包步骤3:删除原项目中的domain包步骤4:建立依赖关系步骤5:编译maven_02_ssm项目步骤6:将项目安装本地…...

《安富莱嵌入式周报》第308期:开源带软硬件安全认证的PLC设计,开源功率计,可靠PID实现,PR2机器人设计文件全开源,智能手表设计WASP-OS

周报汇总地址&#xff1a;嵌入式周报 - uCOS & uCGUI & emWin & embOS & TouchGFX & ThreadX - 硬汉嵌入式论坛 - Powered by Discuz! 视频版&#xff1a; https://www.bilibili.com/video/BV1F24y157QE 《安富莱嵌入式周报》第308期&#xff1a;开源带软…...

代码随想录算法训练营第五十六天 | 583. 两个字符串的删除操作、72. 编辑距离、编辑距离总结

583. 两个字符串的删除操作 动规五部曲 1、确定dp数组&#xff08;dp table&#xff09;以及下标的含义 dp[i][j]&#xff1a;以i-1为结尾的字符串word1&#xff0c;和以j-1位结尾的字符串word2&#xff0c;想要达到相等&#xff0c;所需要删除元素的最少次数。 2、确定递推…...

Sip协议

简介 SIP&#xff08;Session Initiation Protocol&#xff0c;会话初始协议&#xff09;是一个用于建立、更改和终止多媒体会话的应用 层控制协议&#xff0c;其中的会话可以是 IP 电话、多媒体会话或多媒体会议。SIP 是 IETF 多媒体数据和控 制体系结构的核心协议&#xff0…...

RandomAccessFile类 断点续传

文章目录学习链接RandomAccessFile构造方法实现的接口DataOutputDataInputAutoCloseable重要的方法多线程读写同一个文件&#xff08;多线程复制文件&#xff09;代码1代码2断点续传FileUtils学习链接 RandomAccessFile详解 Java IO——RandomAccessFile类详解 java多线程-断点…...

SpringCloud微服务技术栈的注册中心Eureka

文章目录SpringCloud微服务技术栈的注册中心Eureka简介Eureka特点操作步骤环境准备创建Eureka Server注册服务提供方调用服务消费方总结SpringCloud微服务技术栈的注册中心Eureka 简介 在微服务架构中&#xff0c;服务的数量庞大&#xff0c;而且每个服务可能会有多个实例。此…...

Unity最新热更新框架 hybridclr_addressable

GitHub:YMoonRiver/hybridclr_addressable: 开箱即用的商业游戏框架&#xff0c;集成了主流的开发工具。将主流的GameFramework修改&#xff0c;支持Addressable和AssetBundle&#xff0c;已完善打包工具和流程。 (github.com) # 新增GameFramework Addressables 开箱即用 # 新…...

【c语言】一维数组***特性、存储原理

创作不易&#xff0c;本篇文章如果帮助到了你&#xff0c;还请点赞支持一下♡>&#x16966;<)!! 主页专栏有更多知识&#xff0c;如有疑问欢迎大家指正讨论&#xff0c;共同进步&#xff01; 给大家跳段街舞感谢支持&#xff01;ጿ ኈ ቼ ዽ ጿ ኈ ቼ ዽ ጿ ኈ ቼ ዽ ጿ…...

[oeasy]python0133_[趣味拓展]好玩的unicode字符_另类字符_上下颠倒英文字符

另类字符 回忆上次内容 上次再次输出了大红心♥ 找到了红心对应的编码黑红梅方都对应有编码 原来的编码叫做 ascii️ \u这种新的编码方式叫unicode包括了 中日韩字符集等 各书写系统的字符集 除了这些常规字符之外 还有什么好玩的东西呢&#xff1f; 颠倒字符 这个网站可以…...

找凶手,定名次,字符串旋转,杨氏矩阵

1.找凶手问题&#xff1a; //题目名称&#xff1a; //猜凶手 //题目内容&#xff1a; //日本某地发生了一件谋杀案&#xff0c;警察通过排查确定凶手必为4个嫌疑犯的一个。 //以下为4个嫌疑犯的供词&#xff1a; //A说&#xff1a;不是我 //B说&#xff1a;是C //C说&#xff…...

Python爬虫(二):爬虫完整流程

爬虫完整流程详解&#xff08;7大核心步骤实战技巧&#xff09; 一、爬虫完整工作流程 以下是爬虫开发的完整流程&#xff0c;我将结合具体技术点和实战经验展开说明&#xff1a; 1. 目标分析与前期准备 网站技术分析&#xff1a; 使用浏览器开发者工具&#xff08;F12&…...

Nginx server_name 配置说明

Nginx 是一个高性能的反向代理和负载均衡服务器&#xff0c;其核心配置之一是 server 块中的 server_name 指令。server_name 决定了 Nginx 如何根据客户端请求的 Host 头匹配对应的虚拟主机&#xff08;Virtual Host&#xff09;。 1. 简介 Nginx 使用 server_name 指令来确定…...

Module Federation 和 Native Federation 的比较

前言 Module Federation 是 Webpack 5 引入的微前端架构方案&#xff0c;允许不同独立构建的应用在运行时动态共享模块。 Native Federation 是 Angular 官方基于 Module Federation 理念实现的专为 Angular 优化的微前端方案。 概念解析 Module Federation (模块联邦) Modul…...

【HTML-16】深入理解HTML中的块元素与行内元素

HTML元素根据其显示特性可以分为两大类&#xff1a;块元素(Block-level Elements)和行内元素(Inline Elements)。理解这两者的区别对于构建良好的网页布局至关重要。本文将全面解析这两种元素的特性、区别以及实际应用场景。 1. 块元素(Block-level Elements) 1.1 基本特性 …...

leetcodeSQL解题:3564. 季节性销售分析

leetcodeSQL解题&#xff1a;3564. 季节性销售分析 题目&#xff1a; 表&#xff1a;sales ---------------------- | Column Name | Type | ---------------------- | sale_id | int | | product_id | int | | sale_date | date | | quantity | int | | price | decimal | -…...

laravel8+vue3.0+element-plus搭建方法

创建 laravel8 项目 composer create-project --prefer-dist laravel/laravel laravel8 8.* 安装 laravel/ui composer require laravel/ui 修改 package.json 文件 "devDependencies": {"vue/compiler-sfc": "^3.0.7","axios": …...

虚拟电厂发展三大趋势:市场化、技术主导、车网互联

市场化&#xff1a;从政策驱动到多元盈利 政策全面赋能 2025年4月&#xff0c;国家发改委、能源局发布《关于加快推进虚拟电厂发展的指导意见》&#xff0c;首次明确虚拟电厂为“独立市场主体”&#xff0c;提出硬性目标&#xff1a;2027年全国调节能力≥2000万千瓦&#xff0…...

day36-多路IO复用

一、基本概念 &#xff08;服务器多客户端模型&#xff09; 定义&#xff1a;单线程或单进程同时监测若干个文件描述符是否可以执行IO操作的能力 作用&#xff1a;应用程序通常需要处理来自多条事件流中的事件&#xff0c;比如我现在用的电脑&#xff0c;需要同时处理键盘鼠标…...

数学建模-滑翔伞伞翼面积的设计,运动状态计算和优化 !

我们考虑滑翔伞的伞翼面积设计问题以及运动状态描述。滑翔伞的性能主要取决于伞翼面积、气动特性以及飞行员的重量。我们的目标是建立数学模型来描述滑翔伞的运动状态,并优化伞翼面积的设计。 一、问题分析 滑翔伞在飞行过程中受到重力、升力和阻力的作用。升力和阻力与伞翼面…...

【PX4飞控】mavros gps相关话题分析,经纬度海拔获取方法,卫星数锁定状态获取方法

使用 ROS1-Noetic 和 mavros v1.20.1&#xff0c; 携带经纬度海拔的话题主要有三个&#xff1a; /mavros/global_position/raw/fix/mavros/gpsstatus/gps1/raw/mavros/global_position/global 查看 mavros 源码&#xff0c;来分析他们的发布过程。发现前两个话题都对应了同一…...