likes
comments
collection
share

一篇很详细的面试题--内存管理

作者站长头像
站长
· 阅读数 30

前言

不积跬步无以至千里，不积小流无以成江海。学如逆水行舟，不进则退。我是平平无奇游荡于各平台的搬运工。今天是对内存管理面试题的详细讲解，希望能对各位看官有所关注。废话不多说，直接上，看看你会多少。

一、在 Obj-C 中，如何检测内存泄漏？你知道哪些方式？

目前我知道的方式有以下几种

  • Memory Leaks

  • Alloctions

  • Analyse

  • Debug Memory Graph

  • MLeaksFinder

泄露的内存主要有以下两种：

  • Laek Memory 这种是忘记 Release 操作所泄露的内存。

  • Abandon Memory 这种是循环引用，无法释放掉的内存。

上面所说的五种方式，其实前四种都比较麻烦，需要不断地调试运行，第五种是腾讯阅读团队出品，效果

好一些

二、在 MRC 下如何重写属性的 Setter 和 Getter_.md

一篇很详细的面试题--内存管理

一篇很详细的面试题--内存管理

三、循环引用

循环引用的实质：多个对象相互之间有强引用，不能释放让系统回收。如何解决循环引用？

一篇很详细的面试题--内存管理

1、代理(delegate)循环引用属于相互循环引用

delegate 是 iOS 中开发中比较常遇到的循环引用，一般在声明 delegate 的时候都要使用弱引用 weak,或者

assign,当然怎么选择使用 assign 还是 weak，MRC 的话只能用 assign，在 ARC 的情况下最好使用 weak，因为

weak 修饰的变量在释放后自动指向 nil，防止野指针存在

2、NSTimer 循环引用属于相互循环使用

在控制器内，创建 NSTimer 作为其属性，由于定时器创建后也会强引用该控制器对象，那么该对象和定时

器就相互循环引用了。

如何解决呢？

这里我们可以使用手动断开循环引用：

如果是不重复定时器，在回调方法里将定时器 invalidate 并置为 nil 即可。

如果是重复定时器，在合适的位置将其 invalidate 并置为 nil 即可

一篇很详细的面试题--内存管理

一篇很详细的面试题--内存管理

四、说一下什么是 悬垂指针？什么是 野指针?

悬垂指针

指针指向的内存已经被释放了，但是指针还存在，这就是一个 悬垂指针 或者说 迷途指针

野指针

没有进行初始化的指针，其实都是 野指针

五、说一下对 retain,copy,assign,weak,_Unsafe_Unretain 关键字的理解

Strong

Strong 修饰符表示指向并持有该对象，其修饰对象的引用计数会加 1。该对象只要引用计数不为 0 就不会

被销毁。当然可以通过将变量强制赋值 nil 来进行销毁。

Weak

weak 修饰符指向但是并不持有该对象，引用计数也不会加 1。在 Runtime 中对该属性进行了相关操作，

无需处理，可以自动销毁。weak 用来修饰对象，多用于避免循环引用的地方。weak 不可以修饰基本数据

类型。

assign

assign 主要用于修饰基本数据类型，

例如 NSInteger，CGFloat，存储在栈中，内存不用程序员管理。assign 是可以修饰对象的，但是会出现问

题。

copy

copy 关键字和 strong 类似，copy 多用于修饰有可变类型的不可变对象 NSString,NSArray,NSDictionary

上。

__unsafe_unretain

__unsafe_unretain 类似于 weak ，但是当对象被释放后，指针已然保存着之前的地址，被释放后的地址

变为 僵尸对象，访问被释放的地址就会出问题，所以说他是不安全的。__autoreleasing

将对象赋值给附有 __autoreleasing 修饰的变量等同于 ARC 无效时调用对象的 autorelease 方法,实质

就是扔进了自动释放池。

五、是否了解 深拷贝 和 浅拷贝 的概念，集合类深拷贝如何实现

