【C语言】动态内存管理
🔥个人主页:大白的编程日记
🔥 专栏:C语言学习之路
文章目录
前言
哈喽,各位小伙伴大家好!今天小编给大家带来的是C语言中如何进行内存的动态管理。
话不多说,咱们进入正题!向大厂冲锋!
一.为什么要有动态内存分配
我们已经掌握的内存开辟方式有两种:
- 创建变量
创建变量时就会为变量开辟一块空间
int val = 20;//在栈空间上开辟四个字节
- 创建数组
创建数组也会开辟一块连续的空间
char arr[10] = {0};//在栈空间上开辟10个字节的连续空间
但是上述的开辟空间的方式有两个特点:
- 空间开辟大小是固定的。
- 数组在申明的时候,必须指定数组的长度,数组空间⼀旦确定了大小不能调整
但是对于空间的需求,不仅仅是上述的情况。有时候我们需要的空间大小在程序运行的时候才能知道,那数组的编译时开辟空间的方式就不能满足了。有可能出现数组开大了,浪费空间。或者开小了,空间不够的问题。
那该怎么解决呢?
C语言引入了动态内存开辟,让程序员自己可以申请和释放空间,就比较灵活了。
二.动态内存函数
2.1malloc函数
如果我们要申请一块内存空间,除了创建变量和创建数组,还有其他方式吗?
这时就可以用到malloc函数。
C语言提供了一个动态内存开辟的函数:
void* malloc (size_t size);//size是开辟空间的大小,单位是字节
这个函数向内存申请⼀块连续可用的空间,并返回指向这块空间的指针。
- 开辟成功
这个函数向内存申请⼀块连续可用的空间,并返回指向这块空间的指针。 - 开辟失败
如果开辟失败,则返回⼀个 NULL 指针,因此malloc的返回值一定要做检查。
int* ret = (int*)malloc(sizeof(int));
if (ret == NULL)
{
perror("malloc fail");
return 1;
}
- 返回值
返回值的类型是 void* ,所以malloc函数并不知道开辟空间的类型,具体在使用的时候使用者自己来决定。所以malloc接收返回值时需要强转成使用者开辟空间想存放的数据类型指针
int* ret = (int*)malloc(sizeof(int));
- size为0
如果参数 size 为0,malloc的行为是标准是未定义的,取决于编译器。
2.2free函数
既然我们malloc开辟了一块空间,正所谓有借有还,再借不难。
当我们不再使用开辟的空间时,就需要释放空间,还给操作系统
那怎么还呢?
C语言提供了另外⼀个函数free,专门是用来做动态内存的释放和回收的,函数原型如下:
void free (void* ptr);
free函数用来释放动态开辟的内存。
- 参数ptr
参数ptr是指向要释放的空间的起始地址,如果参数 ptr 指向的空间不是动态开辟的,那free函数的行为是未定义的。 - ptr为空指针
如果参数 ptr 是NULL指针,则函数什么事都不做。 - 头文件
malloc和free都声明在 stdlib.h 头件中。
#include <stdio.h>
#include <stdlib.h>
int main()
{
int num = 0;
scanf("%d", &num);
int arr[num] = {0};
int* ptr = NULL;
ptr = (int*)malloc(num*sizeof(int));
if(NULL != ptr)//判断ptr指针是否为空
{
int i = 0;
for(i=0; i<num; i++)
{
*(ptr+i) = 0;
}
}
free(ptr);//释放ptr所指向的动态内存
ptr = NULL;//是否有必要?
return 0;
}
大家看这段代码,我们开辟了一块空间,使用完后free起始地址的空间。看似没问题,还有必要把ptr置空吗?
我们发现free后ptr仍然指向原来的空间,为了避免野指针的情况,我们在free后一定记得将释放空间的起始地址的空间也置空。
2.3calloc函数
其实还有一个开辟空间的函数叫calloc.
C语言还提供了一个函数叫 calloc , calloc 函数也用来动态内存分配。原型如下
void* calloc (size_t num, size_t size);
-
功能
函数的功能是为 num 个大小为 size 的元素开辟一块空间,并且把空间的每个字节初始化为0。空间大小就是num*size。 -
对比malloc
calloc与malloc很相似,都是开辟一块空间与。函数 malloc 的区别只在于 calloc 会在返回地址之前把申请的空间的每个字节初始化为全0
这里我们来验证一下malloc和calloc的区别:
- malloc
int* p1 = (int*)malloc(5 * sizeof(int));
if (p1 == NULL)
{
perror("malloc fail");
}
内存观察malloc存的是随机值。
- calloc
int* p2 = (int*)calloc(5, sizeof(int));
if (p2 == NULL)
{
perror("malloc fail");
}
calloc空间存的是0,全部初始化为0.
那什么时候用malloc什么时候用calloc呢?
如果我们对申请的内存空间的内容要求初始化,那么可以很方便的使用calloc函数来完成任务。
calloc因为要初始化所以会慢一点,malloc不用初始化更快一点。
2.4realloc函数
有时会我们发现过去申请的空间太小了,有时候我们又会觉得申请的空间过大了,那为了合理的时候内存,我们⼀定会对内存的大小做灵活的调整。那怎么调整呢?这里就可以用我们的realloc函数调整大小。
函数原型如下:
void* realloc (void* ptr, size_t size);
-
参数
ptr 是要调整的内存地址,size 调整之后新大小。 -
返回值
返回值为调整之后的内存起始位置。 -
功能
这个函数调整原内存空间大小的基础上,还会将原来内存中的数据移动到新的空间。 -
调整空间
realloc在调整内存空间的是存在三种情况:
情况1:原有空间之后有足够大的空间
当是情况1的时候,要扩展内存就直接原有内存之后直接追加空间,原来空间的数据不发生变化。
情况2:原有空间之后没有足够大的空间
当是情况2的时候,原有空间之后没有足够多的空间时,扩展的方法是:在堆空间上另找一个合适大小的连续空间来使用。然后将原来空间的数据拷贝到新空间上,释放旧空间。这样函数返回的是⼀个新的内存地址。
情况3:调整失败,返回空指针。
ptr = (int*)realloc(ptr, 1000);//这样可以吗?(如果申请失败会如何?)
因为会调整失败,调整失败会返回空指针。如果我们直接接收返回值,就有可能吧原来空间的地址丢失。所以我们应该用另一个指针接收返回值,判断是否为空。不为空在将指针地址赋值给原地址。
ptr = (int*)realloc(ptr, 1000);//这样可以吗?(如果申请失败会如何?)
//代码2 - 先将realloc函数的返回值放在p中,不为NULL,在放ptr中
int*p = NULL;
p = realloc(ptr, 1000);
if(p != NULL)
{
ptr = p;
}
//业务处理
free(ptr);
return 0;
}
- 参数指针为空
当传空指针给realloc时,此时realloc等价于malloc.。
realloc(NULL,20)//等价与malloc(20)
2.5常见的动态内存的错误
- 对NULL指针的解引用操作
如果开辟空间过大就可能开辟失败,如果不判断返回值就可能访问空指针。所以我们一定要对开辟空间函数的返回值做判断。
void test()
{
int *p = (int *)malloc(INT_MAX*100000);
*p = 20;//如果p的值是NULL,就会有问题
free(p);
}
- 对动态开辟空间的越界访问
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);
}
当i=10时,*(p+i)指向空间后的位置,越界访问。
- 对非动态开辟内存使用free释放
free只能释放动态开辟的空间。
void test()
{
int a = 10;
int *p = &a;
free(p);//ok?
}
a不是动态开辟的空间,不可以free。
- 使用free释放一块动态开辟内存的一部分
void test()
{
int *p = (int *)malloc(100);
p++;
free(p);//p不再指向动态内存的起始位置
}
p++后,不在指向空间起始位置,free只能释放动态开辟的起始地址
- 对同一块动态内存多次释放
动态开辟的空间只能释放一次。
void test()
{
int *p = (int *)malloc(100);
free(p);
free(p);//重复释放
}
- 动态开辟内存忘记释放(内存泄漏)
void test()
{
int *p = (int *)malloc(100);
if(NULL != p)
{
*p = 20;
}
}
int main()
{
test();
while(1);
}
这个代码其实没啥问题,但是忘记释放空间。会造成内存泄漏的问题。
忘记释放不再使用的动态开辟的空间会造成内存泄漏。
切记:动态开辟的空间一定要释放,并且正确释放。
三. 动态内存经典笔试题分析
3.1题目1:
- 请问运行Test函数会有什么样的结果?
void GetMemory(char *p)
{
p = (char *)malloc(100);
}
void Test(void)
{
char *str = NULL;
GetMemory(str);
strcpy(str, "hello world");
printf(str);
}
问题一:内存泄漏
问题二:对空指针解引用
仔细观察其实这段代码想开劈一块空间,并将字符串拷贝到空间上。
但是使用传值调用没有改变str指向开辟空间。正确的写法应该是:
- 修改:
void GetMemory(char** p)
{
*p = (char*)malloc(100);
}
void Test(void)
{
char* str = NULL;
GetMemory(&str);//传址调用
strcpy(str, "hello world");
printf(str);
free(str);//free空间
str = NULL;
}
应该采用传址调用。
3.2题目2:
- 请问运行Test函数会有什么样的结果?
问题一:非法访问
这时str指针就是野指针
- 验证:
3.3题目3:
- 请问运行Test函数会有什么样的结果?
问题一:内存泄漏
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动态开辟的空间。
所以我们自己开辟的空间一定要记得释放。正所谓有借有还再借不难。
- 修改:
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;
}
3.4题目4:
- 请问运行Test函数会有什么样的结果?
问题一:非法访问
void Test(void)
{
char* str = (char*)malloc(100);
strcpy(str, "hello");
free(str);
if (str != NULL)
{
strcpy(str, "world");
printf(str);
}
}
- 修改
我们只需要再free后及时置空即可。
void Test(void)
{
char* str = (char*)malloc(100);
strcpy(str, "hello");
free(str);
str=NULL;
if (str != NULL)
{
strcpy(str, "world");
printf(str);
}
}
四.柔性数组
4.1柔性数组的概念
也许你从来没有听说过柔性数组(flexible array)这个概念,但是它确实是存在的。
柔性数组必须满足以下条件:
- 是结构体中最后一个成员
- 成员是数组
- 数组的大小未知
C99中,结构中的最后一个元素允许是未知大小的数组,这就叫做『柔性数组』成员。
例如:
typedef struct st_type
{
int i;
int a[0];//柔性数组成员
}type_a;
有些编译器会报错无法编译可以改成:
typedef struct st_type
{
int i;
int a[];//柔性数组成员
}type_a;
4.2柔性数组的特点
-
成员要求
结构中的柔性数组成员前面必须至少⼀个其他成员。 -
sizeof计算
sizeof返回的这种结构大小不包括柔性数组的内存。所以这就是为什么前面至少要有一个成员,如果前面没有成员,sizeof无法计算大小,大小为0
-
动态分配
包含柔性数组成员的结构用malloc()函数进行内存的动态分配,并且分配的内存应该⼤于结构的大小,以适应柔性数组的预期大小。
typedef struct st_type
{
int i;
int a[0];//柔性数组成员
}type_a;
int main()
{
type_a* p;
int i = 0;
p = (type_a*)malloc(sizeof(type_a) + 5 * sizeof(int));
//业务处理
p->i = 100;
for (i = 0; i < 15; i++)
{
p->a[i] = i;
}
return 0;
}
- 柔性变化
那如何让数组柔性变化呢?只需要realloc调整数组的大小即可
typedef struct st_type
{
int i;
int a[0];//柔性数组成员
}type_a;
int main()
{
type_a* p;
int i = 0;
p = (type_a*)malloc(sizeof(type_a) + 5 * sizeof(int));
//业务处理
p->i = 100;
for (i = 0; i < 15; i++)
{
p->a[i] = i;
}
//调整空间
type_a* ptr= (type_a*)realloc(p,sizeof(type_a) + 10 * sizeof(int));
if (ptr != NULL)
{
p = ptr;
}
free(p);
p = NULL;
return 0;
}
4.3柔性数组的优势
上述的 type_a 结构也可以设计为下面的结构,也能完成同样的效果。
typedef struct st_type
{
int i;
int* p_a;
}type_a;
int main()
{
type_a* p = (type_a*)malloc(sizeof(type_a));
p->i = 5;
p->p_a = (int*)malloc(p->i * sizeof(int));
//业务处理
for (int i = 0; i < 5; i++)
{
p->p_a[i] = i;
}
//调整空间
int* ptr = (int*)realloc(p->p_a, 10 * sizeof(int));
if (ptr != NULL)
{
p->p_a = ptr;
}
//使用空间
//释放空间
free(p->p_a);
p->p_a = NULL;
free(p);
return 0;
}
上述 代码1 和 代码2 可以完成同样的功能,但是方法1的实现有两个好处:
- 方便内存释放
如果我们的代码是在⼀个给别人用的函数中,你在里面做了⼆次内存分配,并把整个结构体返回给用户。用户调用free可以释放结构体,但是用户并不知道这个结构体内的成员也需要free,所以你不能指望用户来发现这个事。所以,如果我们把结构体的内存以及其成员要的内存⼀次性分配好了,并返回给用户⼀个结构体指针,用户做⼀次free就可以把所有的内存也给释放掉。 - 这样有利于访问速度.
连续的内存有益于提高访问速度,也有益于减少内存碎片。
五.总结C/C++中程序内存区域划分
C/C++程序内存分配的几个区域:
-
栈区:
栈区(stack):在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时
这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内
存容量有限。栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返回地址等。 -
堆区
堆区(heap):⼀般由程序员分配释放,若程序员不释放,程序结束时可能由OS回收。分配方式类似于链表。 -
静态区:
数据段(静态区)(static)存放全局变量、静态数据。程序结束后由系统释放。 -
代码段
代码段:存放函数体(类成员函数和全局函数)的⼆进制代码。
后言
这就是C语言中的动态内存管理,之后我们在学数据结构中会大量使用这些动态内存开辟函数。所以大家一点要熟练掌握并使用。今天就分享到这里,感谢大家的垂阅,咱们下期见!拜拜~