C语言初阶——动态内存管理详解
- 动态内存分配的原因
我们已经掌握的内存开辟放式有:
int val = 20;//在栈空间上开辟四个字节
char arr[10] = {0};//在栈空间上开辟10个字节的连续空间
但是上述的开辟空间的方式有两个特点:
-
开辟的空间开辟大小是固定的
-
数组在申明的时候,必须指定数组的长度,数组空间一旦确定了大小不能调整
但是对于空间的需求,不仅仅是上述的情况。有时候我们需要大小在程序运行的时候才能知道,那数组的编译时开辟空间的方式就不能满足了。 C语言引入了动态内存开辟,让程序员自己可以申请和释放空间,就比较灵活了。
- malloc( ) 函数与 free( ) 函数
注意:上述两种函数的使用需要包含头文件**<stdlib.h>**
- malloc( ) 函数:
C语言提供了一个动态内存开辟的函数:
void* malloc(size_t size);//参数size表示想要开辟的内存大小,单位为字节(B),返回值为开辟内存的起始地址
注意事项:
这个函数向内存申请一块连续可用的空间,并返回指向这块空间的指针
如果开辟失败,则返回一个 NULL 指针,因此malloc( ) 的返回值一定要做检查
返回值是 void* ,所以malloc函数并不知道开辟空间的类型,具体在使用的时候使用者自己来决定
如果参数 size 的值为0,那么多malloc( ) 的行为是标准是未定义的,取决于编译器
- free( ) 函数
C语言提供了另外⼀个函数free,专门是用来做动态内存的释放和回收的,函数原型如下:
void free (void* ptr);
free( ) 函数是用来释放动态开辟的内存
如果参数 ptr 指向的空间不是动态开辟的,那free函数的行为是未定义的
如果参数 ptr 是NULL指针,则函数什么事都不做
注意:malloc( ) 函数和free( ) 函数都声明在 <stdlib.h> 头文件中。
- 使用案例:
#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
int main()
{
int* pm = (int*)malloc(10 * sizeof(int));
assert(pm != NULL);
for (int i = 0; i < 10; i++) {
*(pm + i) = i + 1;
}
for (int i = 0; i < 10; i++) {
printf("%d ", *(pm + i));
}
free(pm);
return 0;
}
- calloc( ) 函数和realloc( ) 函数
- calloc( ) 函数
calloc( ) 函数也是用来动态开辟空间的,声明如下:
void* calloc (size_t num, size_t size);
函数的功能是给数量为 num 个大小为 size 的元素开辟一块空间,并且把空间的每个字节初始化为0
与函数 malloc( ) 的区别只在于 calloc( ) 会在返回地址之前把申请的空间的每个字节初始化为全0
例如:
#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
int main()
{
int* pm = (int*)calloc(5, sizeof(int));
assert(pm != NULL);
for (int i = 0; i < 5; i++) {
printf("%d ", *(pm + i));
}
free(pm);
return 0;
}
输出结果:0 0 0 0 0
所以如果我们对申请的内存空间的内容要求初始化,那么可以很方便的使用calloc( ) 函数来完成任务。
- realloc( ) 函数
realloc( ) 函数可以让动态内存管理更加灵活,使用该函数让我们可以对内存的大小做灵活的调整
函数声明:
void* realloc (void* ptr, size_t size);
ptr 是要调整的内存地址,size 调整之后新大小,返回值为调整之后的内存起始位置
这个函数调整原内存空间大小的基础上,还会将原来内存中的数据移动到新的空间
注意:realloc( ) 在调整内存空间的存在以下两种情况:
情况一:原有空间之后有足够大的空间
情况二:原有空间之后没有足够大的空间
若为情况一,想要扩展内存就直接在原有内存之后直接追加空间,原来空间的数据不发生变化
若为情况二,原有空间之后没有足够多的空间时,那么该函数会在堆空间上另找一个合适大小的连续空间来使用,然后函数返回一个新的内存地址
使用案例:
#include<stdio.h>
#include<assert.h>
#include<stdlib.h>
int main()
{
int* p = (int*)calloc(5, sizeof(int));
assert(p != NULL);
int* ptr = (int*)realloc(p, 10 * sizeof(int));
assert(ptr != NULL);
p = ptr;
for (int i = 0; i < 10; i++) {
*(p + i) = i + 1;
printf("%d ", *(p + i));
}
free(p);
return 0;
}
我们可以通过assert( ) 断言,判断内存申请和调整是否存在失败的状况,检查过后在对指针进行解引用和赋值,这样可以避免野指针的出现,防止程序崩溃。
- 有关动态内存管理的常见错误
- 对NULL指针解引用造成的问题
#include<stdio.h>
#include<stdlib.h>
#include<limits.h>
int main()
{
int* p = (int*)malloc(INT_MAX * INT_MAX);
*p = 100;
printf("%d", *p);
free(p);
return 0;
}
由于申请的空间过大导致申请失败,函数返回空指针。
- 对动态开辟的内存空间越界访问
和数组的越界访问一样,均会造成程序崩溃
- 对非动态开辟内存使用free( ) 释放
#include<stdlib.h>
int main()
{
int arr[10] = { 0 };
int* p = arr;
free(p);
return 0;
}
free( ) 函数只能用来释放动态开辟的内存空间,释放一般的空间会导致程序崩溃。
- 使用free( ) 释放动态开辟内存的一部分
#include<stdlib.h>
int main()
{
int* p = malloc(20);
p++;
free(p);
return 0;
}
若想要释放内存,我们要保证通过函数获得的指针不发生变化。
- 对同一块动态内存多次释放
#include<stdlib.h>
int main()
{
int* p = malloc(20);
free(p);
free(p);
return 0;
}
对一块内存空间只能释放一次。
- 动态开辟内存忘记释放(内存泄漏)
include<stdlib.h>
void test()
{
int* p = (int*)malloc(100);
if (p!=NULL){
*p = 20;
}
}
int main()
{
while (1) {
test();
}
return 0;
}
while-loop 不断循环,没有机会释放内存。
忘记释放不再使用的动态开辟的空间会造成内存泄漏。
切记:动态开辟的空间一定要释放,并且要正确释放。
- 动态内存经典笔试题分析
注意:为了方便演示,不考虑动态内存管理失败的问题。
- 题目一:
void GetMemory(char* p)
{
p = (char*)malloc(100);
}
void Test()
{
char* str = NULL;
GetMemory(str);
strcpy(str, "hello world");
printf(str);
}
int main()
{
Test();
return 0;
}
分析过程:char*类型的指针p为形参,单独开辟一块空间,当函数 GetMemory( ) 运行结束后,p指向的地址被销毁,这时str就还是空指针,所以无法输出str字符串,并且需要注意内存的释放。
其实就类似于swap( ) 函数,传值调用时无法交换a与b的值。
修改方法:
void GetMemory(char** p)
{
*p = (char*)malloc(100);
}
void Test()
{
char* str = NULL;
GetMemory(&str);
strcpy(str, "hello world");
printf(str);
free(str);
str = NULL;
}
int main()
{
Test();
return 0;
}
解析:由传值调用改为传址调用,想要在函数内部修改参数,需要找到它的地址。
例如:
void swap(int* a, int* b)
{
int tmp = 0;
tmp = *a;
*a = *b;
*b = tmp;
}
int main()
{
int a = 1;
int b = 2;
printf("%p %p\n", &a, &b);//交换前a与b的地址
swap(&a, &b);
printf("%p %p\n", &a, &b);//交换后a与b的地址
printf("%d %d\n", a, b);
return 0;
输出案例:
010FFC30 010FFC24
010FFC30 010FFC24
2 1
由于传递的是两个变量的指针,使得我们可以直接操作对应的值。实际上这里还是存在传值调用的问题,该函数其实并没对a和b本身做了改变,a与b仍指向原来的地址,只是对应地址中的值发生了变化。
- 题目二:
char* GetMemory()
{
char p[] = "hello world";
return p;
}
void Test()
{
char* str = NULL;
str = GetMemory();
printf(str);
}
int main()
{
Test();
return 0;
}
由于p是一个函数的局部变量数组的首元素地址,当函数GetMemory( ) 运行结束后,p所在的空间就被销毁了,所以p就是野指针。使用指针str去访问p数组就是非法访问。
- 题目三:
void Test()
{
char* str = (char*)malloc(100);
strcpy(str, "hello");
free(str);
strcpy(str, "world");
printf(str);
}
int main()
{
Test();
return 0;
}
free( ) 函数处理之后,空间已经被还给操作系统,理论上来说我们已经没有操作权限了,可能会造成非法访问。
- 柔性数组
在C99标准中,结构体中的最后一个元素允许是未知大小的数组,这就叫做——柔性数组成员。
例如:
struct S1
{
int a;
int arr[];//柔性数组成员
}stu1;
struct S2
{
int b;
int arr[0];//柔性数组成员
}stu2;
注意:有些编译器支持s1写法,有些编译器支持s2写法。
- 柔性数组的特点:
结构中的柔性数组成员前面必须至少有一个其他成员
sizeof( ) 操作符返回的结构大小不包括柔性数组的内存
包含柔性数组成员的结构体使用 malloc( ) 函数进行内存的动态分配,并且分配的内存应该大于该结构体的大小,以适应柔性数组的预期的大小
例如:
typedef struct S
{
int i;
int a[];//柔性数组成员
}stu1;
int main()
{
printf("%d\n", sizeof(stu1));//输出的是4
return 0;
}
输出结果:4
- 柔性数组的使用:
代码一:
#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
typedef struct S
{
int i;
int arr[];
}stuS;
int main()
{
stuS* ps = malloc(sizeof(struct S) + 5 * sizeof(int));//设置柔性数组的长度
assert(ps != NULL);
ps->i = 10;
for (int i = 0; i < 5; i++) {
ps->arr[i] = i + 1;
}
stuS* ps2 = realloc(ps, sizeof(struct S) + 10 * sizeof(int));//使用realloc函数改变柔性数组的长度
assert(ps2 != NULL);
ps = ps2;
for (int i = 5; i < 10; i++) {
ps->arr[i] = i + 1;
}
//打印柔性数组
for (int j = 0; j < 10; j++) {
printf("%d ", ps->arr[j]);
}
free(ps);//内存释放
ps = NULL;
return 0;
}
如果我们将上述代码改写为指针形式:
代码二:
#include<stdio.h>
#include<stdlib.h>
#include<assert.h>
//模拟柔性数组的实现
typedef struct S
{
int i;
int* arr;
}stuS;
int main()
{
stuS* ps = malloc(sizeof(stuS));
ps->arr = malloc(5 * sizeof(int));
assert((ps != NULL) && (ps->arr != NULL));
ps->i = 10;
for (int i = 0; i < 5; i++) {
*(ps->arr + i) = i + 1;
}
int* parr2 = realloc(ps->arr, 10 * sizeof(int));
assert(parr2 != NULL);
ps->arr = parr2;
for (int i = 5; i < 10; i++) {
*(ps->arr + i) = i + 1;
}
for (int i = 0; i < 10; i++) {
printf("%d ", *(ps->arr + i));
}
free(ps->arr);
ps->arr = NULL;
free(ps);
ps = NULL;
return 0;
}
也可以正常实现打印的功能,但是还是使用柔性数组比较好,使用代码一可以方便我们对内存的释放,也可以加快访问速度。
- C/C++程序中程序内存区域划分
- C/C++程序内存分配的区域:
-
栈区(stack):在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时 这些存储单元会自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返回地址。
-
堆区(heap):⼀般由程序员分配释放(例如malloc( ) 等内存函数),若程序员不释放,程序结束时可能由操作系统回收。分配式类似于链表数据段。
-
静态区(static):又名数据段,存放全局变量、静态数据。程序结束后由系统释放代码段:存放函数体(类成员函数和全局函数)的二进制代码。
-