《C语言深度解剖》(15)：动态内存管理和柔性数组

🤡博客主页：醉竺

🥰本文专栏：《C语言深度解剖》

😻欢迎关注：感谢大家的点赞评论+关注，祝您学有所成！

✨✨💜💛想要学习更多C语言深度解剖点击专栏链接查看💛💜✨✨ 

目录

1. 为什么存在动态内存分配

2. 动态内存函数 

2.1 malloc和free 

2.2 calloc 

2.3 realloc 

3. 常见的动态内存错误 

3.1 对NULL指针的解引用操作

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

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

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

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

3.6 动态开辟内存忘记释放（内存泄漏） 

4. 几个经典的笔试题 

5. C/C++程序的内存开辟 

6. 柔性数组

6.1 柔性数组的特性： 

6.2 柔性数组的使用 

6.3 柔性数组的优势 

1. 为什么存在动态内存分配

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

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

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

  1. 空间开辟大小是固定的。
  2. 数组在申明的时候，必须指定数组的长度，它所需要的内存在编译时分配。

但是对于空间的需求，不仅仅是上述的情况。有时候我们需要的空间大小在程序运行的时候才能知道， 那数组的编译时开辟空间的方式就不能满足了。 这时候就只能动态内存开辟了。 

2. 动态内存函数 

2.1 malloc和free 

void* malloc (size_t size);

这个函数向内存申请一块连续可用的空间，并返回指向这块空间的指针。 

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

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

void free (void* ptr);

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

  • 如果参数 ptr 指向的空间不是动态开辟的，那free函数的行为是未定义的。
  • 如果参数 ptr 是NULL指针，则函数什么事都不做。

malloc和free都声明在 stdlib.h 头文件中。

举个例子： 

  • 在释放内存之后将指针置为 NULL 是一个良好的编程习惯，但并不是强制性的。然而，这个做法可以提供额外的保护，防止悬空指针（dangling pointer）的问题。
  • 悬空指针是指向已经释放的内存的指针。如果指针在释放后没有被置为 NULL，那么它仍然包含一个地址，这个地址可能不再有效，因为释放的内存可能已经被重新分配给其他用途。如果悬空指针被错误地解引用，可能会导致未定义行为，包括程序崩溃、数据损坏或安全漏洞。
  • 将指针置为 NULL 可以防止悬空指针被解引用，因为解引用 NULL 指针通常会导致程序立即崩溃，这样开发者可以立即发现问题并修复它，而不是面对更难以追踪的未定义行为。

2.2 calloc 

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

void *calloc(size_t num, size_t size);
  • num：要分配的内存块的数量。
  • size：每个内存块的大小，以字节为单位。
  • 函数的功能是为 num 个大小为 size 的元素开辟一块空间，并且把空间的每个字节初始化为0。
  • 与函数 malloc 的区别只在于 calloc 会在返回地址之前把申请的空间的每个字节全初始化为0。 
