从malloc到free：动态内存管理全解析

news2025/4/21 9:55:21

1.为什么要有动态内存管理

我们已经掌握的内存开辟方法有：

int main()
{
	int val = 20;//在栈空间上开辟四个字节
	char arr[20] = { 0 };//在栈空间上开辟10个字节的连续空间
	return 0;
}

上述开辟的内存空间有两个特点：

1.空间开辟的时候大小已经固定
2.数组在声明的时候，必须指定数组的长度，数组空间一旦确定了大小就不能调整

但是对于所需内存空间的需求，不仅仅是上述的情况，有时候我们需要的空间大小在程序运行时才能知道，那数组就不能满足我们的需求了。
C语言由此引入了动态内存开辟，让程序员可以自己申请和释放空间。

2.malloc和free

C语言提供了一个动态内存开辟的函数malloc，函数原型如下：

void* malloc(size_t size);

这个函数向内存申请⼀块连续可⽤的空间，并返回指向这块空间的指针。
• 如果开辟成功，则返回⼀个指向开辟好空间的指针。
• 如果开辟失败，则返回⼀个 NULL 指针，因此malloc的返回值⼀定要做检查。
• 返回值的类型是 void* ，所以malloc函数并不知道开辟空间的类型，具体在使⽤的时候使⽤者自己来决定。
• 如果参数 size 为0，malloc的⾏为是标准是未定义的，取决于编译器。

malloc详细解析网页

C语言还提供了一个函数free，专门用来做动态内存的释放和回收的，函数原型如下：

void* free(void* ptr);

free函数⽤来释放动态开辟的内存。
• 如果参数 ptr 指向的空间不是动态开辟的，那free函数的⾏为是未定义的。
• 如果参数 ptr 是NULL指针，则函数什么事都不做。
malloc和free都声明在 stdlib.h 头⽂件中。

free详细解析网页

学完了两个函数，我们来举一个例子帮助大家理解：

int main()
{
	int* pz = (int*)malloc(10 * sizeof(int));//注意，malloc自己返回的指针类型是void*的，所以需要强制转换为int*类型
	if (pz == NULL)//如果创建失败，返回的将是空指针
	{
		perror("malloc");//打印错误，为什么创建失败
		return 1;//结束程序
	}
	for (int i = 0; i < 10; i++)
	{
		*(pz + i) = i + 1;
	}
	for (int i = 0; i < 10; i++)
	{
		printf("%d ", *(pz + i));
	}
	free(pz);//动态内存使用完我们应该主动进行回收
	pz = NULL;//回收之后，内存空间将会释放，但是pz指针仍然会指向那个地址，我们需要将他置为空指针
	return 0;
}

创建成功
观察结果，我们可以发现利用malloc创建的堆空间实现了与数组创建的栈空间一样的效果，它们都是一块连续的空间。上述是创建成功的示例，我们再来看一个失败的案例：
创建失败，返回空指针

3.calloc和realloc

C语言还提供了一个函数叫calloc，他也是用来实现动态内存分配的，函数原型如下：

void* calloc(size_t num, size_t size);

• 函数的功能是为 num 个⼤⼩为 size 的元素开辟⼀块空间，并且把空间的每个字节初始化为0。
• 与函数 malloc 的区别只在于 calloc 会在返回地址之前把申请的空间的每个字节初始化为0

calloc详细解析网页

看代码：

int main()
{
	int* pz = (int*)calloc(10, sizeof(int));
	if (pz == NULL)
	{
		perror("calloc");
		return 1;
	}
	for (int i = 0; i < 10; i++)
	{
		printf("%d ", *(pz + i));
	}
	free(pz);
	pz = NULL;
	return 0;
}

比较malloc和calloc
近乎一样的代码，打印的结果完全不同，这就是malloc和calloc的区别。

接下来我们要学的最后一个函数是realloc,realloc函数的出现让动态内存管理更加灵活。有时会我们发现过去申请的空间太⼩了，有时候我们⼜会觉得申请的空间过⼤了，那为了合理的申请内存，我们⼀定会对内存的⼤⼩做灵活的调整。那 realloc 函数就可以做到对动态开辟内存大小的调整。他的函数原型如下：

