探索C语言的内存魔法：动态内存管理解析

pFp8UCq.jpg

✨✨ 欢迎大家来到贝蒂大讲堂✨✨

🎈🎈养成好习惯，先赞后看哦~🎈🎈

所属专栏：C语言学习
贝蒂的主页：Betty‘s blog

1. 静态开辟内存

通过前面的学习，我们已经掌握了两种开辟内存的方法，分别是：

#include<stdio.h>
int main()
{int val = 20; //在栈空间上开辟四个字节char arr[10] = { 0 }; //在栈空间上开辟10个字节的连续空间return 0;
}

但是静态开辟的空间明显有两个缺陷：

  • 空间开辟⼤⼩是固定的。
  • 数组在申明的时候，必须指定数组的⻓度，数组空间⼀旦确定了⼤⼩不能调整。

2. 动态内存

为了解决静态内存开辟的内存空间固定的问题，C语言引⼊了动态内存开辟，让程序员⾃⼰可以申请和释放空间，就⽐较灵活了。

2.1 动态内存开辟函数

(1) malloc函数

  1. 头文件#include <stdlib.h>

  2. 声明：void* malloc (size_t size);

    • size – 内存块的大小，以字节为单位
    • 如果参数 size 为0，malloc的⾏为是标准是未定义的，取决于编译器。

  3. 作用：向内存申请⼀块连续可⽤的空间，并返回指向这块空间的指针

    • 如果开辟成功，则返回⼀个指向开辟好空间的指针。
    • 如果开辟失败，则返回⼀个 NULL 指针，因此malloc的返回值⼀定要做检查。

  4. 返回值：返回值的类型是 void* ，所以malloc函数并不知道开辟空间的类型，具体在使⽤的时候使⽤者⾃⼰来决定。

补充打印错误信息函数：perror()

  1. 头文件：#include <stdio.h>

  2. 声明：void perror(const char *str)

    • str – 这是 C 字符串，包含了一个自定义消息，将显示在原本的错误消息之前。

  3. 作用：把一个描述性错误消息输出到标准错误 stderr。首先输出字符串 str，后跟一个冒号，然后是一个空格。

  4. 返回值：无返回值。

下列是malloc与perror的具体使用方法：

int main()
{int* arr = (int*)malloc(sizeof(int) * 10);//开辟十个大小为整型的空间//返回类型强转为int*if (arr == NULL)//如果开辟失败{perror("malloc fail: ");//打印错误信息return 1;//直接返回}int i = 0;for (i = 0; i < 10; i++)//存入数据{arr[i] = i;}for (i = 0; i < 10; i++)//打印数据{printf("%d ", arr[i]);}return 0;
}

输出结果：

监视观察：

  • 动态内存的数据存放在堆区
(2) calloc函数

  1. 头文件：#include <stdlib.h>

  2. 声明：void *calloc(size_t nitems, size_t size)

    • nitems – 要被分配的元素个数。
    • size – 元素的大小。

  3. 作用： 分配所需的内存空间，并返回一个指向它的指针

  4. 返回值：该函数返回一个指针，指向已分配的内存。如果请求失败，则返回 NULL。

  • malloc 和 calloc 之间的不同点是，malloc 不会设置内存为零，而 calloc 会设置分配的内存为零。

下列是calloc的使用实例：

int main()
{int* arr = (int*)calloc(10, sizeof(int));//开辟十个大小为整型的空间//返回类型强转为int*if (arr == NULL)//如果开辟失败{perror("calloc fail: ");//打印错误信息return 1;//直接返回}return 0;
}

calloc的初始化观察：

(3) realloc函数
  1. 头文件：#include <stdlib.h>
  2. 声明：void *realloc(void *ptr, size_t size)
  • ptr – 指针指向一个要重新分配内存的内存块，该内存块之前是通过调用 malloc、calloc 或 realloc 进行分配内存的。如果为空指针，则会分配一个新的内存块，且函数返回一个指向它的指针。
  • size – 内存块的新的大小，以字节为单位。如果大小为 0，且 ptr 指向一个已存在的内存块，则 ptr 所指向的内存块会被释放，并返回一个空指针。
  1. 作用：尝试重新调整之前调用 malloc 或 calloc 所分配的 ptr 所指向的内存块的大小。
  2. 返回值：该函数返回一个指针 ，指向重新分配大小的内存。如果请求失败，则返回 NULL。
  1. 有时会我们发现过去申请的空间太⼩了，有时候我们⼜会觉得申请的空间过⼤了，那为了合理的时候内存，我们⼀定会对内存的⼤⼩做灵活的调整。那 realloc 函数就可以做到对动态开辟内存⼤⼩的调整。
  2. realloc扩容机制：
  • 本地扩容：原有空间之后有⾜够⼤的空间，直接在原有内存之后直接追加空间，原来空间的数据不发⽣变化。

  • 异地扩容：原有空间之后没有⾜够⼤的空间，在堆空间上另找⼀个合适⼤⼩的连续空间。将新增数据与原本数据拷贝过来，并自动释放原来空间。

