3-weak原理

提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档


前言

weak是一种防止循环引用,也能在对象回收时自动置为nil的引用,下面从源码角度来分析weak的实现原理。

一、SideTable介绍

SideTable是用于存储扩展的引用计数和弱引用集合的结构体,SideTable的结构体:
在这里插入图片描述

  • slock 自旋锁,用于上锁/解锁 SideTable。
  • refcnts 参考第三节
  • weak_table 存储对象弱引用指针的hash表。

1.1 weak_table_t(objc_weak.h)

weak_table_t结构体如图
在这里插入图片描述

  • weak_entries: hash数组,用来存储弱引用对象的相关信息weak_entry_t
  • num_entries: hash数组中的元素个数
  • mask:hash数组长度-1,会参与hash计算。(注意,这里是hash数组的长度,而不是元素个数。比如,数组长度可能是64,而元素个数仅存了2个)
  • max_hash_displacement:可能会发生的hash冲突的最大次数,方便hashtable扩展。

1.2 weak_entry_t(objc_weak.h)

weak_entry_t也是一个hash结构,占位16 * 4,key是对象地址,value是弱引用指针集合。通过操作指针的指针,就可以使得weak 引用的指针在对象析构后,指向nil。weak_entry_t结构体如图所示。
在这里插入图片描述
从图中可以看出weak_entry_t是个共用体,占用4个字节。在联合体的内部有定长数组inline_referrers[4]和动态数组*referrers两种方式来存储弱引用对象的指针地址。通过out_of_line()这样一个函数方法来判断采用哪种存储方式。当弱引用该对象的指针数目小于等于4时,使用定长数组。当超过4时,会将定长数组中的元素转移到动态数组中,并之后都是用动态数组存储。

二、weak引用本质

weak初始化方法调用objc_initWeak(NSObjct.mm),代码如下:
在这里插入图片描述

  • location是_weak指针的指针,后续方便置为nil。
  • newObj是对象的指针。
    weak引用destroy调用objc_destroyWeak,代码如下:
    在这里插入图片描述
  • location是_weak指针的指针,后续方便置为nil。

2.1 weak指针的入口storeWeak

这里删除多线程操作和初始化检查代码,简化后代码如下:
在这里插入图片描述
storeWeak接收的5个参数:

参数名备注
haveOldweak指针之前是否指向了一个弱引用
haveNewweak指针是否需要指向一个新的引用
crashIfDeallocating如果被弱引用的对象正在析构,此时再弱引用该对象是否应该crash。
locationweak指针的指针
newObj对象的指针

由上图可以看出:

  • 如果weak指针之前指向了一个弱引用,则会调用weak_unregister_no_lock 方法将旧的weak指针地址移除。
  • 如果weak指针需要指向一个新的引用,则会调用weak_register_no_lock 方法将新的weak指针地址添加到弱引用表中。
  • 使用setWeaklyReferenced_nolock将isa中weakly_referenced位置1,表示对象由weak引用。

三、weak引用创建(objc-weak.mm)

weak引用的创建入口是weak_register_no_lock,这里去除了判nil和一些异常判断的代码,具体代码如下:
在这里插入图片描述
weak_register_no_lock接收的4个参数:

参数名备注
*weak_tableweak_table_t 结构类型的全局的弱引用表。
referent_id对象指针
*referrer_idweak指针的指针
crashIfDeallocating如果被弱引用的对象正在析构,此时再弱引用该对象是否应该crash。

由上图可以看出:

  • 用对象指针得到weak_entry,有的话将weak指针的指针直接存入,没有的话创建weak_entry,再插入weak指针的指针。

3.1 插入weak_entry(append_referrer)

对append_referrer方法注解如下:
在这里插入图片描述

四、weak引用移除(objc-weak.mm)

weak引用的移除入口是weak_unregister_no_lock,具体代码如下:
在这里插入图片描述
weak_unregister_no_lock接收的3个参数:

参数名备注
*weak_tableweak_table_t 结构类型的全局的弱引用表。
referent_id对象指针
*referrer_idweak指针的指针

4.1 删除weak(remove_referrer)

对remove_referrer方法代码注解如下:
在这里插入图片描述

五、dealloc对weak的清除

dealloc的前序调用参考2节。dealloc对weak的清除入口clearDeallocating方法(objc-object.h)如下:
在这里插入图片描述
对clearDeallocating_slow的方法(NSObject.mm)调用如下:
在这里插入图片描述
由上图可知真正删除weak引用是调用weak_clear_no_lock这个方法,代码注解如下:
在这里插入图片描述

  • 54
    点赞
  • 47
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
好的,以下是C++中三种智能指针的实现原理和区别。 首先,我们需要明确一下什么是智能指针。智能指针是一种C++中的类,它的行为类似于指针,但是它具有一些额外的功能,比如自动内存管理。智能指针能够自动释放所管理的对象,从而避免内存泄漏和野指针的问题。 下面我们分别介绍shared_ptr、unique_ptr、weak_ptr三种智能指针的实现原理和区别。 ## shared_ptr shared_ptr是一种引用计数智能指针,它的实现原理是通过使用引用计数来跟踪有多少个shared_ptr对象指向同一个对象。每当一个新的shared_ptr对象指向该对象时,引用计数就会增加1,当一个shared_ptr对象被销毁时,引用计数就会减少1。当引用计数变为0时,就表示没有任何shared_ptr对象指向该对象,此时该对象将被自动销毁。 shared_ptr的优点是可以共享资源,缺点是有可能出现循环引用的问题,导致内存泄漏。为了避免这个问题,C++11中引入了weak_ptr。 ## unique_ptr unique_ptr是一种独占式智能指针,它的实现原理是通过禁止拷贝和赋值来保证同一时间只有一个unique_ptr对象指向一个对象。当一个unique_ptr对象被销毁时,它所管理的对象也将会被销毁。为了更好地支持移动语义,C++11中引入了move语义,使得unique_ptr对象可以被移动而不是被复制。 unique_ptr的优点是可移植性好,可以避免循环引用的问题,缺点是不能共享资源。 ## weak_ptr weak_ptr是一种弱引用智能指针,它的实现原理是与shared_ptr配合使用。weak_ptr不会增加引用计数,它只是提供了对所指向对象的一个非拥有性的访问。当所指向的对象被销毁后,weak_ptr将自动失效。 weak_ptr的优点是可以避免循环引用的问题,缺点是不能访问所指向对象的成员变量和成员函数。如果需要访问所指向对象的成员变量和成员函数,需要将weak_ptr转换为shared_ptr。 下面是一个示例代码,展示了shared_ptr、unique_ptr、weak_ptr的使用方式: ```c++ #include <iostream> #include <memory> class A { public: A() { std::cout << "A()" << std::endl; } ~A() { std::cout << "~A()" << std::endl; } void foo() { std::cout << "foo()" << std::endl; } }; int main() { // shared_ptr std::shared_ptr<A> p1(new A()); std::shared_ptr<A> p2(p1); std::cout << "p1.use_count() = " << p1.use_count() << std::endl; std::cout << "p2.use_count() = " << p2.use_count() << std::endl; // unique_ptr std::unique_ptr<A> p3(new A()); // std::unique_ptr<A> p4(p3); // error: copy constructor is deleted std::unique_ptr<A> p5(std::move(p3)); if (p3 == nullptr) { std::cout << "p3 is nullptr" << std::endl; } // weak_ptr std::shared_ptr<A> p6(new A()); std::weak_ptr<A> p7(p6); std::cout << "p7.use_count() = " << p7.use_count() << std::endl; if (auto p8 = p7.lock()) { p8->foo(); } else { std::cout << "p7 is expired" << std::endl; } return 0; } ```

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值