资讯专栏INFORMATION COLUMN

C语言进阶:动态内存管理

shinezejian / 2417人阅读

摘要:释放不完全导致内存泄漏。既然把柔性数组放在动态内存管理一章,可见二者有必然的联系。包含柔性数组的结构用进行动态内存分配,且分配的内存应大于结构大小,以满足柔性数组的预期。使用含柔性数组的结构体,需配合以等动态内存分配函数。

动态内存管理

动态内存分配的意义

当我们用类型如int,char创建变量时,所开辟的空间都是固定的。而开辟动态内存就是为了灵活的使用内存,以满足程序的需要。

在语言学习时,对于内存的划分为上述三者:栈区,堆区,静态区。栈区存放临时变量,静态区存放静态变量,堆区用来动态开辟。

动态内存开辟是在堆区上开辟空间,具体如何开辟请看下列函数。

动态内存函数的介绍

开辟释放函数 malloc & free
函数声明
void* malloc( size_t size );
Return Valuemalloc returns a void pointer to the allocated space, or NULL if there is insufficient(不充足) memory available. To return a pointer to a type other than void, use a type cast(转换) on the return value. Always check the return from malloc, even if the amount of memory requested is small.Parametersize - Bytes to allocate    RemarksThe malloc function allocates a memory block of at least size bytes. The block may be larger than size bytes because of space required for alignment and maintenance information.
void free( void* memblock );
Return ValueNoneParametermemblock - Previously allocated memory block to be freedRemarksThe free function deallocates(解除) a memory block that was previously allocated. If memblock is NULL, the pointer is ignored. Attempting to free a memblock isn"t allocated on heap may cause errors.

malloc函数在堆区上申请size个字节的空间,并返回该空间的起始地址。

free函数释放指针指向的动态开辟的空间,但不对指针造成任何影响。

函数用法
  • malloc返回通用类型的指针,将其强制转换为所需类型,并用该类型的指针维护该内存空间。
  • 开辟成功返回空间起始地址,开辟失败则返回NULL
  • 使用结束free释放内存以防内存泄漏,将指针置空避免成为野指针。
//申请空间int* p = (int*)malloc(40);//检查if (p == NULL) {    printf("%s/n", strerror(errno));    return -1;}//使用for (int i = 0; i < 10; i++) {    *(p + i) = i;    printf("%d ", *(p + i));}//释放空间free(p);//置空p = NULL;
内存开辟函数 calloc
函数声明
void* calloc( size_t num, size_t size );
Return Valuecalloc returns a pointer to the allocated space. To get a pointer to a type other than void, use a type cast on the return value. Parameters1. num - Number of elements2. size - Length in bytes of each elementRemarksThe calloc function allocates storage space for an array of num elements, each of length size bytes. Each element is initialized to 0.

malloc函数在堆区上申请numsize大小的空间,返回起始地址并将内容初始化为0。

函数用法
int* p = (int*)calloc(10, sizeof(int));if (p == NULL) {    perror("");    return -1;}for (int i = 0; i < 10; i++) {    *(p + i) = i;    printf("%d ", p[i]);}free(p);p = NULL;
内存调整函数 realloc
函数声明
void* realloc( void* memblock, size_t size );
Return Valuerealloc returns a void pointer to the reallocated memory block. The return value is NULL if there is not enough available memory to expand the block to the given size, then the original block is unchanged.Parameters1. memblock - Pointer to previously allocated memory block2. size - New size in bytesRemarksThe realloc function changes the size of an allocated memory block. The memblock parament points to the beginning of the memory block. If memblock is NULL, realloc behaves the same way as malloc. The contents of the block are unchanged, although the new block can be in a different location. 

realloc函数为已开辟的空间重新开辟大小。

函数用法
  • 当原空间后有足够大小时,就紧接原空间开辟剩余空间,并返回整个空间的起始地址。

  • 当原空间后无足够大小时,就在堆区寻找新空间,再将原空间的内容移动到新空间,返回新空间的地址且释放原空间。

  • 当剩余空间不够无法开辟时,增容失败,返回NULL
//1.p = (int*)realloc(p, 20 * sizeof(int));//2.int* ptr = (int*)realloc(p, 20 * sizeof(int));if (ptr == NULL) {    return -1;}p = ptr;

防止增容失败将原空间指针置空,故不可直接使用原指针接受返回值。判断非空后再赋给原指针。

 

常见的动态内存错误

1.不检查空指针
void test() {	int* p = (int*)malloc(INT_MAX / 4);	*p = 20;	free(p);}

对指向动态开辟的空间的指针一定要做有效的判断。

2.越界访问
void test() {	int i = 0;	int* p = (int*)malloc(10 * sizeof(int));	if (NULL == p) {		exit(EXIT_FAILURE);	}	for (int i = 0; i <= 10; i++) {		*(p + i) = i;	}	free(p);    p = NULL;}

作为程序员必须有意识地检查所写的代码是否有越界访问的问题。

3.释放非动态开辟内存
void test() {	int a = 10;	int* p = &a;	free(p);    p = NULL;}

不可用free释放非动态开辟的空间。

