动态(堆区)内存管理与内存泄漏规避
个人主页: 流年如夢
专栏: 《C语言》
文章目录
- 一.动态内存分配
- 1.1为什么需要动态内存分配
- 二.malloc与free
- 2.1malloc(函数原型、功能)
- 2.2free(函数原型、功能)
- 2.3举例
- 三.calloc与realloc
- 3.1calloc(函数原型、功能)
- 3.2realloc(函数原型、功能)
- 四.常见的动态内存错误
- 4.1对NULL(空指针)解引用
- 4.2动态空间越界访问
- 4.3对非动态内存free
- 4.4只释放一部分动态内存
- 4.5重复释放同一块内存
- 4.6忘记释放导致内存泄漏
- 五.柔性数组
- 5.1声明
- 5.2特点
- 5.3如何使用
- 六.C/C++程序内存区域划分(栈区、堆区、静态区)
- 🎯总结
- ⚠️易错点
Ladies and gentlemen,本篇文章讲的是动态内存管理,下面将带领大家学习malloc、free、calloc、realloc四大函数、动态内存常见错误、柔性数组与程序内存区域划分;全程高能,不容错过!!!
前言 在C语言中,普通变量与数组在栈区开辟空间,大小固定、无法更改。而实际开发中,常常需要在运行时决定内存大小、能够自由扩容与释放的空间。为此,C语言提供了动态内存管理机制,允许程序猿手动在堆区申请、使用、释放内存。本篇文章将带大家从基础用法到底层坑点全覆盖,彻底避开内存泄漏、野指针、越界等致命错误。
一.动态内存分配
1.1为什么需要动态内存分配
相对于我们平常用的内存开辟方式而言,动态内存的优势在于:
- 运行时按需申请、按需释放
- 空间大小可随时扩容或缩容
- 存放在
堆区,空间充足
它弥补了空间大小固定不可变,例如:
intval=20;//栈上开辟4字节chararr[10]={0};//数组长度栈上开辟10字节二.malloc与free
2.1malloc(函数原型、功能)
头文件为:<stdlib.h>
函数原型:
void*malloc(size_tsize);功能:
1.在堆区申请
连续内存空间
2. 如果开辟成功,返回起始地址;如果开辟失败,返回NULL
3. 返回·void*·,由自己决定类型
4 .内存不初始化,内容随机
2.2free(函数原型、功能)
函数原型:
voidfree(void*ptr);功能:
- 释放或回收动态开辟的内存
- 如果
ptr是NULL,则什么都不做;如果ptr不是动态开辟,则行为未定义
2.3举例
#include<stdio.h>#include<stdlib.h>//头文件不能少了intmain(){intnum=0;scanf("%d",&num);int*ptr=(int*)malloc(num*sizeof(int));//申请num个int空间if(ptr!=NULL)//检查是否开辟成功{for(inti=0;i<num;i++){*(ptr+i)=0;}}free(ptr);ptr=NULL;return0;}🧐分析:先申请num个int空间,再检查是否开辟成功(ptr != NULL),最后free释放后手动将指针置NULL,避免野指针
三.calloc与realloc
3.1calloc(函数原型、功能)
函数原型:
void*calloc(size_tnum,size_tsize);功能:
- 为
num个大小为size的元素开辟空间- 自动把内存初始化为0
- 与
malloc唯一区别就是calloc会初始化
举个例子:
#include<stdio.h>#include<stdlib.h>intmain(){int*p=(int*)calloc(10,sizeof(int));if(p!=NULL){for(inti=0;i<10;i++){printf("%d ",*(p+i));}}free(p);p=NULL;return0;}🧐分析:先申请10个int,并全部初始化为0
运行结果:
3.2realloc(函数原型、功能)
函数原型:
void*realloc(void*ptr,size_tsize);功能:
- 对已动态开辟的内存重新调整大小
ptr--> 要调整的内存地址size--> 调整后的新大小(字节)- 返回调整后的起始地址
我们知道realloc是用来对已动态开辟的内存重新调整大小的,会有两种情况:
- 原有空间后有足够空间,直接向后扩容
- 原有空间后无空间,重新找整块空间,拷贝数据后返回新地址
如何使用realloc,如下所示:
#include<stdio.h>#include<stdlib.h>intmain(){int*ptr=(int*)malloc(100);if(ptr==NULL){perror("malloc");return1;}int*tmp=(int*)realloc(ptr,1000);//<<=扩容,由100->1000if(tmp!=NULL){ptr=tmp;}//...free(ptr);ptr=NULL;return0;}🧐分析:绝对不能直接用原指针(ptr)接收realloc返回值,并且申请失败返回NULL,会导致原地址丢失,造成内存泄漏,应该用临时变量(tmp)在判断成功后再赋值
四.常见的动态内存错误
4.1对NULL(空指针)解引用
voidtest(){int*p=(int*)malloc(INT_MAX/4);*p=20;free(p);}🧐分析:malloc申请过大内存,极易开辟失败,返回NULL;上面代码没有判断指针是否为空,直接对NULL解引用;程序会直接崩溃,出现段错误;所以必须先判断p != NULL再使用
4.2动态空间越界访问
voidtest(){int*p=(int*)malloc(10*sizeof(int));for(inti=0;i<=10;i++){*(p+i)=i;}free(p);}🧐分析:申请了10个int空间,在for循环里最后i=10,但我们的下标最大只有9,超出申请范围,导致内存越界;所以我们应该将i<=10改成i<10即可
4.3对非动态内存free
voidtest(){inta=10;int*p=&a;free(p);}🧐分析:变量a是局部变量,是在栈区,然而free只能释放堆区的动态内存(如malloc、calloc、realloc);我们知道,栈内存由系统自动释放,用不上free
4.4只释放一部分动态内存
voidtest(){int*p=(int*)malloc(100);p++;free(p);}🧐分析:p++后,指针不再指向动态内存的起始地址;free只能释放申请时返回的起始地址;此时调用free,导致非法释放;所以不能移动原指针或者用临时指针遍历
4.5重复释放同一块内存
voidtest(){int*p=(int*)malloc(100);free(p);free(p);}🧐分析:已经free过一次了,再free一次是属于重复释放,会导致堆破坏,程序崩溃;free过后应该让p成为空指针更安全,即p=NULL
4.6忘记释放导致内存泄漏
voidtest(){int*p=(int*)malloc(100);}🧐分析:当函数使用完后指针p会被销毁,但依然会占用堆内存,从而造成内存泄漏,长期运行会耗尽内存;我们应该在不使用的时候让指针free,即free(p)
五.柔性数组
C99允许结构体最后一个成员是未知大小的数组,被称为柔性数组
5.1声明
structst_type{inti;inta[];//<--这个便是柔性数组成员(举例)};5.2特点
如下:
- 前面至少有一个成员(例如上面
int a[]前面有一个int i)sizeof不计算柔性数组大小- 必须用
malloc动态分配空间
5.3如何使用
举例(分配结构体再加上100个int空间):
typedefstructst_type{inti;inta[];}type_a;intmain(){type_a*p=(type_a*)malloc(sizeof(type_a)+100*sizeof(int));p->i=100;for(inti=0;i<100;i++){p->a[i]=i;}free(p);p=NULL;return0;}🧐分析:在这里只需一次free,方便释放;内存连续,访问更快、碎片更少
六.C/C++程序内存区域划分(栈区、堆区、静态区)
| 区域名称 | 存放内容 | 管理方式 | 特点 |
|---|---|---|---|
内核空间 | 系统内核、驱动 | 操作系统 | 用户不可读写 |
| 栈区 | 局部变量、函数参数、返回地址 | 自动创建、自动销毁 | 空间小、速度快、地址向下增长 |
内存映射段 | 文件映射、动态库 | 操作系统 | 用于共享库、文件映射 |
| 堆区 | malloc、calloc、realloc动态内存 | 手动申请、手动释放 | 空间大、灵活、易产生内存碎片、地址向上增长 |
| 静态区(数据段) | 全局变量、static变量 | 程序结束释放 | 生命周期贯穿整个程序 |
代码段 | 执行代码、只读常量 | 操作系统 | 只读、不可修改 |
相关截图如下所示:
🎯总结
- 动态内存函数
malloc、calloc、realloc、free,都在头文件<stdlib.h> malloc申请不初始化;calloc申请并初始化为 0realloc扩容必须用临时变量接收,防止丢失地址- 必须检查返回值是否为
NULL(空指针),避免空指针崩溃 - 动态内存常见错误:空指针、越界、非法
free、重复free、内存泄漏 - 柔性数组方便释放、内存连续,是结构体动态扩容的最佳方案
- 栈区自动管理,堆区手动管理,分清区域避免野指针
⚠️易错点
- 不检查
malloc返回值,直接使用导致崩溃realloc直接赋值给原指针,造成内存泄漏free后不置空,产生野指针- 栈空间地址返回给上层使用,非法访问
- 传值调用想修改指针,导致无法分配成功
- 忘记释放动态内存,造成长期内存泄漏
- 柔性数组前面无成员、或用非动态方式创建
👀 关注我们一路同行,从入门到大师,慢慢沉淀、稳步成长
❤️ 点赞鼓励原创,让优质内容被更多人看见
⭐ 收藏收好核心知识点与实战技巧,需要时随时查阅
💬 评论分享你的疑问或踩坑经历,一起交流避坑、共同进步
