c/c++程序的内存结构（二）

在C/C++中，通常可以把内存理解为四个分区：栈、堆、全局/静态存储区和常量存储区
或者是栈、堆、数据区、代码区。

1、 栈
通常是用于那些在编译期间就能确定存储大小的变量的存储区，用于在函数作用域内创建，在离开作用域后自动销毁的变量的存储区。通常是局部变量，函数参数，函数返回值等的存储区。他的存储空间是连续的，两个紧密挨着定义的局部变量，他们的存储空间也是紧挨着的。栈的大小是有限的，通常Visual C++编译器的默认栈的大小为1MB，所以不要定义int a[1000000]这样的超大数组。

2、 堆
通常是用于那些在编译期间不能确定存储大小的变量的存储区，它的存储空间是不连续的，一般由程序员使用malloc（或new）函数来分配内存块，并且需要用free（delete）函数释放内存。如果程序员没有释放掉，那么就会出现常说的内存泄漏问题。需要注意的是，两个紧挨着定义的指针变量，所指向的malloc出来的两块内存并不一定的是紧挨着的，所以会产生内存碎片。另外需要注意的一点是，堆的大小几乎不受限制，理论上每个程序最大可达4GB。

3 、全局/静态存储区
和“栈”一样，通常是用于那些在编译期间就能确定存储大小的变量的存储区，但它用于的是在整个程序运行期间都可见的全局变量和静态变量。

4 、常量存储区
和“全局/静态存储区”一样，通常是用于那些在编译期间就能确定存储大小的常量的存储区，并且在程序运行期间，存储区内的常量是全局可见的。这是一块比较特殊的存储区，他们里面存放的是常量，不允许被修改。

**示例：**A *a=new A;a->i=10;在内核中的内存分配上发生了什么？
1、A *a：a是一个局部变量，类型为指针，故操作系统在程序栈区开辟4/8字节的空间（0x000m），分配给指针a
2、new A ：通过new动态的在堆区申请类A大小的空间（0x000n）
3、a=new A：将指针a的内存区域填入栈中类A申请到的地址的地址。即*(0x000m)=0x000n
(堆与栈建立了联系)
4、a->i:先找到指针a的地址0x000m，通过a的值0x000n和i在类a中的偏移offset，得到a->i的地址0x000n+offset,进行*（0x000n+offset)=10的赋值操作，即内存0x000n+offset的值是10.