C++内存分为5个区域:
堆 heap :
由new分配的内存块,其释放编译器不去管,由我们程序自己控制(一个new对应一个delete)。如果程序员没有释放掉,在程序结束时OS会自动回收。涉及的问题:“缓冲区溢出”、“内存泄露”
栈 stack :
是那些编译器在需要时分配,在不需要时自动清除的存储区。存放局部变量、函数参数。
存放在栈中的数据只在当前函数及下一层函数中有效,一旦函数返回了,这些数据也就自动释放了。
全局/静态存储区 (.bss段和.data段) :
全局和静态变量被分配到同一块内存中。未初始化的放在.bss段中,初始化的放在.data段中
常量存储区 (.rodata段) :
存放常量,不允许修改(通过非正当手段也可以修改)
代码区 (.text段) :
存放代码(如函数),不允许修改(类似常量存储区),但可以执行(不同于常量存储区)
在linux系统中,程序在内存中的分布如下所示:
低地址
.text---> .data --->.bss
--->heap(堆) --> unused <-- stack(栈)
-->env
高地址
其中 :
.text 部分是编译后程序的主体,也就是程序的机器指令。
.data 和 .bss 保存了程序的全局变量,.data保存有初始化的全局变量,.bss保存只有声明没有初始化的全局变量。
heap(堆)中保存程序中动态分配的内存,比如C的malloc申请的内存,或者C++中new申请的内存。堆向高地址方向增长。
stack(栈)用来进行函数调用,保存函数参数,临时变量,返回地址等。
使用nm命令进行查看,发现有个有趣的现象,声明的静态成员变量,如果初始化为默认值,如int为0,则被放在bss段,在编译器看来,该变量未被初始化。
测试代码如下:
static int test_0;
static int test_1 = 1;
int test_2;
int test_3 = 1;
int main() {
int test_4;
test_4 = 2;
static int test_5 = 1; // data
static int test_6 = 0; // bss
return 0;
}
// nm a.out -f sysv
/**
Symbols from a.out:
Name Value Class Type Size Line Section
__bss_start |000000000020101c| B | NOTYPE| | |.bss
completed.7698 |000000000020101c| b | OBJECT|0000000000000001| |.bss
__cxa_finalize@@GLIBC_2.2.5| | w | FUNC| | |*UND*
__data_start |0000000000201000| D | NOTYPE| | |.data
data_start |0000000000201000| W | NOTYPE| | |.data
deregister_tm_clones|0000000000000520| t | FUNC| | |.text
__do_global_dtors_aux|00000000000005b0| t | FUNC| | |.text
__do_global_dtors_aux_fini_array_entry|0000000000200df8| t | OBJECT| | |.fini_array
__dso_handle |0000000000201008| D | OBJECT| | |.data
_DYNAMIC |0000000000200e00| d | OBJECT| | |.dynamic
_edata |000000000020101c| D | NOTYPE| | |.data
_end |0000000000201030| B | NOTYPE| | |.bss
_fini |0000000000000684| T | FUNC| | |.fini
frame_dummy |00000000000005f0| t | FUNC| | |.text
__frame_dummy_init_array_entry|0000000000200df0| t | OBJECT| | |.init_array
__FRAME_END__ |00000000000007d4| r | OBJECT| | |.eh_frame
_GLOBAL_OFFSET_TABLE_|0000000000200fc0| d | OBJECT| | |.got
__gmon_start__ | | w | NOTYPE| | |*UND*
__GNU_EH_FRAME_HDR |0000000000000694| r | NOTYPE| | |.eh_frame_hdr
_init |00000000000004b8| T | FUNC| | |.init
__init_array_end |0000000000200df8| t | NOTYPE| | |.init_array
__init_array_start |0000000000200df0| t | NOTYPE| | |.init_array
_IO_stdin_used |0000000000000690| R | OBJECT|0000000000000004| |.rodata
_ITM_deregisterTMCloneTable| | w | NOTYPE| | |*UND*
_ITM_registerTMCloneTable| | w | NOTYPE| | |*UND*
__libc_csu_fini |0000000000000680| T | FUNC|0000000000000002| |.text
__libc_csu_init |0000000000000610| T | FUNC|0000000000000065| |.text
__libc_start_main@@GLIBC_2.2.5| | U | FUNC| | |*UND*
main |00000000000005fa| T | FUNC|0000000000000012| |.text
register_tm_clones |0000000000000560| t | FUNC| | |.text
_start |00000000000004f0| T | FUNC|000000000000002b| |.text
test_2 |0000000000201020| B | OBJECT|0000000000000004| |.bss
test_3 |0000000000201014| D | OBJECT|0000000000000004| |.data
__TMC_END__ |0000000000201020| D | OBJECT| | |.data
_ZL6test_0 |0000000000201024| b | OBJECT|0000000000000004| |.bss
_ZL6test_1 |0000000000201010| d | OBJECT|0000000000000004| |.data
_ZZ4mainE6test_5 |0000000000201018| d | OBJECT|0000000000000004| |.data
_ZZ4mainE6test_6 |0000000000201028| b | OBJECT|0000000000000004| |.bss
*/