【C语言】动态内存管理(C语言的难点与精华,数据结构的前置知识,你真的掌握了吗?)

文章目录

  • 引言
  • 一、为什么要动态内存分配
  • 二、动态内存分配的相关函数
    • 2.1 malloc
    • 2.2 free
    • 2.3 calloc
    • 2.4 realloc
  • 三、常见的动态内存的错误
    • 3.1 对NULL指针的解引用
    • 3.2 对动态内存越界访问
    • 3.3 对非动态内存释放
    • 3.4 对动态内存部分释放
    • 3.5 对动态内存多次释放
    • 3.6 未对动态内存释放(内存泄漏)
  • 四、动态内存经典笔试题分析
    • 4.1 题目一
    • 4.2 题目二
    • 4.3 题目三
    • 4.4 题目四
  • 五、柔性数组
    • 5.1 柔性数组的特点
    • 5.2 柔性数组的使用
  • 六、C/C++中程序内存区域划分

引言

学习专栏

《零基础学C语言》
《数据结构世界》

俗话说的好,要想学好数据结构(数据结构世界,对数据结构感兴趣的小伙伴可以移步),就必须学好以下三方面知识:

  1. 指针
    不允许你还不了解指针的那些事(一)(内存和地址+指针变量+指针运算+野指针+传址调用)
    不允许你还不了解指针的那些事(二)(数组传参的本质+冒泡排序+数组指针+指针数组)
  2. 结构体
    自定义类型:结构体(你真的掌握了内存对齐,位段吗?)
  3. 动态内存管理

前两方面的知识在往期已经详细讲解,今天我们就来学习最后一方面的知识——动态内存管理

一、为什么要动态内存分配

我们已经掌握的内存开辟方式有:

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

但是上述的开辟空间的方式有两个特点:

  • 空间开辟大小是固定的。
  • 数组在申明的时候,必须指定数组的长度,数组空间⼀旦确定了大小不能调整

所以,为了能在程序运行中,根据需求灵活地调整空间大小,C语言引入了动态内存管理。

二、动态内存分配的相关函数

2.1 malloc

C语言提供了一个动态内存开辟的函数:

void* malloc (size_t size);

这个函数可以开辟一块连续的内存空间,并返回指向这块空间的指针

  • 如果开辟成功,则返回指向开辟好空间的指针。
  • 如果开辟失败,则返回NULL 指针,因此malloc的返回值一定要做检查。
  • 返回值的类型是 void* ,所以malloc函数并不知道开辟空间的类型,具体在使用的时候使用者自己来决定。
int main()
{//动态开辟10个整型空间int* a = (int*)malloc(10 * sizeof(int));if (a == NULL)//开辟不成功,返回NULL{perror("malloc fail");return 1;}//开辟成功,使用该空间//...return 0;
}

注意:malloc(0)——开辟0个字节空间,是标准未定义行为,具体取决于编译器

2.2 free

C语言提供了另外一个函数free,可以动态内存的释放和回收:

void free (void* ptr);

free函数用来释放动态开辟的内存

  • 如果参数 ptr 是指向动态内存空间的指针,则释放该空间
  • 如果参数 ptr 是NULL指针,则不作任何处理。
int main()
{//动态开辟10个整型空间int* a = (int*)malloc(10 * sizeof(int));if (a == NULL)//开辟不成功,返回NULL{perror("malloc fail");return 1;}//开辟成功,使用该空间//使用完毕,释放该空间free(a);a = NULL;return 0;
}

注意:如果参数 ptr 指向的空间不是动态开辟的,那free函数的行为是未定义的

2.3 calloc

C语言还提供了一个函数叫 calloc , calloc 函数也用来动态内存分配。

void* calloc (size_t num, size_t size);

其实,它与malloc很相似,区别在于calloc会将开辟的连续空间,每个字节都初始化为0

int main()
{//动态开辟10个整型空间并初始化为0int* a = (int*)calloc(10, sizeof(int));if (a == NULL)//开辟不成功,返回NULL{perror("calloc fail");return 1;}//开辟成功,使用该空间//使用完毕,释放该空间free(a);a = NULL;return 0;
}

2.4 realloc

realloc函数的出现让动态内存管理更加灵活。
为了合理的运用内存,所以在开辟空间后觉得太大或太小,就可以使用realloc进行调整。

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

realloc调整成功,会返回调整后指向这块空间的指针

  • ptr 是调整前空间的指针
  • size 是调整后的新大小
  • 这个函数调整原内存空间大小的基础上,还会将原来内存中的数据移动到新的空间。

