1. C语言的函数malloc和free
(1) 函数malloc和free在头文件<stdlib.h>中的原型及参数
void * malloc(size_t size)
动态配置内存,大小有size决定,返回值成功时为任意类型指针,失败时为NULL。
void free(void *ptr)
释放动态申请的内存空间,调用free()后ptr所指向的内存空间被收回,如果ptr指向未知地方或者指向的空间已被收回,则会发生不可预知的错误,如果ptr为NULL,free不会有任何作用。
(2) C语言中典型用法
T为任意数据类型
T *p = ( T * )malloc( sizeof(T) * n)
if(NULL= =p)
{
printf(“malloc fail!\n”);
……//相关资源收回的处理
exit(-1);
}
… …//此过程不能改变指针p的指向,如果改变指针指向,那么后面free将会出错,因为这里free的并不是原来的p指针,而是改变后的。当然如果改变了p的指向,那么必须再free前,将p再指回原来的位置。这样就没问题了。
free(p);
p=NULL;
注意:malloc后通常要对返回值进行判断,避免发生不必要的错误。
注意,最好再p 被free掉后,加上p=NULL这句
“野指针”不是NULL指针,是指向“垃圾”内存(不可用内存)的指针。人们一般不会错用NULL指针,因为用if语句很容易判断。但是“野指针”是很危险的,if无法判断一个指针是正常指针还是“野指针”。有个良好的编程习惯是避免“野指针”的唯一方法。 指针p被free或者delete之后,没有置为NULL,让人误以为p是个合法的指针。别看free和delete的名字(尤其是delete),它们只是把指针所指的内存给释放掉,但并没有把指针本身干掉。此时指针指向的就是“垃圾”内存。释放后的指针应立即将指针置为NULL,防止产生“野指针”。
(3) 内存说明
malloc函数动态申请的内存空间是在堆里(而一般局部变量存于栈里),并且该段内存不会被初始化,与全局变量不一样,如果不采用手动free()加以释放,则该段内存一直存在,直到程序退出才被系统,所以为了合理使用内存,在不适用该段内存时,应该调用free()。另外,如果在一个函数里面使用过malloc,最好要配对使用free,否则容易造成内存泄露(没有将内存还给自由存储区)。
但是,往往会在free的时候发生段错误.
正确的做法是这样:
// 在分配之前加一句判断指针是否为空,防止产生内存泄露
struct XXXX * ptr=NULL;
if (ptr == NULL) {
ptr = (struct XXXX *)malloc(num * sizeof(struct XXXX);
}
// 在释放之前加一句判断指针是否为空,防止产生异常
if (ptr != NULL) {
free(ptr);
ptr = NULL;
}
补充:C 语言作为 Linux 系统上标准的编程语言给予了我们对动态内存分配很大的控制权。
然而,这种自由可能会导致严重的内存管理问题,而这些问题可能导致程序崩溃或随时间的推移导致性能降级。
内存泄漏(即 malloc() 内存在对应的 free() 调用执行后永不被释放)和缓冲区溢出(例如对以前分配到某数组的内存进行写操作)是一些常见的问题,它们可能很难检测到。这一部分将讨论几个调试工具,它们极大地简化了检测和找出内存问题的过程。
只要在代码中添加一个头文件并在 gcc 语句中定义了 MEMWATCH 之后,您就可以跟踪程序中的内存泄漏和错误了。MEMWATCH 支持 ANSI C,它提供结果日志纪录,能检测双重释放(double-free)、错误释放(erroneous free)、没有释放的内存(unfreed memory)、溢出和下溢等等。
补充2:转自:http://www.cnblogs.com/yfanqiu/archive/2012/05/08/2490410.html
2. C++中的运算符new和delete
new和delete是C++中的运算符,不是库函数,不需要库的支持,同时,他们是封装好的运算符。
(1)new是动态分配内存的运算符,自动计算需要分配的空间,在分配类类型的内存空间时,同时调用类的构造函数,对内存空间进行初始化,即完成类的初始化工作。动态分配内置类型是否自动初始化取决于变量定义的位置,在函数体外定义的变量都初始化为0,在函数体内定义的内置类型变量都不进行初始化。
(2)delete是撤销动态申请的内存运算符。delete与new通常配对使用,与new的功能相反,可以对多种数据类型形式的内存进行撤销,包括类,撤销类的内存空间时,它要调用其析构函数,完成相应的清理工作,收回相应的内存资源。
(3)典型用法
int *p = new int; delete p;
char *p = new char; delete p;
类的类型 *p = new 类的类型; delete p;
//注意,指针p存于栈中,p所指向的内存空间却是在堆中。
Obj * p = new Obj[100]; delete [ ]p;
//注意,new申请数组,delete删除的形式需要加括号“[ ]”,表示对数组空间的操作,总之,申请形式如何,释放的形式就如何。
(4)内存说明。new申请的内存也是存于堆中,所以在不需要使用时,需要delete手动收回。
3. new/delete与malloc/free之间的联系和区别
(1) malloc/free和new/delete的联系
a)存储方式相同。malloc和new动态申请的内存都位于堆中。申请的内存都不能自动被操作系统收回,都需要配套的free和delete来释放。
b)除了带有构造函数和析构函数的类等数据类型以外,对于一般数据类型,如int、char等等,两组动态申请的方式可以通用,作用效果一样,只是形式不一样。
c)内存泄漏对于malloc或者new都可以检查出来的,区别在于new可以指明是那个文件的那一行,而malloc没有这些信息。
d)两组都需要配对使用,malloc配free,new配delete,注意,这不仅仅是习惯问题,如果不配对使用,容易造成内存泄露。同时,在C++中,两组之间不能混着用,虽说有时能编译过,但容易存在较大的隐患。
(2) malloc/free和new/delete的区别
a)malloc和free返回void类型指针,new和delete直接带具体类型的指针。
b)malloc和free属于C语言中的函数,需要库的支持,而new/delete是C++中的运算符,所以new/delete的执行效率高些。C++中为了兼用C语法,所以保留malloc和free的使用,但建议尽量使用new和delete。
c)在C++中, new是类型安全的,而malloc不是。例如:
int* p = new char[10]; // 编译时指出错误
delete [ ]p; //对数组需要加中括号“[ ]”
int* p = malloc(sizeof(char )*10); // 编译时无法指出错误
free (p); //只需要所释放内存的头指针
d)使用new动态申请类对象的内存空间时,类对象的构建要调用构造函数,相当于对内存空间进行了初始化。而malloc动态申请的类对象的内存空间时,不会初始化,也就是说申请的内存空间无法使用,因为类的初始化是由构造函数完成的。delete和free的意义分别于new和malloc相反。
e)不能用malloc和free来完成类对象的动态创建和删除。
4. C/C++程序的内存分配介绍
该部分参考于http://blog.csdn.net/sparkliang/archive/2008/12/30/3650324.aspx
(1)栈内存分配运算内置于处理器的指令集中,一般使用寄存器来存取,效率很高,但是分配的内存容量有限。一般局部变量和函数参数的暂时存放位置。
(2)堆内存,亦称动态内存。如malloc和new申请的内存空间。动态内存的生存期由程序员自己决定,使用非常灵活。
(3)全局代码区:从静态存储区域分配。内存在程序编译的时候就已经分配好,这块内存在程序的整个运行期间都存在。例如全局变量,static变量。
(4)常量区:文字常量分配在文字常量区,程序结束后由系统释放。
(5)代码区:存放整个程序的代码,因为存储是数据和代码分开存储的。
总结:
(1)new、delete 是操作符,只能在C++中使用。malloc、free是函数,可以覆盖,C、C++中都可以使用。 (2)new 自动计算需要分配的空间大小,可以调用对象的构造函数,对应的delete调用相应的析构函数。malloc仅仅分配内存,free仅仅回收内存,并不执行构造和析构函数 (3)new 类型安全、返回的是某种数据类型指针,malloc 非类型安全、返回的是void指针。