iOS 内存管理

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

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

  • Memory Leaks
  • Alloctions
  • Analyse
  • Debug Memory Graph
  • MLeaksFinder

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

  • Leak Memory 这种是忘记 Release 操作所泄露的内存。
  • Abandon Memory 这种是循环引用,无法释放掉的内存。

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

二、MRC 下如何重写属性的 Setter 和 Getter

如果同时生成了set和get方法,那系统就不会生成下划线成员变量
@synthesize 声明 或 添加下划线成员变量

- (void)setBrand:(NSString *)brand {
    // 如果实例变量指向的地址 和 参数指向的地址 不同
    if (_brand != brand) {
        // 将实例变量的引用计数减1
        [_brand release];
        //将参数变量的引用加1 并赋值给实例变量
        _brand = [brand retain];
    }
}

- (NSString *)brand {
    // 将实例变量的引用计数加1后,添加自动减1
    return [[_brand retain] autorelease];
}

MRC下 如何重写dealloc
MRC下 手动释放内存,可重写dealloc但不要调用dealloc 会崩溃

- (void)dealloc {
    [_brand release];
    // 必须最后调用super dealloc
    [super dealloc];
}

三、循环引用

循环引用的实质:多个对象相互之间有强引用,不能释放让系统回收。

如何解决循环引用?

1、避免产生循环引用,通常是将 strong 引用改为 weak 引用。

比如在修饰属性时用 weak 在 block 内调用对象方法时,使用其弱引用,这里可以使用两个宏

#define weakify_self   __weak typeof(self) weakSelf = self;
#define strongify_self __strong typeof(self) self = weakSelf;

还可以使用__block 来修饰变量
在 MRC 下,__block 不会增加其引用计数,避免了循环引用
在 ARC 下,__block 修饰对象会被强引用,无法避免循环引用,需要手动解除。

2、在合适时机去手动断开循环引用
1、代理(delegate)循环引用属于相互循环引用

delegate 是 iOS 中开发中比较常遇到的循环引用,一般在声明 delegate 的时候都要使用弱引用 weak,或者 assign,
当然怎么选择使用 assign 还是 weak,MRC 的话只能用 assign,在 ARC 的情况下最好使用 weak,
因为 weak 修饰的变量在释放后自动指向 nil,防止野指针存在

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

在控制器内,创建 NSTimer 作为其属性,由于定时器创建后也会强引用该控制器对象,那么该对象和定时器就相互循环引用了
这里我们可以使用手动断开循环引用:
如果是不重复定时器,在回调方法里将定时器 invalidate 并置为 nil 即可。
如果是重复定时器,在合适的位置将其 invalidate 并置为 nil 即可

3、block 循环引用

由于 block 会对 block 中的对象进行持有操作,就相当于持有了其中的对象,
而如果此时 block 中的对象又持有了该 block,则会造成循环引用。
使解决方案就是使用__weak 修饰 self 即可

- (void)memoryTest2 {
    self.myblock = ^{
        NSLog(@"memoryTest2 %@",self.blockString);
    };
    self.myblock();
}

// 使用__weak 修饰 self 即可
- (void)memoryTest3 {
    __weak typeof(self) weakSelf = self;
    self.myblock = ^{
        NSLog(@"memoryTest3 %@",weakSelf.blockString);
    };
    self.myblock();
}
  • 并不是所有 block 都会造成循环引用。
    只有被强引用了的 block 才会产生循环引用
    而比如 dispatch_async(dispatch_get_main_queue(), ^{}),[UIView animateWithDuration:1 animations:^{}]这些系统方法等 或者 block 并不是其属性而是临时变量,即栈 block
- (void)memoryTest4 {
    [self memoryTestAction:^{
        NSLog(@"memoryTest4 %@",self);
    }];
}

- (void)memoryTestAction:(void(^)(void))block {
    block();
    NSLog(@"memoryTestAction 1");
}

