内存分区
-
栈（stack）
由编译器自动分配释放，无需手工管理；
存放函数的参数值、局部变量等；
操作方式类似于数据结构中的栈，后入先出；
栈区地址从高到低分配，是一块连续的内存区域，栈顶地址和容量是系统预先规定好的，因此能获得的栈的空间较小。 -
堆（heap）
用于动态内存分配；
由程序员分配释放，若程序员不释放，则可能造成内存泄露，程序 结束时有可能由OS回收；
堆是向高地址扩展的数据结构，是不连续的内存区域，这是由于系统是用链表来存储空闲内存地址的，自然是不连续的，而链表的遍历方向是由低到高地址的。堆的大小受制于计算机中的有效虚拟内存，所以堆获得的空间比较大且灵活。 -
全局区/静态区（Data Segment）
全局变量和静态变量在内存中是放在一起的，初始化的全局变量和静态变量在一块区域，未初始化的全局变量和未初始化的静态变量在相邻的另一块区域；
该块内存在程序编译的时候就已经分配好了，在整个程序运行期间始终不变，程序结束后由系统释放。 -
常量区
存放常量，不允许修改，常量字符串存放在这里，程序结束后由系统释放。
-
代码区（text segment）
存放函数体的二进制代码
整个内存区域由高地址到低地址如下图所示：
堆和栈的区别
管理方式不同
栈是由编译器自动管理，无需程序员手工控制；堆空间的申请和释放是由程序员控制的，容易产生内存泄露。-
空间大小不同
栈是由高向低扩展的数据结构，是一块连续的区域。栈顶的地址和栈的最大容量是由系统预先设定好的，当申请的空间超过栈的剩余空间的时候，就提示溢出，所以栈的空间较小。堆是由低向高扩展的数据结构，是不连续的内存区域。堆的大小受制于计算机中的有效虚拟内存，所以堆获得的空间比较大且灵活。
是否产生碎片
对于堆来讲，频繁的创建销毁势必会造成内存空间的不连续，从而产生大量的碎片，使程序效率降低。而栈则没有这个问题，因为栈是先进后出的队列，他们是如此的一一对应，以至于永远都不可能有一个内存块从栈中弹出。增长方向不同
栈的增长方向是向下的，是向着内存地址减小的方向；而堆则相反。分配方式不同
堆都是动态分配的，没有静态分配的堆。栈有两种分配方式：静态分配和动态分配。静态分配是编译器完成的，比如局部变量的分配。动态分配是有alloc函数进行分配的，但是栈的动态分配和堆是不同的，他的动态分配由编译器进行释放，无需我们手工实现。 栈的分配释放是由编译器完成的，栈也有动态分配，但其和堆是不同的，无需手工实现；而堆是动态分配的。分配效率不同
栈是机器系统提供的数据结构，计算机会在底层对栈提供支持：分配专门的寄存器存放栈的地址，压栈出栈都有专门的指令执行。
而堆的机制复杂的多，例如为了分配一块内存，库函数会按照一定的算法（具体的算法可以参考数据结构/操作系统）在堆内存中搜索可用的足够大的空间，如果没有足够大的空间（可能是由于内存碎片太多），就有需要操作系统来重新整理内存空间，这样就有机会分到足够大小的内存，然后返回。显然，堆的效率比栈要低得多。
其他
之所以分成这么多个区域，主要基于以下考虑：
一个进程在运行过程中，代码是根据流程依次执行的，只需要访问一次，当然跳转和递归有可能使代码执行多次，而数据一般都需要访问多次，因此单独开辟空间以方便访问和节约空间。
临时数据及需要再次使用的代码在运行时放入栈区中，生命周期短。
全局数据和静态数据有可能在整个程序执行过程中都需要访问，因此单独存储管理。
堆区由用户自由分配，以便管理。
//main.cpp
int a = 0; 全局初始化区
char *p1; 全局未初始化区
main()
{
int b; 栈
char s[] = "abc"; 栈
char *p2; 栈
char *p3 = "123456"; 123456\0在常量区，p3在栈上。
static int c =0； 全局（静态）初始化区
p1 = (char *)malloc(10);
p2 = (char *)malloc(20);
分配得来得10和20字节的区域就在堆区。
strcpy(p1, "123456"); 123456\0放在常量区，编译器可能会将它与p3所指向的"123456"优化成一个地方。
}
栈是一个用来存储局部和临时变量的存储空间。在现代操作系统中,一个线程会分配一个栈. 当一个函数被调用,一个stack frame(栈帧)就会被压到stack里。里面包含这个函数涉及的参数,局部变量,返回地址等相关信息。当函数返回后,这个栈帧就会被销毁。而这一切都是自动的,由系统帮我们进行分配与销毁。对于程序员来说，我们无须自己调度。
在objective-c中只支持一个类型对象：blocks。
关于在block中的对象的生命周期问题。出现这问题的原因是，block是新的对象，当你使用block时候，如果你想对其保持引用，你需要对其进行copy操作，（从栈上copy到堆中，并返回一个指向他的指针），而不是对其进行retain操作
