《Objective-C 高级编程》 1.2.3节 alloc/retain/release/dealloc 实现——学习总结

Posted hellogreen

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了《Objective-C 高级编程》 1.2.3节 alloc/retain/release/dealloc 实现——学习总结相关的知识,希望对你有一定的参考价值。

更新记录

时间 版本修改
2020年4月23日 初版

前言

  • 本人在阅读《Objective-C 高级编程》 1.2.3节 alloc/retain/release/dealloc实现这个章节时,有一个细节一只没搞懂
  • 这个问题阻塞了我的阅读进度,直至后续和一位好友交流时才彻底搞懂了这个问题(虽然本质确实是个很简单的问题)。

我的疑惑

  • 按照我们之前泛读该书的得到常用结论,大致如下
    • ARC模式下,NSObejct使用引用计数的方式自动管理内存
    • 其原理大致如“N个人进入办公室,开灯,N个人离开办公室,关灯”这个鲜明的例子
    • 所以,生成一个NSObject对象,其引用计数应该是1。
  • 我的问题
    • 但是当我看到下面release的实现代码时,感觉到非常的困惑
    - (void)release {
        if (NSDecrementExtraRefCountWasZero(self)) {
            [self dealloc];
        }
    }
    
    //这是一个C语言的函数
    BOOL NSDecrementExtraRefCountWasZero(id anObject) {
        if (((struct obj_layout *)anObject)[-1].retained == 0) {
            return YES;
        } else {
            ((struct obj_layout *)anObject)[-1].retained--;
            return NO;
        }
    }
    
    • 为1的时候应该就要释放才对了呀,为什么引用计数为1的时候,还要执行减1操作,变成0呢?

指点迷津

  • 之所以有这样的困惑,是因为犯了一个先入为主的错误:
    • 真实的引用计数一定是从1计数的吗?0是代表什么呢?
  • 看到作者给出的retainCount函数:
    - (NSUInteger)retainCount {
        return NSExtraRefCount(self) + 1;
    }
    
    //C语言函数
    inline NSUInteger NSExtraRefCount(id anObject) {
        return ((struct obj_layout *)anObject)[-1].retained;
    }
    
  • 也就是说,结构体的成员变量retained是从0开始计数的。
    • 初始化对象的时候,初始化为0,就已经表示这个对象目前被持有一次了。
    • 如果再被持有一次,会+1,变成1
    • 如果这个时候释放,见上述的NSDecrementExtraRefCountWasZero函数,因为等于0,所以调用dealloc销毁了该对象。
    • retainCount函数返回值,手动加上了1,契合了人类本身的思考方式。(所以千万不要像我一样被误导了)
  • 注意
    • 这里是作者剖析 GNUstep 源代码得来的,自动引用计数的实现方式,和苹果,以及由于时光匆匆,实现机制不一定完全一样。但是基本思想是不变的,都是在NSObject基类中记录引用计数。

后记

  • 搞清楚每一个细节,才能一点一点堆砌基础,乃至堆起整个知识体系。

以上是关于《Objective-C 高级编程》 1.2.3节 alloc/retain/release/dealloc 实现——学习总结的主要内容,如果未能解决你的问题,请参考以下文章

objective-c高级编程 笔记

有书共读98:《Objective-C高级编程》

Objective-C高级编程 要点记录

《Objective-C高级编程 iOS与OS X多线程和内存管理》读书笔记

《Objective-C高级编程 iOS与OS X多线程和内存管理》读书笔记

Objective-C高级编程:iOS与OS X多线程和内存管理