当前位置：首页 » 《休闲阅读》 » 正文

6000字总结动态内存管理_罅隙的博客

26 人参与  2022年02月14日 08:36  分类 : 《休闲阅读》  评论

点击全文阅读


目录

一、内存划分

二、四大函数

①malloc

②free

③calloc

④realloc

三、易错分析

问题一：

问题二： 

问题三：

问题四：

问题五： 

问题六：

四、经典面试题

面试题一：

面试题二：

面试题三：

五、柔性数组

1.前言

2.特点

3.优势

一、内存划分

要理解动态内存管理，首先要了解C程序对内存划分的主要形式：

栈区

①在执行函数时，函数内局部变量的存储单元都可以在栈上创建，函数执行结束时这些存储单元自动被释放。

②栈内存分配运算内置于处理器的指令集中，效率很高，但是分配的内存容量有限。（栈溢出问题）

③ 栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返回地址等。

④向下增长指从栈依次申请的地址在减小

堆区

①一般由程序员释放， 若程序员不释放，程序结束时可能由OS(operate system)回收 。分配方式类似于链表。

②动态内存开辟在堆区上。

③向上增长指从堆依次申请的地址在增加

数据段(静态区）

①存放全局变量、静态数据。

②程序结束后由系统释放。

代码段

①存放函数体（类成员函数和全局函数）的二进制代码。

②其中的数据只可被读取，不可被修改

  （上图来源比特科技

 

二、四大函数

①malloc

作用：在堆区申请一块size_t大小（单位字节）的空间。成功返回动态开辟空间的地址，失败返回空指针NULL 。（比如开辟的空间太大了就会失败）

 注意点：1.size大小为0的情况是未定义的，其结果取决于编译器的处理

                2.由于malloc返回值为void*类型，在用指针接收时最好先强制类型转换

                3.小心内存开辟失败返回空指针

#include<stdlib.h>
int main()
{
	int*p = (int *)malloc(40);
	return 0;
}

看！我们很轻松的动态开辟了一块指定大小的空间。但不知道你是不是有这样的疑惑：一直开辟空间那电脑的内存不会越来越小吗？ 其实当我们程序结束时，动态开辟的空间会被自动回收，当然我们也可以选择主动出击——使用free函数。

②free

作用：释放动态开辟的空间（memblock为指向动态开辟空间的指针）

注意点：1.free(NULL)，函数不执行任何操作

               2.不能用free函数释放非动态开辟的空间

               3.free只是释放空间，并没有清除指针，也就是说你和女朋友分手了，但你仍然牢                   牢记着人家的电话号码（空间地址）。若此时对指针解引用，就犯了非法访问内存                 的错误，所以要及时将指针赋值为空，对人家彻底死心。

#include<stdlib.h>
#include<assert.h>
int main()
{
	int i = 0;
	int*p = (int *)malloc(10*sizeof(int));
    assert(p);//监测是否开辟成功
	for (i = 0; i < 10; i++)
	{
		p[i] = i;//或者为*(p+i),但不可以是p++。
	}
	for (i = 0; i < 10; i++)
	{
		printf("%d ",p[i]);
	}
	free(p);
	p = NULL;//最好置为NULL
	return 0;
}

 malloc和free的组合拳，完美的完成了动态内存开辟的过程。但其实动态开辟内存不只是malloc的特权，calloc也具有，只不过二者的作用有所不同

③calloc

作用：向堆区申请一块空间，存放num个size大小的元素。成功返回指向开辟空间的指针，失败则返回NULL。

区别：calloc开辟空间后会将每个元素初始化为0。所以malloc开辟空间效率更高，calloc会自动赋值为0，各有所长。

 calloc开辟——初始化为0

 malloc开辟——未初始化

认识了malloc，calloc这类动态开辟空间的函数，聪明的你或许会想到如果开辟的空间不够怎么办。别担心，C语言给出了realloc函数调整动态开辟空间的大小。 

④realloc

 作用：将动态开辟的内存大小调整为size（单位字节）

 注意要深刻理解realloc调整大小的两种情况：

情况一：

 若原有空间充足，则就直接在原有内存之后直接追加空间，原来空间的数据不发生变化。

情况二： 

原有空间之后没有足够多的空间时，扩展的方法是：在堆空间上另找一个合适大小的连续空间来使用，复制原来的内容再追加。这样函数返回的是一个新的内存地址。

malloc创建的p所指向的空间

 realloc后p1指向的空间

realloc之后p指向的空间

 我们根据上面的分析可以得出以下结论（空间不足时）：

1.返回一个新的地址指向新开辟的空间

2.原空间的内容会被复制到新开辟的空间

3.原空间的内容被释放

 当传入的指针为空指针时，此时realloc的功能相当于malloc的。

 

三、易错分析

试着分析一下以下代码有什么缺陷或者不足

问题一：

#include<stdlib.h>
#include<assert.h>
//缺陷版
int main()
{
	int i = 0;
	int*p = (int *)malloc(5*sizeof(int));
	for (i = 0; i < 5; i++)
	{
		p[i] = i;
	}
	p = realloc(p, 1000000);//ok?
	free(p);
	p = NULL;
}



//完善版
int main()
{
	int i = 0;
	int*p = (int *)malloc(5*sizeof(int));
    assert(p);
	for (i = 0; i < 5; i++)
	{
		p[i] = i;
	}
	int *p1 = (int *)realloc(p, 1000);
    if(p1!=NULL)
    {
        p=p1;//为了程序的连贯性，最好都赋值给最开始使用的p
    }
	free(p);
	p = NULL;
}

1.无论是malloc或者是realloc都要小心内存开辟失败返回NULL的情况，所以检验必不可少

2.“p = realloc(p, 1000000);”的写法如果失败那原来的地址也找不到了，可谓是赔了夫人又折兵。

问题二： 

void test()
{
	int i = 0;
	int *p = (int *)malloc(10 * sizeof(int));
	if (NULL == p)
	{
		exit(EXIT_FAILURE);
	}
	for (i = 0; i <= 10; i++)//ok?
	{
		*(p + i) = i;
	}
	free(p);
}

 1.注意越界访问的问题，"i<10"才不会让程序崩溃

问题三：

void test()
{
	int a = 10;
	int *p = &a;
	free(p);//ok?
}

 1.不能用free释放不是动态开辟的内存

问题四：


void test()
{
	int *p = (int *)malloc(100);
	p++;//ok？
	free(p);
}

 1.p的地址不能改变，否则在free时会产生释放部分空间错误

问题五： 

void test()
{
	int *p = (int *)malloc(100);
	free(p);
	free(p);
}

1.很显然该程序犯了重复释放的错误

2.在这段简短的代码中可以轻而易举的发现问题，但如果在很长的代码中我们如何避免？

   ①做到谁开辟谁释放空间

   ②养成将指针置为NULL的习惯，这样即使被free也是free（NULL），如前文所说无事发生

问题六：

void test()
{
	int *p = (int *)malloc(100);
	if (NULL != p)
	{
		*p = 20;
	}
}
int main()
{
	test();
	while (1);
}

1.执行上述程序时，打开任务管理器可以发现CPU被占用的空间一直增大（电脑有保护机制，到一定程度就停止增长），一直开辟空间但是不释放使我们空余的内存越来越少，这也是就我们所说的内存泄漏问题

2.所以动态开辟的内存一定要释放并且正确释放。

 

四、经典面试题

面试题一：

void GetMemory(char *p)
{
	p = (char *)malloc(100);
}
int main()
{
	char *str = NULL;
	GetMemory(str);
	strcpy(str, "hello world");
	printf(str);
	return 0;
}

 请问运行的结果是什么？              程序崩溃

 分析：初学者往往很容易进入这个误区，认为str成功指向了开辟的空间。可仔细一想，str真的如我们所想吗？在这里我们混淆了传址操作和传参操作，图中的操作属于传参操作，p不过是str的一份临时拷贝，改变p对str没有一点影响。当然上面的代码也存在没有检查返回值，没有主动释放内存的错误。

我们如何纠正呢，在接下来的面试题里做详细解答。

面试题二：

char *GetMemory(void)
{
	char p[] = "hello world";
	return p;
}
int main()
{
	char *str = NULL;
	str = (char*)GetMemory();
	printf(str);
	return 0;
}

请问上述程序的结果是什么？ 打印随机值。

分析：如果你认为GetMemory函数返回的是p的地址，没错，你想的很对。但此时的p所指向的内容不再是“"hello world"”，为什么呢？p[ ]数组在函数中创建，正如文章开头提到的内存布局，函数申请的局部变量开辟在栈区上，而开辟在栈区上变量的特点是当这个函数结束，变量也随即销毁，所以p只是记住当时的地址，里面的内容不再是"hello world"。如果此时对str进行解引用操作，则会出现非法访问内存的错误。

面试题三：

int main(void)
{
	char *str = (char *)malloc(100);
	strcpy(str, "hello");
	free(str);
	if (str != NULL)
	{
		strcpy(str, "world");
		printf(str);
	}
	return 0;
}

请问上述程序的结果是什么？ 打印“world”

分析：不知道有没有小伙伴们认为没有打印结果的，如果有，我猜想应该是对free的作用产生误解。free只是对堆区的内存进行释放，并不会将str指向的地址赋值为空指针。

如何修改面试一的程序：

分析完上面三个面试题后相信你对动态内存开辟有了更深的理解，我们再回到第一个问题，如何将他修改正确呢？其实面试题一中代码之所以失败的原因在于没有将p与str建立起练习，以此为突破口，我们可以有以下两个思路：1.传址操作  2.返回p的地址。

//采用传址操作
void GetMemory(char **p)
{
	*p = (char *)malloc(100);
}
int main()
{
	char *str = NULL;
	GetMemory(&str);
	if (str != NULL)
	{
		strcpy(str, "hello world");
		printf(str);
	}
	free(str);
	str = NULL;
	return 0;
}

//返回p的地址
char* GetMemory(char *p)
{
	p = (char *)malloc(100);
	return p;
}
int main()
{
	char *str = NULL;
	str=(char *)GetMemory(str);
	if (str != NULL)
	{
		strcpy(str, "hello world");
		printf(str);
	}
	free(str);
	str = NULL;
	return 0;
}

 

五、柔性数组

1.前言

  我们要向实现数组长度的动态变化，以下代码可以吗？ 

const int n = 0;
int main()
{
	int arr[n] = { 0 };
	return  0;
}

显然不可以，[ ]里必须是常量，即使加const修饰，也还是变量，只不过这个变量不可以被修改罢了。那我们是否可以使用一个指向动态开辟的空间的指针呢？这样的方法确实是可以的，但在这里会介绍一种更优的方法——柔性数组（C99中新增）。我们会在最后比较两者的优劣。

2.特点

1.结构中的柔性数组成员必须在最后一个。
2.sizeof（struct s） 返回的这种结构大小不包括柔性数组的大小。
3.包含柔性数组成员的结构用malloc ()函数进行内存的动态分配，并且分配的内存应该大于结构的大小，以适应柔性数组的预期大小。

使用示范：

struct s
{ 
	int n;
	int arr[0];
};
int main()
{
	int i = 0;
	struct s*p = (struct s*)malloc(sizeof(struct s)+40);//注意struct的大小不包括动态开辟的数组
	if (p != NULL)
	{
		for (i = 0; i < 10; i++)
		{
			p->arr[i] = i;
		}
	}
	free(p);
	p = NULL;
	return 0;
}

3.优势

我们先试着用指针实现上面的功能

#include<stdlib.h>
struct s
{ 
	int n;
	int *arr;
};
int main()
{
	struct s*ps =(struct s*) malloc(sizeof(struct s));
    ps->n=10;
	if (ps != NULL)
	{
		ps->arr = (struct s*)malloc(ps->n*sizeof(int));//用arr接收开辟空间的地址
		if (ps->arr != NULL)
		{
			int i = 0;
			for (i = 0; i < 10; i++)
			{
				ps->arr[i] = i;
			}
		}
	}
	free(ps->arr);
	ps->arr = NULL;
	free(ps);
	ps = NULL;

	return 0;
}

相比于用指针动态开辟数组空间，柔性数组有以下三个优势：

1.释放空间更加方便

如果我们的代码是在一个给别人用的函数中，你在里面做了二次内存分配，并把整个结构体返回给用户。用户调用free可以释放结构体，但是用户并不知道这个结构体内的成员也需要free，所以你不能指望用户来发现这个事。所以，如果我们把结构体的内存以及其成员要的内存一次性分配好了，并返回给用户一个结构体指针，用户做一次free就可以把所有的内存也给释放掉。

2.减少内存碎片

使用柔性数组创建的n与arr是一起创建的，在空间上连续。而使用指针创建的结构体和结构体内指针指向空间是不连续的，其间往往会有被浪费的内存碎片

3.提高访问速度

在计算机中CPU读取速度          硬盘<内存<高速缓存<寄存器

计算机在读取数据时遵循“局部性原理”，即接下来访问的内存80%的概率在当前内存附近，所以寄存器会预先读入周围的数据，如果数据不连续，那意味着寄存器命中失败，则要从高速缓存到内存甚至到硬盘搜索，直到找到为止。速度自然慢了。


点击全文阅读


本文链接：http://zhangshiyu.com/post/34693.html

开辟  空间  内存  
<< 上一篇 下一篇 >>

  • 评论（0）
  • 赞助本站

◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。

最新文章

关于我们 | 我要投稿 | 免责申明

Copyright © 2020-2022 ZhangShiYu.com Rights Reserved.豫ICP备2022013469号-1