当前位置: 首页 > news >正文

【C语言】C 动态内存管理全解析:malloc/calloc/realloc 与柔性数组实战

一、为什么要有动态内存分配

我们已经掌握的内存开辟方式有:

int val = 20;//在栈空间上开辟四个字节 
char arr[10] = {0};//在栈空间上开辟10个字节的连续空间 

但是上述的开辟空间的方式有两个特点:

  • 空间开辟大小是固定的。
  • 数组在申明的时候,必须指定数组的长度,数组空间一旦确定了大小不能调整
 

但是对于空间的需求,不仅仅是上述的情况。有时候我们需要的空间大小在程序运行的时候才能知道,那数组的编译时开辟空间的方式就不能满足了。

 

C 语言引入了动态内存开辟,让程序员自己可以申请和释放空间,就比较灵活了。

但是我们很明显就看出来了这样创建的内存空间相对来说比较死板,有可能多了会造成内存空间的浪费,也有可能少了会造成内存空间不够用。

二、malloc和free

1、malloc

C 语言提供了一个动态内存开辟的函数:

void* malloc (size_t size);
 

功能:向内存的堆区申请一块连续可用的空间,并返回指向这块空间的起始地址。

 
  • 如果开辟成功,则返回这块空间的起始地址。
  • 如果开辟失败,则返回一个 NULL 指针,因此malloc的返回值一定要做检查。
  • 返回值的类型是 void* ,所以malloc函数并不知道开辟空间的类型,具体在使用的时候时候使用者自己来决定。
  • 如果参数 size 为 0,malloc的行为是标准未定义的,取决于编译器。
#include<stdio.h>
#include<stdlib.h>
int main()
{//假设申请20个字节的空间,存放5个整数int* p = (int*)malloc(5 * sizeof(int));//判断返回值if (p == NULL)//开辟失败{perror("malloc");//打印错误信息return 1;}//开辟成功了,使用这块空间for (int i = 0; i < 5; i++){*(p + i) = i + 1;}for (int j = 0; j < 5; j++){printf("%d ", p[j]);}return 0;
}
2、free

C 语言提供了另外一个函数free,专门是用来做动态内存的释放和回收的,函数原型如下:

void free (void* ptr);

 

free函数用来释放动态开辟的内存。

 
  • 如果参数 ptr 指向的空间不是动态开辟的,那free函数的行为是未定义的。
  • 如果参数 ptr 是NULL指针,则函数什么事都不做。
 

mallocfree都声明在 <stdlib.h> 头文件中。

举个例子:

#include<stdio.h>
#include<stdlib.h>
int main()
{int num = 0;scanf("%d", &num);int arr[num];//注意这里是C99中的变长数组,变长数组是不可以初始化的//变长数组的num一旦确定,大小就不能改变了int* ptr = NULL;ptr = (int*)malloc(num * sizeof(int));if (ptr != NULL)//依旧判断指针是否为空{for (int i = 0; i < num; i++){*(ptr + i) = 0;}}//释放ptr所指向的动态内存//free完如果不主动给指针置为空,他就是野指针free(ptr);ptr = NULL;return 0;
}

三、calloc和realloc

1、calloc

C 语言还提供了一个函数叫 calloccalloc 函数也用来动态内存分配。原型如下:

void* calloc (size_t num, size_t size);

  • 函数的功能是为 num 个大小为 size 的元素开辟一块空间,并且把空间的每个字节初始化为 0
  • 与函数 malloc 的区别只在于 calloc 会在返回地址之前把申请的空间的每个字节初始化为全 0

举个例子:

#include<stdio.h>
#include<stdlib.h>
int main()
{int* p = (int*)calloc(10, sizeof(int));if (p != NULL){for (int i = 0; i < 10; i++){printf("%d ", *(p + i));}}free(p);p = NULL;return 0;
}

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

与malloc对比

先说结论:malloc就是申请空间并且不初始化;calloc就是申请空间并且初始化

接下来我们通过俩段非常相似的代码来进行分析:

