《C语言进阶》 第五部分 动态内存管理

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++程序内存分配的几个区域:

  1. 栈区(stack):在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。 栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返回地址等。
  2. 堆区(heap):一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS(操作系统)回收 。分配方式类似于链表。
  3. 数据段(静态区)(static)存放全局变量、静态数据。程序结束后由系统释放。
  4. 代码段:存放函数体(类成员函数和全局函数)的二进制代码。
    有了这幅图,我们就可以更好的理解在《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就可以把所有的内存也给释放掉。
第二个好处是:这样有利于访问速度
连续的内存有益于提高访问速度,也有益于减少内存碎片。

总结:
到这里,动态内存分配的问题已经说完。如果大家认为我有哪些不足之处或者知识上的错误都可以告诉我,我会在之后的文章中不断改正,也请大家多多包涵。如果大家觉得这篇文章有用的话,也希望大家可以给我关注点赞,你们的支持就是对我最大的鼓励,我们下一篇文章再见。
在这里插入图片描述

评论 6
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

学代码的咸鱼

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值