realloc在调整内存空间的是存在两种情况:

  • 情况1:原有空间之后有足够大的空间

这个时候,realloc会直接在原有空间后面直接追加开辟。

  • 情况2:原有空间之后没有足够大的空间

这个时候,realloc就会再找一块足够大空间,一次性开辟完,再将原数据拷贝过去。

int main()
{//动态开辟10个整型空间int* a = (int*)malloc(10 * sizeof(int));if (a == NULL)//开辟不成功,返回NULL{perror("malloc fail");return 1;}//调整空间,扩大为20个整型空间int* tmp = (int*)realloc(a, 20 * sizeof(int));if (tmp == NULL)//开辟不成功,返回NULL{perror("realloc fail");return 1;}//调整成功,将空间地址给aa = tmp;//使用空间...free(a);a = NULL;return 0;
}

注意

  • 用临时变量tmp来接受realloc调整后的空间地址
  • 因为如果用a接收,万一调整失败返回NULL,还会丢掉原本空间的地址

三、常见的动态内存的错误

3.1 对NULL指针的解引用

void test()
{int *p = (int *)malloc(INT_MAX/4);*p = 20;//如果p的值是NULL,就会有问题free(p);
}

3.2 对动态内存越界访问

void test()
{int i = 0;int *p = (int *)malloc(10*sizeof(int));if(NULL == p){exit(-1);//终止程序}for(i=0; i<=10; i++){*(p+i) = i;//当i是10的时候越界访问}free(p);
}

3.3 对非动态内存释放

void test()
{int a = 10;int *p = &a;free(p);//ok?
}

3.4 对动态内存部分释放

void test()
{int *p = (int *)malloc(100);p++;free(p);//p不再指向动态内存的起始位置
}

3.5 对动态内存多次释放

void test()
{int *p = (int *)malloc(100);free(p);free(p);//重复释放
}

3.6 未对动态内存释放(内存泄漏)

因为程序终止会回收所有空间,所以这里用死循环来模拟程序运行中不释放动态内存,会导致内存泄漏。

int main()
{int* a = (int*)malloc(10 * sizeof(int));while(1);return 0;
}

总结动态开辟的内存一定要释放,并且要正确释放

四、动态内存经典笔试题分析

请先自行思考哦,不要立马看解析~

请问以下题目运行Test 函数会有什么样的结果?

4.1 题目一

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

结果:

  • 程序崩溃,内存泄漏

解析:

  • GetMemory函数中,动态开辟了100个字节空间。但是p是一个形参,形参是实参的一份临时拷贝,对形参的影响无法改变实参,所以str还是NULL。
  • 在运行strcpy函数时,因为要拷贝的目的地是NULL,所以程序崩溃。
  • 同时,动态开辟的空间未释放,还导致了内存泄漏。

4.2 题目二

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

结果:

  • 有可能打印出乱码

解析:

  • GetMemory函数中,开辟了p数组。p是局部变量,出了函数作用域就会销毁(空间被回收)。
  • 所以,str接收p的地址时,此时已经指向一块被回收的空间。
  • 打印该空间的内容,是否为乱码,取决于该空间的内容是否被其余数据覆盖

4.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);
}

结果:

  • 内存泄漏,有可能程序崩溃

解析:

  • 这次进行传址调用,二级指针解引用,确实能改变外部str
  • 但是接收到空间地址后,未进行检查,如果开辟失败,为NULL,则strcpy时依旧会程序崩溃
  • 同时未对动态内存释放,造成内存泄漏

4.4 题目四

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

结果:

  • 后果未知

解析:

  • 假设能正常开辟动态内存
  • strcpy拷贝完hello,并free进行释放
  • 因为free不会自动将str置为NULL,所以以下判断不起作用,“拦不住”str这个野指针
  • 最后strcpy将world拷贝到已被释放的空间,再进行打印(对已被释放的动态内存进行操作,后果未知,十分危险,很严重!)

五、柔性数组

也许你从来没有听说过柔性数组(flexible array)这个概念,但是它确实是存在的。
C99 中,结构中的最后⼀个元素允许是未知大小的数组,这就叫做『柔性数组』成员。

typedef struct st_type
{int i;int a[0];//柔性数组成员
}type_a;

有些编译器会报错无法编译可以改成:

typedef struct st_type
{int i;int a[];//柔性数组成员
}type_a;

5.1 柔性数组的特点

  • 结构中的柔性数组成员前面必须至少一个其他成员
  • sizeof 返回的这种结构大小不包括柔性数组的内存
  • 包含柔性数组成员的结构用malloc ()函数进行内存的动态分配,并且分配的内存应该大于结构的大小,以适应柔性数组的预期大小。
