malloc()是C语言中动态存储管理的一组标准库函数之一。其作用是在内存的动态存储区中分配一个长度为size的连续空间。其参数是一个无符号整形数,返回值是一个指向所分配的连续存储域的起始地址的指针.
malloc()工作机制
malloc函数的实质体现在,它有一个将可用的内存块连接为一个长长的列表的所谓空闲链表。调用malloc函数时,它沿连接表寻找一个大到足以满足用户请求所需要的内存块。然后将该内存块一分为二(一块的大小与用户请求的大小相等,另一块的大小就是剩下的字节)。接下来,将分配给用户的那块内存传给用户,并将剩下的那块(如果有的话)返回到连接表上。调用free函数时,它将用户释放的内存块连接到空闲链上。到最后,空闲链会被切成很多的小内存片段,如果这时用户申请一个大的内存片段,那么空闲链上可能没有可以满足用户要求的片段了。于是,malloc函数请求延时,并开始在空闲链上翻箱倒柜地检查各内存片段,对它们进行整理,将相邻的小空闲块合并成较大的内存块。
void *__CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{ // 尝试申请内存空间
void *p; //这个指针用于指向获取到的空间,且返回该指针给调用方,且设置为void*是为了能够指向任意格式
while ( (p = malloc(size)) == 0 ) //利用malloc函数调用来申请内存空间,得到一个闲置链表
{
if (_callnewh(size) == 0)
{ // 抛出没内存的信息
_THROW_NCEE(_XSTD bad_alloc, );
}
return (p);
}
}
//向系统申请分配指定size个字节的内存空间。返回 void* 类型。
void *malloc (unsigned int size)
{
char *caddr; //虽然unsigned char* caddr是编译器认可的最小内存申明,但这里我们使用 char *
if (!malloc_ptr)
return NULL;
if ((malloc_ptr + size + sizeof(int)) > malloc_top) {
prom_printf("malloc failed\n");
return NULL;
}
*(int *)malloc_ptr = size;
caddr = malloc_ptr + sizeof(int);
malloc_ptr += size + sizeof(int);
last_alloc = caddr;
malloc_ptr = (char *) ((((unsigned int) malloc_ptr) + 3) & (~3));
return caddr;
}
可看出malloc函数是不会去计算用户所需要的内存空间,需要用户自己去计算自己需要的空间大小,而new会额外储存数组大小,不需要用户再次进行计算。
属性:new/delete是操作符,需要编译器支持。malloc/free是库函数,需要头文件支持。
参数:new内置了sizeof,使用new操作符申请内存分配时无须指定内存块的大小,编译器会根据类型信息自行计算。而malloc则需要显式地指出所需内存的尺寸。
返回类型:new操作符内存分配成功时,返回的是对象类型的指针,类型严格与对象匹配,无须进行类型转换,故new是符合类型安全性的操作符。而malloc内存分配成功则是返回void * ,需要通过强制类型转换将void*指针转换成我们需要的类型。
内存分配:new会先调用operator new函数,申请足够的内存(通常底层使用malloc实现)。然后调用类型的构造函数,初始化成员变量,最后返回自定义类型指针。delete先调用析构函数,然后调用operator delete函数释放内存(通常底层使用free实现)。
malloc/free是库函数,只能动态的申请和释放内存。
异常(分配失败):new内存分配失败时,会抛出std::bac_alloc异常。malloc分配内存失败时返回NULL。
安全:new是类型安全的,其内部含有类型转换,类型检查,其自带构造功能,可返回构造的对象的指针;malloc返回void指针,需强制类型转换,不安全;
重载:C++允许重载new/delete操作符,特别的,局部new的就不需要为对象分配内存,而是指定了一个地址作为内存起始区域,new在这段内存上为对象调用构造函数完成初始化工作,并返回此地址。而malloc不允许重载。
内存区域:new运算符从自由存储区(free store)上为对象动态分配内存空间,而malloc()函数从堆上动态分配内存。自由存储区是C++基于new操作符的一个抽象概念,凡是通过new操作符进行内存申请,该内存即为自由存储区。而堆是操作系统中的术语,是操作系统所维护的一块特殊内存,用于程序的内存动态分配,C语言使用malloc从堆上分配内存,使用free释放已分配的对应内存。自由存储区不等于堆,如上所述,局部new就可以不位于堆中。
参考博文:
https://www.cnblogs.com/sinaxyz/archive/2012/08/20/2647631.html