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

2024-05-30 20:52

本文主要是介绍《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

相关文章

C语言中位操作的实际应用举例

《C语言中位操作的实际应用举例》:本文主要介绍C语言中位操作的实际应用,总结了位操作的使用场景,并指出了需要注意的问题,如可读性、平台依赖性和溢出风险,文中通过代码介绍的非常详细,需要的朋友可以参... 目录1. 嵌入式系统与硬件寄存器操作2. 网络协议解析3. 图像处理与颜色编码4. 高效处理布尔标志集合

Go语言开发实现查询IP信息的MCP服务器

《Go语言开发实现查询IP信息的MCP服务器》随着MCP的快速普及和广泛应用,MCP服务器也层出不穷,本文将详细介绍如何在Go语言中使用go-mcp库来开发一个查询IP信息的MCP... 目录前言mcp-ip-geo 服务器目录结构说明查询 IP 信息功能实现工具实现工具管理查询单个 IP 信息工具的实现服

C 语言中enum枚举的定义和使用小结

《C语言中enum枚举的定义和使用小结》在C语言里,enum(枚举)是一种用户自定义的数据类型,它能够让你创建一组具名的整数常量,下面我会从定义、使用、特性等方面详细介绍enum,感兴趣的朋友一起看... 目录1、引言2、基本定义3、定义枚举变量4、自定义枚举常量的值5、枚举与switch语句结合使用6、枚

Python中__init__方法使用的深度解析

《Python中__init__方法使用的深度解析》在Python的面向对象编程(OOP)体系中,__init__方法如同建造房屋时的奠基仪式——它定义了对象诞生时的初始状态,下面我们就来深入了解下_... 目录一、__init__的基因图谱二、初始化过程的魔法时刻继承链中的初始化顺序self参数的奥秘默认

HTML5中的Microdata与历史记录管理详解

《HTML5中的Microdata与历史记录管理详解》Microdata作为HTML5新增的一个特性,它允许开发者在HTML文档中添加更多的语义信息,以便于搜索引擎和浏览器更好地理解页面内容,本文将探... 目录html5中的Mijscrodata与历史记录管理背景简介html5中的Microdata使用M

Spring 基于XML配置 bean管理 Bean-IOC的方法

《Spring基于XML配置bean管理Bean-IOC的方法》:本文主要介绍Spring基于XML配置bean管理Bean-IOC的方法,本文给大家介绍的非常详细,对大家的学习或工作具有一... 目录一. spring学习的核心内容二. 基于 XML 配置 bean1. 通过类型来获取 bean2. 通过

Java数组初始化的五种方式

《Java数组初始化的五种方式》数组是Java中最基础且常用的数据结构之一,其初始化方式多样且各具特点,本文详细讲解Java数组初始化的五种方式,分析其适用场景、优劣势对比及注意事项,帮助避免常见陷阱... 目录1. 静态初始化:简洁但固定代码示例核心特点适用场景注意事项2. 动态初始化:灵活但需手动管理代

C++中初始化二维数组的几种常见方法

《C++中初始化二维数组的几种常见方法》本文详细介绍了在C++中初始化二维数组的不同方式,包括静态初始化、循环、全部为零、部分初始化、std::array和std::vector,以及std::vec... 目录1. 静态初始化2. 使用循环初始化3. 全部初始化为零4. 部分初始化5. 使用 std::a

python uv包管理小结

《pythonuv包管理小结》uv是一个高性能的Python包管理工具,它不仅能够高效地处理包管理和依赖解析,还提供了对Python版本管理的支持,本文主要介绍了pythonuv包管理小结,具有一... 目录安装 uv使用 uv 管理 python 版本安装指定版本的 Python查看已安装的 Python

shell编程之函数与数组的使用详解

《shell编程之函数与数组的使用详解》:本文主要介绍shell编程之函数与数组的使用,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录shell函数函数的用法俩个数求和系统资源监控并报警函数函数变量的作用范围函数的参数递归函数shell数组获取数组的长度读取某下的