一、c语言内存分段
区域 | 内容 |
---|---|
栈 | 局部变量、函数参数、函数返回值 |
堆 | malloc/free |
全局/静态存储区 | 初始化和未初始化的全局变量和静态变量、是否初始化分开存放 |
常量存储区 | 常量 |
二、c++内存分段
区域 | 内容 |
---|---|
栈 | 局部变量、函数参数、函数返回值 |
堆 | malloc/free |
自由存储区 | new/delete |
全局/静态存储区 | 初始化和未初始化的全局变量和静态变量 |
常量存储区 | 常量 |
c++的堆是沿用c语言的堆的说法。基本上,所有的C++编译器默认使用堆来实现自由存储,运算符new和delete内部默认是使用malloc和free的方式来被实现,这时藉由new运算符分配的对象,说它在堆上也对,说它在自由存储区上也正确。
三、Linux进程内存分段
区域 | 内容 |
---|---|
栈 | 局部变量、函数参数、函数返回值 |
堆 | new/delete、malloc/free |
bss段 | 未初始化全局变量(默认0初始化) |
data段 | 初始化的全局变量、静态变量、常量数据 |
代码段 | 程序执行代码 |
四、堆和栈的区别
主要的区别由以下几点:
(1)*管理方式:*堆中资源由程序员控制(通过malloc/free、new/delete,容易产生memory leak),栈资源由编译器自动管理。
(2)*系统响应:*对于堆,系统有一个记录空闲内存地址的链表,当系统收到程序申请时,遍历该链表,寻找第一个大于所申请空间的空间的堆结点,删除空闲结点链表中的该结点,并将该结点空间分配给程序(大多数系统会在这块内存空间首地址记录本次分配的大小,这样delete才能正确释放本内存空间,另外,系统会将多余的部分重新放入空闲链表中)。对于栈,只要栈的剩余空间大于所申请空间,系统就会为程序分配内存,否则报异常出现栈空间溢出错误。
(3)*空间大小:*堆是不连续的内存区域(因为系统是用链表来存储空闲内存地址的,自然不是连续),堆的大小受限于计算机系统中有效的虚拟内存(32位机器上理论上是4G大小),所以堆的空间比较灵活,比较大。栈是一块连续的内存区域,大小是操作系统预定好的,windows下栈大小是2M(也有是1M,在编译时确定,VC中可设置)。
(4)*碎片问题:*对于堆,频繁的new/delete会造成大量内存碎片,降低程序效率。对于栈,它是一个先进后出(first-in-last-out)的结构,进出一一对应,不会产生碎片。
(5)*生长方向:*堆向上,向高地址方向增长;栈向下,向低地址方向增长。
(6)*分配方式:*堆是动态分配(没有静态分配的堆)。栈有静态分配和动态分配,静态分配由编译器完成(如函数局部变量),动态分配由alloca函数分配,但栈的动态分配资源由编译器自动释放,无需程序员实现。
(7)*分配效率:*堆由C/C++函数库提供,机制很复杂,因此堆的效率比栈低很多。栈是机器系统提供的数据结构,计算机在底层对栈提供支持,分配专门的寄存器存放栈地址,提供栈操作专门的指令。
五、new/delete 与 malloc/free区别
细说new与malloc的10点区别