void* realloc (void* ptr,size_t size);

• ptr 是要调整的内存地址
• size 调整之后新⼤⼩
• 返回值为调整之后的内存起始位置。
• 这个函数调整原内存空间⼤⼩的基础上，还会将原来内存中的数据移动到 新 的空间。

realloc详细解析网页

realloc在调整内存空间时存在两种情况：
◦ 情况1：原有空间之后有⾜够⼤的空间
◦ 情况2：原有空间之后没有⾜够⼤的空间
realloc分配内存是的两种情况
情况1
当是情况1 的时候，要扩展内存就直接原有内存之后直接追加空间，原来空间的数据不发⽣变化。
情况2
当是情况2 的时候，原有空间之后没有⾜够多的空间时，扩展的⽅法是：在堆空间上另找⼀个合适⼤⼩的连续空间来使⽤。这样函数返回的是⼀个新的内存地址。原有空间的数值会被存入新的空间内。
由于上述的两种情况，realloc函数的使⽤就要注意⼀些。

int main()
{
	int* pz1 = (int*)malloc(10 * sizeof(int));
	if (pz1 == NULL) 
	{
		perror("malloc");
		return 1;
	}

	//业务处理
	//发现内存不够，需要扩充

	//方法1
	//pz1 = (int*)realloc(pz1, 20 * sizeof(int));

	//方法2
	int* pz2 = NULL;
	pz2 = (int*)realloc(pz1, 20 * sizeof(int));
	if (pz2 == NULL)
	{
		perror("realloc");
		free(pz1);
		return 1;
	}
	pz1 = pz2;
	//业务处理
	free(pz1);
	pz1 = NULL;
	return 0;
}

方法一存在下面风险：
内存泄漏风险：
若 realloc 失败返回 NULL，原指针 pz1 会被直接覆盖为 NULL。
后果：原内存（10个int的空间）彻底丢失，无法再被释放，导致内存泄漏。

空指针操作风险： 未检查返回值直接使用 pz1，若 realloc失败，后续操作 pz1 的行为会引发未定义行为（如访问空指针导致程序崩溃）。
使用方法二可以很好的避免发生这些错误。

4.常见的动态内存错误

4.1对NULL指针的解引用操作

int main()
{
	int* p = (int*)malloc(INT_MAX);
	*p = 10;
	printf("%d\n", *p);
	free(p);
	p = NULL;
	return 0;
}

上述代码我们没有检查malloc函数创建失败返回空指针的可能，实际上改代码p返回的就是空指针，而我们对空指针进行解引用操作的行为时错误的，所以大家在利用malloc等函数申请内存时一定要检查是否成功申请，否则返回的可能是空指针。

4.2对动态开辟空间的越界访问

int main()
{
	int* p = (int*)malloc(10 * sizeof(int));
	if (p == NULL)
	{
		perror("malloc");
		return 1;
	}
	for (int i = 0; i < 12; i++)
	{
		*(p + i) = i;//越界访问
	}
	free(p);
	p = NULL;
	return 0;
}

上述代码我们利用malloc函数像内存申请了40个字节的空间，但我们在for循环中却访问了48个字节的空间，在编译时程序肯定是会崩溃的，这属于越界访问。

4.3对非动态开辟内存使用free释放

int main()
{
	int a = 10;
	int* p = &a;
	free(p);
	p = NULL;
	return 0;
}

free函数只能释放动态开辟的内存，他不能释放栈空间的内存空间，上述代码也会报错。

4.4使用free释放一块动态开辟内存的一部分

int main()
{
	int* p = (int*)malloc(100);
	p++;
	free(p);
	p = NULL;
	return 0;
}

free函数不能这样释放内存，他的参数只能是开辟动态内存的起始地址，上述代码也会在编译时报错。

4.5对同一块动态内存多次释放

int main()
{
	int* p = (int*)malloc(100);
	free(p);
	free(p);
	return 0;
}

free函数是不能对一块动态内存进行重复释放，编译器会报错。

4.6动态开辟内存忘记释放（内存泄露）