还有一种场景,在 block 执行开始时 self 对象还未被释放,而执行过程中,self 被释放了,由于是用 weak 修饰的,那么 weakSelf 也被释放了,此时在 block 里访问 weakSelf 时,就可能会发生错误(向 nil 对象发 消息并不会崩溃,但也没任何效果)。 对于这种场景,应该在 block 中对 对象使用__strong 修饰,使得在 block 期间对 对象持有,block 执行 结束后,解除其持有


- (void)memoryTest5 {
    __weak typeof(self) weakSelf = self;
    self.myblock = ^{
        __strong typeof(self) strongSelf = weakSelf;
        [strongSelf memoryTestAction:^{
            NSLog(@"memoryTest5 %@",self);
        }];
    };
    self.myblock();
}

四、悬垂指针? 野指针?

悬垂指针
指针指向的内存已经被释放了,但是指针还存在,这就是一个 悬垂指针 或者说 迷途指针
野指针
没有进行初始化的指针,其实都是 野指针

五、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 都是内容拷贝
但是,对于集合对象的内容复制仅仅是对对象本身,但是对象的里面的元素还是指针复制
- (void)memoryTest6{
    // 不可变 非集合对象 copy 指针拷贝 mutablecopy 内容拷贝
    // 指针拷贝 指针地址变化,内存地址不变
    // 内容拷贝 指针地址、内存地址 均变
    NSString * aString = @"a";
    NSString * bString = [aString copy]; // 指针拷贝
    NSString * cString = [aString mutableCopy];  // 内容拷贝
    NSString * dString = aString; // 指针拷贝
    NSLog(@"memoryTest6 不可变 非集合 aStr  指针地址 %p 内存地址 %p",&aString,aString);
    NSLog(@"memoryTest6 不可变 非集合 bStr  指针地址 %p 内存地址 %p",&bString,bString);
    NSLog(@"memoryTest6 不可变 非集合 cStr  指针地址 %p 内存地址 %p",&cString,cString);
    NSLog(@"memoryTest6 不可变 非集合 dStr  指针地址 %p 内存地址 %p",&dString,dString);
    
    // 可变 非集合对象 copy  mutablecopy 都是内容拷贝
    NSMutableString * amString = [[NSMutableString alloc] initWithString:@"a"];
    NSMutableString * bmString = [amString copy]; // 内容拷贝
    NSMutableString * cmString = [amString mutableCopy];  // 内容拷贝
    NSMutableString * dmString = amString; // 指针拷贝
    
    NSLog(@"memoryTest6 可变 非集合 aStr  指针地址 %p 内存地址 %p",&amString,amString);
    NSLog(@"memoryTest6 可变 非集合 bStr  指针地址 %p 内存地址 %p",&bmString,bmString);
    NSLog(@"memoryTest6 可变 非集合 cStr  指针地址 %p 内存地址 %p",&cmString,cmString);
    NSLog(@"memoryTest6 可变 非集合 dStr  指针地址 %p 内存地址 %p",&dmString,dmString);
    
    
    // 不可变 数组、字典、集合等集合类对象 copy 指针拷贝, mutablecopy 内容拷贝
    NSArray * aArray = @[@"1",@"2",@"3"];
    NSArray * bArray = [aArray copy]; // 指针拷贝
    NSArray * cArray = [aArray mutableCopy]; // 内容拷贝
    NSArray * dArray = aArray; // 指针拷贝
    
    NSLog(@"memoryTest6 不可变 集合 aArray 指针地址:%p 内存地址 %p",&aArray,aArray);
    NSLog(@"memoryTest6 不可变 集合 bArray 指针地址:%p 内存地址 %p",&bArray,bArray);
    NSLog(@"memoryTest6 不可变 集合 cArray 指针地址:%p 内存地址 %p",&cArray,cArray);
    NSLog(@"memoryTest6 不可变 集合 dArray 指针地址:%p 内存地址 %p",&dArray,dArray);
    
    NSMutableArray * amArray = [[NSMutableArray alloc] initWithArray:@[@"1",@"2",@"3"]];
    NSMutableArray * bmArray = [amArray copy]; // 内容拷贝
    NSMutableArray * cmArray = [amArray mutableCopy]; // 内容拷贝
    NSMutableArray * dmArray = amArray; // 指针拷贝
    
    NSLog(@"memoryTest6 可变 集合 aArray 指针地址:%p 内存地址 %p",&amArray,amArray);
    NSLog(@"memoryTest6 可变 集合 bArray 指针地址:%p 内存地址 %p",&bmArray,bmArray);
    NSLog(@"memoryTest6 可变 集合 cArray 指针地址:%p 内存地址 %p",&cmArray,cmArray);
    NSLog(@"memoryTest6 可变 集合 dArray 指针地址:%p 内存地址 %p",&dmArray,dmArray);
    
}
- (void)memoryTest7 {
    // 集合对象的内容复制仅仅是对对象本身,但是对象的里面的元素还是指针复制
    NSMutableArray * emArray = [[NSMutableArray alloc] initWithArray:@[@"aa",@"bb"]];
    NSMutableArray * fmArray = [emArray copy]; // 内容拷贝
    NSString *emfirstelement = [emArray objectAtIndex:0];
    NSString *fmfirstelement = [fmArray objectAtIndex:0];
    
    NSLog(@"memoryTest7 emArray 内存地址 %p 元素指针地址 %p 元素内存地址 %p",emArray,&emfirstelement,emfirstelement);
    NSLog(@"memoryTest7 fmArray 内存地址 %p 元素指针地址 %p 元素内存地址 %p",fmArray,&fmfirstelement,fmfirstelement);
    
    // 复制整个集合对象
    NSMutableArray *aArray = [[NSMutableArray alloc] initWithArray:@[@"aa",@"bb"]];
    NSMutableArray *bArray = [[NSMutableArray alloc] initWithArray:aArray copyItems:NO];
    NSMutableArray *eArray = [[NSMutableArray alloc] initWithArray:aArray copyItems:YES];
    
    NSString *aArrayElement = [aArray objectAtIndex:0];
    NSString *bArrayElement = [bArray objectAtIndex:0];
    NSString *eArrayElement = [eArray objectAtIndex:0];
    
    
    NSLog(@"memoryTest7 aArray 内存地址 %p 元素指针地址 %p 元素内存地址 %p",aArray,&aArrayElement,aArrayElement);
    NSLog(@"memoryTest7 bArray 内存地址 %p 元素指针地址 %p 元素内存地址 %p",bArray,&bArrayElement,bArrayElement);
    NSLog(@"memoryTest7 eArray 内存地址 %p 元素指针地址 %p 元素内存地址 %p",eArray,&eArrayElement,eArrayElement);
    
    NSArray * cArray = @[@"aa",@"bb"];
    NSArray * dArray = [NSKeyedUnarchiver unarchivedObjectOfClass:[NSArray class] fromData:[NSKeyedArchiver archivedDataWithRootObject:cArray requiringSecureCoding:NO error:nil] error:nil];
    
    NSString *cArrayElement = [cArray objectAtIndex:0];
    NSString *dArrayElement = [dArray objectAtIndex:0];
    
    NSLog(@"memoryTest7 cArray 内存地址 %p 元素指针地址 %p 元素内存地址 %p",cArray,&cArrayElement,cArrayElement);
    NSLog(@"memoryTest7 dArray 内存地址 %p 元素指针地址 %p 元素内存地址 %p",dArray,&dArrayElement,dArrayElement);
    
    
}

