内存管理对所有程序来说都很重要。有时候内存由运行时系统隐式的管理,比如为变量自动分配内存。在这种情况下,变量分配在它所处的函数的栈帧上(每个函数都有它自己的栈帧,用来保存它的局部变量和返回地址等)。如果是静态或全局变量,内存处于程序的数据段,会被自动清零。数据段是一个区别于可执行代码和运行时系统管理的其它数据的内存区域。
C语言也支持动态内存管理,对象就是从堆上分配出来的内存。这是用分配和释放函数手动实现的,这个过程被称为动态内存管理。在C中动态分配内存的基本步骤有:
1、用malloc类的函数分配内存;
2、用这些内存支持应用程序;
3、用free函数释放内存。
int* pi = (int*) malloc (sizeof(int)); *pi = 5; printf(" pi is : %d\n address : %p\n", *pi, pi); free(pi); // pi is : 5 // address : 0x8843008
malloc函数的参数指定要分配的字节数。如果成功则返回从堆上分配的内存的指针,如果失败则返回空指针。sizeof操作符能确定在宿主系统中应该分配的正确字节数,因为在不同的系统中,数据的字节数可能是不同的。每次调用malloc或类似函数时,结尾都应有对应的free函数调用,以防止内存泄露。
如果不再使用已分配的内存却没有将其释放就会发生内存泄露,导致内存泄露的情况可能如下:
1、丢失内存地址;
2、应该调用free函数却没有调用(隐式泄露);
以下几个内存分配函数可以用来管理动态内存,大部分包含在stdlib.h头文件中:
1、malloc:从堆上分配内存
2、realloc:在之前分配的内存块的基础上,将内存重新分配为更大或更小的部分
3、calloc:从堆上分配内存并清零
4、free:将内存块返回堆
动态内存从堆上分配,对于一连串内存分配调用,系统不保证内存的顺序和所分配内存的连续性。不过,分配的内存会根据指针的数据类型对齐,比如4字节的整数会分配在能被4整除的地址边界上。堆管理器返回的地址是最低字节的地址。
malloc函数从堆上分配一块内存,分配的字节数由唯一的参数制定,返回值是void指针,如果内存不足,则返回NULL。此函数不会清空或修改内存,所以新分配的内存包含垃圾数据。
void* malloc(size_t);
执行malloc函数会执行以下操作:
1、从堆上分配内存;
2、内存不会被修改或者清空;
3、返回首字节的地址;
void指针可以转换成任意指针,但是显示的指针类型转换能获得对c++的更好兼容性,也能使代码更清晰。注意函数参数尽量使用sizeof操作符,而且不要试图接引一个未初始化内存数据的指针变量。
int* mpi = (int*) malloc (sizeof(int));if(mpi!=NULL) { //pointer OK } else{ //pointer not OK }
初始化静态或全局变量时不能调用动态内存分配函数。但是对于静态变量,可以用一个单独的赋值语句来给变量分配内存。
static int* spi; spi = (int*) malloc (sizeof(int));
使用calloc函数会在分配的同时清空内存。清空内存意思是将其内容置为二进制的0。
void* calloc(size_t numElements, size_t elementSize);
calloc函数根据两个参数的乘积来分配内存,并返回指向内存的第一个字节的指针。如果不能分配内存,则会返回NULL。执行calloc可能比malloc慢,因为它要做额外的内存清理工作。
如果需要增加或减少为指针分配的内存,可以使用realloc函数。
void* realloc(void* ptr, size_t size);
第一个参数是指向原内存快的指针,第二个是请求的大小。返回值是指向重新分配的内存的指针。如果请求的新内存大小比原来的小,多余的内存会返还给堆。如果比原来的大,可能的话,会紧挨着当前分配的内存区域分配新的内存,否则会在堆的其它区域分配并把就的内存复制到新区域。如果请求大小是0,那么就释放内存。如果无法分配,则返回空指针。注意永远不要使用超出内存分配的地址。
使用free函数将不再使用的内存返还给系统。
void free(void* ptr);
指针参数应该指向由malloc函数分配的内存,这块内存会被返还给堆。尽管该指针仍然指向该内存,但是该内存现在被认为包含垃圾数据,并且可能被写入新的数据。该指针则称为迷途指针。注意空指针不指向任何东西,迷途指针还是指向一个地址。如果是在一个函数里面分配的内存,那么就应该在同一个函数里面释放它。
重复释放是指两次释放同一块内存。第二次调用free会引发运行时异常。两个指针指向同一个内存地址称为别名。别名可能导致重复释放。
堆管理器不一定会在free函数后将内存返回给操作系统,而是可能给程序后续使用。
迷途指针是指访问已释放的内存的指针。使用迷途指针会导致不可预期的行为和潜在的安全隐患。在指针别名的情况下,迷途指针更难以察觉。
int *gpi; { int tmp = 5; *gpi = &tmp; }
大部分编译器把块语句当做一个栈帧。在块语句退出是,分配在栈帧上的tmp会出栈,gpi变成迷途指针,指向一块已经被自动回收的内存。
除了使用函数手动分配内存外,还有一些非标准技术可以用来实现C的动态内存管理。这些技术的关键特性在于自动释放内存。内存不再使用之后会被收集起来备用,释放的内存成为垃圾,因此这个过程也叫垃圾回收。垃圾回收使程序员不必费心考虑何时释放内存,更专注程序本身的问题。垃圾回收技术包括RAII和异常处理等。