typedef struct st_type
{int i;int a[0];//柔性数组成员
}type_a;
int main()
{printf("%d\n", sizeof(type_a));//输出的是4return 0;
}

5.2 柔性数组的使用

int main()
{int i = 0;type_a *p = (type_a*)malloc(sizeof(type_a)+100*sizeof(int));//使用空间p->i = 100;for(i=0; i<100; i++){p->a[i] = i;}free(p);return 0;
}

这样柔性数组成员a,相当于获得了100个整型元素的连续空间。

六、C/C++中程序内存区域划分

C/C++程序内存分配的几个区域:

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

看到这里了还不给博主扣个:
⛳️ 点赞☀️收藏 ⭐️ 关注!
💛 💙 💜 ❤️ 💚💓 💗 💕 💞 💘 💖
拜托拜托这个真的很重要!
你们的点赞就是博主更新最大的动力!
有问题可以评论或者私信呢秒回哦。

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

v-md-editor高级使用之自定义目录

​ 官方给出的目录设置参见&#xff1a;https://code-farmer-i.github.io/vue-markdown-editor/zh/senior/toc.html#%E7%9B%B8%E5%85%B3%E9%85%8D%E7%BD%AE ​ 在做实际使用中往往可能需要将目录结构独立出来&#xff0c;经过近一天的研究终于明白其实现逻辑&#xff0c;并将目…

3.qml 3D-Node类学习

Node类是在View3D 中的对象基础组件&#xff0c;用于表示3D空间中的对象&#xff0c;类似于Qt Quick 2D场景中的Item&#xff0c;介绍如下所示&#xff1a; 如上图可以看到&#xff0c;Node类的子类非常多&#xff0c;比如Model类(显示3D模型)、ParticleSystem3D粒子系统类、Li…

苹果计划将全球1/4的IPhone产能转移至印度

KlipC报道&#xff1a;据相关人士报道&#xff0c;苹果希望在未来2到3年内每年在印度生产超过5000万部iphone&#xff0c;要是该计划得以实现&#xff0c;印度将占领全球iPhone产量的四分之一。 KlipC的分析师Alex Su表示&#xff1a;“此次iPhone15推出是苹果印度制造计划的一…

认知能力测验,①如何破解数字推理类测试题?

校园招聘&#xff08;秋招春招&#xff09;&#xff0c;最为常见的认知能力测验&#xff0c;在线工具网将整理分析关于认知能力测验的系列文章&#xff0c;希望能帮助大家顺利通过认知能力测评&#xff0c;找到自己心仪的工作。 数字推理测试&#xff0c;是我们在求职中经常会…

C# 获取Windows所有窗口句柄

写在前面 在做录屏或截屏操作时&#xff0c;需要获取当前正在运行中的桌面程序句柄&#xff0c;在网上查找资源的的时候&#xff0c;发现了一个工具类还不错&#xff0c;这边做个验证记录。 参考代码 public class WindowApi{//寻找目标进程窗口 [DllImport("USER…

【大数据】Hudi 核心知识点详解(二)

&#x1f60a; 如果您觉得这篇文章有用 ✔️ 的话&#xff0c;请给博主一个一键三连 &#x1f680;&#x1f680;&#x1f680; 吧 &#xff08;点赞 &#x1f9e1;、关注 &#x1f49b;、收藏 &#x1f49a;&#xff09;&#xff01;&#xff01;&#xff01;您的支持 &#x…

商用机器人,不好用是原罪

热潮褪去后&#xff0c;所有的问题都汇总成一个词&#xff0c;不好用。 从炙手可热到“大玩具” 一款产品好用与否&#xff0c;更多时候人们不会关心它先进的技术、工艺、用料&#xff0c;也不会考虑所谓的潮流趋势或前景&#xff0c;只会用最朴素的直观感受告诉你&#xff0…

【Redis】Redis.conf详解

Redis.conf详解 启动的时候&#xff0c;就通过配置文件来启动&#xff01; 工作中&#xff0c;一些小小的配置&#xff0c;可以让你脱颖而出&#xff01; 单位 配置文件 unit单位 对大小写不敏感&#xff01;include包含其他配置文件 就是好比我们学习Spring、Improt&#x…

讨论用于评估DREX的五种DR指标

概要 动态范围是已经使用了近一个世纪的用于评估接收机性能的参数。这里介绍五种动态有关指标的定义及测试方法&#xff0c;用于评估数字接收激励器&#xff08;DREX&#xff0c;digital receiver exciters&#xff09;。DREX是构成雷达的关键整部件&#xff0c;其瞬时带宽&am…