#include <stdio.h>
#include <stdlib.h>
int main()
{int* p = (int*)calloc(10, sizeof(int));if (NULL != p){//使用空间}free(p);p = NULL;return 0;
}

所以如何我们对申请的内存空间的内容要求初始化，那么可以很方便的使用calloc函数来完成任务。

2.3 realloc 

  • realloc函数的出现让动态内存管理更加灵活。
  • 有时会我们发现过去申请的空间太小了，有时候我们又会觉得申请的空间过大了，那为了合理的时 候内存，我们一定会对内存的大小做灵活的调整。那 realloc 函数就可以做到对动态开辟内存大小 的调整。

函数原型如下：

void* realloc (void* ptr, size_t size);
  • ptr 参数是一个指向之前分配的内存块的指针。
  • size 参数指定了新的内存块大小，以字节为单位。
  • 返回值：realloc 函数尝试改变 ptr 指向的内存块的大小为 size 字节。如果重新分配成功，它返回一个指向新分配内存块的指针，这个指针可能与 ptr 相同（如果原地扩大成功），也可能不同（如果需要移动数据到新的位置）。如果失败，它返回 NULL，并且原始内存块保持不变 ，不会释放。

realloc在调整内存空间（下面演示的是扩大空间）时存在两种情况：

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

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

情况1：当是情况1的时候，扩展内存是在原有内存之后直接追加空间，realloc 函数重新申请空间之后，返回的地址还是原始空间的起始地址， 原来空间的数据部没发生变化。如果新大小大于旧大小，超出旧大小部分的数据是未初始化的。

情况2：当是情况2的时候，原有空间之后没有足够的空间扩容。此时扩展的方法：在堆空间上另外找一个满足大小的连续空间，并把旧空间的数据拷贝到新空间，然后释放旧的空间，返回新空间的起始地址。

#include <stdio.h>
#include <stdlib.h>
int main() {int* ptr;int old_size = 5;int new_size = 10;// 分配一个整数数组的空间ptr = (int*)malloc(old_size * sizeof(int));if (ptr == NULL) {fprintf(stderr, "Initial memory allocation failed\n");return 1;}// 使用分配的内存for (int i = 0; i < old_size; i++) {ptr[i] = i;}// 重新分配内存以增加数组大小int* new_ptr = (int*)realloc(ptr, new_size * sizeof(int));if (new_ptr == NULL) {fprintf(stderr, "Memory reallocation failed\n");free(ptr); // 释放原有内存return 1;}// 更新指针并使用新分配的内存ptr = new_ptr;for (int i = old_size; i < new_size; i++) {ptr[i] = i;}// 打印数组元素for (int i = 0; i < new_size; i++) {printf("%d ", ptr[i]);}printf("\n");// 释放内存free(ptr);return 0;
}

3. 常见的动态内存错误 

3.1 对NULL指针的解引用操作

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

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

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

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

3.6 动态开辟内存忘记释放（内存泄漏） 

忘记释放不再使用的动态开辟的空间会造成内存泄漏。

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

4. 几个经典的笔试题 

4.1 题目1： 

请问运行Test 函数会有什么样的结果？  

4.2 题目2： 

请问运行Test 函数会有什么样的结果？ 

4.3 题目3： 

请问运行Test 函数会有什么样的结果？ 

4.4 题目4： 

请问运行Test 函数会有什么样的结果？ 

5. C/C++程序的内存开辟 

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

1. 栈区（stack）：在执行函数时，函数内局部变量的存储单元都可以在栈上创建，函数执行结 束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中，效率很高，但是 分配的内存容量有限。 栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返 回地址等。

2. 堆区（heap）：一般由程序员分配释放， 若程序员不释放，程序结束时可能由OS回收 。分 配方式类似于链表。

3. 数据段（静态区）：（static）存放全局变量、静态数据。程序结束后由系统释放。

4. 代码段：存放函数体（类成员函数和全局函数）的二进制代码。 

有了这幅图，我们就可以更好的理解在 static关键字修饰局部变量的例子了。

实际上普通的局部变量是在栈区分配空间的，栈区的特点是在上面创建的变量出了作用域就销毁。 但是被static修饰的变量存放在数据段（静态区），数据段的特点是在上面创建的变量，直到程序 结束才销毁 所以生命周期变长。 

6. 柔性数组

C语言中的柔性数组（Flexible Array Member, FAM）是C99标准引入的一个特性，它允许结构体的最后一个成员是一个大小未指定的数组，这为处理可变长度数据结构提供了一种高效而灵活的方式。 

例如：

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

6.1 柔性数组的特性： 

  • 位置要求：柔性数组必须是结构体的最后一个成员。这是因为它不占用结构体本身的空间，而是紧随结构体之后分配内存。
  • 内存分配：虽然声明时数组长度为0（如int a[0]或直接int a[]），但实际使用时，会通过动态内存分配为它分配足够的空间以容纳实际需要的元素数量。
  • 内存对齐：柔性数组不会影响结构体的自然对齐，因此在计算结构体大小时，柔性数组不计入。这有助于高效地利用内存。
  • 便捷的内存管理：由于柔性数组与结构体主体连续存储，只需要一次内存分配即可为结构体和其后的柔性数组分配空间，这简化了内存管理，尤其是在需要同时释放结构体和数组时。
  • 优化访问速度：连续的内存布局有利于CPU缓存，提高数据访问效率。

例如：

6.2 柔性数组的使用 

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

6.3 柔性数组的优势 

上述的 type_a 结构也可以设计为： 

上述 代码1 和 代码2 可以完成同样的功能，但是更推荐 方法1 ，方法1的好处： 

扩展阅读：

C语言结构体里的数组和指针

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

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

相关文章

k8s中的集群调度

k8s中的集群调度

文章目录 k8s中的集群调度Pod 创建流程 通过指定节点来创建pod所在的node节点通过标签来指定pod创建在哪个节点上pod 的亲和性Pod的亲和性和反亲和性亲和性&#xff08;Affinity&#xff09;反亲和性&#xff08;Anti-Affinity&#xff09; 污点与容忍污点&#xff08;Taint&am…
阅读更多...
Spring Cache入门详解

Spring Cache入门详解

一、概述 1.1缓存介绍 Spring提供了一套cache缓存抽象(注解/接口)&#xff0c;使基于spring缓存的使用与实现解耦 默认实现&#xff0c;Spring JDK ConcurrentMap-based Cache第三方实现&#xff0c;caffeine/Ehcache/Redis等 https://docs.spring.io/spring-framework/do…
阅读更多...
Postman快捷功能-快速填写请求头

Postman快捷功能-快速填写请求头

大家好&#xff0c;之前给大家分享关于 Postman 工具的基础使用&#xff0c;今天给大家介绍一个快捷功能&#xff0c;可以一定程度提高我们使用 Postman 工具的效率&#xff0c;在我们进行接口测试时&#xff0c;几乎每个接口都需要填写 Headers&#xff0c;且 Headers 中的参数…
阅读更多...
【ai】livekit服务本地开发模式2：模拟1个发布者

【ai】livekit服务本地开发模式2：模拟1个发布者

是一个会议用软件：LiveKit is an open source project that provides scalable, multi-user conferencing based on WebRTC. It’s designed to provide everything you need to build real-time video audio data capabilities in your applications.LiveKit’s server is wr…
阅读更多...
【Python】 Django 框架如何支持百万级日访问量

【Python】 Django 框架如何支持百万级日访问量

基本原理 Django 是一个高级的 Python Web 框架&#xff0c;它鼓励快速开发和干净、实用的设计。Django 遵循 MVC&#xff08;模型-视图-控制器&#xff09;设计模式&#xff0c;允许开发者通过编写更少的代码来构建高质量的 Web 应用程序。Django 自带了许多内置功能&#xf…
阅读更多...
发现没：随便搞个B端页面，就想在客户那里过关，难啦。

发现没：随便搞个B端页面，就想在客户那里过关，难啦。

客户对B端界面要求越来越高的原因可以有以下几点&#xff1a; 用户体验要求提升&#xff1a;随着用户对移动应用和网页的使用经验增加&#xff0c;他们对于界面的交互、流畅性和易用性要求也越来越高。他们希望能够在使用B端应用时&#xff0c;能够快速、方便地完成任务&#…
阅读更多...
设计模式详解（六）：适配器模式——Adapter

设计模式详解（六）：适配器模式——Adapter

目录导航 适配器模式及其作用现实生活举例 适配器模式的好处适配器模式的实现关系图实现步骤 适配器模式的适用场景适配器模式示例 适配器模式及其作用 适配器模式是一种结构型设计模式。所谓结构型是指在代码结构方面的设计模式。适配器模式作为中间层&#xff0c;可以让交互…
阅读更多...
Vue3 图片或视频下载跨域或文件损坏的解决方法

Vue3 图片或视频下载跨域或文件损坏的解决方法

Vue3 图片或视频下载跨域或文件损坏的解决方法 修改跨域配置文件下载方法 修改跨域配置文件 修改vite.config.ts文件proxy里面写跨域地址&#xff0c;如下图&#xff0c;图片地址就是我们要跨域的目标地址&#xff1a; 下载方法 如下就是我取消上面那句后的报错 然后调用两…
阅读更多...
【Java】Sping Boot中使用Javax Bean Validation

【Java】Sping Boot中使用Javax Bean Validation

目录 Javax Bean Validation在Spring Boot中集成Javax Bean Validation使用案例功能测试配置全局异常处理器重新测试返回特定形式的信息方式一方式二 附&#xff1a;常用的注解 Javax Bean Validation Javax Bean Validation是Java平台的一项规范&#xff0c;旨在提供一种简单…
阅读更多...
想知道股指期货和期权有什么不同吗？

想知道股指期货和期权有什么不同吗？

市场上目前有中金所的沪深300ETF&#xff0c;中证500和中证1000股指期货&#xff0c;期权市场有上证50ETF&#xff0c;沪深300etf和中证500ETF期权&#xff0c;股指期货和期权在买卖双方的权利义务、风险收益特征、保证金制度、上市合约数量等方面均有较大区别&#xff0c;下文…
阅读更多...
每天学点小知识：Windows终端Powershell美化

每天学点小知识：Windows终端Powershell美化

前言 本章的旨在教会你美化自己的终端&#xff0c;powershell需要以管理员运行 经过我的测试&#xff0c;不同的电脑可能会有不同的报错&#xff0c;具体操作根据官方为主https://ohmyposh.dev/docs 效果展示 Oh My Posh&#xff1a;提供美观的 PowerShell 提示符主题 1.安装…
阅读更多...
揭秘CISA：你不知道的信息安全认证，轻松掌握职场先机！

揭秘CISA：你不知道的信息安全认证，轻松掌握职场先机！

在当今的信息化时代&#xff0c;信息系统的安全和稳定是企业和组织的重要资产。信息系统审计是一项专业的工作&#xff0c;需要具备丰富的知识和经验&#xff0c;以及敏锐的洞察力和判断力。信息系统审计师是信息系统审计领域的专业人士&#xff0c;他们负责对信息系统的设计、…
阅读更多...
【OpenGL实践12】关于缓存区Framebuffer的运用

【OpenGL实践12】关于缓存区Framebuffer的运用

文章目录 一、说明二、帧缓冲区三、创建新的帧缓冲区四、附属装饰4.1 纹理图像4.2 渲染缓冲区对象图像 五、使用帧缓冲区5.1 后期处理5.2 更改代码 六、后期处理效果6.1 色彩处理6.2 模糊6.3 Sobel算子 七、结论练习 一、说明 关于FrameBuffer的使用&#xff0c;是OpenGL的高级…
阅读更多...
横截面分位数回归

横截面分位数回归

一、分位数回归简介 分位数回归&#xff08;英语&#xff1a;Quantile regression&#xff09;是回归分析的方法之一。最早由Roger Koenker和Gilbert Bassett于1978年提出。一般地&#xff0c;传统的回归分析研究自变量与因变量的条件期望之间的关系&#xff0c;相应得到的回归…
阅读更多...
AI时代的服装设计师--AIGC

AI时代的服装设计师--AIGC

AI时代的服装设计师--AIGC AIGCAIGC设计能替代真正的设计师吗森马T恤设计AIGC优势、优化 本文记录于去年参加的一次森马T恤设计活动的感受。 AIGC 可以说&#xff0c;近期以来&#xff0c;随着ChatGPT的不断发展&#xff0c;从ChatGPT-3到ChatGPT-4的飞速发展&#xff0c;AIGC…
阅读更多...
Windows和Linux系统部署Docker(2)

Windows和Linux系统部署Docker(2)

目录 一、Linux系统部署docker 前置环境&#xff1a; 1.安装需要的软件包&#xff0c; yum-util 提供yum-config-manager功能 2.添加阿里云 docker-ce 仓库 3.安装docker软件包 4.启动 docker并设置开机自启 5.查看版本&#xff1a; 二、windows系统部署docker 1.查看…
阅读更多...
Type ‘null‘ is not assignable to type ‘T‘. - ArkTSCheck

Type ‘null‘ is not assignable to type ‘T‘. - ArkTSCheck

设置泛型将参数配置为 null 时抛出了如下异常: Type null is not assignable to type T. T could be instantiated with an arbitrary type which could be unrelated to null. <ArkTSCheck> 解决办法 在 null 后面添加 ! 即可,以表示该值不会为 null data: T null! 以…
阅读更多...
Qt 基于FFmpeg的视频转换器 - 转GIF动图

Qt 基于FFmpeg的视频转换器 - 转GIF动图

Qt 基于FFmpeg的视频转换器 - 转GIF动图 引言一、设计思路二、核心源码三、参考链接 引言 gif格式的动图可以通过连续播放一系列图像或视频片段来展示动态效果&#xff0c;使信息更加生动形象&#xff0c;可以很方便的嵌入到网页或者ppt中。上图展示了视频的前几帧转为gif动图的…
阅读更多...
基于Paraformer的alpha-token强制对齐

基于Paraformer的alpha-token强制对齐

1. 基本原理 CIF 作为Parafoemr的核心模块&#xff0c;用于预测字数和生成声学向量&#xff0c;从而实现了单轮非自回归解码。其中字数的预测主要通过encoder输出系数alpha的累计得分&#xff0c;满足通关阈值β1.0即可产生一个token&#xff0c;其中alpha曲线在一定程度上呈现…
阅读更多...
CSS：浮动

CSS：浮动

▐ 文档流&#xff1a; 由于网页默认是一个二维平面&#xff0c;当我们在网页中一行行摆放标签时&#xff0c;块标签会独占一行&#xff0c;行标签则只占自身大小&#xff0c;这种情况下要实现网页布局就很麻烦了&#xff0c;所以我们就需要通过一些方法来改变这种默认的布局方…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023