new 执⾏实际上执⾏2个过程:
1.调用相应的 operator new() 函数,动态分配未初始化内存空间
2.在分配到的动态内存块上初始化相应类型的对象并返回其首地址。
语法示例
// 定义变量
typename* p_var = new typename; // 调用默认构造函数
typename* p_var = new typename(); // 调用默认构造函数
typename* p_var = new typename(initializer); // 或者如此初始化 new type{initializer};
// 定义变量数组
typename* p_var = new typename [size];
int *p_int = new int[3]{1,2,3};
char (*pchar)[10] = new char[dim][10]; // 定义二维
delete 执行实际上也有2个过程:
1.使⽤析构函数对对象进⾏析构
2.回收内存空间(free)
语法示例
delete MyDialog; // 删除单一对象
delete [] my_array; // 删除对象数组
malloc() 直接在堆上分配空间(不调用构造函数):
语法示例
typename* ptr = (typename*)malloc( sizeof(typename) * SIZE ); // SIZE表示多少个对象
if (NULL == ptr){
exit (1); // 检查是否分配成功
}
free() 释放的是指针指向的内存,指针仍然指向原来的存储空间。
语法示例
free(ptr);
ptr = NULL;
区别
-
new是C++关键字,需要编译器支持;malloc是库函数,需要头文件支持。
-
使用new操作符申请内存分配时无须指定内存块的大小,编译器会根据类型信息自行计算。而malloc则需要显式地指出所需内存的尺寸。
-
new操作符内存分配成功时,返回的是对象类型的指针,类型严格与对象匹配,无须进行类型转换,故new是符合类型安全性的操作符。而malloc内存分配成功则是返回void * ,需要通过强制类型转换将void*指针转换成我们需要的类型。
-
new会先调用operator new函数,申请足够的内存(通常底层使用malloc实现)。然后调用类型的构造函数,初始化成员变量,最后返回自定义类型指针。delete先调用析构函数,然后调用operator delete函数释放内存(通常底层使用free实现)。而malloc是库函数,只能动态的申请和释放内存,无法强制要求其做自定义类型对象构造和析构工作。
-
C++允许自定义operator new 和 operator delete 函数控制动态内存的分配。(可重载)
-
new做两件事,分别是分配内存和调用类的构造函数,而malloc只是分配和释放内存。new操作符从自由存储区上为对象动态分配内存空间,而malloc函数从堆上动态分配内存。自由存储区是C++基于new操作符的一个抽象概念,凡是通过new操作符进行内存申请,该内存即为自由存储区。而堆是操作系统中的术语,是操作系统所维护的一块特殊内存,用于程序的内存动态分配,C语言使用malloc从堆上分配内存,使用free释放已分配的对应内存。自由存储区不等于堆,如上所述,布局new就可以不位于堆中。
-
new内存分配失败时,会抛出bac_alloc异常。malloc分配内存失败时返回NULL。
-
内存泄漏对于new和malloc都能检测出来,而new可以指明是哪个文件的哪一行,malloc不可以。
特征 | new/delete | malloc/free |
---|---|---|
分配内存的位置 | 自由存储区 | 堆 |
内存分配成功的返回值 | 完整类型指针 | void* |
内存分配失败的返回值 | 默认抛出异常 | 返回NULL |
分配内存的大小 | 由编译器根据类型计算得出 | 必须显式指定字节数 |
处理数组 | 有处理数组的new版本new[] | 需要用户计算数组的大小后进行内存分配 |
已分配内存的扩充 | 无法直观地处理 | 使用realloc简单完成 |
是否相互调用 | 可以,看具体的operator new/delete实现 | 不可调用new |
分配内存时内存不足 | 客户能够指定处理函数或重新制定分配器 | 无法通过用户代码进行处理 |
函数重载 | 允许 | 不允许 |
构造函数与析构函数 | 调用 | 不调用 |
参考文献
-
https://www.cnblogs.com/qg-whz/p/5140930.html
-
https://zh.m.wikipedia.org/zh/New_(C%2B%2B)