简而言之：

1、对不可变的非集合对象，copy 是指针拷贝，mutablecopy 是内容拷贝

2、对于可变的非集合对象，copy，mutablecopy 都是内容拷贝

3、对不可变的数组、字典、集合等集合类对象，copy 是指针拷贝，mutablecopy 是内容拷贝

4、对于可变的数组、字典、集合等集合类对象，copy，mutablecopy 都是内容拷贝

但是，对于集合对象的内容复制仅仅是对对象本身，但是对象的里面的元素还是指针复制。要想复制整个

集合对象，就要用集合深复制的方法，有两种：

一篇很详细的面试题--内存管理

六、使用自动引用计数应遵循的原则

  • 不能使用 retain、release、retainCount、autorelease。

  • 不可以使用 NSAllocateObject、NSDeallocateObject。

  • 必须遵守内存管理方法的命名规则。

  • 不需要显示的调用 Dealloc。

  • 使用 @autoreleasePool 来代替 NSAutoreleasePool。

  • 不可以使用区域 NSZone。

  • 对象性变量不可以作为 C 语言的结构体成员。

  • 显示转换 id 和 void*。

七、能不能简述一下 Dealloc 的实现机制

Dealloc 的实现机制是内容管理部分的重点，把这个知识点弄明白，对于全方位的理解内存管理的只是很

有必要。

1.Dealloc 调用流程

  • 1.首先调用 _objc_rootDealloc()

  • 2.接下来调用 rootDealloc()

  • 3.这时候会判断是否可以被释放，判断的依据主要有 5 个，判断是否有以上五种情况

    • NONPointer_ISA
    • weakly_reference
    • has_assoc
    • has_cxx_dtor
    • has_sidetable_rc

  • 4-1.如果有以上五中任意一种，将会调用 object_dispose()方法，做下一步的处理。

  • 4-2.如果没有之前五种情况的任意一种，则可以执行释放操作，C 函数的 free()。

  • 5.执行完毕。

2.object_dispose() 调用流程。

  • 1.直接调用

objc_destructInstance()。

  • 2.之后调用C 函数的 free()。

3.objc_destructInstance() 调用流程

  • 1.先判断 hasCxxDtor，如果有 C++ 的相关内容，要调用 object_cxxDestruct() ，销毁 C++

相关的内容。

  • 2.再判断 hasAssocitatedObjects，如果有的话，要调用 object_remove_associations()，

销毁关联对象的一系列操作。

  • 3.然后调用 clearDeallocating()。

  • 4.执行完毕。

4.clearDeallocating() 调用流程。

  • 1.先执行sideTable_clearDellocating()。

  • 2.再执行weak_clear_no_lock,在这一步骤中，会将指向该对象的弱引用指针置为 nil。

  • 3.接下来执行 table.refcnts.eraser()，从引用计数表中擦除该对象的引用计数。

  • 4.至此为止，Dealloc 的执行流程结束。

八、内存中的 5 大区分别是什么？

  • 栈区（stack）：由编译器自动分配释放 ，存放函数的参数值，局部变量的值等。其 操作方式类似于

数据结构中的栈。

  • 堆区（heap）：一般由程序员分配释放， 若程序员不释放，程序结束时可能由 OS 回收 。注意它与

数据结构中的堆是两回事，分配方式倒是类似于链表。

  • 全局区（静态区）（static）：全局变量和静态变量的存储是放在一块的，初始化的 全局变量和静态

变量在一块区域， 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。 - 程序结束后

由系统释放。

  • 文字常量区：常量字符串就是放在这里的。 程序结束后由系统释放。

  • 程序代码区：存放函数体的二进制代码。

九、内存管理默认的关键字是什么？

一篇很详细的面试题--内存管理

十、内存管理方案

  • taggedPointer ：存储小对象如 NSNumber。深入理解 Tagged Pointer

  • NONPOINTER_ISA(非指针型的 isa):在 64 位架构下，isa 指针是占 64 比特位的，实际上只有 30 多位就

