malloc 实现_malloc实现原理

malloc 的实现涉及物理内存，虚拟内存？
　　malloc返回返回请求大小的连续内存空间，如果申请失败，返回错误。malloc的实现跟物理内存有关系吗？涉及虚拟内存吗？

　　为什么存在动态内存分配

　　在之前我们都是这样开辟空间的：int i = 20; //在栈空间开辟4个字节char arr[10] = { 0 }; //在栈空间开辟10个字节的连续空间

　　特点1️、开辟的空间大小是固定的2️、数组在声明的时候，必需包含常量值 (指定数组长度)

　　小结

　　以往开辟空间的方式不够灵活，有很大的局限性 (有时候我们需要的空间大小在程序运行的时候才能知道)所以这篇文章主要了解在内存堆上开辟空间所使用的函数

　　2022年嵌入式开发想进互联网大厂，你技术过硬吗？

　　腾讯T6-9首发“Linux内核源码嵌入式开发进阶笔记”，差距不止一点点哦

　　动态内存函数的介绍

　　malloc和free

　　这两个函数总是成对出现的，一个开辟内存，一个释放内存，这两个函数的单独使用极有可能会导致程序出错。

　　动态内存开辟的函数malloc，函数原型 void* malloc (size_t size);

　　函数说明这个函数向内存申请一块连续可用的空间，并返回指向这块空间的指针。 如果开辟成功，则返回一个指向开辟好空间的指针size_t size表示开辟几个字节大小的空间如果开辟失败，则返回一个NULL指针，因此malloc的返回值一定要做检查。 返回值的类型是 void* ，所以malloc函数并不知道开辟空间的类型，具体在使用的时候使用者自己来决定。如果参数 size为0，malloc的行为是标准是未定义的，取决于编译器。

　　动态内存释放函数free，函数原型 void free (void* ptr);【文章福利】小编推荐自己的Linux内核技术交流群:【865977150】整理了一些个人觉得比较好的学习书籍、视频资料共享在群文件里面，有需要的可以自行添加哦！！！，下面链接可以查看具体。Linux内核源码技术学习路线+视频教程代码资料

　　函数说明-ptr 传过来的是开辟空间的起始地址， 如果参数 ptr 指向的空间不是动态开辟的，那free函数的行为是未定义的,如果为空指针什么也不会发生如果参数 ptr 是NULL指针，则函数什么事都不做。 free函数释放内存空间后，并不会将接受开辟空间起始地址的的指针置为空指针

　　malloc和free都声明在 stdlib.h 头文件中，接下来我举一个开辟内存释放内存的例子：

　　这里有几个细节的地方学要注意：

　　malloc开辟空间后，free函数释放P指向的内存空间，但不会把p指针里面地址的内容释放，这可能就会造成，p又通过地址访问之前的内存空间，造成内存非法访问，所以一定要手动的把把P置为NULL

　　calloc

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

　　函数原型如下： void* calloc (size_t num, size_t size); 函数说明：函数的功能是为 num 个大小为 size 的元素开辟一块空间，并且把空间的每个字节初始化为0。与函数 malloc 的区别只在于calloc 会在返回地址之前把申请的空间的每个字节初始化为全0。

　　举个例子我们使用calloc开辟10个整形空间的大小

　　打印calloc开辟空间里面的内容如图：

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

　　realloc

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

　　函数原型如下： void* realloc (void* ptr, size_t size);

　　函数说明：这个函数可以在原有的其它内存函数开辟空间的基础上，继系管理空间的大小，也可以自己重新开辟一块新的内存空间，开辟空间时不初始化里面的内容。ptr 是要调整的内存地址（原内存的起始地址）， size 为调整之后内存空间的新大小 返回值为调整之后的内存起始位置。这个函数调整原内存空间时，如果原内存空间后面有足够的空间则开辟相应的空间，如果原内存空间后面没有足够的空间可以开辟，就在堆区重新找一块空间开辟内存，之后还会将原来内存中的数据移动到新 的空间。

　　realloc在调整内存空间的是存在两种情况：情况1：原有空间之后有足够大的空间情况2：原有空间之后没有足够大的空间

　　以下面的的代码为例，下图分析两种情况：

　　情况一：

　　情况二：

　　当是情况1 的时候，要扩展内存就直接原有内存之后直接追加空间，原来空间的数据不发生变化。当是情况2 的时候，如果原内存空间后面没有足够的空间可以开辟，就在堆区重新找一块空间开辟内存，之后还会将原来内存中的数据移动到新的空间。

　　常见的动态内存错误

　　对NULL指针的解引用操作

　　空指针就是没有任何指向的指针，不能对它进行解引用，加减整数等操作，任何对它的操作都是不和法的，都会造成程序的崩溃。malloc函数在开辟内存失败时，会返回空指针，所以在对malloc函数开辟的空间进行使用之前要判断是否为返回空指针。

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

