[C++] 深度剖析C_C++内存管理机制

Kevin的技术博客.png

文章目录

  • 内存分布
    • 内存分布图解
  • C语言中动态内存管理方式
    • malloc:
    • calloc
    • realloc
  • C++内存管理方式
    • 内置类型
    • **自定义类型**
  • operator new & operator delete
    • operator new & operator delete函数
      • operator new
      • operator delete
    • **new T[N]** 与**delete[]**
  • **定位new表达式(placement-new)**
    • 如何使用
    • 注意事项
  • malloc/free和new/delete的区别

类和对象三部曲：
[C++] 轻熟类和对象
[C++] 由浅入深理解面向对象思想的组成模块
类和对象：C++11新特性与知识补充

内存分布

内存分布图解

image.png

  1. 栈又叫堆栈–非静态局部变量/函数参数/返回值等等，栈是向下增长的。
  2. 内存映射段是高效的I/O映射方式，用于装载一个共享的动态内存库。用户可使用系统接口
    创建共享共享内存，做进程间通信。
  3. 堆用于程序运行时动态内存分配，堆是可以上增长的。
  4. 数据段–存储全局数据和静态数据。
  5. 代码段–可执行的代码/只读常量

C语言中动态内存管理方式

malloc:

  • void* malloc(size_t size);
  • 功能：malloc函数用于在堆上分配一块连续的内存空间。它接受一个参数，即所需内存的大小（以字节为单位），并返回指向这块内存的指针。
  • 初始化：malloc不会对分配的内存进行初始化，内存中的内容是未定义的，可能是之前的值或者全零，具体取决于操作系统。
  • 使用场景：当不需要初始化内存或者特定初始化时使用。

calloc

  • void* calloc(size_t num, size_t size);
  • 功能：calloc也用于在堆上分配内存，但它接受两个参数，分别是要分配的元素数量和每个元素的大小（以字节为单位）。calloc会确保分配的内存区域中的每个字节都被初始化为零。
  • 初始化：与malloc不同，calloc会将分配的内存全部初始化为零，这使得它适合用于数组或结构体等需要初始化为默认值的情况。
  • 使用场景：当需要一个清零的内存块时使用，比如初始化数组。

realloc

  • void* realloc(void* ptr, size_t size);
  • 功能：realloc用于调整先前通过malloc、calloc或realloc分配的内存块的大小。它接受两个参数，第一个是之前分配的内存的指针，第二个是新的大小（可以比原来大也可以比原来小）。
  • 初始化：realloc不涉及初始化新分配的内存部分，如果扩大了内存块，新增的部分通常也是未定义的值。
  • 使用场景：当原先分配的内存大小不再满足需求，需要扩大或减小内存空间时使用。需要注意的是，如果减小内存空间，超出新大小的部分数据会被截断。

C++内存管理方式

内置类型

// 动态申请一个int类型的空间
int* ptr4 = new int;
// 动态申请一个int类型的空间并初始化为10
int* ptr5 = new int(10);
// 动态申请10个int类型的空间
int* ptr6 = new int[10];

delete ptr4;
delete ptr5;
delete[] ptr6;


// 其他方式
int* p3 = new int(0);
int* p4 = new int[10]{ 0 };
int* p5 = new int[10]{1,2,3,4,5}; // 未初始化的用0补齐

image.png

注意：申请和释放单个元素的空间，使用new和delete操作符，申请和释放连续的空间，使用new[]和delete[]。

自定义类型

A* p1 = (A*)malloc(sizeof(A)); // C
A* p2 = new A(1); // C++

A* p1 = new A(1);
A* p2 = new A(2,2); // 隐式类型

A aa1(1, 1);
A aa2(2, 2);
A aa3(3, 3);
A* p3 = new A[3]{aa1, aa2, aa3}; 

A* p4 = new A[3]{ A(1,1), A(2,2), A(3,3)}; // 匿名函数

//A aa1 = { 1, 1 };
A* p5 = new A[3]{ {1,1}, {2,2}, {3,3} };

C++中推荐使用new和delete进行内存管理，使用这二者进行内存管理的特点为**“除了开空间还会调用构造函数和析构函数”（原理下章会提及）**

operator new & operator delete

operator new & operator delete函数

operator new

原理：

  • **内置类型：**与malloc相似
  • 自定义类型：
    1. 调用operator new函数申请空间
    2. 在申请的空间上执行构造函数，完成对象的构造

源码如下