#include<stdio.h>
#include<stdlib.h>
int main()
{//申请十个整型的空间int* p = (int*)calloc(10, sizeof(int));if (p == NULL){perror("calloc");return 1;}//使用for (int i = 0; i < 10; i++){printf("%d\n", p[i]);}//释放空间free(p);p = NULL;return 0;
}
#include<stdio.h>
#include<stdlib.h>
int main()
{//申请十个整型的空间int* p = (int*)malloc(10 * sizeof(int));if (p == NULL){perror("malloc");return 1;}//使用for (int i = 0; i < 10; i++){printf("%d\n", p[i]);}//释放空间free(p);p = NULL;return 0;
}

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

函数原型如下:

void* realloc (void* ptr, size_t size);

 
  • ptr 是要调整的内存地址
  • size 调整之后新大小,单位是字节
  • 返回值为调整之后的内存起始位置。
  • 这个函数调整原内存空间大小的基础上,还会将原来内存中的数据移动到新的空间。
  • realloc 在调整内存空间的是存在两种情况:
    • 情况 1:原有空间之后有足够大的空间
    • 情况 2:原有空间之后没有足够大的空间

情况 1
当是情况 1 的时候,要扩展内存就直接原有内存之后直接追加空间,原来空间的数据不发生变化。

情况 2
当是情况 2 的时候,原有空间之后没有足够多的空间时,扩展的方法是:在堆空间上另找一个合适大小的连续空间来使用。这样函数返回的是一个新的内存地址。

我们会发现情况一就是在一块普通空间后面申请一块空间追加在一起即可,但是情况二就比较特殊了,所以我为大家总结了一下:

1、将旧的空间数据拷贝一份到新的空间
2、返回新的空间的起始地址
3、释放掉旧的地址

当然了realloc也可以直接创建一块新的空间:

#include<stdio.h>
#include<stdlib.h>
//realloc函数也可以直接用来申请空间
int main()
{//穿空指针代表我们用来开辟空间int* p = (int*)realloc(NULL, 40);return 0;
}

我们再举一个比较简单的realloc的例子:

#include<stdio.h>
#include<stdlib.h>
int main()
{//申请一块内存空间用来存放1~5int* p1 = (int*)malloc(5 * sizeof(int));if (p1 == NULL){perror("malloc");return 1;}//使用内存空间for (int i = 0; i < 5; i++){p1[i] = i + 1;}//继续存放6~10//内存空间不够,需要增容int* p2 = realloc(p1, 10 * sizeof(int));if (p2 == NULL){perror("realloc");free(p1);p1 = NULL;return 1;}p1 = p2;//接下来可以继续使用p1来维护新的空间for (int i = 5; i < 10; i++){p1[i] = i + 1;}free(p1);p1 = NULL;return 0;
}

四、常见的动态内存的错误

1、对NULL指针的解引用操作
void test()
{int* p = (int*)malloc(INT_MAX / 4);*p = 20;//如果p的值是NULL,就会有问题 free(p);
}

我们要知道一般在开辟完空间并且赋值的时候我们要判断指针是否为空指针,这个错误顾名思义就是:没有对malloc/calloc/realloc函数的返回值做判断。