void test()
{
	int* p = (int*)malloc(100);
	if (p != NULL)
	{
		*p = 20;
	}
}

int main()
{
	test();
	return 0;
}

上述代码在运行时编译器虽然不会直接报错，但他是极不安全的，存在内存泄漏问题。

切记：动态开辟的空间⼀定要释放，并且正确释放。

5.动态内存经典笔试题分析

5.1题目1：

void GetMemory(char* p)
{
	p = (char*)malloc(100);
}

void Test(void)
{
	char* str = NULL;
	GetMemory(str);
	strcpy(str, "hello world");
	printf(str);
}

上述代码运行Test函数会产生什么样的结果？
什么都不会打印。

看起来问题不大，其实错漏百出：
指针传递问题（最核心问题）： GetMemory函数接收的是char* p的副本（值传递）， 函数内修改的是副本指针，不影响外部的str 导致str在Test函数中始终为NULL ，参考传值调用
内存泄漏： malloc分配的内存没有被释放，而且由于指针问题，分配的内存甚至无法被访问
空指针解引用： strcpy试图向NULL指针写入数据，会导致程序崩溃

我们这里提供两种方法改进。
第一种，改用二级指针，类似传址调用。
在这里插入图片描述

第二种，函数返回指针。在这里插入图片描述

exit(EXIT_FAILURE);包含在头文件#include<stdlib.h>
exit() 函数：立即终止程序，清理缓冲区并关闭所有打开的文件。
EXIT_FAILURE：标准宏（通常值为1），表示程序异常终止。

5.2题目2：

char* GetMemory(void)
{
	char p[] = "hello world";
	return p;
}

void Test(void)
{
	char* str = NULL;
	str = GetMemory();
	printf(str);
}

int main()
{
	Test();
	return 0;
}

打印结果：在这里插入图片描述
这个代码犯了一个很严重的错误，p数组他是一个局部变量，他只能在GetMemory函数内使用，出了该函数它的内存空间就被释放掉了，该函数返回的也是悬空指针，建议使用动态分配堆内存代替数组。

> 记住，永远不要返回局部变量的地址

5.3题目3：

void GetMemory(char** p, int num)
{
	*p = (char*)malloc(num);
}

void Test(void)
{
	char* str = NULL;
	GetMemory(&str, 100);
	strcpy(str, "hello");
	printf(str);
}

int main()
{
	Test();
	return 0;
}

上述代码是可以打印正常结果的，但是还是我们上面所说的一些常见的动态内存错误，没有检查malloc返回的是否为空指针，没有释放动态开辟的内存，大家不要认为自己不会犯这种错误，作者反复提醒，望注意。

5.4题目4：

void Test(void)
{
	char* str = (char*)malloc(100);
	strcpy(str, "hello");
	free(str);
	if (str != NULL)
	{
		strcpy(str, "world");
		printf(str);
	}
}

int main()
{
	Test();
	return 0;
}

这个代码同样为检查malloc函数创建失败的可能，但这题还有更大的错误，str经free函数释放后，变成了一个悬空指针，对悬空指针进行再操作的行为是未定义的（可能导致崩溃和数据损坏），所以我们应该养成释放后即使置空指针的习惯。
在这里插入图片描述

6.柔性数组

6.1柔性数组的介绍

在C99中，结构体的最后一个元素允许是未知大小的数组，这就叫柔性数组成员，如下：

struct st_type
{
	int i;
	int arr[];
};

柔性数组的特点：
• 结构中的柔性数组成员前⾯必须⾄少存在⼀个其他成员。
• sizeof 返回的这种结构⼤⼩不包括柔性数组的内存。
• 包含柔性数组成员的结构⽤malloc ()函数进⾏内存的动态分配，并且分配的内存应该⼤于结构的⼤⼩，以适应柔性数组的预期⼤⼩。

看下面代码：
在这里插入图片描述

6.2柔性数组的使用

typedef struct st_type
{
	int i;
	int arr[];
}type_1;

