栈区是先进后出,队列是先进先出。
栈区就相当于玻璃杯,往玻璃杯里放奥利奥,第一块放入的奥利奥,肯定是最后一个拿出来。
队列就相当于掉了底的玻璃杯,最先放入的,必定最先掉出来。
网上有个更绝的比喻:队列是吃多了拉,栈区是吃多了吐。
这里解析的是栈区和堆区的内存问题,说到了栈区自然引出队列,捎带提一笔。
言归正传,以下面这个非常简单的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类型,在编译的时候也不会报错,会有警告
这就说明:堆中开辟的内存自身并不强调类型,而是受到栈区中对象类型的左右。