Skip to content

Objc MemoryManagement

Deepin edited this page Sep 29, 2021 · 8 revisions
  • 内存知识
    • BSS段
    • 代码段
    • 常量区
  • 内存管理分类
    • 修饰符
    • 内存泄漏
    • 内存溢出
    • 内存对齐
  • 管理内存
    • @autoreleasepool

https://www.jianshu.com/p/f01c5c2457e5

https://segmentfault.com/q/1010000000520778

https://blog.sunnyxx.com/2014/10/15/behind-autorelease/

https://zhuanlan.zhihu.com/p/338988149

内存对齐

https://baijiahao.baidu.com/s?id=1642400273667910278&wfr=spider&for=pc

https://blog.csdn.net/welbell_uplooking/article/details/83416697

https://zhuanlan.zhihu.com/p/49930990

https://juejin.cn/post/6971659950741258254

https://juejin.cn/post/6970173271455039502

https://juejin.cn/post/6971718042560495629

http://c.biancheng.net/c/140/

http://c.biancheng.net/view/2031.html

   Person *p1 = [Person alloc];
   NSObject *p2 = [p1 init];
   NSObject *p3 = [p2 init];

   NSLog(@"%@ - %p - %p", p1, p1, &p1);
   NSLog(@"%@ - %p - %p", p2, p2, &p2);
   NSLog(@"%@ - %p - %p", p3, p3, &p3);

Q: 为什么会用相同的输出,&p1,&p2, &p3的值又各不相同呢?
A: p1,p2,p3 为同一个对象, 即 p1,p2,p3 指向同一块内存区域,%p 打印的是 p1,p2,p3的对象内存地址, &p1表示,存放p1 指针的内存地址。 综上所述,前两个都是打印的 存放对象的地址值,&p1打印的是 存放指针的地址值。

既然是类,我们就可以实例化一个对象 NSString *s = [NSString new]; 1)分配空间 2)初始化 3)返回地址

alloc是申请内存空间, init是指针指向,都是通过第一次alloc申请的内存地址,在堆区,所以相同,而init对应指针是不同的,存在栈区的不同位置,所以才会出现上面的现象。

1、栈创建,只要栈的剩余空间大于stack 对象申请创建的空间,操作系统就会为程序提供这段内存空间,否则将报异常提示栈溢出。
2、堆创建,操作系统对于内存堆(heap) 段是采用链表进行管理的。操作系统有一个记录空闲内存地址的链表,当收到程序的申请时,会遍历链表,寻找第一个空间大于所申请的heap 节点,然后将该节点从空闲节点链表中删除,并将该节点的空间分配给程序。
3.例子:NSString(NSArray) 的对象就是stack 中的对象,NSMutableString (NSMutableArray)的对象就是heap 中的对象。前者创建时分配的内存长度固定且不可修改;后者是分配内存长度是可变的,可有多个owner, 适用于计数管理内存管理模式。
4、区别`堆(heap)和栈(stack)区别

(1).申请方式和回收方式

栈区(stack) :由编译器自动分配并释放
堆区(heap):由程序员分配和释放

(2).申请后系统的响应
栈区(stack):存储每一个函数在执行的时候都会向操作系统索要资源,栈区就是函数运行时的内存,栈区中的变量由编译器负责分配和释放,内存随着函数的运行分配,随着函数的结束而释放,由系统自动完成。只要栈的剩余空间大于所申请空间,系统将为程序提供内存,否则将报异常提示栈溢出。
堆区(heap):操作系统有一个记录空闲内存地址的链表,当系统收到程序的申请时,会遍历该链表,寻找第一个空间大于所申请空间的堆结点,然后将该结点从空闲结点链表中删除,并将该结点的空间分配给程序,另外,对于大多数系统,会在这块内存空间中的首地址处记录本次分配的大小,这样,代码中的delete语句才能正确的释放本内存空间。另外,由于找到的堆结点的大小不一定正好等于申请的大小,系统会自动的将多余的那部分重新放入空闲链表中。

(3).申请大小的限制
栈区(stack):栈是向低地址扩展的数据结构,是一块连续的内存的区域,能从栈获得的空间较小(2M)。
堆区(stack):堆是向高地址扩展的数据结构,是不连续的内存区域。这是由于系统是用链表来存储的空闲内存地址的,自然是不连续的,而链表的遍历方向是由低地址向高地址。堆的大小受限于计算机系统中有效的虚拟内存,空间比较大

(4).申请效率的比较
栈区(stack):由系统自动分配,速度较快。但程序员是无法控制的。
堆区(stack):是由alloc分配的内存,一般速度比较慢,而且容易产生内存碎片,不过用起来最方便.

(5).分配方式的比较
栈区(stack):有2种分配方式:静态分配和动态分配。静态分配是编译器完成的,比如局部变量的分配。动态分配由alloc函数进行分配,但是栈的动态分配和堆是不同的,他的动态分配是由编译器进行释放,无需我们手工实现。
堆区(stack):堆都是动态分配的,没有静态分配的堆。
(6).分配效率的比较
栈区(stack):栈是操作系统提供的数据结构,计算机会在底层对栈提供支持:分配专门的寄存器存放栈的地址,压栈出栈都有专门的指令执行,这就决定了栈的效率比较高。
堆区(stack):堆则是C/C++函数库提供的,它的机制是很复杂的,例如为了分配一块内存,库函数会按照一定的算法(具体的算法可以参考数据结构/操作系统)在堆内存中搜索可用的足够大小的空间,如果没有足够大小的空间(可能是由于内存碎片太多),就有可能调用系统功能去增加程序数据段的内存空间,这样就有机会分到足够大小的内存,然后进行返回。显然,堆的效率比栈要低得多。`

参考链接

1. iOS中引用计数相关问题
2. iOS中类、元类、isa详解
3. SideTable
4. 堆、栈、程序区、静态数据区、字符常量区的介绍与区别
5. 管理对象内存的数据结构以及操作算法--SideTables、RefcountMap、weak_table_t

Clone this wiki locally