2、对动态开辟空间的越界访问
void test()
{int i = 0;int* p = (int*)malloc(10 * sizeof(int));if (NULL == p){exit(EXIT_FAILURE);}for (i = 0; i <= 10; i++){*(p + i) = i;//当i是10的时候越界访问 }free(p);
}

这还是很简单就可以看出来的,我们在写代码的时候要尽量避免这种问题的出现。

3、对非动态开辟的内存使用free
void test()
{int a = 10;int* p = &a;free(p);//ok?
}

free只能释放动态即malloc/calloc/realloc开辟的内存空间,而这段代码中的int *p = &a;是在栈区上空间是自动开辟的,也会自动回收

4、使用free释放一块动态开辟内存的一部分
void test()
{int* p = (int*)malloc(100);p++;free(p);//p不再指向动态内存的起始位置 
}

free释放空间的时候一定要给这段空间的起始位置。

5、对同一块动态内存多次释放
void test()
{int* p = (int*)malloc(100);free(p);free(p);//重复释放 
}

我们再来看一个也是重复释放的例子:

#include<stdio.h>
#include<stdlib.h>
int* test()
{int* p = (int*)malloc(10 * sizeof(int));if (p == NULL){perror("malloc");return 1;}//...free(p);return p;
}
int main()
{int* ptr = test();free(ptr);//二次释放了ptr = NULL;return 0;
}

错误点分析

  1. test() 函数内部已释放内存,但返回了悬空指针

    • free(p) 释放了动态分配的内存,但函数仍然返回了 p,此时 p 是一个 悬空指针(Dangling Pointer),指向的内存已被系统回收。

  2. main() 函数中对同一块内存二次释放

    • ptr 接收了 test() 返回的悬空指针,再次调用 free(ptr) 会导致 未定义行为(Undefined Behavior),可能引发程序崩溃或安全漏洞。

当然我们还可以看到他返回了一个局部变量的地址,但是在我们前面的学习中我们应该知道这种行为也是错误的,那这里为什么没有说他错呢?

因为 malloc 分配的内存是 堆内存(Heap Memory),而不是局部变量(栈内存)。

  • 堆内存的生命周期由程序员控制,不会在函数返回时自动释放

  • 因此,返回 p 是合法的(但必须确保后续正确释放,否则会内存泄漏)。

6、动态开辟内存忘记释放(内存泄漏)
void test()
{int* p = (int*)malloc(100);if (NULL != p){*p = 20;}
}int main()
{test();while (1);return 0;
}

忘记释放不再使用的动态开辟的空间会造成内存泄漏。
切记:动态开辟的空间一定要释放,并且正确释放。

总结:
1、谁申请的空间谁释放
2、不使用的空间及时释放
3、自己(函数1)不方便释放的空间要告诉别人(函数2)释放

五、动态内存经典笔试题分析

题目一:
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
void GetMemory(char* p)
{p = (char*)malloc(100);
}
void Test(void)
{char* str = NULL;GetMemory(str);strcpy(str, "hello world");printf(str);
}
int main()
{Test();return 0;
}

请问运行Test函数会有什么样的结果?

答案:存在内存泄漏的问题,同时对空指针进行了解引用,程序奔溃

解析:首先这里的printf(str)等价于printf("%s",str);我们来看Test函数内部,从上到下给代码标为1、2、3、4,第一步给str置为空指针;第二步调用函数,p接收了str传来的空指针,然后在堆区上申请了100个字节的空间,将起始地址放入p中,覆盖NULL;第三步调用函数strcpy,上述步骤均不影响str,我们再来看strcpy函数,strcpy(char* dest, const char* src);这里面俩个指针均不能为空,因为拷贝需要进行解引用操作。

改善:

方案一:

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
void GetMemory(char** p)
//传过来的是一个一级指针的的地址,我们要调用二级指针来接收
{*p = (char*)malloc(100);//相当于//str=(char*)malloc(100);
}
void Test(void)
{char* str = NULL;GetMemory(&str);//我们传入一个指针变量的地址(地址的地址)strcpy(str, "hello world");//这里的str便不再是NULLprintf(str);//释放free(str);str = NULL;
}
int main()
{Test();return 0;
}

方案二:

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
char* GetMemory(char* p)
{p = (char*)malloc(100);return p;
}
void Test(void)
{char* str = NULL;GetMemory(str);strcpy(str, "hello world");printf(str);//释放free(str);str = NULL;
}
int main()
{Test();return 0;
}
题目二:
#include <stdio.h>
#include <stdlib.h>
char* GetMemory(void)
{char p[] = "hello world";return p;
}
void Test(void)
{char* str = NULL;str = GetMemory();printf(str);
}
int main()
{Test();return 0;
}

请问运行Test函数会有什么样的结果?

答案:打印了一堆随机值

解析:局部变量栈区上的数组,出了作用域会销毁

改善:

#include<stdio.h>
#include<stdlib.h>
char* func(void)
{static char p[] = "hello world";//static修饰的数组是存放在内存的静态区的//出了函数也不会被销毁return p;
}
void test(void)
{char* str = NULL;str = func();printf(str);
}
int main()
{test();return 0;
}
题目三:
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
void GetMemory(char** p, int num)
{*p = (char*)malloc(num);
}
void Test(void)
{char* str = NULL;GetMemory(&str, 100);strcpy(str, "hello");printf(str);
}int main()
{Test();return 0;
}

请问运行Test函数会有什么样的结果?

答案:没有释放,但是可以打印hello

解析:这里很明显就可以看出来是str忘记释放

改善:

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
void GetMemory(char** p, int num)
{*p = (char*)malloc(num);
}
void Test(void)
{char* str = NULL;GetMemory(&str, 100);strcpy(str, "hello");printf(str);//释放free(str);str = NULL;
}int main()
{Test();return 0;
}
题目四:
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
void Test(void)
{char* str = (char*)malloc(100);strcpy(str, "hello");free(str);if (str != NULL){strcpy(str, "world");printf(str);}
}
int main()
{Test();return 0;
}

答案:野指针问题,会非法访问内存,程序奔溃,什么都打印不出来

解析:我们将Test函数内部的代码从上到下标注为1、2、3、4,第一步创建一块动态内存大小为100字节,强转为char*类型将str的初始地址存入其中;第二步将hello放入这100个字节的空间中;第三步将str指向的空间释放了,即100的那块空间还给操作系统了,但str中依旧存放着起始地址并没有置为NULL;第四步就是使用了野指针

改善:

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
void Test(void)
{char* str = (char*)malloc(100);strcpy(str, "hello");free(str);str = NULL;if (str != NULL){strcpy(str, "world");printf(str);}
}
int main()
{Test();return 0;
}

六、柔性数组

也许你从来没有听说过柔性数组(flexible array)这个概念,但是它确实是存在的。
C99 中,结构中的最后一个元素允许是未知大小的数组,这就叫做『柔性数组』成员。、

例如:

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

有些编译器会报错无法编译可以改成:

struct st_type
{int i;int a[];//柔性数组成员 
};
1、柔性数组的特点
  • 结构中的柔性数组成员前面必须至少一个其他成员。
  • sizeof 返回的这种结构大小不包括柔性数组的内存。
  • 包含柔性数组成员的结构用 malloc() 函数进行内存的动态分配,并且分配的内存应该大于结构的大小,以适应柔性数组的预期大小。

如果直接创建变量,他是不会给柔性数组的成员分配空间的

typedef struct st_type
{int i;int a[0];//柔性数组成员 
}type_a;
int main()
{printf("%d\n", sizeof(type_a));//输出的是4 return 0;
}
2、柔性数组的使用
#include <stdio.h>
#include <stdlib.h>
typedef struct st_type
{int i;int a[0];//柔性数组成员 
}type_a;
int main()
{printf("%d\n", sizeof(type_a));//输出的是4 return 0;
}int main()
{int i = 0;type_a* p = (type_a*)malloc(sizeof(type_a) + 100 * sizeof(int));//业务处理 p->i = 100;for (i = 0; i < 100; i++){p->a[i] = i;}free(p);return 0;
}

这样柔性数组成员a,相当于获得了100个整型元素的连续空间。

3、柔性数组的优势

上述的 type_a 结构也可以设计为下面的结构,也能完成同样的效果。

#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));//业务处理 int i;for (i = 0; i < 100; i++){p->p_a[i] = i;}//释放空间 free(p->p_a);p->p_a = NULL;free(p);p = NULL;return 0;
}

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