int main()
{
	type_1* pz = (type_1*)malloc(sizeof(type_1) + 20 * sizeof(int));
	pz->i = 100;
	for (int i = 0; i < 20; i++)
	{
		pz->arr[i] = i;
	}
	free(pz);
	pz = NULL;
	return 0;
}

上述的代码也可以设计成下面的形式：

typedef struct st_type
{
	int i;
	int* ps;
}type_1;

int main()
{
	type_1* pz = (type_1*)malloc(sizeof(type_1));
	pz->i = 100;
	pz->ps = (int*)malloc(20 * sizeof(int));
	for (int i = 0; i < 20; i++)
	{
		pz->ps[i] = i;
	}
	free(pz->ps);
	pz->ps = NULL;
	free(pz);
	pz = NULL;
	return 0;
}

上述代码并没有检查malloc返回空指针的可能性，这是可以改进的一点。

除此以外，你认为代码一和代码二哪个更优秀呢？
代码一更优秀，理由有二：
第⼀个好处是：⽅便内存释放，如果我们的代码是在⼀个给别⼈⽤的函数中，你在⾥⾯做了⼆次内存分配，并把整个结构体返回给⽤⼾。⽤⼾调⽤free可以释放结构体，但是⽤⼾并不知道这个结构体内的成员也需要free，所以你不能指望⽤⼾来发现这个事。所以，如果我们把结构体的内存以及其成员要的内存⼀次性分配好了，并返回给⽤⼾⼀个结构体指针，⽤⼾做⼀次free就可以把所有的内存也给释放掉。
第⼆个好处是：这样有利于访问速度，连续的内存有益于提⾼访问速度，也有益于减少内存碎⽚。

加深结构体中成员数组与指针理解阅读

7.总结C/C++语言程序内存区域划分

在这里插入图片描述

C/C++程序内存分配的⼏个区域：

  1. 栈区（stack）：在执⾏函数时，函数内局部变量的存储单元都可以在栈上创建，函数执⾏结束时 这些存储单元⾃动被释放。栈内存分配运算内置于处理器的指令集中，效率很⾼，但是分配的内 存容量有限。栈区主要存放运⾏函数⽽分配的局部变量、函数参数、返回数据、返回地址等。
  2. 堆区（heap）：⼀般由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收 。分配⽅ 式类似于链表。
  3. 数据段（静态区）（static）存放全局变量、静态数据。程序结束后由系统释放。
  4. 代码段：存放函数体（类成员函数和全局函数）的⼆进制代码。

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

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

AutoSAR从概念到实践系列之MCAL篇(二)——Mcu模块配置及代码详解(上)

AutoSAR从概念到实践系列之MCAL篇(二)——Mcu模块配置及代码详解(上)

欢迎大家学习我的《AutoSAR从概念到实践系列之MCAL篇》系列课程，我是分享人M哥，目前从事车载控制器的软件开发及测试工作。 学习过程中如有任何疑问，可底下评论！ 如果觉得文章内容在工作学习中有帮助到你，麻烦点赞收藏评论+关注走一波！感谢各位的支持！ 根据上一篇内容中…
阅读更多...
【数据库】事务

【数据库】事务

目录 1. 什么是事务&#xff1f; 2. 事务的ACID特性 3. 为什么使用事务&#xff1f; 4. 如何使用事务 4.1 查看支持事务的存储引擎 4.2 语法 4.3 保存点 4.4 自动/手动提交事务 5. 事物的隔离性和隔离级别 5.1 什么是隔离性 5.2 隔离级别 5.3 查看和设置隔离级别 1…
阅读更多...
使用Redis实现实时排行榜

使用Redis实现实时排行榜

为了实现一个实时排行榜系统&#xff0c;我们可以使用Redis的有序集合&#xff08;ZSet&#xff09;&#xff0c;其底层通常是使用跳跃表实现的。有序集合允许我们按照分数&#xff08;score&#xff09;对成员&#xff08;member&#xff09;进行排序&#xff0c;因此非常适合…
阅读更多...
6. 字符串

6. 字符串

1.反转字符串 2.替换数字 3.反转字符串中的单词 4.KMP算法 5.重复的子字符串&#xff08;看具体证明&#xff09; 太6了&#xff08;真不是人做的&#xff09;
阅读更多...
Redis ④-通用命令

