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

2024-05-30 20:52
文章标签 语言 数组 15 深度 管理 动态内存 柔性 解剖

本文主要是介绍《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语言结构体里的数组和指针

这篇关于《C语言深度解剖》(15)：动态内存管理和柔性数组的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/1016864。

相关文章

Ilya-AI分享的他在OpenAI学习到的15个提示工程技巧

Ilya-AI分享的他在OpenAI学习到的15个提示工程技巧

Ilya（不是本人，claude AI）在社交媒体上分享了他在OpenAI学习到的15个Prompt撰写技巧。 以下是详细的内容： 提示精确化:在编写提示时,力求表达清晰准确。清楚地阐述任务需求和概念定义至关重要。例:不用"分析文本",而用"判断这段话的情感倾向:积极、消极还是中性"。 快速迭代:善于快速连续调整提示。熟练的提示工程师能够灵活地进行多轮优化。例:从"总结文章"到"用
阅读更多...
这15个Vue指令，让你的项目开发爽到爆

这15个Vue指令，让你的项目开发爽到爆

1. V-Hotkey 仓库地址: github.com/Dafrok/v-ho… Demo: 戳这里 https://dafrok.github.io/v-hotkey 安装: npm install --save v-hotkey 这个指令可以给组件绑定一个或多个快捷键。你想要通过按下 Escape 键后隐藏某个组件，按住 Control 和回车键再显示它吗？小菜一碟： <template
阅读更多...
hdu2241（二分+合并数组）

hdu2241（二分+合并数组）

题意：判断是否存在a+b+c = x，a，b，c分别属于集合A,B,C 如果用暴力会超时，所以这里用到了数组合并，将b,c数组合并成d，d数组存的是b，c数组元素的和，然后对d数组进行二分就可以了 代码如下（附注释）： #include<iostream>#include<algorithm>#include<cstring>#include<stack>#include<que
阅读更多...
综合安防管理平台LntonAIServer视频监控汇聚抖动检测算法优势

综合安防管理平台LntonAIServer视频监控汇聚抖动检测算法优势

LntonAIServer视频质量诊断功能中的抖动检测是一个专门针对视频稳定性进行分析的功能。抖动通常是指视频帧之间的不必要运动，这种运动可能是由于摄像机的移动、传输中的错误或编解码问题导致的。抖动检测对于确保视频内容的平滑性和观看体验至关重要。 优势 1. 提高图像质量 - 清晰度提升：减少抖动，提高图像的清晰度和细节表现力，使得监控画面更加真实可信。 - 细节增强：在低光条件下，抖
阅读更多...
科研绘图系列：R语言扩展物种堆积图（Extended Stacked Barplot）

科研绘图系列：R语言扩展物种堆积图（Extended Stacked Barplot）

介绍 R语言的扩展物种堆积图是一种数据可视化工具，它不仅展示了物种的堆积结果，还整合了不同样本分组之间的差异性分析结果。这种图形表示方法能够直观地比较不同物种在各个分组中的显著性差异，为研究者提供了一种有效的数据解读方式。 加载R包 knitr::opts_chunk$set(warning = F, message = F)library(tidyverse)library(phyl
阅读更多...
hdu 1166 敌兵布阵（树状数组 or 线段树）

hdu 1166 敌兵布阵（树状数组 or 线段树）

题意是求一个线段的和，在线段上可以进行加减的修改。 树状数组的模板题。 代码： #include <stdio.h>#include <string.h>const int maxn = 50000 + 1;int c[maxn];int n;int lowbit(int x){return x & -x;}void add(int x, int num){while
阅读更多...
透彻！驯服大型语言模型（LLMs）的五种方法，及具体方法选择思路

透彻！驯服大型语言模型（LLMs）的五种方法，及具体方法选择思路

引言 随着时间的发展，大型语言模型不再停留在演示阶段而是逐步面向生产系统的应用，随着人们期望的不断增加，目标也发生了巨大的变化。在短短的几个月的时间里，人们对大模型的认识已经从对其zero-shot能力感到惊讶，转变为考虑改进模型质量、提高模型可用性。 「大语言模型(LLMs)其实就是利用高容量的模型架构（例如Transformer）对海量的、多种多样的数据分布进行建模得到，它包含了大量的先验
阅读更多...
软考系统规划与管理师考试证书含金量高吗？

软考系统规划与管理师考试证书含金量高吗？

2024年软考系统规划与管理师考试报名时间节点： 报名时间：2024年上半年软考将于3月中旬陆续开始报名 考试时间：上半年5月25日到28日，下半年11月9日到12日 分数线：所有科目成绩均须达到45分以上（包括45分）方可通过考试 成绩查询：可在“中国计算机技术职业资格网”上查询软考成绩 出成绩时间：预计在11月左右 证书领取时间：一般在考试成绩公布后3~4个月，各地领取时间有所不同
阅读更多...
安全管理体系化的智慧油站开源了。

安全管理体系化的智慧油站开源了。

AI视频监控平台简介 AI视频监控平台是一款功能强大且简单易用的实时算法视频监控系统。它的愿景是最底层打通各大芯片厂商相互间的壁垒，省去繁琐重复的适配流程，实现芯片、算法、应用的全流程组合，从而大大减少企业级应用约95%的开发成本。用户只需在界面上进行简单的操作，就可以实现全视频的接入及布控。摄像头管理模块用于多种终端设备、智能设备的接入及管理。平台支持包括摄像头等终端感知设备接入，为整个平台提
阅读更多...
基于UE5和ROS2的激光雷达+深度RGBD相机小车的仿真指南(五)：Blender锥桶建模

基于UE5和ROS2的激光雷达+深度RGBD相机小车的仿真指南(五)：Blender锥桶建模

前言 本系列教程旨在使用UE5配置一个具备激光雷达+深度摄像机的仿真小车，并使用通过跨平台的方式进行ROS2和UE5仿真的通讯，达到小车自主导航的目的。本教程默认有ROS2导航及其gazebo仿真相关方面基础，Nav2相关的学习教程可以参考本人的其他博客Nav2代价地图实现和原理–Nav2源码解读之CostMap2D(上)-CSDN博客往期教程： 第一期：基于UE5和ROS2的激光雷达+深度RG
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2