已经够用了，为了提高利用率，剩余的比特位存储了内存管理的相关数据内容。

  • 散列表：复杂的数据结构，包括了引用计数表和弱引用表

通过 SideTables()结构来实现的，SideTables()结构下，有很多 SideTable 的数据结构。

而 sideTable 当中包含了自旋锁，引用计数表，弱引用表。

SideTables()实际上是一个哈希表，通过对象的地址来计算该对象的引用计数在哪个 sideTable 中。

自旋锁：

  • 自旋锁是“忙等”的锁。

  • 适用于轻量访问。

引用计数表和弱引用表实际是一个哈希表，来提高查找效率。

十一、内存布局

  • 栈(stack):方法调用，局部变量等，是连续的，高地址往低地址扩展

  • 堆(heap):通过 alloc 等分配的对象，是离散的，低地址往高地址扩展，需要我们手动控制

  • 未初始化数据(bss):未初始化的全局变量等

  • 已初始化数据(data):已初始化的全局变量等

  • 代码段(text):程序代码

2、64bit 和 32bit 下 long和 char 所占字节是不同的

  • char：1 字节（ASCII2 = 256 个字符）

  • char*（即指针变量）:4 个字节（32 位的寻址空间是 2,即 32 个 bit，也就是 4 个字节。同 理 64 位编译器为 8 个字节）

  • short int : 2 个字节 范围 -2～> 2 即 -32768～>32767

  • int：4 个字节范围 -2147483648～>2147483647

  • unsigned int :4 个字节

  • long: 4 个字节范围 和 int 一样 64 位下 8 个字节，范围-9223372036854775808～9223372036854775807

  • long long: 8 个字节范围-9223372036854775808～9223372036854775807

  • unsigned long long:8 个字节 最大值：1844674407370955161

  • float: 4 个字节

  • double: 8 个字节

3、static、const 和 sizeof 关键字

static 关键字

答：Static 的用途主要有两个，一是用于修饰存储类型使之成为静态存储类型，二是用于修饰链接属性使

之成为内部链接属性。

  • 1、静态存储类型：

在函数内定义的静态局部变量，该变量存在内存的静态区，所以即使该函数运行结束，静态变量的值不会

被销毁，函数下次运行时能仍用到这个值。

在函数外定义的静态变量——静态全局变量，该变量的作用域只能在定义该变量的文件中，不能被其他文

件通过 extern 引用。

  • 2、内部链接属性

静态函数只能在声明它的源文件中使用。 const 关键字

一篇很详细的面试题--内存管理 sizeof 关键字 sizeof 是在编译阶段处理，且不能被编译为机器码。sizeof 的结果等于对象或类型所占的内存字节数。

sizeof 的返回值类型为 size_t。

一篇很详细的面试题--内存管理

十二、讲一下 iOS 内存管理的理解

实际上是三种方案的结合

1.TaggedPointer（针对类似于 NSNumber 的小对象类型）

2.NONPOINTER_ISA（64 位系统下）

  • 第一位的 0 或 1 代表是纯地址型 isa 指针，还是 NONPOINTER_ISA 指针。

  • 第二位，代表是否有关联对象

  • 第三位代表是否有 C++ 代码。

  • 接下来 33 位代表指向的内存地址

  • 接下来有 弱引用 的标记

  • 接下来有是否 delloc 的标记....等等

3.散列表（引用计数表、weak 表）

  • SideTables 表在 非嵌入式的 64 位系统中，有 64 张 SideTable 表

  • 每一张SideTable 主要是由三部分组成。自旋锁、引用计数表、弱引用表。

  • 全局的引用计数 之所以不存在同一张表中，是为了避免资源竞争，解决效率的问题。

  • 引用计数表 中引入了 分离锁的概念，将一张表分拆成多个部分，对他们分别加锁，可以实现并发操

作，提升执行效率

