C语言之动态内存管理

一、前言（为什么有动态内存管理）

首先我们看以下两个代码：

1.int i = 5;//在栈空间开辟四个字节
2.char arr[10] = {0};//在栈空间开辟十个字节的连续空间

这两个代码是我们熟知的两个内存开辟方式。

但是上述的开辟空间的⽅式有两个特点：

• 空间开辟⼤⼩是固定的。

• 数组在申明的时候，必须指定数组的⻓度，数组空间⼀旦确定了⼤⼩不能调整。

但是对于空间的需求，不仅仅是上述的情况。有时候我们需要的空间⼤⼩在程序运⾏的时候才能知 道，那数组的编译时开辟空间的⽅式就不能满⾜了。

于是C语⾔引⼊了动态内存开辟，让程序员⾃⼰可以申请和释放空间，就⽐较灵活了。

 二、malloc和free

2.1、malloc

C语⾔提供了⼀个动态内存开辟的函数：

1 void* malloc (size_t size);

这个函数向内存申请⼀块连续可⽤的空间，并返回指向这块空间的指针。

• 如果开辟成功，则返回⼀个指向开辟好空间的指针。

• 如果开辟失败，则返回⼀个 NULL 指针，因此malloc的返回值⼀定要做检查。

• 返回值的类型是 void* ，所以malloc函数并不知道开辟空间的类型，具体在使⽤的时候使⽤者⾃ ⼰来决定。

• 如果参数 size 为0，malloc的⾏为是否标准是未定义的，取决于编译器。 

 2.2、free

C语⾔提供了另外⼀个函数free，专⻔是⽤来做动态内存的释放和回收的,

1 void free (void* ptr);

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

• 如果参数 ptr 指向的空间不是动态开辟的，那free函数的⾏为是未定义的。

• 如果参数 ptr 是NULL指针，则函数什么事都不做。

malloc和free都声明在 stdlib.h 头⽂件中。

用法如下：

还有一个点就是使用动态内存开辟函数后，要记得用free函数返回开辟空间。如果没使用free函数，等系统结束后会自动回收。 

三、calloc和realloc

3.1、calloc

C语言中提供一个函数叫calloc，用于动态内存分配。

1 void* calloc (size_t num, size_t size); 

函数的功能是为 num 个⼤⼩为 size 的元素开辟⼀块空间，并且把空间的每个字节初始化为0。

与malloc函数区别在与申请的空间是否初始化为0。 并且两者在函数操作符中：malloc函数传整个申请空间的大小，而calloc函数分两部分传：数据类型和数据类型的大小。

 再次强调：与malloc函数区别在与申请的空间是否初始化为0。

3.2、realloc

有时候我们使用mallloc和calloc开辟内存空间，有时候会开辟得太大，有时候又太小，这时候就可以用到realloc函数调整开辟的大小。可以说，realloc函数的出现让动态内存管理更加灵活。 

函数表达式如下：

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

• ptr 是要调整的内存地址

• size 调整之后新⼤⼩

• 返回值为调整之后的内存起始位置。

• 这个函数调整原内存空间⼤⼩的基础上，还会将原来内存中的数据移动到 新 的空间。

• realloc在调整内存空间的是存在两种情况：

◦ 情况1：原有空间之后有⾜够⼤的空间

◦ 情况2：原有空间之后没有⾜够⼤的空间

 

 情况1：要扩展内存就直接原有内存之后直接追加空间，原来空间的数据不发⽣变化。

情况2：原有空间之后没有⾜够多的空间时，扩展的⽅法是：在堆空间上另找⼀个合适⼤⼩ 的连续空间来使⽤。这样函数返回的是⼀个新的内存地址。

#include <stdio.h>
#include <stdlib.h>
int main()
{
 int *ptr = (int*)malloc(100);
 if(ptr != NULL)
 {
     perror("malloc");
     return 1;
 }
 //扩展容量
 
 //直接将realloc的返回值放到ptr中
 //ptr = (int*)realloc(ptr, 1000);//这样放如果放回值为空指针就会报错
 
 // 先将realloc函数的返回值放在p中，不为NULL，在放ptr中
 int*p = NULL;
 p = realloc(ptr, 1000);
 if(p != NULL)

 {
 ptr = p;
 }
 //业务处理
 free(ptr);
 return 0;
}

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

