本章节将讲解C语言的重点动态内存管理,首先回忆一下内存的开辟。
1.为什么有动态内存管理?
code
int a[32];
char b='b';
像上面的代码我们开辟了一块空间,但上述开辟方式有以下特点:
- 空间开辟大小是固定的。
- 数组在申明的时候,必须指定数组的长度,它所需要的内存在编译时分配。
但是我们经常需要在程序运行时才知道数组大小,而编译时开辟空间的方法显然不能满足,因此我们需要用到动态开辟。
2.动态内存函数
2.1 malloc和free
malloc
void *malloc( size_t size ); //包含在<stdlib.h>头文件
在内存开辟size 个字节的空间,并返回该内存的指针void*。
- 这个函数向内存申请一块连续可用的空间,并返回指向这块空间的指针。
- 如果开辟成功,则返回一个指向开辟好空间的指针。
- 如果开辟失败,则返回一个NULL指针,因此malloc的返回值一定要做检查。
- 返回值的类型是 void* ,所以malloc函数并不知道开辟空间的类型,具体在使用的时候使用者自己来决定。
- 如果参数 size 为0,malloc的行为是标准是未定义的,取决于编译器。
程序
int* p = (int*)malloc(40);
if (p == NULL) {
perror("malloc");
}
for (int i = 0; i < 10; i++)
*p++ = i;
//debug
这里用了perror,是因为malloc是有可能分配失败,比如分配INI_MAX时就会不够空间分配,而失败。
free
void free( void *memblock );
free函数用来释放动态开辟的内存。
- 如果参数 ptr 指向的空间不是动态开辟的,那free函数的行为是未定义的。
- 如果参数 ptr 是NULL指针,则函数什么事都不做。
//指针使用完
free(p);
//让野指针指向空指针
p = NULL;
动态内存开辟在堆区,如果使用完不释放,则只有直到程序执行完才由系统回收,否则会一直占用内存,造成内存泄露问题。
释放完指针后,p为野指针,此时再解引用p进行访问操作会出现异常,应该让野指针指向空指针避免问题。
2.2 calloc
void *calloc( size_t num, size_t size );
Allocates an array in memory with elements initialized to 0.
开辟num个元素,每个元素的字节大小为size,并初始化为0,返回指针void*。
与malloc不同的是,malloc开辟需要计算总共的字节数,而calloc只需知道每个元素的大小。
int* p = (int*)calloc(10, sizeof(int));
debug调试内存窗口:
2.3 realloc
有时会我们发现过去申请的空间太小了,有时候我们又会觉得申请的空间过大了,那为了合理的时
候内存,我们一定会对内存的大小做灵活的调整。那 realloc 函数就可以做到对动态开辟内存大小
的调整。
void* realloc (void* ptr, size_t size);
- ptr 是要调整的内存地址
- size 调整之后新大小
- 返回值为调整之后的内存起始位置。
- 这个函数调整原内存空间大小的基础上,还会将原来内存中的数据移动到 新 的空间。
- realloc在调整内存空间的是存在两种情况:
- 情况1:原有空间之后有足够大的空间
- 情况2:原有空间之后没有足够大空间
- 情况1:要扩展内存就直接在原有内存之后直接追加空间,原来空间的数据不发生变化。返回的还是原来的地址。
- 情况2:函数会在堆空间再一块连续的合适大小空间,此时返回的是新的内存地址。
由于以上两种情况,使用realloc的时候就需要注意。
下面是使用例
//扩展容量
//代码1
ptr = (int*)realloc(ptr, 1000);
//代码2
int*p = NULL;
p = realloc(ptr, 1000);
if(p != NULL)
{
ptr = p;
}
相对代码1,代码2的写法更合适,因为realloc有可能遇到情况2,而找不到合适的空间。此时返回的是空指针,创建一个新的变量接受空指针,只有当他非空时,才赋值给原来的地址。
3.常见动态内存错误
1、对NULL
指针的解引用操作。
2、对动态开辟空间越界访问。
3、对非动态内存使用free
释放。
int a = 10;
int *p = &a;
free(p);
4、释放一块动态开辟内存的一部分。
int *p = (int *)malloc(100);
p++;
free(p);//p不再指向动态内存的起始位置
5、对同一块内存多次释放。
6、动态开辟内存忘记释放。
切记:
动态开辟的空间一定要释放,并且正确释放 。
4.练习
下面的程序输出什么?
题目1
void GetMemory(char *p)
{
p = (char *)malloc(100);
}
void Test(void)
{
char *str = NULL;
GetMemory(str);
strcpy(str, "hello world");
printf(str);
}
题目2
char *GetMemory(void)
{
char p[] = "hello world";
return p;
}
void Test(void)
{
char *str = NULL;
str = GetMemory();
printf(str);
}
题目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);
}
题目4
void Test(void)
{
char *str = (char *) malloc(100);
strcpy(str, "hello");
free(str);
if(str != NULL)
{
strcpy(str, "world");
printf(str);
}
}
题目1
由于malloc在堆上开辟内存,函数运行完后也没有销毁内存,造成内存泄露。内存分配给的是传入的指针的形参,形参在函数执行后销毁,因此实参是接受不到内存分配的。代码是错误的,以及代码最后没有free以及让指针置空。
题目2
函数在栈上创建的内存会自动释放,str能收到指针,但指针指向的内存已被清理,所以打印不了原内容。
题目3
因为malloc后面并没有立即free释放,所以将打印hello。以及最好在代码使用后free,以免内存泄漏。
题目4
free之后str还记得地址,即不为NULL。但是内存已被释放,下面的代码再去访问修改为world则是有问题的。
5.c/c++的内存开辟
6.柔性数组
结构体中最后一个元素是未知大小的数组,即柔性数组。
6.1 柔性数组的特点:
- 结构中的柔性数组成员前面必须至少一个其他成员。
- sizeof 返回的这种结构大小不包括柔性数组的内存。
- 包含柔性数组成员的结构用malloc ()函数进行内存的动态分配,并且分配的内存应该大于结构的大小,以适应柔性数组的预期大小。
code
typedef struct t
{
int a;
int b[];
}t;
void test() {
t t1;
t* pt = (t*)malloc(sizeof(t1) + 40);
for (int i = 0; i < 10; i++) {
pt->b[i] = i;
}
for (int i = 0; i < 10; i++) {
printf("%d\n", pt->b[i]);
}
}
上面的代码在一开始声明结构体时未分配大小,在之后可以用结构体指针pt进行动态内存分配,分配了结构体的大小(只计算一个int型即4个字节)加计划分配的40个字节(即10个int型),运行后成功验证了这一点。
0
1
2
3
4
5
6
7
8
9
用realloc给数组扩容
//扩容
t* pt2 = (t*)realloc(pt, sizeof(t1) + 80);
if (pt2 == NULL) {
//扩容失败
perror("realloc");
}
else {
//重新把让原指针指向新内存
pt=pt2;
}
测试,并释放
pt->b[11]=4;
//测试
printf("%d", pt->b[11]);
free(pt);
free(pt2);
pt = NULL;
pt2 = NULL;
结果
0
1
2
3
4
5
6
7
8
9
4
柔性数组也可设计为
void test() {
t t1;
//开辟结构体指针
t* pt = (t*)malloc(sizeof(t1));
//为指针p开辟40字节
pt->p = (int*)malloc(40);
for (int i = 0; i < 10; i++) {
pt->p[i] = i;
}
for (int i = 0; i < 10; i++) {
printf("%d\n", pt->p[i]);
}
free(pt->p);
free(pt);
pt = NULL;
}
运行结果一样
6.3 柔性数组的优势
1.一次开辟,一次释放。
如果我们把结构体的内存以及其成员要的内存一次性分配好了,做一次free就可以把所有的内存也给释放掉。后者则需要free两次。
2.访问速度更快。
因为柔性数组内存开辟是连续存放的,而后一种设计程序在内存中开辟2次内存碎片,分开存放。而内存数据读取是连续地址一块一块地读取,所以前者较后者读取速度要更快。