十三、讲一下 @dynamic 关键字？

@dynamic 意味着编译器不会帮助我们自动合成 setter 和 getter 方法。我们需要手动实现、这里就涉及

到 Runtime 的动态添加方法的知识点。

十四、简要说一下 @autoreleasePool 的数据结构？

简单说是双向链表，每张链表头尾相接，有 parent、child 指针

每创建一个池子，会在首部创建一个 哨兵 对象,作为标记

最外层池子的顶端会有一个 next 指针。当链表容量满了，就会在链表的顶端，并指向下一张表。

十五、访问 __weak 修饰的变量，是否已经被注册在了 @autoreleasePool 中？为什

么？ 答案是肯定的，__weak 修饰的变量属于弱引用，如果没有被注册到 @autoreleasePool 中，创建之后也就

会随之销毁，为了延长它的生命周期，必须注册到 @autoreleasePool 中，以延缓释放。

十六、retain、release 的实现机制？

一篇很详细的面试题--内存管理

十七、MRC（手动引用计数）和 ARC(自动引用计数)

**1、MRC：alloc，retain，release，retainCount,autorelease,dealloc ** 2、ARC：

  • ARC 是 LLVM 和 Runtime 协作的结果

  • ARC 禁止手动调用 retain，release，retainCount,autorelease 关键字

  • ARC 新增 weak，strong 关键字

3、引用计数管理：

  • alloc: 经过一系列函数调用，最终调用了 calloc 函数，这里并没有设置引用计数为 1

  • retain: 经过两次哈希查找，找到其对应引用计数值，然后将引用计数加 1(实际是加偏移量)

  • release：和 retain 相反，经过两次哈希查找，找到其对应引用计数值，然后将引用计数减 1

dealloc:4、弱引用管理：

  • 添加 weak 变量:通过哈希算法位置查找添加。如果查找对应位置中已经有了当前对象所对应的弱引用

数组，就把新的弱引用变量添加到数组当中；如果没有，就创建一个弱引用数组，并将该弱引用变量

添加到该数组中。

  • 当一个被 weak 修饰的对象被释放后，weak 对象怎么处理的？

清除 weak 变量，同时设置指向为 nil。当对象被 dealloc 释放后，在 dealloc 的内部实现中，会调用弱

引用清除的相关函数，会根据当前对象指针查找弱引用表，找到当前对象所对应的弱引用数组，将数

组中的所有弱引用指针都置为 nil。

5、自动释放池：

在当次 runloop 将要结束的时候调用 objc_autoreleasePoolPop，并 push 进来一个新的 AutoreleasePool

AutoreleasePoolPage 是以栈为结点通过双向链表的形式组合而成，是和线程一一对应的。

内部属性有 parent，child 对应前后两个结点，thread 对应线程 ，next 指针指向栈中下一个可填充的位置。

  • AutoreleasePool 实现原理？

编译器会将 @autoreleasepool {} 改写为：

一篇很详细的面试题--内存管理

  • objc_autoreleasePoolPush：

把当前 next 位置置为 nil，即哨兵对象,然后 next 指针指向下一个可入栈位置，

AutoreleasePool 的多层嵌套，即每次 objc_autoreleasePoolPush，实际上是不断地向栈中插入哨兵

对象。

  • objc_autoreleasePoolPop:

根据传入的哨兵对象找到对应位置。

给上次 push 操作之后添加的对象依次发送 release 消息。

回退 next 指针到正确的位置。

十八、BAD_ACCESS 在什么情况下出现?

访问了已经被销毁的内存空间，就会报出这个错误。

根本原因是有 悬垂指针 没有被释放。

十九、autoReleasePool什么时候释放?

App 启 动 后 ， 苹 果 在 主线 程RunLoop里注册了两 个Observer ，其回调都是_wrapRunLoopWithAutoreleasePoolHandler()。 

  • 第 一 个Observer 监 视 的 事 件 是Entry(即将进入Loop) ， 其 回调内会调用_objc_autoreleasePoolPush() 创建自动释放池。其order是-2147483647，优先级最高，保证创建释放池发生在其他所有回调之前。