第一个好处是:方便内存释放

如果我们的代码是在一个给别人用的函数中,你在里面做了二次内存分配,并把整个结构体返回给用户。用户调用free可以释放结构体,但是用户并不知道这个结构体内的成员也需要free,所以你不能指望用户来发现这个事。所以,如果我们把结构体的内存以及其成员要的内存一次性分配好了,并返回给用户一个结构体指针,用户做一次free就可以把所有的内存也给释放掉。

第二个好处是:这样有利于访问速度

连续的内存有益于提高访问速度,也有益于减少内存碎片。(其实,我个人觉得也没多高了,反正你跑不了要用做偏移量的加法来寻址)

七、总结C/C++中程序内存区域划分

C/C++ 程序内存分配的几个区域:

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

  2. 堆区(heap):一般由程序员分配释放,若程序员不释放,程序结束时可能由 OS(操作系统)回收。分配方式类似于链表。

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

  4. 代码段:存放函数体(类成员函数和全局函数)的二进制代码。

八、编程练习

练习一:数组串联

1929. 数组串联 - 力扣(LeetCode)

练习二:练习使用动态内存相关的函数

这题大家自行看知识点二和三熟悉并掌握即可

练习三:使用malloc函数模拟开辟一个二维数组

使用malloc函数模拟开辟一个3*5的整型二维数组,开辟好后,使用二维数组的下标访问形式,访问空间。