docker consul 容器的自动发现与注册

consul相关知识 什么是注册与发现 服务注册与发现是微服务架构中不可或缺的重要组件。起初服务都是单节点的&#xff0c;不保障高可用性&#xff0c;也不考虑服务的压力承载&#xff0c;服务之间调用单纯的通过接口访问。直到后来出现了多个节点的分布式架构&#xff0c;起初的…

kafka配置多个消费者groupid kafka多个消费者消费同一个partition(java)

目录 1- 单播模式&#xff0c;只有一个消费者组2- 广播模式&#xff0c;多个消费者组3- Java实践 kafka是由Apache软件基金会开发的一个开源流处理平台。kafka是一种高吞吐量的分布式发布订阅消息系统&#xff0c;它可以处理消费者在网站中的所有动作流数据。 kafka中partition…

Git忽略已经提交的文件

原理类似于 Android修改submodule的lib包名

一文搞懂OSI参考模型与TCP/IP

OSI参考模型与TCP/IP 1. OSI参考模型1.1 概念1.2 数据传输过程 2. TCP/IP2.1 概念2.2 数据传输过程 3. 对应关系4. 例子4.1 发送数据包4.2 传输数据包4.3 接收数据包 1. OSI参考模型 1.1 概念 OSI模型&#xff08;Open System Interconnection Reference Model&#xff09;&a…

MySQL,分组order by

一、创建分组 ## 创建分组 -- 返回每个发布会的参会人数 SELECT event_id,COUNT(*) as canjia_num FROM sign_guest GROUP BY event_id; 1、group by子句可以包含任意个列&#xff0c;但是但指定的所有列都是一起计算的。 group by 后2个字段一起计算的 2、group by后面可以跟…

Leetcode 剑指 Offer II 057. 存在重复元素 III

题目难度: 中等 原题链接 今天继续更新 Leetcode 的剑指 Offer&#xff08;专项突击版&#xff09;系列, 大家在公众号 算法精选 里回复 剑指offer2 就能看到该系列当前连载的所有文章了, 记得关注哦~ 题目描述 给你一个整数数组 nums 和两个整数 k 和 t 。请你判断是否存在 两…

STM32-HAL库11-SPI通讯(F103C6T6做主机,F103C8T6做从机)

STM32-HAL库11-SPI通讯&#xff08;F103C6T6做主机&#xff0c;F103C8T6做从机&#xff09; 一、所用材料 STM32F103C6T6最小系统板-主机 STM32F103C8T6最小系统板-从机 串口调试助手X-COM 二、所学内容 主要为实现SPI的轮询发送功能&#xff0c;在DSP280049C初学&#xff…

Logistic Regression——逻辑回归

1. 为什么需要逻辑回归 在前面学习的线性回归中&#xff0c;我们的预测值都是任意的连续值&#xff0c;例如预测房价。除此之外&#xff0c;还有一个常见的问题就是分类问题&#xff0c;而逻辑回归是一个解决分类问题的模型&#xff0c;其预测值是离散的。 分类问题又包括…

如何安装LUT预设?达芬奇/FCP/PR怎么安装LUT预设.cube格式文件的教程

在下载的LUT调色预设压缩文件包中&#xff0c;通常两个包含不同格式的LUT文件&#xff1a; .cube 和 .xmp 包含的 .cube 文件几乎与主流的视频编辑和色彩校正软件兼容&#xff0c;并且还可以在 Adobe Photoshop 等一些照片应用程序中使用。如果主要是将这些 LUT 用于视频剪辑项…

如何搭建Gateway服务

Gateway的简单介绍 Spring Cloud Gateway是Spring Cloud的一个项目&#xff0c;该项目是基于Spring&#xff0c;Spring Boot和Project Reactor等响应式编程和事件流技术开发的网关&#xff0c;它旨在为微服务架构提供一种简单有效的统一的 API 路由管理方式。Gateway网关可以是…

持续集成交付CICD:Jenkins使用GitLab共享库实现基于SaltStack的CD流水线部署前后端应用

目录 一、实验 1.Jenkins使用GitLab共享库实现基于SaltStack的CD流水线部署前后端应用 2.优化共享库代码 二、问题 1.Jenkins手动构建后端项目流水线报错 一、实验 1.Jenkins使用GitLab共享库实现基于SaltStack的CD流水线部署前后端应用 &#xff08;1&#xff09;GitLa…