第 二 个Observer 监 视 了 两 个 事 件 ：

BeforeWaiting( 准 备 进 入 休 眠 ) 时 调 用

_objc_autoreleasePoolPop() 和 _objc_autoreleasePoolPush() 释放旧的池并创建新池；Exit(即

将退出 Loop) 时调用 _objc_autoreleasePoolPop() 来释放自动释放池。这个 Observer 的 order

是 2147483647，优先级最低，保证其释放池子发生在其他所有回调之后。

二十、ARC 自动内存管理的原则

  • 自己生成的对象，自己持有

  • 非自己生成的对象，自己可以持有

  • 自己持有的对象不再需要时，需要对其进行释放

  • 非自己持有的对象无法释放

二十一、ARC 在运行时做了哪些工作？

  • 主要是指 weak 关键字。weak 修饰的变量能够在引用计数为 0 时被自动设置成 nil，显然是有运

行时逻辑在工作的。

  • 为了保证向后兼容性，ARC 在运行时检测到类函数中的 autorelease 后紧跟其后 retain，此时

不直接调用对象的 autorelease 方法，而是改为调用 objc_autoreleaseReturnValue。

objc_autoreleaseReturnValue 会检视当前方法返回之后即将要执行的那段代码，若那段代码

要在返回对象上执行 retain 操作，则设置全局数据结构中的一个标志位，而不执行 autorelease

操作，与之相似，如果方法返回了一个自动释放的对象，而调用方法的代码要保留此对象，那么此时

不直接执行 retain ，而是改为执行 objc_retainAoutoreleasedReturnValue 函数。此函

数要检测刚才提到的标志位，若已经置位，则不执行 retain 操作，设置并检测标志位，要比调用

autorelease 和 retain 更快。

二十二、ARC 在编译时做了哪些工作

根据代码执行的上下文语境，在适当的位置插入 retain，release 二十三、ARC 的 retainCount 怎么存储的？

存在 64 张哈希表中，根据哈希算法去查找所在的位置，无需遍历，十分快捷

散列表（引用计数表、weak 表）

-SideTables 表在 非嵌入式的 64 位系统中，有 64 张 SideTable 表

-每一张SideTable 主要是由三部分组成。自旋锁、引用计数表、弱引用表。

-全局的引用计数 之所以不存在同一张表中，是为了避免资源竞争，解决效率的问题。

-引用计数表 中引入了 分离锁的概念，将一张表分拆成多个部分，对他们分别加锁，可以实现并发操作，

提升执行效率

引用计数表（哈希表） 通过指针的地址，查找到引用计数的地址，大大提升查找效率

通过 DisguisedPtr(objc_object) 函数存储，同时也通过这个函数查找，这样就避免了循环遍历。

二十四、__weak 属性修饰的变量，如何实现在变量没有强引用后自动置为 nil ？

用的弱引用 - weak 表。也是一张 哈希表。

被 weak 修饰的指针变量所指向的地址是 key ，所有指向这块内存地址的指针会被添加在一个数组里，

这个数组是 Value。当内存地址销毁，数组里的所有对象被置为 nil。

二十五、__weak 和 _Unsafe_Unretain 的区别？

weak 修饰的指针变量，在指向的内存地址销毁后，会在 Runtime 的机制下，自动置为 nil。

_Unsafe_Unretain 不会置为 nil，容易出现 悬垂指针，发生崩溃。但是 _Unsafe_Unretain 比

__weak 效率高。

下期详细分解

一、编程中的六大设计原则？

二、如何设计一个图片缓存框架？

三、如何设计一个时长统计框架？

如需详细答案和面试资料，请点击##领取资料

转载自:https://juejin.cn/post/7003296555910299661
评论
请登录