/*
operator new：该函数实际通过malloc来申请空间，当malloc申请空间成功时直接返回；申请空间
失败，尝试执行空 间不足应对措施，如果改应对措施用户设置了，则继续申请，否
则抛异常。
*/
void* __CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{
	// try to allocate size bytes
	void* p;
	while ((p = malloc(size)) == 0)  // 通过malloc扩容
		if (_callnewh(size) == 0)
		{
			// report no memory
			// 如果申请内存失败了，这里会抛出bad_alloc 类型异常
			static const std::bad_alloc nomem;
			_RAISE(nomem);
		}

	return (p);// 返回分配的内存指针
}

通过分析源码可得出：

  • 在底层会调用 **malloc** 分配内存：函数内部有一个 while 循环，通过 malloc 分配指定大小的内存。
  • **会自动抛异常：**当 malloc 返回 nullptr，则调用 _callnewh 尝试处理内存不足的情况，若仍然无法分配内存，则抛出 std::bad_alloc 异常。
  • 在语法层面上会调用构造函数：new 操作符分配内存后，会在分配的内存上调用构造函数，完成对象的初始化。

operator delete

原理：

  • **内置类型：**与free基本类似
  • 自定义类型：
    1. 在空间上执行析构函数，完成对象中资源的清理工作
    2. 调用operator delete函数释放对象的空间

源码如下：

/*
operator delete: 该函数最终是通过free来释放空间的
*/
void operator delete(void* pUserData)
{
	_CrtMemBlockHeader* pHead;
	RTCCALLBACK(_RTC_Free_hook, (pUserData, 0));
	if (pUserData == NULL)
		return;
	_mlock(_HEAP_LOCK); /* block other threads */
	__TRY
		/* 获取指针指向内存块的头信息 */
		pHead = pHdr(pUserData);
	/* verify block type */
	_ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));
	_free_dbg(pUserData, pHead->nBlockUse); // 使用_free_dbg进行内存的释放
	__FINALLY
		_munlock(_HEAP_LOCK); /* release other threads */
	__END_TRY_FINALLY
		return;
} 
/*
free的实现
*/
#define free(p) _free_dbg(p, _NORMAL_BLOCK)

源码分析：

  • #define free(p) _free_dbg(p, _NORMAL_BLOCK)我们可以发现，free的底层其实是一个宏，最终还是使用 _free_dbg(p, _NORMAL_BLOCK)进行内存释放。
  • 通过第一点分析可得，delete的底层也是通过free，或者说_free_dbg(p, _NORMAL_BLOCK)进行内存的释放
  • 在语法层面上调用析构函数： 在释放内存之前调用对象的析构函数，以确保对象持有的资源（如动态分配的内存、打开的文件等）得到正确释放。

编译器在处理 delete obj; 这行代码时会生成以下等效的代码：

if (obj != nullptr) {
    obj->~A();  // 显式调用析构函数
    operator delete(obj);  // 调用 operator delete 释放内存
}

new T[N] 与delete[]

new T[N]的原理

  1. 调用operator new[]函数，在operator new[]中实际调用operator new函数完成N个对
    象空间的申请
  2. 在申请的空间上执行N次构造函数

delete[]的原理

  1. 在释放的对象空间上执行N次析构函数，完成N个对象中资源的清理
  2. 调用operator delete[]释放空间，实际在operator delete[]中调用operator delete来释
    放空间

定位new表达式(placement-new)

定位new表达式语法：void* operator new(size_t, void* place) noexcept { return place; }

  • 定位new表达式（Placement New Expression），或简称placement new，是C++中一种特殊的内存分配式，它允许你在已经分配好的内存区域内构造对象。与标准的new操作符不同，定位new不负责内存的分配，而是直接在你指定的内存地址上调用对象的构造函数。这对于实现内存池、重复利用已分配的内存块、在特定内存位置（如共享内存）创建对象等场景非常有用。
  • 定位 new 表达式允许我们在预分配的内存上构造对象，并手动管理对象的生命周期，包括调用析构函数和释放内存。这样可以更好地控制内存分配和释放过程，避免内存泄漏和资源未释放的问题。

如何使用

举例

#include <iostream>
#include <cstdlib> // for malloc and free

using namespace std;

class MyClass {
public:
    MyClass(int value) : value(value) {
        cout << "MyClass(int) constructor with value: " << value << endl;
    }

    ~MyClass() {
        cout << "~MyClass() destructor with value: " << value << endl;
    }

private:
    int value;
};

