C++中的程序运行内存模型如下图所示:
其中固定部分的内存消耗是不会随着代码运行产生变化的, 相对应可变部分则是会在运行过程产生变化。
具体来说,一个由C/C++编译的程序占用的内存分为以下几个部分:
- 数据区:存放全局变量、静态变量以及常量等等
- 未初始化数据区(Uninitialized Data): 存放未初始化的全局变量和静态变量
- 初始化数据区(Initialized Data):存放已经初始化的全局变量和静态变量
- 程序代码区:存放函数体的二进制代码
- 代码区和数据区所占空间都是固定的,而且占用的空间非常小,那么看运行时消耗的内存主要看可变部分。
- 栈区(Stack) :由编译器自动分配释放,存放函数的参数值,局部变量、返回的值等,其操作方式类似于数据结构中的栈,我们可以回想一下函数调用和栈这个数据结构之间的联系。
- 堆区(Heap) :是指动态开辟的空间,一般由程序员分配释放,若程序员不释放,程序结束时可能由OS收回
我们需要注意,在可变部分,栈区的数据在代码块执行结束之后,会由系统进行自动回收的操作;而堆区间的数据是需要程序员来自己控制回收的,这也一般是造成内存泄漏的主要原因。