内存管理之weak指针实现原理

property属性可以设置为strong、weak、unsafe_unretained，转化为修饰成员变量就是__strong、__weak、__unsafe_unretained，下面通过代码看一下他们的区别。

NSLog(@"局部作用域开始");
 {
   Person *person = [[Person alloc] init];
   NSLog(@"person对象%@", person);
}
NSLog(@"局部作用域结束");

*******************运行结果**********************

OCTest[53157:13009869] 局部作用域开始
OCTest[53157:13009869] person对象<Person: 0x600001e50600>
OCTest[53157:13009869] -[Person dealloc]
OCTest[53157:13009869] 局部作用域结束

这说明局部变量person处了作用域就结束之后，就释放了。

    __strong Person *person1;
NSLog(@"局部作用域开始"); 
{
      Person *person = [[Person alloc] init];
      NSLog(@"person对象%@", person);
      person1 = person;
}
NSLog(@"局部作用域结束");
NSLog(@"strongPerson:%@", person1);

*******************运行结果**********************
OCTest[54823:13020229] 局部作用域开始
OCTest[54823:13020229] person对象<Person: 0x600001308530>
OCTest[54823:13020229] 局部作用域结束
OCTest[54823:13020229] strongPerson:<Person: 0x600001308530>
OCTest[54823:13020229] -[Person dealloc]

当person被作用域外的__strong指针指向时，可以看到临时作用域结束之后，person对象并没有被销毁，说明__strong指针增加了person的引用计数。

__weak Person *person2;
NSLog(@"局部作用域开始");
{        
    Person *person = [[Person alloc] init];
    NSLog(@"person对象%@", person);
    person2 = person;
}
NSLog(@"局部作用域结束");    
NSLog(@"weakPerson:%@", person2);

*******************运行结果**********************
OCTest[55744:13025923] 局部作用域开始
OCTest[55744:13025923] person对象<Person: 0x600002d505f0>
OCTest[55744:13025923] -[Person dealloc]
OCTest[55744:13025923] 局部作用域结束
OCTest[55744:13025923] weakPerson:(null)

这说明当person被作用域外的__weak指针指向时，可以看到临时作用域结束之后，person和第一种情况一样，直接释放了，说明__weak指针没有增加person的引用计数，并且，person释放时候，__weak指针被置为nil，防止了野指针错误。

    NSLog(@"局部作用域开始");
    {
        Person *person = [[Person alloc] init];
        NSLog(@"person对象%@", person);
        person3 = person;
    }
    NSLog(@"局部作用域结束");
    NSLog(@"unsafe_unretainedPerson:%@", person3);

image.png

说明当person被作用域外的__unsafe_unretained指针指向时，可以看到临时作用域结束之后，person和第一种情况一样，直接释放了，说明__unsafe_unretained指针也没有增加person的引用计数，但是最后却出现了EXC_BAD_ACCESS报错，说明是野指针问题。

从这里可以看出【__weak和__unsafe_unretained的区别就是__weak会在对象被释放的时候自动置为nil，__unsafe_unretained不会，会造成野指针问题。】

那么当一个对象要释放时，被weak修饰的指针是如何置空的呢？
◆当一个对象要释放时，会自动调用dealloc，接下的调用轨迹是
◇ dealloc
◇ _objc_rootDealloc
◇rootDealloc
◇object_dispose
◇objc_destructInstance、free

image.png

weak的实现原理总结如下

• 当一个对象obj被weak指针指向时，这个weak指针会以obj作为key，被存储到sideTable类的weak_table这个散列表上对应的一个weak指针数组里面。
  当一个对象obj的dealloc方法被调用时，Runtime会以obj为key，从sideTable的weak_table散列表中，找出对应的weak指针列表，然后将里面的weak指针逐个置为nil。