集合深复制
(1)使用 initWithArray:copyItems:方法,将第二个参数设置为 YES 即可
(2)将集合对象进行归档(archive)然后解归档(unarchive)

p是一个指针变量的名字,表示此指针变量指向的内存地址,如果使用%p来输出的话,它将是一个16进制数
*p表示此指针指向的内存地址中存放的内容,一般是一个和指针类型一致的变量或者常量
&是取地址运算符,&p就是取指针p的地址;

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

  • 不能使用 retain、release、retainCount、autorelease
  • 不可以使用 NSAllocateObject、NSDeallocateObject。
  • 必须遵守内存管理方法的命名规则。
  • 不需要显示的调用 Dealloc。
  • 使用 @autoreleasePool 来代替 NSAutoreleasePool。
  • 不可以使用区域 NSZone。
  • 对象性变量不可以作为 C 语言的结构体成员。
  • 显示转换 id 和 void*。

八、能不能简述一下 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):全局变量和静态变量的存储是放在一块的,初始化的 全局变量和静态 变量在一块区域, 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。 - 程序结束后 由系统释放。
文字常量区:常量字符串就是放在这里的。 程序结束后由系统释放。
程序代码区:存放函数体的二进制代码。

十、内存管理默认的关键字是什么?

MRC

@property (atomic, readwrite,retain) UIView *view;