4.释放部分内存
int main(){	int* p = (int*)malloc(100);	p++;	free(p);	return 0;}

改变指向动态开辟内存的指针,内存将无法管理。释放不完全导致内存泄漏。

5.重复释放内存
void test() {	int* p = (int*)malloc(100);	free(p);	free(p);}

使用free释放已释放的空间,即访问非法内存。建议释放内存和指针置空搭配使用。

6.忘记释放内存
void test() {    int *p = (int*)malloc(100);    if(NULL != p) {        *p = 20;    }}int main() {    test();    while(1);}

使用结束不释放内存造成内存泄漏。程序不停止,系统也不会自动回收。

 

笔试题

调用下列test函数,解释运行结果。

Example 1
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;}

程序报错。

传值调用:并没有改变str的值仍为不予修改的空指针,可以使用二级指针接收str的地址。函数调用结束后指针销毁故无法释放空间以致内存泄漏。

Example 2
char* GetMemory() {	char p[] = "hello world";	return p;}void test() {	char* str = NULL;	str = GetMemory();	printf(str);    free(str);    str = NULL;}

程序打印随机值。

返回栈空间地址:数组p在函数内创建,出函数销毁,返回这部分空间的地址 ,属于访问非法空间。

Example 3
void GetMemory(char** p,int num) {	*p = (char*)malloc(num);}void test() {	char* str = NULL;	GetMemory(&str, 100);	strcpy(str, "hello");	printf(str);	free(str);    str = NULL;}

程序运行成功,打印"hello"

传址调用:本题是例一的正确写法。

Example 4
void test(void) {	char* str = (char*)malloc(100);	strcpy(str, "hello");	free(str);	if (str != NULL) {		strcpy(str, "world");		printf(str);	}}

程序报错。

野指针:动态开辟的内存释放后指针不置空,造成野指针访问非法内存。释放内存和指针置空应该搭配起来使用。

释放空间,销毁空间都是将内存空间归还给操作系统,即将此空间的使用权限归还操作系统。虽不会改变空间内容以致打印出所谓的“正确结果”,但可能在之后被操作系统分配给其他程序时发生修改。但无论改变与否,一旦空间归还后再去访问就是访问非法内存。

 

C/C++内存划分

用例展示

根据下列创建的各种变量,分析内存的划分。

int globalVar = 1;static int staticGlobalVar = 1;int main(){	static int staticVar = 1;		int localVar = 1;	int num1[10] = { 1,2,3,4 };	char char2[] = "abcd";	char* pChar3 = "abcd";	int* ptr1 = (int*)malloc(4 * sizeof(int));	int* ptr2 = (int*)calloc(4, sizeof(int));	int* ptr3 = (int*)realloc(ptr2, 4 * sizeof(int));	free(ptr1);	free(ptr3);	return 0;}
  1. globalVal,staticGobalVar,staticVar分别是全局变量和静态变量,在数据段上创建。
  2. localVarnum,char2,pchar以及ptr本身都是局部变量,都是在栈区上创建的。
  3. malloc,calloc,realloc都是在堆区上开辟的内存块,由指针ptr指向而已。
内存划分图示

  1. 栈区(stack):执行函数时,函数的局部变量都会在栈区上创建。压栈:从栈顶向下开辟空间,弹栈:从栈底向上释放空间。
  2. 堆区(heap):一般由程序员分配和释放,从堆低向上开辟空间,堆顶向下释放空间。在程序结束后也被操作系统会自动回收。
  3. 数据段(静态区):存放全局变量,静态数据。变量本在栈上创建,被static修饰后放在常量区,程序结束后由系统释放。
  4. 代码段(常量区):存放可执行代码和只读常量。

语言学习时期,仅对内存作此了解即可。内核空间和内存映射段会在操作系统中学习,此处不再深入研究。

 

柔性数组

C99中引入柔性数组。柔性数组(flexible array)面试中虽不是重要的考点,但仍需掌握最基本的使用。

柔性数组的定义

C99中,结构中最后一个元素允许是未知大小的数组,被称为柔性数组成员。例如:

//1.struct st_type {	int i;	int a[0];//柔性数组成员};//2.struct st_type {	int i;	int a[];//柔性数组成员};

语法规定数组大小中写0和不写都代表不指定大小。意味数组可大可小,这便是柔性的含义。

有些编译器可能只支持一种写法。当然柔性数组前必须有其他成员,类型一致是为了避免考虑内存对齐。既然把柔性数组放在动态内存管理一章,可见二者有必然的联系。

柔性数组的特点
  • 结构中柔性数组成员前必须至少有一个成员。

  • sizeof计算结构所占空间时不包含柔性数组的大小。

  • 包含柔性数组的结构用malloc进行动态内存分配,且分配的内存应大于结构大小,以满足柔性数组的预期。

使用含柔性数组的结构体,需配合以malloc等动态内存分配函数。分配空间减去其他成员的大小,即为为柔性数组开辟的空间。

柔性数组的使用

malloc开辟的大小写成如图所示的形式,增加代码的可阅读性。

结构体所分配空间减去其他成员的大小,所剩即为为柔性数组开辟的空间大小,若不够还可以用realloc调整大小,以满足柔性数组“柔性”的需求。

