摘要:栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。栈区主要存放运行函数而分配的局部变量函数参数返回数据返回地址等。
目录
(1)因为内存太宝贵。
(2)如果全部是静止内存不能释放,对于小的程序可以运行完毕。但是对于大的程序,还没运行完,内存就要被占用完,此时就要发生内存泄露。
(3)假设给定一个占用内存可变大小的变量(假设是数组的长度len),那么给该变量通过函数动态分配内存后,分配内存的大小是根据数组的长度len决定的。假定用户输入len的大小是5,系统就会动态的给该数组分配长度为5的内存。 该段代码运行结束后,系统调用free()函数释放分配的内存,然后接着运行剩下的程序。
换句话说,动态分配内存可以根据需要去申请内存,用完后就还回去,让需要的程序用。
我们先看个例子:
int a = 20; //局部变量 在栈区上开辟四个字节char ch[10] = {0}; //局部变量 在栈空间上开辟10个字节的连续空间int g_a = 10; //全局变量 在静态区上开辟十个字节
上述的开辟空间的方式有两个特点:
- 空间开辟大小是固定的。
- 数组在申明的时候,必须指定数组的长度,它所需要的内存在编译时分配。
但是对于空间的需求,不仅仅是上述的情况。有时候我们需要的空间大小在程序运行的时候才能知道,那数组的编译时开辟空间的方式就不能满足了。 这时候就只能试试动态存开辟了。
//函数原型void *malloc (size_t size);//void* 表示任意类型的指针//size_t 表示的是unsigned int(无符号整型)//size 表示所要开辟的空间单位是字节
这个函数向内存申请一块连续可用的空间,并返回指向这块空间的指针。
- 如果开辟成功,则返回一个指向开辟好空间的指针。
- 如果开辟失败,则返回一个NULL指针,因此 malloc 的返回值一定要做检查。
- 返回值的类型是 void* ,所以 malloc 函数并不知道开辟空间的类型,具体在使用的时候使用者自己来决定。
- 如果参数 size 为 0 ,malloc 的行为是标准是未定义的,取决于编译器。
//函数原型void free(void *ptr);//void *prt 表示所要释放的指针类型
free函数用来释放动态开辟的内存。
- 如果参数 ptr 指向的空间不是动态开辟的,那 free 函数的行为是未定义的。
- 如果参数 ptr 是NULL指针,则函数什么事都不做。
代码如下:
#include #include #include int main(){ //1.通过动态开辟申请10个int类型的空间 //根据实际使用强制类型转换为想要的类型 int *p = (int*)malloc(10 * sizeof(int)); //2.malloc有可能申请空间失败,所以需要判断一下 if (p == NULL)//判断p指针是否为空 { printf("%s/n", strerror(errno)); } else { //正常使用空间 int i = 0; for (i = 0; i < 10; i++) { *(p + i) = i; } for (i = 0; i < 10; i++) { printf("%d ", *(p + i)); } } //当动态申请的空间不再使用的时候,就应该还给操作系统 free(p);//释放p所指向的动态内存 p = NULL;//是否有必要 return 0;}
执行结果:
思考:
p = NULL; 是否有必要加上?
解答:
由于 free 完后本身是不会置为空指针的,因此我们需要手动将其变为空指针,所以p = NULL是有必要的。
//函数原型void *calloc(size_t num, size_t size);//
- 函数的功能是为 num 个大小为 size 的元素开辟一块空间,并且把空间的每个字节初始化为 0 。
- 与函数 malloc 的区别只在于 calloc 会在返回地址之前把申请的空间的每个字节初始化为全 0 。
例:
#include #include #include int main(){ int *p = (int*)calloc(10, sizeof(int)); if(p == NULL) { printf("%s/n", strerror(errno)); } else { int i = 0; for(i = 0; i < 10; i++) { printf("%d ", *(p + i)); } } //free函数用来释放动态开辟的空间 free(p); p = NULL; return 0;}
执行结果:
总结:所以如何我们对申请的内存空间的内容要求初始化,那么可以很方便的使用 calloc 函数来完成任务。而 calloc 函数会将所申请到的内存空间全部初始化成 0 ,意味着 calloc 比 malloc 运行时间更长,所以在选择这两个函数时可以根据是否需要初始化来选择。
//函数原型void *realloc(void *ptr, size_t size);//void *ptr 表示被调整的指针指向的地址//size_t size 表示改变之后的空间内存大小,单位是字节
- ptr 是要调整的内存地址
- size 调整之后新大小返回值为调整之后的内存起始位置
- 这个函数调整原内存空间大小的基础上,还会将原来内存中的数据移动到新的空间
- realloc在调整内存空间的是存在两种情况:
- 情况1: 原有空间之后有足够大的空间
- 情况2: 原有空间之后没有足够大的空间
图解:
例:
#include #include #include int main(){ int *p =(int*)malloc(20); if(p == NULL) { printf("%s/n", strerror(errno)); } else { int i = 0; for(i = 0; i < 10; i++) { printf("%d ", *(p + i)); } } //上方仅仅只是在使用malloc开辟的20个字节空间 //假设这里,20个字节空间不能满足我们的需求了 //希望能够有40个字节的空间 //这里就可以使用realloc来调整动态开辟的内存 int *ptr = realloc(p, INT_MAX); if(ptr != NULL) { int i = 0; for(i = 5; i < 10; i++) { *(p+i) = i; } for(i = 0; i < 10; i++) { printf("%d ", *(p + i)); } } //释放动态开辟的内存空间 free(p); p = NULL; return 0;}
realloc 函数的注意事项:
1.如果 p 指向的空间有足够的的内存空间可以追加,则直接追加,后返回 p
2.如果 p 指向的空间之后没有足够的内存空间可以追加,则 realloc 函数会重新找一个新的内存区域,开辟一块满足需求的空间,并且把原来内存中的数据拷贝回来,释放旧的内存空间,最后返回新开辟的内存空间地址,而旧的那块内存空间需要赋空指针,不然会形成野指针,造成非法访问。
3.得用一个新的变量去接收 realloc 函数的返回值
#include #include int main(){ int *p = (int*)malloc(40); //万一malloc失败了,p就会被赋值为NULL //*p = 0;//error int i = 0; for(i = 0; i < 10; i++) { *(p+i) = i;//非法访问 } free(p); p = NULL; return 0;}
#include #include int main(){ int *p = (int*)malloc(5 * sizeof(int));//只有5个元素 if( p == NULL) { return 0; } else { int i = 0; for(i = 0; i < 10; i++)//只有5个元素,循环10次,会造成越界访问 { *(p+i) = i; } } free(p); p = NULL; return 0;}
#include #include int main(){ int a = 10; int *p = &a; *p = 20; free(p); p = NULL; return 0;}
#include #include int main(){ int *p = (int*)malloc(40); if(p = NULL) { return 0; } int i = 0; for(i = 0; i < 10; i++) { *p++ = i; } //此时p指向的不是动态开辟出的起始位置了 //回收空间,free只能释放动态开辟出的起始位置 free(p); p = NULL; return 0;}
#include #include int main(){ int *p = (int*)malloc(40); if(p == NULL) { return 0; } //使用 free(p); //p = NULL 需要定义为空指针才能引用下面的free free(p);//重复释放 return 0;}
#include #include int main(){ while(1) { malloc(1);//开辟完空间后一直没有释放 } return 0;}
注:忘记释放不再使用的动态开辟的空间会造成内存泄漏,动态开辟的空间一定要释放,并且正确释放
C/C++程序内存分配的几个区域:
- 栈区(stack):在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。 栈区主要存放运行函数而分配的局部变量、函数参数、返回数据、返回地址等。
- 堆区(heap):一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS回收 。分配方式类似于链表。
- 数据段(静态区)(static):存放全局变量、静态数据。程序结束后由系统释放。
- 代码段:存放函数体(类成员函数和全局函数)的二进制代码。
也许你从来没有听说过 柔性数组(flexible array)这个概念,但是它确实是存在的。 C99 中,结构中的最后一个元素允许是未知大小的数组,这就叫做 『柔性数组』成员。
例:
typedef struct S{ int n; int arr[0];//未知大小的-柔性数组成员-数组的大小是可以调整的 //int arr[] 同上}S;
- 结构中的柔性数组成员前面必须至少一个其他成员。
- sizeof 返回的这种结构大小不包括柔性数组的内存。
- 包含柔性数组成员的结构用 malloc () 函数进行内存的动态分配,并且分配的内存应该大于结构的大小,以适应柔性数组的预期大小。
例:
#include typedef struct S{ int n; int arr[0];//未知大小的-柔性数组成员-数组的大小是可以调整的}S;int main(){ struct S s; printf("%d/n", sizeof(s)); return 0;}
执行结果:
例:
#include #include typedef struct S{ int n; int arr[0];//未知大小的-柔性数组成员-数组的大小是可以调整的}S;int main(){ struct S *ps = (struct S*)malloc(sizeof(struct S)+5*sizeof(int)); ps->n = 100; int i = 0; for(i = 0; i <5; i++) { ps->arr[i] = i;//0 1 2 3 4 } struct S *ptr = realloc(ps, 44); if(ptr != NULL) { ps = ptr; } for(i = 5; i < 10; i++) { ps->arr[i] = i; } for(i = 0; i < 10; i++) { printf("%d ", ps->arr[i]); } free(ps); ps = NULL; return 0;}
执行结果 :
图解:
我们来看一下这段代码比起上一段代码的优势
优势一:方面内存释放
- 如果我们的代码是在一个给别人用的函数中,你在里面做了二次内存分配,并把整个结构体返回给用户。
- 用户调用 free 可以释放结构体,但是用户并不知道这个结构体内的成员也需要 free ,所以你不能指望用户来发现这个事。
- 所以,如果我们把结构体的内存以及其成员要的内存一次性分配好了,并返回给用户一个结构体指针,用户做一次 free 就可以把所有的内存也给释放掉。
优势二 : 这样有利于访问速度
- 连续的内存有益于提高访问速度,也有益于减少内存碎片。(其实,我个人觉得也没多高了,反正你跑不了要用做偏移量的加法来寻址)
文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。
转载请注明本文地址:https://www.ucloud.cn/yun/119401.html
摘要:释放不完全导致内存泄漏。既然把柔性数组放在动态内存管理一章,可见二者有必然的联系。包含柔性数组的结构用进行动态内存分配,且分配的内存应大于结构大小,以满足柔性数组的预期。使用含柔性数组的结构体,需配合以等动态内存分配函数。 ...
摘要:在运行脚本时,需要显示的指定对象。大对象区每一个区域都是由一组内存页构成的。这里是唯一拥有执行权限的内存区。换句话说,是该对象被之后所能回收到内存的总和。一旦活跃对象已被移出,则在旧的半空间中剩下的任何死亡对象被丢弃。 内存管理 本文以V8为背景 对之前的文章进行重新编辑,内容做了很多的调整,使其具有逻辑更加紧凑,内容更加全面。 1. 基础概念 1.1 生命周期 不管什么程序语言,内存...
摘要:本系列的第一篇文章简单介绍了引擎运行时间和堆栈的调用。编译器将插入与操作系统交互的代码,并申请存储变量所需的堆栈字节数。当函数调用其他函数时,每个函数在调用堆栈时获得自己的块。因此,它不能为堆栈上的变量分配空间。 本系列的第一篇文章简单介绍了引擎、运行时间和堆栈的调用。第二篇文章研究了谷歌V8 JavaScript引擎的内部机制,并介绍了一些编写JavaScript代码的技巧。 在这第...
摘要:这是因为我们访问了数组中不存在的数组元素它超过了最后一个实际分配到内存的数组元素字节,并且有可能会读取或者覆写的位。包含个元素的新数组由和数组元素所组成中的内存使用中使用分配的内存主要指的是内存读写。 原文请查阅这里,本文有进行删减,文后增了些经验总结。 本系列持续更新中,Github 地址请查阅这里。 这是 JavaScript 工作原理的第三章。 我们将会讨论日常使用中另一个被开发...
阅读 2837·2021-11-15 11:39
阅读 1816·2021-09-24 09:48
阅读 1059·2021-09-22 15:36
阅读 3580·2021-09-10 11:22
阅读 2989·2021-09-07 09:59
阅读 952·2021-09-03 10:28
阅读 665·2021-09-02 15:15
阅读 2738·2021-08-27 16:24