上面我们了解了动态内存开辟的四个函数，但是在应用场景可能会出现些错误。让我们一起来看看。

4.1、对NULL指针的解引⽤操作

void test()
 {
 int *p = (int *)malloc(INT_MAX/4);
 *p = 20;//如果p的值是NULL，就会有问题
 free(p);
 }
int main()
{
    test();
    return 0;
}

像上面这种代码，如果不判断一下是否为空指针可能会出现问题。所以正确做法如下：

void test()
 {
 int *p = (int *)malloc(INT_MAX/4);
 if（p == NULL)
{
    perror("malloc");
    return 1;
}
 *p = 20;
 free(p);
 }
int main()
{
    test();
    return 0;
}

4.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);
 p = NULL;
 }

这个代码还是比较容易理解，就是当i为10时越界了，要调整的话把等号去掉就行。

4.3、对⾮动态开辟内存使⽤free释放

#include<stdio.h>
void test()
{
    int a = 5;
    int* p = &a;
    free(p);
}
int main()
{
    test();
    return 0;
}

注意：free函数只对动态内存函数进行空间释放。

4.4、使⽤free释放⼀块动态开辟内存的⼀部分

#include<stdio.h>
void test()
{
 int *p = (int *)malloc(100);
 p++;
 free(p);//p不再指向动态内存的起始位置
 p = NULL;
}
int main()
{
    test();
    return 0;
}

上述代码的p++后指的不再是动态内存的起始位置，而free函数的参数要为指针的起始位置。

4.5、对同⼀块动态内存多次释放

#include<stdio.h>
void test()
{
 int *p = (int *)malloc(100);
 free(p);
 free(p);//重复释放
}
int main()
{
    test();
    return 0;
}

对动态内存开辟函数，释放1次就够了，重复释放会报错。

4.6、动态开辟内存忘记释放（内存泄漏）

#include<stdio.h>
void test()
{
 int *p = (int *)malloc(100);
 if(NULL != p)
 {
 *p = 20;
 }
}
int main()
{
 test();
 while(1);
}

忘记释放不再使⽤的动态开辟的空间会造成内存泄漏。

切记：动态开辟的空间⼀定要释放，并且正确释放。

五、柔性数组

C99 中，结构中的最后⼀个元素允许是未知⼤⼩的数组，这就叫做『柔性数组』成员。

struct st_type

{ int i;

  char arr[];//柔性数组成员

}; 

5.1、柔性数组的特点：

结构中的柔性数组成员前⾯必须⾄少⼀个其他成员。

• sizeof 返回的这种结构⼤⼩不包括柔性数组的内存。

• 包含柔性数组成员的结构⽤malloc ()函数进⾏内存的动态分配，并且分配的内存应该⼤于结构的⼤ ⼩，以适应柔性数组的预期⼤⼩。 

5.2、柔性数组的使用

struct S
{
	int n;
	int arr[];
};

int main()
{
	
	struct S* ps = (struct S*)malloc(sizeof(struct S) + 5*sizeof(int));
	if (ps == NULL)
	{
		perror("malloc");
		return 1;
	}
	ps->n = 100;//给结构体内成员赋值
	int i = 0;
	for (i = 0; i < 5; i++)
	{
		ps->arr[i] = i;
	}
    //调整空间
	struct S* ptr = (struct S*)realloc(ps, sizeof(struct S)+10*sizeof(int));
	if (ptr != NULL)
	{
		ps = ptr;
	}
	//....

	//释放
	free(ps);
	ps = NULL;

	return 0;
}

柔性数组之所以为柔性是因为数组可通过realloc函数调整可长可短。 

我今天的分享，欢迎大家补充，一起学习编程，共同进步。