下列是realloc的具体使用方法：

int main()
{int* arr = (int*)calloc(10, sizeof(int));//开辟十个大小为整型的空间//返回类型强转为int*if (arr == NULL)//如果开辟失败{perror("calloc fail: ");//打印错误信息return 1;//直接返回}//继续新增空间int* tmp = (int*)realloc(arr, sizeof(int) * 15);//不用arr是为了防止开辟失败，被至为NULLif (tmp == NULL)//如果开辟失败{perror("calloc fail: ");//打印错误信息return 1;//直接返回}arr = tmp;return 0;}

  • 新增内存较小时一般是在原有基础上新增空间。两者地址相同。
int* tmp = (int*)realloc(arr, sizeof(int) * 100);//新增内存较大时

  • 新增内存较大时则会重新开辟一段空间，将原来的空间释放。两者地址不同。

2.2 动态内存释放函数

动态内存开辟的空间并不像静态开辟内存的空间会随着一段程序的结束而回收，这时就需要我们手动回收，否则就会造成内存泄漏。

  • **内存泄漏（Memory Leak）**是指程序中已动态分配的堆内存由于某种原因程序未释放或无法释放，造成系统内存的浪费，导致程序运行速度减慢甚至系统崩溃等严重后果。
  1. 头文件：#include <stdlib.h>
  2. 声明：void free(void *ptr)
    • ptr – 指针指向一个要释放内存的内存块，该内存块之前是通过调用 malloc、calloc 或 realloc 进行分配内存的。如果传递的参数是一个空指针，则不会执行任何动作。
  3. 作用：释放之前调用 calloc、malloc 或 realloc 所分配的内存空间。
  4. 返回值：该函数不返回任何值。

下面使用free函数的实例:

int main()
{int* arr = (int*)calloc(10, sizeof(int));//开辟十个大小为整型的空间//返回类型强转为int*if (arr == NULL)//如果开辟失败{perror("calloc fail: ");//打印错误信息return 1;//直接返回}//继续新增空间int* tmp = (int*)realloc(arr, sizeof(int) * 100);if (tmp == NULL)//如果开辟失败{perror("calloc fail: ");//打印错误信息return 1;//直接返回}arr = tmp;free(arr);//释放arr所指向的内存arr = NULL;return 0;}
  • 释放完之后记得将arr置为NULL，否则arr指向一段已经回收的空间会变成野指针。

2.3 常见内存分布

⼀般我们在学习C/C++语⾔的时候，我们会关注内存中的三个区域：栈区、 堆区、静态区。

  1. 局部变量与函数参数是放在内存的栈区，

  2. 全局变量，static修饰的变量是放在内存的静态区。

  3. 堆区是⽤来动态内存管理的。

具体分布如下图：

3. 动态内存的常见错误

动态内存开辟就像指针一样，一不小心就会酿成大错，以下介绍了一些常见的内存开辟错误：

3.1 对NULL指针的解引用

void test()
{int* p = (int*)malloc(INT_MAX / 4);*p = 20; //如果p的值是NULL，就会有问题free(p);
}
  1. INT_MAX是一个宏定义，他表示整型的最大值，值为2147483647。
  2. 当malloc申请的空间太大时存在失败的情况，失败返回NULL指针。
  3. 而系统无法访问NULL指针指向的地址，这时编译器会报一个警告:

改正方法：

void test()
{int* p = (int*)malloc(INT_MAX / 4);if (NULL == p){perror("malloc fail: ");//打印错误信息return 1;}*p = 20;free(p);p = NULL;
}
  • 这时就体现判断是否为空指针的重要性了

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

void test()
{int i = 0;int* p = (int*)malloc(10 * sizeof(int));if (NULL == p){perror("malloc fail: ");//打印错误信息return 1;//直接返回}for (i = 0; i <= 10; i++){*(p + i) = i; //当i是10的时候越界访问}free(p);p=NULL;
}
  1. malloc只申请了十个整型大小的空间。
  2. for循环循环了十一次，越界访问，错误信息如下：

改正方法：

void test()
{int i = 0;int* p = (int*)malloc(10 * sizeof(int));if (NULL == p){perror("malloc fail: ");//打印错误信息return 1;//直接返回}for (i = 0; i < 10; i++){*(p + i) = i; //当i是10的时候越界访问}free(p);p = NULL;
}

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

void test()
{int a = 10;int* p = &a;free(p);p=NULL;//ok?
}
  1. free()只能释放有动态内存开辟在堆上的空间。
  2. p指向的空间是静态内存开辟的，无法释放，释放就会出错：

改正方法：

void test()
{int a = 10;int* p = &a;
}
  • 静态内存开辟的空间并不需要释放。

3.4 使⽤free释放⼀块动态开辟内存的⼀部分

void test()
{int* p = (int*)malloc(100);p++;free(p); //p不再指向动态内存的起始位置p = NULL;
}
  1. p++跳过一个整型大小的空间。
  2. free()释放p只会释放当前位置开始之后的空间，有一个整型大小的空间未被释放，造成内存泄漏。

改正方法：

void test()
{int* p = (int*)malloc(100);free(p); p = NULL;
}
  • 不能随意改变p指向的位置，开辟多少内存就释放多少内存。

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

void test()
{int* p = (int*)malloc(100);free(p);free(p); //重复释放
}
  1. p已经被释放归还给操作系统，但是此时p还指向该内存，是一个野指针。
  2. 再次释放p就会出现内存出错问题。

改正方法：

void test()
{int* p = (int*)malloc(100);free(p);p = NULL;
}
  • 释放内存之后记得将其置为空指针，这样再次free空指针就不会进行任何操作。

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

void test()
{int* p = (int*)malloc(100);if (NULL != p){*p = 20;}//内存泄漏
}int main()
{test();
}
  1. 当我们动态内存申请空间之后必须手动将其释放，不会就会出现内存泄漏的问题。

改正方法：

void test()
{int* p = (int*)malloc(100);if (NULL != p){*p = 20;}free(p);p = NULL;
}
  • 每次使用完动态内存开辟空间之后记得释放内存。

4. 相关笔试题

4.1 题目一

void GetMemory(char* p)
{p = (char*)malloc(100);
}
void Test(void)
{char* str = NULL;GetMemory(str);strcpy(str, "hello world");printf(str);
}//请问运⾏Test函数会有什么样的结果？

这段程序有两个经典错误：

  1. **内存非法访问:**我们知道传值调用时，形参只是实参的临时拷贝，对形参的改变无法影响实参，这时str仍是空指针，而strcpy拷贝会对空指针进行解引用操作，对NULL指针解引用会出错！

  1. **内存泄漏:**在GetMemory()函数内部动态申请了100字节的空间，因为p随着函数结束而被销毁，所以已经再也找不到该空间，会造成内存泄漏。

改正方法：

  1. 我们要想改变str就需要传址调用，而str本身就是个指针变量，传指针变量的地址需要二级指针来接收。
  2. 使用完之后必须释放内存。
void GetMemory(char** p)
{*p = (char*)malloc(100);
}void Test(void)
{char* str = NULL;GetMemory(&str);strcpy(str, "hello world");printf(str);// 释放free(str);str = NULL;
}

4.2 题目二

char* GetMemory(void)
{char p[] = "hello world";return p;
}void Test(void)
{char* str = NULL;str = GetMemory();printf(str);
}
  1. 这段程序是经典的野指针问题，局部变量出了作用就会销毁归还给操作系统，而str还能指向这块空间就会形成野指针。

改正方法：

  1. 因为只有存放在栈区的值才会被销毁，所以我们将其放在其他区域如：静态区，而放在静态区有两种方法：static修饰与常量字符串。
 const char* GetMemory1(void)
{const char* p = "hello world";return p;
}char* GetMemory2(void){static char p[] = "hello world";return p;}void Test(void)
{char* str = NULL;str = GetMemory1();printf(str);printf("\n");str = GetMemory2();printf(str);
}int main()
{Test();return 0;
}

输出结果：

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);
}
//请问运⾏Test函数会有什么样的结果？
  1. 这又是一个经典的内存泄漏问题——p开辟出内存未被释放。

改正方法：

void Test(void)
{char* str = NULL;GetMemory(&str, 100);strcpy(str, "hello");printf(str);free(str);str = NULL;
}

4.4 题目四

void Test(void)
{char* str = (char*)malloc(100);strcpy(str, "hello");free(str);if (str != NULL){strcpy(str, "world");printf(str);}
}
//请问运⾏Test函数会有什么样的结果？
  1. 这也是个经典野指针问题，str所开辟的空间已经归还给了操作系统，这时再将world拷贝进str就会出错。

改正方法：

  1. 归还内存之后随手将其值为NULL指针，后续语句就不会进行。
void Test(void)
{char* str = (char*)malloc(100);strcpy(str, "hello");free(str);str = NULL;if (str != NULL){strcpy(str, "world");printf(str);}
}

5. 柔性数组

5.1 柔性数组是什么

C99中，结构体中的最后一个元素允许是未知大小的数组，这就叫作柔性数组，例如：

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

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

typedef struct st_type
{int i;int a[];	//柔性数组成员
}type_a;
  • 结构中的柔性数组成员前⾯必须⾄少⼀个其他成员。
  • 包含柔性数组成员的结构⽤malloc()函数进⾏内存的动态分配，并且分配的内存应该⼤于结构的⼤⼩，以适应柔性数组的预期⼤⼩。

5.2 柔性数组的大小

依靠我们结构体学过得内存对齐的原则，我们可以计算结构体的大小。

typedef struct st_type
{int i;int a[0]; //柔性数组成员
}type_a;
int main()
{printf("%d\n", sizeof(type_a)); return 0;
}

输出结果：

  • 从上述可知柔性数组成员是不计入结构体大小的。

5.3 柔性数组的使用

柔性数组的使用与结构体使用十分类似，具体使用如下：

#include <stdio.h>
#include <stdlib.h>
typedef struct st_type
{int i;int a[]; //柔性数组成员
}type_a;
int main()
{int i = 0;type_a* p = (type_a*)malloc(sizeof(type_a) + 100 * sizeof(int));//包含柔性数组成员的结构⽤**malloc()函数**进⾏内存的动态分配，// 并且分配的内存应该⼤于结构的⼤⼩，以适应柔性数组的预期⼤⼩。p->i = 100;for (i = 0; i < 100; i++)//存放数据{p->a[i] = i;}free(p);return 0;
}

5.4 模拟实现柔性数组

  1. 先开辟一个结构体大小，在开辟一个数组的大小。

  2. 柔性数组成员的空间都是malloc开辟的，所以模拟的柔性数组也需要malloc开辟。

具体实施如下：

#include <stdio.h>
#include <stdlib.h>
typedef struct st_type
{int i;int* p_a;
}type_a;
int main()
{//先开辟一个结构体大小type_a* p = (type_a*)malloc(sizeof(type_a));p->i = 100;//在开辟一个数组大小p->p_a = (int*)malloc(p->i * sizeof(int));for (int i = 0; i < 100; i++){p->p_a[i] = i;}//释放空间free(p->p_a);p->p_a = NULL;free(p);p = NULL;return 0;
}

5.5 柔性数组的优势

通过与模拟的柔性数组对比，我们可以看出柔性数组的优势：

  1. 便内存释放：如果我们的代码是在一个给别人用的函数中，你在里面做了二次内存分配，并把整个结构体返回给用户。用户调用free可以释放结构体，但是用户并不知道这个结构体内的成员也需要free，容易造成内存泄漏。所以，如果我们把结构体的内存以及其成员要的内存一次性分配好了，并返回给用户一个结构体指针，用户做一次free就可以把所有的内存也给释放掉
  1. 这样有利于访问速度： 连续的内存有益于提⾼访问速度，也有益于减少内存碎⽚。

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

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

相关文章

滑块验证码识别代码分享

滑块验证码识别代码分享

平时我们开发爬虫会遇到各种各样的滑动验证码&#xff0c;如下图所示&#xff1a; 为了解决这个问题&#xff0c;我写了一个通用的滑块验证码识别代码&#xff0c;主要是分析图片&#xff0c;然后计算出滑块滑动的像素距离。但是像素距离大多数情况下都不会等于滑动距离&#x…
阅读更多...
【Make编译控制 06】CMake初步使用

【Make编译控制 06】CMake初步使用

目录 一、概述与安装 二、编译源文件 三、无关文件管理 一、概述与安装 CMake是一个跨平台的项目构建工具&#xff0c;相比于Makefile&#xff0c;CMake更加高级&#xff0c;因为CMake代码在执行的时候是会先翻译生成Makefile文件&#xff0c;再调用Makefile文件完成项目构…
阅读更多...
EMC学习笔记（二十三）降低EMI的PCB设计指南（三）

EMC学习笔记（二十三）降低EMI的PCB设计指南（三）

双层板电源分配 1.单点与多点分布2.星型分布3.创建网格平面4.旁路和磁珠5.将噪声保持在芯片附近 tips&#xff1a;资料主要来自网络&#xff0c;仅供学习使用。 1.单点与多点分布 在一个真正的单点配电系统中&#xff0c;每个有源元件都有自己独立的电源和地&#xff0c;这些…
阅读更多...
金融信贷风控决策引擎详解

金融信贷风控决策引擎详解

风控决策引擎含义 风控决策引擎是对复杂的业务逻辑抽象化剥离出来的业务规则进行不同的分支组合、关联&#xff0c;然后层层规则递进运算&#xff0c;最终输出决策结果的产品。 传统的风控决策引擎主要实现规则的逻辑判断&#xff0c;例如&#xff1a;女厕所的规则可以制定成“…
阅读更多...
Electron+Vue实现仿网易云音乐实战

Electron+Vue实现仿网易云音乐实战

前言 这个项目是我跟着官方文档的那个Electron入门教程大致跑了一遍，了解了下Electron开发流程之后的实战项目，所以中间应该是会有很多写法不是很规范，安全性有可能也没考虑到，可实现的各种api也不是很了解，适合初学者。 必须感谢 https://github.com/Binaryify/NeteaseC…
阅读更多...
SFML(1) | 自由落体小球

SFML(1) | 自由落体小球

小游戏和GUI编程(1) | 基于 SFML 的自由落体小球 文章目录 小游戏和GUI编程(1) | 基于 SFML 的自由落体小球1. 目的2. SFML 适合做图形显示的理由3. 使用 SFML - 构建阶段4. 使用 SFML - C 代码4.0 代码布局4.1 创建窗口4.2 循环显示窗口, 并处理关闭事件4.3 使用能够执行绘制的…
阅读更多...
fast.ai 深度学习笔记（五）

fast.ai 深度学习笔记（五）

深度学习 2&#xff1a;第 2 部分第 10 课 原文&#xff1a;medium.com/hiromi_suenaga/deep-learning-2-part-2-lesson-10-422d87c3340c 译者&#xff1a;飞龙 协议&#xff1a;CC BY-NC-SA 4.0 来自 fast.ai 课程的个人笔记。随着我继续复习课程以“真正”理解它&#xff0c;…
阅读更多...
移动端web开发布局

移动端web开发布局

目录 flex布局&#xff1a; flex布局父项常见属性&#xff1a; flex布局子项常见属性&#xff1a; REM适配布局&#xff1a; 响应式布局&#xff1a; flex布局&#xff1a; 需要先给父类盒子设置display&#xff1a;flex flex是flexiblebox的缩写&#xff0c;意为"弹…
阅读更多...
【Java八股面试系列】并发编程-并发关键字，线程池

【Java八股面试系列】并发编程-并发关键字，线程池

目录 并发关键字 Synchronized synchronized最主要的三种使用方式&#xff1a; 具体使用&#xff1a;双重校验锁单例模式 synchronized 底层实现原理&#xff1f; synchronized锁的优化 偏向锁 轻量级锁 重量级锁 Mark Word 与 Monitor 之间的关系 总结 偏向锁、轻量…
阅读更多...
【MySQL】数据库基础 -- 详解

【MySQL】数据库基础 -- 详解

一、什么是数据库 存储数据用文件就可以了&#xff0c;为什么还要弄个数据库? 一般的文件确实提供了数据的存储功能&#xff0c;但是文件并没有提供非常好的数据&#xff08;内容&#xff09;的管理能力&#xff08;用户角度&#xff09;。 文件保存数据有以下几个缺点&…
阅读更多...
fast.ai 深度学习笔记（一）

fast.ai 深度学习笔记（一）

深度学习 2&#xff1a;第 1 部分第 1 课 原文&#xff1a;medium.com/hiromi_suenaga/deep-learning-2-part-1-lesson-1-602f73869197 译者&#xff1a;飞龙 协议&#xff1a;CC BY-NC-SA 4.0 来自 fast.ai 课程的个人笔记。随着我继续复习课程以“真正”理解它&#xff0c;这…
阅读更多...
JAVA设计模式之策略模式详解

JAVA设计模式之策略模式详解

策略模式 1 策略模式概述 策略模式(strategy pattern)的原始定义是&#xff1a;定义一系列算法&#xff0c;将每一个算法封装起来&#xff0c;并使它们可以相互替换。策略模式让算法可以独立于使用它的客户端而变化。 其实我们在现实生活中常常遇到实现某种目标存在多种策略…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023