什么是动态内存的申请和释放？
当程序运行到需要一个动态分配的变量时，必须向系统申请取得堆中的一块所需大小的存储空间，用于存储该变量。当不再使用该变量时，也就是它的生命结束时，要显式释放它所占用的存储空间，这样系统就能对该堆空间进行再次分配，做到重复使用有限的资源。
下面将介绍动态内存申请和释放的函数
1.malloc函数
在C语言中，使用malloc函数来申请内存。函数原型如下：
1
2#include<stdlib.h> void *malloc(size_t size);
参数size代表需要动态申请的内存的字节数，若内存申请成功，函数返回申请到的内存的起始地址，若申请失败，返回NULL， 在使用该函数时应注意以下几点
1.只关心申请内存的大小，该函数的参数很简单，只有申请内存的大小，单位是字节
2.申请的是一块连续的内存，该函数一定是申请一块连续的区间，可能申请到内存比实际申请的大，但也有可能申请不到，若申请失败，则返回NULL
3.返回值类型是void*，函数的返回值是void*，不是某种具体类型的指针，可以理解成该函数只是申请内存，对在内存中存储什么类型的数据，没有要求，因此，返回值是void*，实际编程中，根据实际情况将void*转换成需要的指针类型
4.显示初始化，注意：堆区是不会自动在分配时做初始化的（包括清零），所以程序中需要显示的初始化
2.free 函数
在堆区上分配的内存，需要用free函数显示释放。函数原型如下：
1
2#include <stdlib.h> void free(void *ptr);
函数的参数ptr，指的是需要释放的内存的起始地址。该函数没有返回值。使用该函数，也有下面几点需要注意：
（1）必须提供内存的起始地址。调用该函数时，必须提供内存的起始地址，不能提供部分地址，释放内存中的一部分是不允许的。因此，必须保存好malloc返回的指针值，若丢失，则所分配的堆空间无法回收，称内存泄漏。
（2）malloc和free配对使用。编译器不负责动态内存的释放，需要程序员显示释放。因此，malloc与free是配对使用的，避免内存泄漏。
示例程序如下：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30#include <stdio.h> #include <stdlib.h> #include <string.h> int *get_memory(int n) { int *p, i; if ((p = (int *)malloc(n * sizeof(int))) == NULL) { printf("malloc errorn"); return p; } memset(p, 0, n * sizeof(int)); for (i = 0; i < n; i++)p[i] = i+1; return p; } int main(){ int n, *p, i; printf("input n:"); scanf("%d", &n); if ((p = get_memory(n)) == NULL){ return 0; } for (i = 0; i < n; i++){ printf("%d ", p[i]); } printf("n"); free(p); p = NULL; return 0; }
程序执行结果如下：
1
2
3
4linux@ubuntu:~/book/ch10$ cc malloc.c -Wall linux@ubuntu:~/book/ch10$./a.out input n:10 1 2 3 4 5 6 7 8 9 10
该程序演示了动态内存的标准用法。动态内存的申请，通过一个指针函数来完成。内存申请时，判断是否申请成功，成功后，对内存初始化。在主调函数中，动态内存依然可以访问，不再访问内存时，用free函数释放。
（3）不允许重复释放。同一空间的重复释放也是危险的，因为该空间可能已另分配。在上面程序中，如果释放堆空间两次（连续调用两次free(p)），会出现下面的结果。
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35linux@ubuntu:~/book/ch10$ cc malloc.c –Wall linux@ubuntu:~/book/ch10$./a.out input n:1 1 *** glibc detected *** ./a.out: double free or corruption (fasttop): 0x08f1a008 *** ======= Backtrace: ========= /lib/libc.so.6(+0x6c501)[0x687501] /lib/libc.so.6(+0x6dd70)[0x688d70] /lib/libc.so.6(cfree+0x6d)[0x68be5d] ./a.out[0x804861e] /lib/libc.so.6(__libc_start_main+0xe7)[0x631ce7] ./a.out[0x8048471] ======= Memory map: ======== 0061b000-00772000 r-xp 00000000 08:01 1048623 /lib/libc-2.12.1.so 00772000-00773000 ---p 00157000 08:01 1048623 /lib/libc-2.12.1.so 00773000-00775000 r--p 00157000 08:01 1048623 /lib/libc-2.12.1.so 00775000-00776000 rw-p 00159000 08:01 1048623 /lib/libc-2.12.1.so 00776000-00779000 rw-p 00000000 00:00 0 008e1000-008fb000 r-xp 00000000 08:01 1048657 /lib/libgcc_s.so.1 008fb000-008fc000 r--p 00019000 08:01 1048657 /lib/libgcc_s.so.1 008fc000-008fd000 rw-p 0001a000 08:01 1048657 /lib/libgcc_s.so.1 00a8f000-00aab000 r-xp 00000000 08:01 1048599 /lib/ld-2.12.1.so 00aab000-00aac000 r--p 0001b000 08:01 1048599 /lib/ld-2.12.1.so 00aac000-00aad000 rw-p 0001c000 08:01 1048599 /lib/ld-2.12.1.so 00b6c000-00b6d000 r-xp 00000000 00:00 0 [vdso] 08048000-08049000 r-xp 00000000 08:01 1079938 /home/linux/book/ch10/a.out 08049000-0804a000 r--p 00000000 08:01 1079938 /home/linux/book/ch10/a.out 0804a000-0804b000 rw-p 00001000 08:01 1079938 /home/linux/book/ch10/a.out 08f1a000-08f3b000 rw-p 00000000 00:00 0 [heap] b7700000-b7721000 rw-p 00000000 00:00 0 b7721000-b7800000 ---p 00000000 00:00 0 b7815000-b7816000 rw-p 00000000 00:00 0 b7823000-b7827000 rw-p 00000000 00:00 0 bf9a5000-bf9c6000 rw-p 00000000 00:00 0 [stack] Aborted
（4）free只能释放堆空间。像代码区、全局变量与静态变量区、栈区上的变量，都不需要程序员显示释放，这些区域上的空间，不能通过free函数来释放，否则执行时，会出错。
示例程序如下：
1
2
3
4
5
6#include <stdlib.h> int main(){ int a[10] = {0}; free(a); return 0; }
程序执行结果如下：
1
2
3linux@ubuntu:~/book/ch10$ cc free.c –o free -Wall free.c: In function 'main': free.c:7: warning: attempt to free a non-heap object 'a'
可以看到有一个警告，即释放一个非堆上的空间。如果强行执行程序，会出现下面的结果：
1
2linux@ubuntu:~/book/ch10$./a.out Segmentation fault
3.野指针
野指针指的是指向“垃圾”内存的指针，不是NULL指针。出现“野指针”主要有以下原因：
（1）指针变量没有被初始化。指针变量和其它的变量一样，若没有初始化，值是不确定的。也就是说，没有初始化的指针，指向的是垃圾内存，非常危险。
示例程序如下：
1
2
3
4
5
6
7
8
9#include <stdio.h> int main(){ int *p; printf("%dn", *p); *p = 10; printf("%dn", *p); return 0; }
程序执行结果如下：
1
2
3
4linux@ubuntu:~/book/ch10$ cc p.c –o p -Wall linux@ubuntu:~/book/ch10$./p 1416572 Segmentation fault
（2）指针p被free之后，没有置为NULL。free函数是把指针所指向的内存释放掉，使内存成为了自由内存。但是，该函数并没有把指针本身的内容清楚。指针仍指向已经释放的动态内存，这是很危险。程序员稍有疏忽，会误以为是个合法的指针。就有可能再通过指针去访问动态内存。实际上，这时的内存已经是垃圾内存了，关于野指针会造成什么样的后果，这是很难估计的。若内存仍然是空闲的，可能程序暂时正常运行；若内存被再次分配，又通过野指针对内存进行了写操作，则原有的合法数据，会被覆盖，这时，野指针造成的影响将是无法估计的。
示例程序如下：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23#include <stdio.h> #include <stdlib.h> #include <string.h> int main(){ int n = 5, *p, i; if ((p = (int *)malloc(n * sizeof(int))) == NULL) { printf("malloc errorn"); return 0; } memset(p, 0, n * sizeof(int)); for (i = 0; i < n; i++) { p[i] = i+1; printf("%d ", p[i]); } printf("n"); printf("p=%p *p=%dn", p, *p); free(p); printf("after free:p=%p *p=%dn", p, *p); *p = 100; printf("p=%p *p=%dn", p, *p); return 0; }
程序执行结果如下：
1
2
3
4
5
6linux@ubuntu:~/book/ch10$cc test.c –o test -Wall linux@ubuntu:~/book/ch10$./test 1 2 3 4 5 p=0x92cf008 *p=1 after free:p=0x92cf008 *p=0 p=0x92cf008 *p=100
该程序中，故意在执行了“free(p)”之后，通过野指针p对动态内存进行了读写，程序正常执行，也在预料之中。前面已经分析过，内存释放后，若继续访问甚至修改，后果是不可预料的。
（3）指针操作超越了变量的作用范围。指针操作时，由于逻辑上的错误，导致指针访问了非法内存，这种情况让人防不胜防，只能依靠程序员好的编码风格，已及扎实的基本功。下面演示一个指针操作越界的情况：
示例程序如下：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16#include <stdio.h> #include <stdlib.h> #include <string.h> int main(){ int a[5] = {1, 9, 6, 2, 10}, *p, i, n; n = sizeof(a) / sizeof(n); p = a; for (i = 0; i <= n; i++) { printf("%d ", *p); p++; } printf("n"); *p = 100; printf("*p=%dn", *p); return 0; }
程序执行结果如下：
1
2
3
4linux@ubuntu:~/book/ch10$ cc test.c –o test -Wall linux@ubuntu:~/book/ch10$./test 1 9 6 2 10 5 *p=100
该程序故意出了两个错误，一是for循环的条件“i <= n”，p指针指向了数组以外的空间。二是“*p = 100”，对非法内存进行了写操作。
（4）不要返回指向栈内存的指针。指针函数会返回一个指针。在主调函数中，往往会通过返回的指针，继续访问指向的内存。因此，指针函数不能返回栈内存的起始地址，因为栈内存在函数结束时会被释放。
最后
以上就是苗条猫咪最近收集整理的关于C语言动态内存的申请和释放的全部内容，更多相关C语言动态内存内容请搜索靠谱客的其他文章。
发表评论 取消回复