ARC

@property (atomic, readwrite,strong) UIView *view;

如果改为基本数据类型,那就是 assign。

十一、内存管理方案

  • taggedPointer :存储小对象如 NSNumber。深入理解 Tagged Pointer
  • NONPOINTER_ISA(非指针型的 isa):在 64 位架构下,isa 指针是占 64 比特位的,实际上只有 30 多位就 已经够用了,为了提高利用率,剩余的比特位存储了内存管理的相关数据内容。
  • 散列表:复杂的数据结构,包括了引用计数表和弱引用表 通过 SideTables()结构来实现的,SideTables()结构下,有很多 SideTable 的数据结构。 而 sideTable 当中包含了自旋锁,引用计数表,弱引用表。 SideTables()实际上是一个哈希表,通过对象的地址来计算该对象的引用计数在哪个 sideTable 中。

自旋锁
自旋锁是“忙等”的锁。
适用于轻量访问。 引用计数表和弱引用表实际是一个哈希表,来提高查找效率

十二、内存布局

1. 分区
  • 栈(stack):方法调用,局部变量等,是连续的,高地址往低地址扩展
  • 堆(heap):通过 alloc 等分配的对象,是离散的,低地址往高地址扩展,需要我们手动控制
  • 未初始化数据(bss):未初始化的全局变量等
  • 已初始化数据(data):已初始化的全局变量等
  • 代码段(text):程序代码
