OC中栈区与堆区的内存概念解析

栈区是先进后出，队列是先进先出。

栈区就相当于玻璃杯，往玻璃杯里放奥利奥，第一块放入的奥利奥，肯定是最后一个拿出来。

队列就相当于掉了底的玻璃杯，最先放入的，必定最先掉出来。

网上有个更绝的比喻：队列是吃多了拉，栈区是吃多了吐。

这里解析的是栈区和堆区的内存问题，说到了栈区自然引出队列，捎带提一笔。

言归正传，以下面这个非常简单的c语言程序为例：

变量 i 和 j 就是保存在栈区里的

有一句话如是说：在OC中，默认不带*号的都是保存在栈区的。

在这里，变量名其实就是变量保存在栈区的内存地址的别名。

那么，这个程序运行时在栈区是如何出入的呢？

 

程序在栈区的出入步骤：

程序运行执行main函数，i首先进入栈区，位于最底部。然后j进入栈区，printf调用函数sum(i, j)紧随其后进入栈区。

函数sum(int x, int y)中的参数，从右到左依次进入栈区。先是y再是x。

栈区存储样式

当程序运行结束后，栈区内的所有元素会从上到下的依次出栈，栈会恢复到原始状态。

栈的先进后出方式，会特别整齐的存取，不会产生内存碎片。

 

现在加入线程概念：每条主线程为1M内存，每条子线程为512K内存

每个线程都会对应一个栈区！

当程序开展了多条线程的时候，每个线程都会开辟一块栈区，如下图所示：

当线程执行完毕之后，各个线程栈区会依次清除掉。

所以：对于系统来说，给线程分配栈区内存只需要分配512kb的倍数即可，

分配出来的这块内存空间作为多线程整体的栈区，来管理多线程。

如此一来，内存会被管理的井井有条，速度飞快。

 

堆区

堆区是由系统通过链表管理维护的，所有应用程序共享的一块内存空间。包括内存+虚拟内存（磁盘缓存）

程序运行时堆区的内部操作，以及引发内存泄漏的原因：

创建一个新的对象时，对象p指针存放在栈区，p将指向在堆区开辟的一块存储空间Person

在程序结束之前，p对象必须release，不然系统不知道释放堆区的Person内存。

如果p对象没有release，只是p＝nil; 就是p指针指向了堆区地址为0的地方，那么原来的Person永远无法再次访问，而且也无法释放掉。

堆是所有程序共享的内存，当N个这样的内存得不到释放，堆区会被挤爆，程序立马瘫痪。这就是内存泄漏。

这里要知道的是：系统在堆区只会记录某一个区域被使用了，并不会管你是什么类型的（匿名访问）。

我写了一段对象与堆区的对话，来说明这个现象：

某程序的对象p：喂！堆！我有个Person，你给我记录一下。

堆：尼玛，今天我碰到了N个Person了，别瞎掰活，直接说要多大空间！

p：100kb

堆：已开辟。

堆就跟小旅馆一样，我管你是男女老幼，直接说要什么价位的房子。

那么，既然是匿名访问，堆不管你的类型了，那怎么区分这块内存是什么类型的呢？

简单：什么类型指向这块内存，这块内存就是什么类型的。

程序示例：

定义一个Person类

在main.m文件中利用Person类创建一个对象，这个对象即便是定义为NSString类型，在编译的时候也不会报错，会有警告

这就说明：堆中开辟的内存自身并不强调类型，而是受到栈区中对象类型的左右。