• swift指针&内存管理-引用

    引用探究

    首先看一个例子

    在这里插入图片描述

    那么这个 0x0000000000000003 是什么意思呢

    回到swift源码

    找到关键核心类型

    在这里插入图片描述

    HeapObject 就是 swift 分配内存获取到的结构类型

    在这里插入图片描述

    HeapObject 第一个8字节为 metadata, 接下来是宏

    在这里插入图片描述

    在这里插入图片描述

    InlineRefCounts 其实 就是泛型真正类型 InlineRefCountBits

    在这里插入图片描述

    在这里插入图片描述

    在这里插入图片描述

    至此，通过源码，最终找到了 uint64 64位的位信息, 这64位位信息里，存储了当前运行声明周期相关的引用计数

    alloc - 引用计数

    当swift 创建一个object，引用计数究竟是多少呢

    继续回到源码，探索底层原理本身就是枯燥乏味的

    在这里插入图片描述

    在这里插入图片描述

    在这里插入图片描述

    在这里插入图片描述

    此时，就与上面开始探究的 类型 RefCountBits 关联上了

    在这里插入图片描述

    根据 RefCountBits(0, 1) 找到 相对应的RefCountBits 构造函数

    strongExtracount :: 0

    unownedCount:: 1

    这几个左移就比较有意思了，出现了 宏拼接参数，需要有点耐心

    在这里插入图片描述

    在这里插入图片描述

    整理一下 StrongExtraRefCountShift = shiftAfterField(IsDeiniting)

    define shiftAfterField(name) (name##Shift + name##BitCount)

    StrongExtraRefCountShift = IsDeinitingShift + IsDeinitingBitCount

    PureSwiftDeallocShift = 0

    UnownedRefCountShift = shiftAfterField(PureSwiftDealloc)

    UnownedRefCountShift = PureSwiftDeallocShift + PureSwiftDeallocBitCount

    UnownedRefCountShift = 1

    const size_t IsDeinitingShift = shiftAfterField(UnownedRefCount)

    IsDeinitingShift = UnownedRefCountShift + UnownedRefCountBitcount

    UnownedRefCountBitCount = 31

    IsDeinitingShift = 1 + 31 = 32

    IsDeinitingBitCount = 1

    StrongExtraRefCountShift = 32 + 1 = 33

    最终

    StrongExtraRefCountShift = 33

    PureSwiftDeallocShift = 0

    UnownedRefCountShift = 1

    0 << 33 = 0 强引用计数

    1 << 0 = 1

    1 << 1 = 2 无主引用计数

    这样 bit 64位就是 0x0000000000000003, 与开始我们打印的obj1实例内存第二个 8字节存储的内容是一致的

    增加实例引用

    在这里插入图片描述

    在obj1开辟内存创建之后，增加了 obj2 obj3 两个对象对 obj1的引用之后

    obj1实例指针 指向的内存空间 第二个8字节中的 高32位 存储了 4

    此时就是 两个强引用计数 2 << 33. 就是高32位的4

    如果 只增加一个 引用 去掉obj3 的引用，结果就是 1 << 33. 高32位存储 2

    在这里插入图片描述

    此时， 把obj1变成可选类型，obj1 赋值为nil的时候，实例指针指向的内存空间引用计数的变化如何

    在这里插入图片描述

    强引用计数 0<< 33 = 0, 高32位显示为0

    低位 无主引用为 1<<1 = 2. 加上 1<<0 = 1, 低32位显示为3

    此时 obj1 = nil

    在这里插入图片描述

    32位的1标识此时，obj1正在释放

    在这里插入图片描述

    源码中查看 强引用计数逻辑

    在这里插入图片描述

    在这里插入图片描述

    在这里插入图片描述
    在这里插入图片描述

    也就是每增加一次引用， 就在原有计数的基础上 加上 (1<<33)

    循环引用

    跟OC一样，强引用必然可能造成循环引用的问题

    swift 中采用两种方式解决循环引用的问题，弱引用 与 无主引用

    由于弱引用不会强持有对实例的引用，所以说实例被释放了，弱引用仍旧引用着这个实例也是有可能的。因此，ARC会在被引用的实例被释放时，自动设置弱引用为nil

    由于弱引用需要允许它们的值为nil，所以一定是可选类型

    在这里插入图片描述

    查看下汇编

    在这里插入图片描述

    继续查看源码

    在这里插入图片描述

    weak 修饰的变量，相当于一个 WeakReference 对象

    在这里插入图片描述
    在这里插入图片描述

    其实就是创建了一个sidetable， 本质上与OC ios-弱引用是差不多的

    在这里插入图片描述

    在这里插入图片描述

    在这里插入图片描述

    HeapObjectSideTableEntry 结构

    在这里插入图片描述

    swift中弱引用逻辑

    如果当前是强引用，就采用 strong RC + unowned RC + flags， 也就是 强引用 + 无主引用 + flags

    如果是弱引用，就是 HeapObjectSideTableEntry结构

    而 HeapObjectSideTableEntry 就是 strong RC + unowned RC + weak RC + flags

    也就是原64位 强引用信息 + 32位弱引用信息

    在这里插入图片描述

    在这里插入图片描述

    在这里插入图片描述

    SideTableRefCounts 与 InlineRefCounts 都是相同的模板

    在这里插入图片描述

    弱引用之后，存储变化

    在这里插入图片描述

    0xC00000002040C84E 读取

    在这里插入图片描述

    62位 63位 为1

    回看前面的逻辑

    在这里插入图片描述

    散列表的存储 >> 3 , 右移了3位

    62 63 变0，恢复结果

    在这里插入图片描述
    然后再左移3位

    在这里插入图片描述

    最终读取还原后的 散列表地址 0x102064270

    在这里插入图片描述

  • 相关阅读:
    如此狂妄，自称高性能队列的Disruptor有啥来头？
    mongoDB数据库
    Android开发——ListView
    PyCharm使用教程（较详细，图+文）
    CSDN21天学习挑战赛之折半插入排序
    dos2unix和unix2dos
    Content-Security-Policy（CSP）的内容构成。
    传输层（UDP协议，TCP协议三次握手、四次挥手）
    花5分钟学习机器学习基础知识
    什么是正向代理和反向代理
  • 原文地址：https://blog.csdn.net/qq_42431419/article/details/128010136