文章目录
1. 为什么存在动态内存分配
我们已经掌握的内存开辟方式有:
int val = 0;//在栈空间上开辟四个字节
char arr[10] = {0};//在栈空间上开辟10个字节的连续空间
但是上述的开辟空间的方式有两个特点:
1. 空间开辟大小是固定的。
2. 数组在申明的时候,必须指定数组的长度,它所需要的内存在编译时分配。
但是对于空间的需求,不仅仅是上述的情况。有时候我们需要的空间大小在程序运行的时候才能知道,那数组的编译时开辟空间的方式就不能满足了。这时候就只能试试动态存开辟了。
而动态内存分配是在堆上申请的。
2. 动态内存函数的介绍
2.1 malloc和free
C语言提供了一个动态内存开辟的函数,它的头文件是#include <stdlib.h>。
这个函数向内存申请一块连续可用的空间,并返回指向这块空间的指针。
1.如果开辟成功,则返回一个指向开辟好空间的指针。
2.如果开辟失败,则返回一个NULL指针,因此malloc的返回值一定要做检查。
3.返回值的类型是 void* ,所以malloc函数并不知道开辟空间的类型,具体在使用的时候使用者自己来决定。
4.如果参数 size 为0,malloc的行为是标准是未定义的,取决于编译器。
假设我们要开辟10个整型的空间,就可以这样定义:
int main()
{
int* p = (int*)malloc(40);
return 0;
}
C语言提供了另外一个函数free,专门是用来做动态内存的释放和回收的,函数原型如下:
free函数用来释放动态开辟的内存。free声明也在 stdlib.h 头文件中。
如果参数 ptr 指向的空间不是动态开辟的,那free函数的行为是未定义的。
如果参数 ptr 是NULL指针,则函数什么事都不做。
举个例子:
#include <string.h>
#include <stdlib.h>
#include <stdio.h>
int main()
{
//开辟10个整型的空间
int* p = (int*)malloc(40);
//检查
if (NULL == p)
{
return 0;
}
//使用
//释放
free(p);
p = NULL;
return 0;
}
这是我们申请好的一块内存:
在这里,我们free§之后是什么一个情况呢?
p不在指向这块空间,这块空间被操作系统拿回去了。但是p里面还是会存放原来的地址,我们应该给它置为NULL,否则它会变为野指针。
2.2 calloc
C语言还提供了一个函数叫 calloc , calloc 函数也用来动态内存分配。原型如下:
num的意思是:要分配的元素个数。size的意思是:每个元素的大小。
1.函数的功能是为 num 个大小为 size 的元素开辟一块空间,并且把空间的每个字节初始化为0。
2.与函数 malloc 的区别只在于 calloc 会在返回地址之前把申请的空间的每个字节初始化为全0。
2.3 realloc
realloc函数的出现让动态内存管理更加灵活。
有时会我们发现过去申请的空间太小了,有时候我们又会觉得申请的空间过大了,那为了合理的使用内存,我们一定会对内存的大小做灵活的调整。那 realloc 函数就可以做到对动态开辟内存大小的调整。
函数原型如下:
ptr 是要调整的内存地址
size 调整之后新大小
返回值为调整之后的内存起始位置
这个函数调整原内存空间大小的基础上,还会将原来内存中的数据移动到 新 的空间。
比如:
int main()
{
//开辟10个整型的空间
int* p = (int*)calloc(10, sizeof(int));
if (NULL == p)
{
return 0;
}
//使用
int i = 0;
for (i = 0; i < 10; i++)
{
printf("%d ", p[i]);
}
//需要增容 - 80字节
p= (int*)realloc(p, 80);
//释放
free(p);
p = NULL;
return 0;
}
这样写,其实是有问题的。
情况1:
这是没有问题的。
情况2:
如果后面空间不够,那么会找一块新的空间开辟内存。
然后原来开辟的内存内容会复制到新的开辟空间,原来的空间会还给操作系统。
情况3:
如果realloc调整空间失败,会返回NULL。
然后p会赋值成NULL,这是不合理的。我们开辟空间失败了,也找不到原来的空间了。
所以我们最好这样写:
int main()
{
//开辟10个整型的空间
int* p = (int*)calloc(10, sizeof(int));
if (NULL == p)
{
return 0;
}
//使用
int i = 0;
for (i = 0; i < 10; i++)
{
printf("%d ", p[i]);
}
//需要增容 - 80字节
int*ptr = (int*)realloc(p, 80);
if (NULL != ptr)
{
p = ptr;
ptr = NULL;
}
//释放
free(p);
p = NULL;
return 0;
}
然后realloc还有一种用法:
int main()
{
//开辟10个整型的空间
int* p = (int*)realloc(NULL, 40);
if (NULL == p)
{
return 0;
}
//使用
int i = 0;
for (i = 0; i < 10; i++)
{
printf("%d ", p[i]);
}
//释放
free(p);
p = NULL;
return 0;
}
当realloc第一个参数为NULL时,它的作用和malloc是一样的。
3. 常见的动态内存错误
3.1 对NULL指针的解引用操作
举个例子:
#include <limits.h>
include <stdlib.h>
int main()
{
int* p = (int*)malloc(INT_MAX);
*p = 20;//如果p的值是NULL,就会有问题
return 0;
}
INT_MAX是整型最大值,要引头文件#include <limits.h>。
我们应该这样写:
#include <limits.h>
include <stdlib.h>
int main()
{
int* p = (int*)malloc(INT_MAX);
if (p == NULL)
return 0;
*p = 20;//如果p的值是NULL,就会有问题
return 0;
}
3.2 对动态开辟空间的越界访问
举个例子:
int main()
{
char* p = (char*)malloc(10 * sizeof(char));
if (p == NULL)
{
return 0;
}
//使用
int i = 0;
for (i = 0; i <= 10; i++)//当i是10的时候越界访问
{
*(p + i) = 'a' + i;
}
//释放
free(p);
p = NULL;
return 0;
}
3.3 对非动态开辟内存使用free释放
举个例子:
void test()
{
int a = 10;
int *p = &a;
free(p);//ok?
}
这是不行的。
3.4 使用free释放一块动态开辟内存的一部分
int main()
{
int* p = (int*)malloc(40);
if (p == NULL)
{
return 0;
}
//使用内存
int i = 0;
//1~5
for (i = 0; i < 5; i++)
{
*p = i+1;
p++;
}
//释放
free(p);
p = NULL;
return 0;
}
在这里,p里面的地址发生了变化,已经不是原来的地址了。
此时释放就会出现问题了。
3.5 对同一块动态内存多次释放
举个例子:
int main()
{
int* p = (int*)malloc(40);
if (p == NULL)
{
return 0;
}
//使用内存
int i = 0;
for (i = 0; i < 5; i++)
{
*(p+i) = i + 1;
}
//释放
free(p);
free(p);//err
return 0;
}
当我们释放p了之后,没有给它置为NULL,又一次free这是会出现问题的。
我们可以这样写:
int main()
{
int* p = (int*)malloc(40);
if (p == NULL)
{
return 0;
}
//使用内存
int i = 0;
for (i = 0; i < 5; i++)
{
*(p+i) = i + 1;
}
//释放
free(p);
p = NULL;
free(p);
return 0;
}
此时p里已为NULL,不指向任何空间。
3.6 动态开辟内存忘记释放(内存泄漏)
void test()
{
int* p = (int*)malloc(40);
if (p == NULL)
{
return 0;
}
//使用
//忘记释放,就会出现内存泄露的问题
}
int main()
{
test();
return 0;
}
如果没有释放,就会出现内存泄露的问题,有些人会在main函数里释放也是不行的,当test函数结束时,p就没有了,找不到原来的空间了。
讲解一道经典的笔试题:
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;
}
这段代码在运行的时候,会出现什么问题呢?
第一,str作为GetMemory函数的参数传给指针p,p是str的一份临时拷贝,然后动态开辟100个字节的空间,将地址赋给了p。但是当函数结束时,p就还给操作系统了,但是动态开辟的100个字节的空间没有释放。
第二,因为p是str的一份临时拷贝,p里面的值发生改变,但str里的值还是NULL,strcpy在使用时,第一个参数是NULL,会非法访问内存。
如何正确的修改:
第一种方案:
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;
}
int main()
{
Test();
return 0;
}
第二种方案:
char* GetMemory(char* p)
{
p = (char*)malloc(100);
return p;
}
void Test(void)
{
char* str = NULL;
str = GetMemory(str);
strcpy(str, "hello world");
printf(str);
//释放
free(str);
str = NULL;
}
int main()
{
Test();
return 0;
}
4. C/C++程序的内存开辟
C/C++程序内存分配的几个区域:
- 栈区(stack):在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。 栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返回地址等。
- 堆区(heap):一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS(操作系统)回收 。分配方式类似于链表。
- 数据段(静态区)(static)存放全局变量、静态数据。程序结束后由系统释放。
- 代码段:存放函数体(类成员函数和全局函数)的二进制代码。
有了这幅图,我们就可以更好的理解在《C语言初识》中讲的static关键字修饰局部变量的例子了。
实际上普通的局部变量是在栈区分配空间的,栈区的特点是在上面创建的变量出了作用域就销毁。但是被static修饰的变量存放在数据段(静态区),数据段的特点是在上面创建的变量,直到程序结束才销毁,所以生命周期变长。
5. 柔性数组
也许你从来没有听说过柔性数组(flexible array)这个概念,但是它确实是存在的。
C99 中,结构中的最后一个元素允许是未知大小的数组,这就叫做『柔性数组』成员。
比如:
struct S1
{
int n;
int arr[0];//大小是未指定
};
struct S2
{
int n;
int arr[];//大小是未指定
};
S1和S2都是柔性数组。
5.1 柔性数组的特点:
1.结构中的柔性数组成员前面必须至少一个其他成员。
2.sizeof 返回的这种结构大小不包括柔性数组的内存。
3.包含柔性数组成员的结构用malloc ()函数进行内存的动态分配,并且分配的内存应该大于结构的大小,以适应柔性数组的预期大小。
举个例子:
我们看到它只包含了第一个成员的大小,第二个没有算进去。
那我们像这个柔性数组怎么来开辟空间呢?
比如:
struct S2
{
int n;
int arr[];
};
int main()
{
struct S2* ps = (struct S2*)malloc(sizeof(struct S2) + 40);
return 0;
}
这里sizeof(struct S2) 的空间是给int n的,40个字节的空间是给柔性数组的。
5.2 柔性数组的使用
struct S2
{
int n;
int arr[];
};
int main()
{
struct S2* ps = (struct S2*)malloc(sizeof(struct S2) + 40);
ps->n = 100;
int i = 0;
for (i = 0; i < 10; i++)
{
ps->arr[i] = i;
}
//释放
free(ps);
ps = NULL;
return 0;
}
也可以增容:
struct S2
{
int n;
int arr[];
};
int main()
{
struct S2* ps = (struct S2*)malloc(sizeof(struct S2) + 40);
ps->n = 100;
int i = 0;
for (i = 0; i < 10; i++)
{
ps->arr[i] = i;
}
//增容
struct S2* ptr = (struct S2*)realloc(ps, sizeof(struct S2)+80);
if (ptr == NULL)
{
return 0;
}
else
{
ps = ptr;
}
//释放
free(ps);
ps = NULL;
return 0;
}
5.3 柔性数组的优势
上述的结构也可以设计为:
struct S
{
int n;
int* arr;
};
int main()
{
struct S* ps = (struct S*)malloc(sizeof(struct S));
ps->n = 100;
ps->arr = (int*)malloc(40);
//使用
//增容
free(ps->arr);
ps->arr = NULL;
free(ps);
ps = NULL;
return 0;
}
这样也实现了动态开辟内存,它的内存是这样的。
这样设计虽然可以,但是有它不好的地方。
这样设计,开辟和释放的次数多,容易出错。
当我们多次开辟的时候,在内存中难免会出现许多用不了的空间,会形成内存碎片。
第一种设计它的好处有两个方面:
第一个好处是:方便内存释放
如果我们的代码是在一个给别人用的函数中,你在里面做了二次内存分配,并把整个结构体返回给用户。用户调用free可以释放结构体,但是用户并不知道这个结构体内的成员也需要free,所以你不能指望用户来发现这个事。所以,如果我们把结构体的内存以及其成员要的内存一次性分配好了,并返回给用户一个结构体指针,用户做一次free就可以把所有的内存也给释放掉。
第二个好处是:这样有利于访问速度
连续的内存有益于提高访问速度,也有益于减少内存碎片。
总结:
到这里,动态内存分配的问题已经说完。如果大家认为我有哪些不足之处或者知识上的错误都可以告诉我,我会在之后的文章中不断改正,也请大家多多包涵。如果大家觉得这篇文章有用的话,也希望大家可以给我关注点赞,你们的支持就是对我最大的鼓励,我们下一篇文章再见。