一、程序内存的分布:
栈区(stack):
用来存储函数调用时的临时信息的结构,存放为运行时函数分配的局部变量、函数参数、返回数据、返回地址等。
堆区(heap):
一般由程序员分配、和释放,用来存储程序运行时分配的变量。
全局区(静态区static):
存放全局变量、静态数据。程序结束后由系统释放。
全局区分为已初始化全局区(data)和未初始化全局区(bss)。
常量区(文字常量区):
存放常量字符串,程序结束后由系统释放。
代码区:
存放函数体(类成员函数、静态函数和全局函数)的二进制代码。
二、不同区内存分配、管理方式
从静态存储区分配
内存在程序编译的时候已经分配好,这块内存在程序的整个运行期间都存在。例如:全局变量,static变量。
在栈上创建
在执行函数时,函数内局部变量的存储单元可以在栈上创建,函数执行结束时,这些内存单元会自动被释放。
从堆上分配(动态内存分配)
程序在运行的时候使用malloc或者new申请任意多少的内存,程序员自己负责在何时用free或delete释放内存。
三、堆和栈的区别
管理方式不同:
栈是由编译器自动申请和释放空间,堆是需要程序员手动申请和释放;
空间大小不同:
栈的空间是有限的,在32位平台下,VC6下默认为1M,堆最大可以到4G;
能否产生碎片:
栈和数据结构中的栈原理相同,在弹出一个元素之前,上一个已经弹出了,不会产生碎片,如果不停地调用malloc、free会造成内存碎片很多;
生长方向不同:
栈,向着内存减小的方向生长,堆生长方向是向上的,是向着内存地址增加的方向。
分配方式不同:
栈有静态分配和动态分配。静态分配是编译器完成的,比如局部变量的分配。动态分配由 malloc 函数进行分配。
堆都是动态分配的,没有静态分配的堆。
分配效率不同:
栈的效率比堆高很多。
栈是机器系统提供的数据结构,计算机在底层提供栈的支持,分配专门的寄存器来存放栈的地址,压栈出栈都有相应的指令,因此比较快。
堆是由库函数提供的,机制很复杂,库函数会按照一定的算法进行搜索内存,因此比较慢。
三、静态全局变量、全局变量、静态局部变量、局部变量的区别
静态全局变量、全局变量区别
(1)都属于常量区
(2)静态全局变量只在本文件中有效,别的文件想调用该变量,是调不了的,而全局变量在别的文件中可以调用
(3)如果别的文件中定义了一个该全局变量相同的变量名,是会出错的。
静态局部变量、局部变量的区别
(1)静态局部变量是属于常量区的,而函数内部的局部变量属于栈区;
(2)静态局部变量在该函数调用结束时,不会销毁,而是随整个程序结束而结束,但是别的函数调用不了该变量,局部变量随该函数的结束而结束;
(3)如果定义这两个变量的时候没有初始值时,静态局部变量会自动定义为0,而局部变量就是一个随机值;
(4)静态局部变量在编译期间只赋值一次,以后每次函数调用时,不在赋值,调用上次的函数调用结束时的值。局部变量在调用期间,每调用一次,赋一次值。
四、程序术语的对应关系
1.静态存储区通常指程序中的.bss和.data 段
2.只读存储区通常指程序中的.rodata段
3.局部变量所占空间为栈上的空间
4.动态空间为堆中的空间
5.程序可执行代码存放于.text段