Redis ④-通用命令

Redis 是一个 客户端-服务器 结构的程序&#xff0c;这与 MySQL 是类似的&#xff0c;这点需要牢记&#xff01;&#xff01;&#xff01; Redis 固然好&#xff0c;但也不是任何场景都适合使用 Redis&#xff0c;一定要根据当前的业务需求来选择是否使用 Redis Redis 通用命令…
阅读更多...
卷积神经网络（CNN）与VGG16在图像识别中的实验设计与思路

卷积神经网络（CNN）与VGG16在图像识别中的实验设计与思路

卷积神经网络&#xff08;CNN&#xff09;与VGG16在图像识别中的实验设计与思路 以下从基础原理、VGG16架构解析、实验设计步骤三个层面展开说明&#xff0c;结合代码示例与关键参数设置&#xff0c;帮助理解其应用逻辑。 一、CNN与VGG16的核心差异 基础CNN结构 通常包含33~55个…
阅读更多...
玩机搞机基本常识-------小米OLED屏幕机型怎么设置为永不休眠_手机不息屏_保持亮屏功能 拒绝“烧屏” ？

玩机搞机基本常识-------小米OLED屏幕机型怎么设置为永不休眠_手机不息屏_保持亮屏功能 拒绝“烧屏” ？

前面在帮一位粉丝解决小米OLED机型在设置----锁屏下没有永不休眠的问题。在这里&#xff0c;大家要明白为什么有些小米机型有这个设置有的没有的原因。区分OLED 屏幕和 LCD屏幕的不同。从根本上拒绝烧屏问题。 OLED 屏幕的一些优缺点&#x1f49d;&#x1f49d;&#x1f49d; …
阅读更多...
2021-11-14 C++三七二十一数

2021-11-14 C++三七二十一数

缘由c编程怎么写&#xff0c;紧急求解-编程语言-CSDN问答 void 三七二十一数() {//缘由https://ask.csdn.net/questions/7566632?spm1005.2025.3001.5141int n 0, a 0, b 0, p 1;std::cin >> n;while (n--){std::cin >> a >> b;while (a<b){if (a %…
阅读更多...
安全生产责任制考核方案与风险评估

安全生产责任制考核方案与风险评估

安全生产责任制考核方案旨在通过有效落实国家安全生产法律法规&#xff0c;确保煤矿及相关单位的安全管理机制建立与运行&#xff0c;减少生产安全事故的发生。方案强调通过定期的量化考核和系统化评估&#xff0c;确保安全生产责任的有效落实。考核涉及集团公司各单位及相关人…
阅读更多...
强制重装及验证onnxruntime-gpu是否正确工作

强制重装及验证onnxruntime-gpu是否正确工作

#工作记录 我们经常会遇到明明安装了onnxruntime-gpu或onnxruntime后&#xff0c;无法正常使用的情况。 一、强制重新安装 onnxruntime-gpu 及其依赖 # 强制重新安装 onnxruntime-gpu 及其依赖 pip install --force-reinstall --no-cache-dir onnxruntime-gpu1.18.0 --extra…
阅读更多...
设计模式 --- 外观模式

设计模式 --- 外观模式

外观模式是一种结构型设计模式&#xff0c;为复杂子系统提供​​统一的高层接口​​&#xff0c;通过定义一个外观类来​​简化客户端与子系统的交互​​&#xff0c;降低系统耦合度。这种模式隐藏了子系统的复杂性&#xff0c;将客户端与子系统的实现细节隔离开来&#xff0c;…
阅读更多...
用python脚本怎么实现：把一个文件夹里面.png文件没有固定名称，复制到另外一个文件夹按顺序命名？

用python脚本怎么实现：把一个文件夹里面.png文件没有固定名称，复制到另外一个文件夹按顺序命名？