#include<stdio.h>
#include<stdlib.h>
int main()
{int** p = (int**)malloc(3 * sizeof(int*));for (int i = 0; i < 3; i++){p[i] = (int*)malloc(5 * sizeof(int));}//进行初始化for (int i = 0; i < 3; i++){for (int j = 0; j < 5; j++){p[i][j] = 5 * i + j;}}//打印for (int i = 0; i < 3; i++){for (int j = 0; j < 5; j++){printf("%d ", p[i][j]);}printf("\n");}//释放for (int i = 0; i < 3; i++){free(p[i]);}free(p);p = NULL;return 0;
}

文章转载自:

http://tVtQxfsu.hgsmz.cn
http://Bt5fijRe.hgsmz.cn
http://GXZQq3j4.hgsmz.cn
http://riA0UaUK.hgsmz.cn
http://vpAVWr0I.hgsmz.cn
http://YafVMYBp.hgsmz.cn
http://Fi7LjjjA.hgsmz.cn
http://lTFs9d3W.hgsmz.cn
http://O0iXkcHz.hgsmz.cn
http://9szjACFl.hgsmz.cn
http://omFoJ14J.hgsmz.cn
http://I8IujoEL.hgsmz.cn
http://8VpFlhLH.hgsmz.cn
http://6kGSSvs9.hgsmz.cn
http://qcge3jVl.hgsmz.cn
http://LmDTvQGM.hgsmz.cn
http://aCEsERMX.hgsmz.cn
http://3rAg15jZ.hgsmz.cn
http://CCdPPRG4.hgsmz.cn
http://9Sx68bCf.hgsmz.cn
http://hsPxVc9l.hgsmz.cn
http://6DNt0Ayk.hgsmz.cn
http://UctCijch.hgsmz.cn
http://AyxWvmvh.hgsmz.cn
http://lo1Yil8W.hgsmz.cn
http://TkjGjIps.hgsmz.cn
http://gIQrAPmZ.hgsmz.cn
http://ZqEFzjoc.hgsmz.cn
http://0fHfqiHE.hgsmz.cn
http://TLeGAuE6.hgsmz.cn
http://www.dtcms.com/a/387846.html

相关文章:

  • Python测试框架:unittest、pytest对比
  • 仓颉编程语言青少年基础教程:class(类)(下)
  • 【LVS入门宝典】深入解析负载均衡:LVS的核心作用与实现原理
  • 7.4缓存
  • vscode单击暂时预览文件 双击持续打开文件
  • 机器视觉 真实项目案例征集
  • 一根网线搞定远程运维,GL-RM1PE 深度体验:远程运维、装机、开机一体化的 KVM over IP
  • Ubuntu20.04仿真 | 云台相机可直接使用文件
  • Docker学习记录——构建本地镜像,从Windows向Ubuntu推送
  • MyBatis分页:PageHelper
  • 基于python BERT的新闻文本分类与用户行为预测的分析与应用
  • MFC实战:OBJ模型加载与3D渲染指南
  • FAQ:珠海网络推广哪家好?GEO优化能带来哪些优势?
  • (论文速读)CLR-GAN: 通过一致的潜在表征和重建提高gan的稳定性和质量
  • MFC_Static
  • TDengine IDMP 基本功能——数据可视化(3. 饼图)
  • Spring基础创建
  • 智能的非数学本质
  • CNB迁移和UI定制
  • 基于OpenTelemetry与Jaeger的分布式追踪原理深度解析与实践指南
  • EasyDSS视频直播RTMP推流技术如何实现多机型的无人机视频统一直播
  • 智能扫地机器人方案开发,基于32位MCU
  • 【STM32 CubeMX + Keil】DAC 输出0~3.3V间任意电压
  • git submodule命令详解
  • HTTP/2.0是什么?
  • 深度学习基础:从线性回归到 Softmax 回归的完整梳理
  • 深度学习之线性回归与 Softmax 回归
  • 线性回归与 Softmax 回归
  • 源雀 Scrm开源:企微防截屏
  • [APItest-Karate] HttpRequestBuilder | HttpClient发送请求