　　其实这个很好理解，就像静态的创建10个数组元素，你可不能访问20个元素啊；如下面的代码，malloc动态的开辟了10整形大小的空间，下面使用空间时却访问了40个整形元素，这也是不合法的。

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

　　通过什么方式创建，就要通过什么方式释放

　　使用free释放一块动态开辟内存的一部分free（p），p一定要指向开辟空间的起始位置，这样才能释放开辟的整块动态空间，如果p因为使用原因进行了移动一定要定义另一个指针记录p的开始指向位置，否则进行的内存释放是局部的内存释放。下面代码中通过指针的移动对空间内容进行了赋值，p发生了移动，但没有记录p的起始位置。

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

　　对于开辟的一块动态空间，一次释放就行，但有时由于程序的复杂，在多个函数里面使用这块空间，也就可能会进行多次释放。

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

　　如下p是局部变量,出了这个函数就销毁了，下面的main 函数里面就不能使用了，之后就找不到p原来指向的空间的内容了，下面就不能把这块空间释放掉,造成内存泄漏，时间一长会消耗很多内存，如果服务器里面有内存泄漏，导致这个服务器崩溃。

　　几个经典的笔试题

　　题目一：

　　首先思考这个代码有哪些问题？？

　　这个代码有两个问题：

　　❌1. 对空指针的使用 ❌ 2. 存在内存泄漏

　　图示解释

　　代码修改的两种方法

　　在函数调用时，传值调用是无法改变实参的大小的，要传地址。

　　题目二：

　　❌静态开辟的空间是在栈上，栈上开辟的空间出了作用域就销毁了，动态开辟的空间是在堆上开辟的，要么自己手动释放空间，要么程序结束自动释放空间。所以下面的代码，随机打印内存中的一些值，没有达到预想到的效果。

　　题目三

　　❌返回&x是无效的，局部变量返回地址是无效的

　　题目四

　　❌开辟空间没有free释放掉

　　题目六

　　❌动态空间开辟好后，free释放开辟的空间，那么维护开辟空间起始位置的指针也应该置为空指针，这是紧紧相连的步骤，不可缺少。虽然free(str)释放了开辟好的空间，但str里面任然存储着开辟空间的起始地址，free不会释放strl里面的内容的，导致非法访问，导致程序错误。

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

　　C/C++程序内存分配的几个区域如下图： 不同的变量，程序在内存中占有不同的区域，理解他们所在的区域，理解他们的作用域与生命周期，可以帮助我们更好地编写程序。

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

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

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

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

　　编译产生的可执行代码（可执行程序）是放在代码段区域的，常量字符串，也是放在代码段里面的。有了这幅图，我们就可以更好地理解static关键字修饰的局部变量了实际上普通的局部变量是在栈区分配空间的，栈区的特点是在上面创建的变量出了作用域就销毁。但是被static修饰的变量存放在数据段（静态区），数据段的特点是在上面创建的变量，直到程序结束才销毁所以生命周期变长。

　　柔性数组

　　柔性数组（flexible array）这个概念我们很少听到，但是它确实是存在的。 C99 中，结构中的最后一个元素允许是未知大小的数组，这就叫做柔性数组成员。我自己对于柔性数组的理解就是，柔性数组是定义在结构体当中的一个成员，它的起始大小为零，在使用过程中，根据情况的需要，通过动态内存开辟函数改变它的大小，达到数组内容改变的效果。

　　如：

　　柔性数组的特点：结构体中的柔性数组成员前面必须至少一个其他成员。sizeof 返回的这种结构大小不包括柔性数组的内存。包含柔性数组成员的结构用malloc ()函数进行内存的动态分配，并且分配的内存应该大于结构的大小，以适应 柔性数组的预期大小。

　　如下代码进行结构体的大小的计算：

　　下面为柔性数组的简单使用：

　　代码一

　　首先数组元素个数为10个,不够时再动态的开辟为20个

　　可能有老铁觉得，柔性数组的存在是多余的，没有柔性数组，我也可以可以创建一个结构体的数组成员，实现动态的变化，那我们通过下面的代码简单的来分析一下吧，我们不使用柔性数组，实现上面柔性数组的功能，对比一下

　　代码二

　　通过以上代码和图示分析，为了实现柔性数组的功能，我们通过上面的代码会存在如下的问题：

　　上述 代码1 和 代码2 可以完成同样的功能，但是 方法1 的实现有两个好处：

　　第一个好处是：方便内存释放包含柔性数组的空间开辟只需要一次malloc,不包含的需要两次malloc,两次free释放内存

　　第二个好处是：再由空间局部性原理可知，这样有利于访问速度.连续的内存有益于提高访问速度，也有益于减少内存碎片。多次开辟堆上面的空间，导致堆空间残留许多未被利用的内存块（内存碎片），占用内存，影响程序运行。

　　相关视频推荐；【嵌入式开发】深入剖析Linux内核《内存管理》|自旋锁|RCU| 内存屏障|文件系统|内存管理|设备驱动|处理器缓存|内存屏障|网络协议栈|内核组件与调试_哔哩哔哩_bilibili