int main() {
    // Step 1: Allocate raw memory using malloc
    size_t numObjects = 3;
    void* rawMemory = malloc(numObjects * sizeof(MyClass));
    if (!rawMemory) {
        cerr << "Memory allocation failed!" << endl;
        return 1;
    }

    // Step 2: Use placement new to construct objects in the allocated memory
    MyClass* objects = static_cast<MyClass*>(rawMemory);
    for (size_t i = 0; i < numObjects; ++i) {
        new (objects + i) MyClass(i * 10); // Construct MyClass objects with values 0, 10, 20
    }

    // Step 3: Use the objects (this step is trivial in this example)

    // Step 4: Manually call destructors for each object
    for (size_t i = 0; i < numObjects; ++i) {
        objects[i].~MyClass();
    }

    // Step 5: Free the allocated raw memory
    free(rawMemory);

    return 0;
}

步骤解析：

  1. 使用 malloc 分配原始内存：
size_t numObjects = 3;
void* rawMemory = malloc(numObjects * sizeof(MyClass));
if (!rawMemory) {
    cerr << "Memory allocation failed!" << endl;
    return 1;
}
  • 使用 malloc 函数分配一块大小为 numObjects * sizeof(MyClass) 的连续内存，用来存放 3 个 MyClass 对象。
  • 如果内存分配失败，程序会输出错误信息并返回。
  1. 在分配的内存中，使用new构建对象：
MyClass* objects = static_cast<MyClass*>(rawMemory);
for (size_t i = 0; i < numObjects; ++i) {
    new (objects + i) MyClass(i * 10); // Construct MyClass objects with values 0, 10, 20
}
  • 使用 placement new 表达式在预分配的内存上构造 MyClass 对象。
  • 通过 static_cast 将 rawMemory 转换为指向 MyClass 类型的指针。
  • 在 for 循环中，调用定位 new 在内存地址 objects + i 上构造 MyClass 对象，分别传入 0、10 和 20 作为构造函数参数。

  1. 对象的使用 （省略）

  2. 手动调用每个对象的析构函数进行析构

for (size_t i = 0; i < numObjects; ++i) {
    objects[i].~MyClass();
}
  • 在内存释放之前，必须手动调用每个对象的析构函数，释放对象的资源。
  • 使用 for 循环，调用每个对象的析构函数。
  1. 释放掉原始分配的内存
free(rawMemory);

使用 free 函数释放在步骤 1 中分配的原始内存。

注意事项

  1. 内存管理：使用定位new后，对象的生命周期管理完全由程序员负责。这意味着你不能使用普通delete来释放这个对象，因为那会试图释放由malloc分配的内存，导致未定义行为。你应该直接调用对象的析构函数，并手动归还内存：
A->~A(); // 手动调用析构函数
std::free(p1); // 释放内存
  1. 内存对齐：确保提供的内存地址是正确对齐的，以便能够容纳特定类型的对象。如果不对齐，可能导致未定义行为。
  2. 安全性：使用定位new时，你需要确保所指定的内存区域足够大，以容纳完整的对象实例，包括可能的内部对齐填充。否则，可能会覆盖周边内存，引发严重错误。
  3. 标准库支持：C++标准库提供了一个全局的operator new(void*, std::size_t)重载，它不执行任何实际的内存分配，专门用于定位new表达式。这个重载是固定的，不能被用户自定义版本替代。

malloc/free和new/delete的区别

malloc/free和new/delete的共同点是:

  • 都是从堆上申请空间，并且需要用户手动释放。

不同的地方是：

  1. malloc和free是函数，new和delete是操作符
  2. malloc申请的空间不会初始化，new可以初始化
  3. malloc申请空间时，需要手动计算空间大小并传递，new只需在其后跟上空间的类型即可，
    如果是多个对象，[]中指定对象个数即可
  4. malloc的返回值为void*, 在使用时必须强转，new不需要，因为new后跟的是空间的类型
  5. malloc申请空间失败时，返回的是NULL，因此使用时必须判空，new不需要，但是new需
    要捕获异常
  6. 申请自定义类型对象时，malloc/free只会开辟空间，不会调用构造函数与析构函数，而new
    在申请空间后会调用构造函数完成对象的初始化，delete在释放空间前会调用析构函数完成
    空间中资源的清理释放


image.png

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：/a/802768.html

如若内容造成侵权/违法违规/事实不符，请联系我们进行投诉反馈qq邮箱809451989@qq.com，一经查实，立即删除！

相关文章

JavaScript基础(十四)

JavaScript基础(十四)

