《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。

相关文章

C语言进阶(预处理命令详解)

C语言进阶(预处理命令详解)

《C语言进阶(预处理命令详解)》文章讲解了宏定义规范、头文件包含方式及条件编译应用,强调带参宏需加括号避免计算错误,头文件应声明函数原型以便主函数调用,条件编译通过宏定义控制代码编译,适用于测试与模块... 目录1.宏定义1.1不带参宏1.2带参宏2.头文件的包含2.1头文件中的内容2.2工程结构3.条件编
阅读更多...
Spring Boot Actuator应用监控与管理的详细步骤

Spring Boot Actuator应用监控与管理的详细步骤

《SpringBootActuator应用监控与管理的详细步骤》SpringBootActuator是SpringBoot的监控工具,提供健康检查、性能指标、日志管理等核心功能,支持自定义和扩展端... 目录一、 Spring Boot Actuator 概述二、 集成 Spring Boot Actuat
阅读更多...
Go语言并发之通知退出机制的实现

Go语言并发之通知退出机制的实现

《Go语言并发之通知退出机制的实现》本文主要介绍了Go语言并发之通知退出机制的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录1、通知退出机制1.1 进程/main函数退出1.2 通过channel退出1.3 通过cont
阅读更多...
MySQL多实例管理如何在一台主机上运行多个mysql

MySQL多实例管理如何在一台主机上运行多个mysql

《MySQL多实例管理如何在一台主机上运行多个mysql》文章详解了在Linux主机上通过二进制方式安装MySQL多实例的步骤,涵盖端口配置、数据目录准备、初始化与启动流程,以及排错方法,适用于构建读... 目录一、什么是mysql多实例二、二进制方式安装MySQL1.获取二进制代码包2.安装基础依赖3.清
阅读更多...
Go语言编译环境设置教程

Go语言编译环境设置教程

《Go语言编译环境设置教程》Go语言支持高并发（goroutine）、自动垃圾回收,编译为跨平台二进制文件,云原生兼容且社区活跃,开发便捷,内置测试与vet工具辅助检测错误,依赖模块化管理,提升开发效... 目录Go语言优势下载 Go  配置编译环境配置 GOPROXYIDE 设置（VS Code）一些基本
阅读更多...
深入理解Go语言中二维切片的使用

深入理解Go语言中二维切片的使用

《深入理解Go语言中二维切片的使用》本文深入讲解了Go语言中二维切片的概念与应用,用于表示矩阵、表格等二维数据结构,文中通过示例代码介绍的非常详细,需要的朋友们下面随着小编来一起学习学习吧... 目录引言二维切片的基本概念定义创建二维切片二维切片的操作访问元素修改元素遍历二维切片二维切片的动态调整追加行动态
阅读更多...
Spring Boot集成Druid实现数据源管理与监控的详细步骤

Spring Boot集成Druid实现数据源管理与监控的详细步骤

《SpringBoot集成Druid实现数据源管理与监控的详细步骤》本文介绍如何在SpringBoot项目中集成Druid数据库连接池,包括环境搭建、Maven依赖配置、SpringBoot配置文件... 目录1. 引言1.1 环境准备1.2 Druid介绍2. 配置Druid连接池3. 查看Druid监控
阅读更多...
Java中的数组与集合基本用法详解

Java中的数组与集合基本用法详解

《Java中的数组与集合基本用法详解》本文介绍了Java数组和集合框架的基础知识,数组部分涵盖了一维、二维及多维数组的声明、初始化、访问与遍历方法,以及Arrays类的常用操作,对Java数组与集合相... 目录一、Java数组基础1.1 数组结构概述1.2 一维数组1.2.1 声明与初始化1.2.2 访问
阅读更多...
PowerShell中15个提升运维效率关键命令实战指南

PowerShell中15个提升运维效率关键命令实战指南

《PowerShell中15个提升运维效率关键命令实战指南》作为网络安全专业人员的必备技能,PowerShell在系统管理、日志分析、威胁检测和自动化响应方面展现出强大能力,下面我们就来看看15个提升... 目录一、PowerShell在网络安全中的战略价值二、网络安全关键场景命令实战1. 系统安全基线核查
阅读更多...
Knife4j+Axios+Redis前后端分离架构下的 API 管理与会话方案(最新推荐)

Knife4j+Axios+Redis前后端分离架构下的 API 管理与会话方案(最新推荐)

《Knife4j+Axios+Redis前后端分离架构下的API管理与会话方案(最新推荐)》本文主要介绍了Swagger与Knife4j的配置要点、前后端对接方法以及分布式Session实现原理,... 目录一、Swagger 与 Knife4j 的深度理解及配置要点Knife4j 配置关键要点1.Spri
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2