前言：
在iOS开发中，平常大家都会说，堆区，栈区，都是存在虚拟内存。
image.png
栈区（Stack）
特点
- 栈是系统数据结构，其对应的进程或者线程是唯一的
- 栈由编译器自动分配和释放，是一块连续的内存区域。
- 栈内部以帧（Frame）的结构进行入栈和出栈，遵循先进后出（FILO）原则。
- 栈是从高地址向低地址扩展的数据结构，地址空间在iOS中以Ox7开头。
- 栈在运行时分配。
存储
栈区由编译器自动分配和释放，是一块连续的内存区域，主要用于存放局部变量和函数的参数（id self，SEL _cmd）。
优缺点
- 优点：因为栈是由编译器自动分配和释放，所以不会产生内存碎片，且快速高效。
- 缺点：内存大小有限制，在iOS中，主线程中栈的大小为
1MB，子线程中栈的大小为512kb，在MAC OS中栈的大小为8MB。(详情可见官方文档Threading Programming Guide)
image.png
堆区（Heap）
特点
- 堆是不连续的内存区域，类似于链表结构（便于增删，不便于查询），遵循先进先出（FIFO）原则
- 其空间的分配总是动态的
- 堆是从低地址向高地址拓展的数据结构，地址空间在iOS中以0x6开头。
- 堆在运行时分配
存储
堆区由程序员分配和释放的，如果程序员不释放，程序结束后，也可由垃圾回收机制释放。主要存放：OC中使用alloc或者new创建的对象，C语言中使用malloc、calloc、realloc分配的空间（C中这些需要使用free来释放）。
优缺点
- 优点：灵活方便，数据适应面广泛
- 缺点：需手动管理，速度慢、容易产生内存碎片
当需要访问堆中内存时，一般需要先通过对象读取到栈区的指针地址，然后通过指针地址访问堆区
全局（静态）区
全局区是编译期分配的内存空间，由系统管理，在程序启动时由分配，程序结束时释放，内存空间一般以0x1开头。在程序运行过程中，此内存中的数据一直存在。其又分为两部分区域：
- BSS区（.bss）：存放未初始化的全局变量和静态变量。
- 数据区（.data）：存放已初始化的全局变量和静态变量。
全局变量是指在运行中值可以被动态修改的变量。
静态变量是指由static修饰的变量，值不能被修改，包含全局静态变量和局部静态变量。
常量区（.rodata）
常量区是编译时分配的内存空间，由系统管理，在程序启动时分配，在程序结束后释放，主要存放常量，不允许被修改，内存空间一般以0x1开头。
代码区（.text）
代码区是在编译期分配，用来存放函数被编译后的二进制代码。代码段只允许读操作，不允许写操作。
栈帧（Frame）
栈区（stack）内存是以帧的结构来管理的，每次执行一个函数，都会生成新的帧（Frame），所有的帧都按顺序添加到栈中，最新生成的帧存放在最上面。每次新生成一帧，叫做入栈（push），每次释放一帧，叫做出栈（pop），当所有的帧都被释放掉，整个栈也会被释放。整个过程如下图所示：
image.png
我们通过下面的实例来具体分析：
int test(int x,int y) {
int z = 0;
z = x + y;
return z;
}
int main() {
int a = 10;
int b = 20;
int ret = test(a, b);
}
- 当执行main()函数时，系统生成对应的帧并入栈，main()函数里的局部变量a和b都存放在这个帧中。
- 当执行到test()函数时，系统又会生成对应的帧并入栈，用来保存test()函数内部的局部变量，这个新帧会叠加在最上面。
- 执行完test()函数后，对应的帧被释放，里面存放的局部变量都会被销毁。
- 执行完main()函数后，对应的帧被释放，此时所有的帧都被释放，整个栈区（stack）也会被释放
堆栈溢出
一般情况下应用程序是不需要考虑堆和栈的大小的，但是事实上堆和栈都不是无上限的，过多的递归会导致栈溢出，过多的alloc变量会导致堆溢出。
所以预防堆栈溢出的方法：
- 避免层次过深的递归调用；
- 不要使用过多的局部变量，控制局部变量的大小；
- 避免分配占用空间太大的对象，并及时释放;
- 实在不行，适当的情景下调用系统API修改线程的堆栈大小；