函数 很多人一看到这两个字就头大&#xff0c;可能由于多年被数学摧残有不小阴影&#xff0c;放心&#xff0c;我们这里的函数不是那些东西&#xff0c;在编程中我们的函数指的是: 程序的基本单元&#xff0c;是完成特定任务的代码语句块。 我们在写程序时&#xff0c;可能会…
阅读更多...
【保姆级】Python项目部署到Linux生产环境（uwsgi+python+flask+nginx服务器）

【保姆级】Python项目部署到Linux生产环境（uwsgi+python+flask+nginx服务器）

1.安装python 我这里是3.9.5版本 安装依赖&#xff1a; yum install zlib-devel bzip2-devel openssl-devel ncurses-devel sqlite-devel readline-devel tk-devel gcc make -y 根据自己的需要下载对应的python版本&#xff1a; cd /usr/local wget https://www.python.or…
阅读更多...
springboot机场投诉管理平台-计算机毕业设计源码22030

springboot机场投诉管理平台-计算机毕业设计源码22030

摘要 随着航空运输业的迅速发展&#xff0c;机场的客流量不断增加&#xff0c;旅客对机场服务的质量和效率也提出了更高的要求。为了提高机场的服务质量&#xff0c;及时处理旅客的投诉&#xff0c;建立一个高效、便捷的机场投诉管理平台显得尤为重要。 本项目旨在设计与实现一…
阅读更多...
# ffmpeg 工具使用

# ffmpeg 工具使用

文章目录 ffmpeg 工具使用1.图片转换2.图片转视频3.截取片段4. 视频格式转换5. 视频转图片方法一&#xff1a;方法二&#xff1a;生成更清晰无压缩的图片方式&#xff1a; ffmpeg 工具使用 windows安装教程&#xff1a;https://blog.csdn.net/csdn_yudong/article/details/129…
阅读更多...
Python一对一辅导答疑｜Rust 德国

Python一对一辅导答疑｜Rust 德国

你好&#xff0c;我是悦创。 下面是答疑内容。 在 Rust 中&#xff0c;方法的调用方式通常取决于它们是如何定义的。在你的例子中&#xff0c;print_drink方法最初是作为一个接受Drink类型实例作为参数的关联函数&#xff08;类似于静态方法&#xff09;定义的。后来&#xff…
阅读更多...
紫外测熔融实验结果温度和abs作折线图和求一阶导最大值

紫外测熔融实验结果温度和abs作折线图和求一阶导最大值

import numpy as np import pandas as pd from pyecharts.charts import Line from pyecharts import options as opts from matplotlib import pyplot as plt import xlrd # 读取 csv 文件 data pd.read_excel(F:/LJX/lc8.xls)# 假设 csv 文件中有两列数据&#xff1a;x 和 y…
阅读更多...
[transformer] Attention is all you need

[transformer] Attention is all you need

1、目的 提出一种新的网络结构&#xff0c;不用CNN或者RNN&#xff0c;只基于self-attention 2、方法 * Norm: Layer Normalization 1&#xff09;Encoder -> -> self-attention的k、v、q来自上一个encoder层 2&#xff09;Decoder -> 由于每个位置i的预测只能参考i…
阅读更多...
跨境电商与TikTok达人带货：未来合作模式与市场机遇

跨境电商与TikTok达人带货：未来合作模式与市场机遇

随着全球社交媒体技术的不断进步和消费者行为的持续变化&#xff0c;跨境电商与TikTok达人合作的模式正展现出前所未有的多元化和专业化趋势。这种合作不仅推动了品牌的国际化进程&#xff0c;也为消费者带来了更加丰富和个性化的购物体验。本文Nox聚星将和大家探讨未来跨境电商…
阅读更多...
php反序列化--1--PHP序列化

php反序列化--1--PHP序列化

目录 一、什么是php序列化&#xff1f; 二、在php中怎么进行序列化&#xff1f; 三、不同数据类型的序列化后的表达方式 1、空-NULL 2、整形 3、浮点型 4、boolean型 5、字符型 6、数组 7、对象序列化-公有修饰符 8、对象序列化-私有修饰符 9、对象序列化-保护修饰…
阅读更多...
C++ 回溯算法

C++ 回溯算法

什么时候不需要startIndex? 全排列&#xff1a;1在[1,2]中已经使用过了&#xff0c;但是在[2,1]中还要在使用一次1&#xff0c;所以处理排列问题就不用使用startIndex了&#xff1b;电话号码的字母组合&#xff1a;如果是多个集合取组合&#xff0c;各个集合之间相互不影响&a…
阅读更多...
景区导航导览系统：基于AR技术+VR技术的功能效益全面解析

景区导航导览系统：基于AR技术+VR技术的功能效益全面解析