struct st_type {	int i;	int a[0];};int main() {	printf("%d/n", sizeof(struct st_type));	//1.	struct st_type st;	//2.	struct st_type* pst = (struct st_type*)malloc(sizeof(struct st_type) + 10 * sizeof(int));	if (pst == NULL) {		perror("pst");		return -1;	}	return 0;}

含柔性数组结构体当然不可像第一种那样使用,这样结构体变量st仅有4个字节,不包含柔性数组。

Example
struct st_type {	int i;	int a[0];};int main() {	struct st_type* pst = (struct st_type*)malloc(sizeof(struct st_type) + 10 * sizeof(int));	if (pst == NULL) {		perror("pst");		return -1;	}	pst->i = 10;	for (int i = 0; i < 10; i++) {		printf("%d ", pst->a[i] = i);	}	//调整空间大小	struct st_type* ptr = (struct st_type*)realloc(pst, sizeof(struct st_type) + 20 * sizeof(int));	if (ptr == NULL) {		perror("ptr");		return -1;	}	pst = ptr;	for (int i = 10; i < 20; i++) {		printf("%d ", pst->a[i] = i);	}	//释放	free(pst);	pst = NULL;	return 0;}
柔性数组的优势

柔性数组成员利用动态内存可大可小,那同样将柔性数组成员替换成指向动态开辟内存的指针也可达到同样的效果。下文将对比二者都有何优劣。(为突出对比,已省略不必要的代码)

柔性数组版本
struct st_type {	int i;	int a[];};int main() {	struct st_type* pst = (struct st_type*)malloc(sizeof(struct st_type) + 10 * sizeof(int));	for (int i = 0; i < 10; i++) {		printf("%d ", pst->a[i] = i);	}	//调整空间大小	struct st_type* ptr = (struct st_type*)realloc(pst, sizeof(struct st_type) + 20 * sizeof(int));	pst = ptr;	for (int i = 10; i < 20; i++) {		printf("%d ", pst->a[i] = i);	}	//释放	free(pst);	pst = NULL;		return 0;}
指针版本
struct st_type {	int i;	int* pa;};int main() {	struct st_type* pst = (struct st_type*)malloc(sizeof(struct st_type));    pst->pa = (int*)malloc(10 * sizeof(int));    for (int i = 0; i < 10;
            
                     
             
               

文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。

转载请注明本文地址:https://www.ucloud.cn/yun/121538.html

相关文章

  • C语言进阶动态内存管理/分配

    摘要:栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。栈区主要存放运行函数而分配的局部变量函数参数返回数据返回地址等。 C语言动态内存分配篇 目录 一、为什么存在动态内存管理/分配?         内存的存储形式划分 二、动态内存函数的介绍         malloc ...

    Carson 评论0 收藏0
  • 【前端进阶之路】内存基本知识

    摘要:在运行脚本时,需要显示的指定对象。大对象区每一个区域都是由一组内存页构成的。这里是唯一拥有执行权限的内存区。换句话说,是该对象被之后所能回收到内存的总和。一旦活跃对象已被移出,则在旧的半空间中剩下的任何死亡对象被丢弃。 内存管理 本文以V8为背景 对之前的文章进行重新编辑,内容做了很多的调整,使其具有逻辑更加紧凑,内容更加全面。 1. 基础概念 1.1 生命周期 不管什么程序语言,内存...

    Simon_Zhou 评论0 收藏0
  • C语言进阶C语言实现通讯录 升级版 { 含动态扩容/销毁/信息保存功能 }(强烈建议收藏食用)

    摘要:之前的通讯录在程序退出后内部的数据就会消失,再次打开程序后只能重新输入数据,为此我们增加了一个保存功能来保存信息。 前言: 由于之前实现的通讯录在存储方面只能支持静态的1000人的存储量,但是如果联系人较少,则会造成较大的内存浪费。而当联系人一旦超过1000时,就不能再继续存储信息了。因...

    gxyz 评论0 收藏0
  • 是,入坑小记

    摘要:种一颗树最好的时机是十年前,其次是现在经过一段刻骨的升本历程,来到了西华大学。计划是前进的路线图免除对于以后学习的各自夸大的计划,从实际出发找到适合自己的前进的路线图。今年我岁,年轻。 种一颗树最好的时机是十年前,其次是现在 经过一段刻骨的升本历程,来到了西华大学。明显能感觉到自己又有了新的...

    CoXie 评论0 收藏0
  • Android研发进阶之路

    摘要:市面上也多是谈论知识图谱,缺少体系和成长节奏感,特此编写一份研发进阶之路,希望能对大家有所帮助。中级而到达中级就需要付出一些努力了,需要了解更多知识,可以仿照开源库去造轮子练习。能够熟练掌握开源库的使用,如图片库网络库工具等。前言 移动研发火热不停,越来越多人开始学习android开发。但很多人感觉入门容易成长很难,对未来比较迷茫,不知道自己技能该怎么提升,到达下一阶段需要补充哪些内容。市...

    idisfkj 评论0 收藏0

发表评论

0条评论

最新活动
阅读需要支付1元查看
<