环境&#xff1a; python3.10 Win10 问题描述&#xff1a; 用python脚本怎么实现&#xff1a;怎么把一个文件夹里面.png文件没有固定名称&#xff0c;复制到另外一个文件夹按顺序命名&#xff1f; 解决方案&#xff1a; 1.新建一个脚本文件&#xff0c;内容如下&#xff1…
阅读更多...
山东大学软件学院创新项目实训开发日志（20）之中医知识问答自动生成对话标题bug修改

山东大学软件学院创新项目实训开发日志（20）之中医知识问答自动生成对话标题bug修改

在原代码中存在一个bug&#xff1a;当前对话的标题不是现有对话的用户的第一段的前几个字&#xff0c;而是历史对话的第一段的前几个字。 这是生成标题的逻辑出了错误&#xff1a; 当改成size()-1即可
阅读更多...
ZYNQ笔记（十）：XADC （PS XDAC 接口）

ZYNQ笔记（十）：XADC （PS XDAC 接口）

版本&#xff1a;Vivado2020.2&#xff08;Vitis&#xff09; 任务&#xff1a;通过 PS XADC 接口读取XADC测量的芯片温度、供电电压&#xff0c;并通过串口打印出来 目录 一、介绍 二、硬件设计 三、软件设计 四、效果 一、介绍 XADC&#xff08;Xilinx Analog-to-Digital…
阅读更多...
【C++】多态 - 从虚函数到动态绑定的核心原理

【C++】多态 - 从虚函数到动态绑定的核心原理

&#x1f4cc; 个人主页&#xff1a; 孙同学_ &#x1f527; 文章专栏&#xff1a;C &#x1f4a1; 关注我&#xff0c;分享经验&#xff0c;助你少走弯路 文章目录 1. 多态的概念2. 多态的定义及实现2.1 多态的构成条件2.1.1实现多态还有两个必须重要条件&#xff1a;2.1.2 虚…
阅读更多...
免费图片软件,可矫正倾斜、调整去底效果

免费图片软件,可矫正倾斜、调整去底效果

软件介绍 有个超棒的软件要给大家介绍一下哦&#xff0c;它就是——ImgTool&#xff0c;能实现图片漂白去底的功能&#xff0c;而且重点是&#xff0c;它是完全免费使用的呢&#xff0c;功能超强大&#xff01; 软件特点及使用便捷性 这软件是绿色版本的哟&#xff0c;就像一…
阅读更多...
Kubernetes(k8s)学习笔记(二)--k8s 集群安装

Kubernetes(k8s)学习笔记(二)--k8s 集群安装

1、kubeadm kubeadm 是官方社区推出的一个用于快速部署 kubernetes 集群的工具。这个工具能通过两条指令完成一个 kubernetes 集群的部署&#xff1a; 1.1 创建一个 Master 节点$ kubeadm init 1.2 将一个 Node 节点加入到当前集群中$ kubeadm join <Master 节点的 IP 和…
阅读更多...
【论文阅读笔记】模型的相似性

【论文阅读笔记】模型的相似性

文章目录 The Platonic Representation Hypothesis概述表征收敛的依据表征收敛的原因实验依据未来发展的局限性 Similarity of Neural Network Representations Revisited概述问题背景相似性度量s的性质可逆线性变换不变性正交变换不变性各向同性缩放不变性典型度量满足的性质 …
阅读更多...
扣子智能体1：创建Agent与写好提示词

扣子智能体1：创建Agent与写好提示词

文章目录 Agent是什么使用扣子创建智能体写好提示词生成故事发布Agent 最近学了很久多agent协同、编排工作流等与agent有关的内容&#xff0c;这里用一系列博客&#xff0c;把这些操作都一步一个脚印的记录下来。 这里我们以一个Agent为例&#xff1a;睡前灵异小故事 Agent是…
阅读更多...
Spring源码中关于抽象方法且是个空实现这样设计的思考

Spring源码中关于抽象方法且是个空实现这样设计的思考

Spring源码抽象方法且空实现设计思想 在Spring源码中onRefresh()就是一个抽象方法且空实现&#xff0c;而refreshBeanFactory()方法就是一个抽象方法。 那么Spring源码中onRefresh方法定义了一个抽象方法且是个空实现&#xff0c;为什么这样设置&#xff0c;好处是什么。为…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023