在数字化时代背景下&#xff0c;游客对旅游体验的期望不断提升。游客们更倾向于使用手机作为旅行的贴身助手&#xff0c;不仅因为它能提供实时、精准的导航服务&#xff0c;更在于其融合AR&#xff08;增强现实&#xff09;、VR&#xff08;虚拟现实&#xff09;等前沿技术&…
阅读更多...
汽车免拆诊断案例 | 卡罗拉急加速抖动故障排除

汽车免拆诊断案例 | 卡罗拉急加速抖动故障排除

车型信息 2017年改款卡罗拉&#xff0c;排量1.2T&#xff0c;行驶里程48800公里。 故障现象 车辆不管在什么状态下&#xff0c;只要是平缓加速&#xff0c;都不会有抖动。车辆静止时&#xff0c;急加速时&#xff0c;也不会有抖动。但是车速达40公里/小时以上&#xff0c;急加…
阅读更多...
SQL注入问题

SQL注入问题

一、什么是sql注入 public class TestSql {public static void main(String[] args) {Scanner inScanner new Scanner(System.in);System.out.println("请输入用户名");String username inScanner.nextLine();System.out.println("请输入密码");String …
阅读更多...
python-区间内的真素数（赛氪OJ）

python-区间内的真素数（赛氪OJ）

[题目描述] 找出正整数 M 和 N 之间&#xff08;N 不小于 M&#xff09;的所有真素数。真素数的定义&#xff1a;如果一个正整数 P 为素数&#xff0c;且其反序也为素数&#xff0c;那么 P 就为真素数。 例如&#xff0c;11&#xff0c;13 均为真素数&#xff0c;因为 11 的反序…
阅读更多...
JuiceFS缓存特性

JuiceFS缓存特性

缓存 对于一个由对象存储和数据库组合驱动的文件系统&#xff0c;缓存是本地客户端与远端服务之间高效交互的重要纽带。读写的数据可以提前或者异步载入缓存&#xff0c;再由客户端在后台与远端服务交互执行异步上传或预取数据。相比直接与远端服务交互&#xff0c;采用缓存技…
阅读更多...
vue3配置代理

vue3配置代理

vite.config.js中的内容&#xff1a; 在这里配置访问后台的地址 import { defineConfig } from vite import vue from vitejs/plugin-vueexport default defineConfig({plugins: [vue()],server: {open: false,port: 3000,proxy: {/api: {target: http://127.0.0.1:9001, // 后…
阅读更多...
【论文阅读】MCTformer+:弱监督语义分割的多类令牌转换器

【论文阅读】MCTformer+:弱监督语义分割的多类令牌转换器

【论文阅读】MCTformer:弱监督语义分割的多类令牌转换器 文章目录 【论文阅读】MCTformer:弱监督语义分割的多类令牌转换器一、介绍1.1 WSSS背景1.2 WSSS策略 二、联系工作2.1 弱监督语义分割2.2 transformers的可视化应用 三、MULTI-CLASS TOKEN TRANSFORMER3.1 Multi-class t…
阅读更多...
【Apache POI】Java解析Excel文件并处理合并单元格-粘贴即用

【Apache POI】Java解析Excel文件并处理合并单元格-粘贴即用

同为牛马&#xff0c;点个赞吧&#xff01; 一、Excel文件样例 二、工具类源码 import org.apache.poi.ss.usermodel.*; import org.apache.poi.ss.util.CellRangeAddress; import org.apache.poi.xssf.usermodel.XSSFWorkbookFactory; import org.springframework.web.multip…
阅读更多...
【Linux】进程信号 --- 信号产生

【Linux】进程信号 --- 信号产生

&#x1f466;个人主页&#xff1a;Weraphael ✍&#x1f3fb;作者简介&#xff1a;目前正在学习c和算法 ✈️专栏&#xff1a;Linux &#x1f40b; 希望大家多多支持&#xff0c;咱一起进步&#xff01;&#x1f601; 如果文章有啥瑕疵&#xff0c;希望大佬指点一二 如果文章对…
阅读更多...
【Android】活动的生命周期与启动模式

【Android】活动的生命周期与启动模式

【Android】活动的生命周期与启动模式 活动的生命周期 返回栈 返回栈&#xff08;Back Stack&#xff09;是Android操作系统中用于管理用户在应用中导航历史的一种数据结构。它允许用户通过按下硬件返回键或调用系统返回功能来回到之前的操作步骤。以下是返回栈的一些关键特…
阅读更多...
最新文章

Copyright @ 2022~2023