2、64bit 和 32bit 下 long 和 char 所占字节是不同的
  • char:1 字节(ASCII 2 = 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 关键字
一是用于修饰存储类型使之成为静态存储类型,二是用于修饰链接属性使 之成为内部链接属性。

  • 1、静态存储类型: 在函数内定义的静态局部变量,该变量存在内存的静态区,所以即使该函数运行结束,静态变量的值不会 被销毁,函数下次运行时能仍用到这个值。
    在函数外定义的静态变量——静态全局变量,该变量的作用域只能在定义该变量的文件中,不能被其他文件通过 extern 引用。
  • 2、内部链接属性 静态函数只能在声明它的源文件中使用。
static int func(int a,int b) {
    int sum = a+b;
    printf("%d",sum);
    return sum;
}

const 关键字

  • 1、声明常变量,使得指定的变量不能被修改。
    const int a = 5; // a的值一直为5 不能改变
    const int *ptr1; // ptr1为指向整型常量的指针 ptr1的值可以修改,但不能修改其所指向的值
    int *const ptr2; // ptr2为指向整型常量的指针,ptr2的值不可以修改,但可以修改其所指向的值
    const int *const ptr3; // ptr3为指向整型常量的指针,ptr2的值及其所指向的值都不可以修改
  • 2、修饰函数形参,使得形参在函数内不能被修改,表示输入参数
int func1(const int a){
    return a;
}

char * func2(const char * a){
    return a;
}

  • 3、修饰函数返回值,使得函数的返回值不能被修改。
const int func3(int a){
    return a;
}

const char * func4(char *a){
    return a;
}

const char *getstr(void){
    return "a";
}

const int getint(void) {
    return 1;
}

sizeof 关键字

sizeof 是在编译阶段处理,且不能被编译为机器码。sizeof 的结果等于对象或类型所占的内存字节数。 sizeof 的返回值类型为 size_t。

  • 变量:int a; sizeof(a)为 4;
  • 指针:int *p; sizeof(p)为 4;
  • 数组:int b[10]; sizeof(b)为数组的大小,4*10;int c[0]; sizeof(c)等于 0
  • 结构体:struct (int a; char ch;)s1; sizeof(s1)为 8 与结构体字节对齐有关。
    对结构体求 sizeof 时,有两个原则
    (1) 展开后的结构体的第一个成员的偏移量应当是被展开的结构体中最大的成员的整数倍
    (2) 结构体大小必须是所有成员大小的整数倍 这里的所有成员计算的是展开后的成员,而不是将嵌套的结构体当作一个整体

注意:不能对结构体中的位域成员使用 sizeof
sizeof(void)等于 1
sizeof(void *)等于 4

- (void)memoryTest10 {
    struct Person p;
    p.age = 10;
    p.addr = "武汉";
    p.name = "Tome";

    NSLog(@"memoryTest10 sizeof %d",sizeof(p));
    
    NSObject *obj = [[NSObject alloc] init];
    // 获得NSObject实例对象的成员变量所占用的大小 >> 8
    NSLog(@"memoryTest10 class_getInstanceSize %zd", class_getInstanceSize([NSObject class]));
    
    // 获得obj指针所指向内存的大小 >> 16
    NSLog(@"memoryTest10 malloc_size %zd", malloc_size((__bridge const void *)obj));
    
}

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

实际上是三种方案的结合

  1. TaggedPointer(针对类似于 NSNumber 的小对象类型)
  2. NONPOINTER_ISA(64 位系统下)
  • 第一位的 0 或 1 代表是纯地址型 isa 指针,还是 NONPOINTER_ISA 指针。
  • 第二位,代表是否有关联对象
  • 第三位代表是否有 C++ 代码。
  • 接下来 33 位代表指向的内存地址
  • 接下来有 弱引用 的标记
  • 接下来有是否 delloc 的标记....等等
  1. 散列表(引用计数表、weak 表)
  • SideTables 表在 非嵌入式的 64 位系统中,有 64 张 SideTable 表
  • 每一张 SideTable 主要是由三部分组成。自旋锁、引用计数表、弱引用表。
  • 全局的 引用计数 之所以不存在同一张表中,是为了避免资源竞争,解决效率的问题。
  • 引用计数表 中引入了 分离锁的概念,将一张表分拆成多个部分,对他们分别加锁,可以实现并发操 作,提升执行效率

十四、讲一下 @dynamic 关键字?

@dynamic 意味着编译器不会帮助我们自动合成 setter 和 getter 方法。我们需要手动实现、这里就涉及 到 Runtime 的动态添加方法的知识点。

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

  • 简单说是双向链表,每张链表头尾相接,有 parent、child 指针
  • 每创建一个池子,会在首部创建一个 哨兵 对象,作为标记
  • 最外层池子的顶端会有一个 next 指针。当链表容量满了,就会在链表的顶端,并指向下一张表。

十六、访问 __weak 修饰的变量,是否已经被注册在了 @autoreleasePool 中?为什 么?

__weak 修饰的变量属于弱引用,如果没有被注册到 @autoreleasePool 中,创建之后也就 会随之销毁,为了延长它的生命周期,必须注册到 @autoreleasePool 中,以延缓释放。

十七、retain、release 的实现机制?

1.Retain 的实现机制

 SideTable& table = SideTable()[This];
 size_t& refcntStorage = table.refcnts[This];
 refcntStorage += SIZE_TABLE_RC_ONE;

2.Release 的实现机制

SideTable& table = SideTables()[This];
 size_t& refcentStorage = table.refcnts[This];
 refcntStorage -= SIZE_TABLE_RC_ONE;

二者的实现机制类似,概括讲就是通过第一层 hash 算法,找到 指针变量 所对应的 sideTable。然后再 通过一层 hash 算法,找到存储 引用计数 的 size_t,然后对其进行增减操作。retainCount 不是固定的 1,SIZE_TABLE_RC_ONE 是一个宏定义,实际上是一个值为 4 的偏移量

十八、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 {} 改写为:

 void * ctx = objc_autoreleasePoolPush;
   {}
 objc_autoreleasePoolPop(ctx);
  • 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 效率高。

你可能感兴趣的:(iOS 内存管理)