weak弱引用的相关内容在开发中常遇到，网上相关的文章也很多，本篇重点关注底层源码实现。
1.weak基本用法
weak是弱引用，用weak来修饰、描述所引用对象的计数器并不会增加，而且weak会在引用对象被释放的时候自动置为nil，这也就避免了野指针访问坏内存而引起奔溃的情况，另外weak也可以解决循环引用。
-
拓展：为什么修饰代理使用
weak而不是用assign？assign可用来修饰基本数据类型，也可修饰OC的对象，但如果用assign修饰对象类型指向的是一个强指针，当指向的这个指针释放之后，它仍指向这块内存，必须要手动给置为nil，否则会产生野指针，如果还通过此指针操作那块内存，会导致EXC_BAD_ACCESS错误，调用了已经被释放的内存空间；而weak只能用来修饰OC对象，而且相比assign比较安全，如果指向的对象消失了，那么它会自动置为nil，不会导致野指针。
2.weak实现原理的概括
Runtime维护了一个weak表，用于存储指向某个对象的所有weak指针。weak表其实是一个hash（哈希）表，Key是所指对象的地址，Value是weak指针的地址（这个地址的值是所指对象的地址）数组。
-
weak的实现原理可以概括一下三步：-
初始化时：
runtime会调用objc_initWeak函数，初始化一个新的weak指针指向对象的地址。 -
添加引用时：
objc_initWeak函数会调用objc_storeWeak()函数，objc_storeWeak()的作用是更新指针指向，创建对应的弱引用表。 -
释放时，调用
clearDeallocating函数。clearDeallocating函数首先根据对象地址获取所有weak指针地址的数组，然后遍历这个数组把其中的数据设为nil，最后把这个entry从weak表中删除，最后清理对象的记录。
-
3.底层入口探索
我们在开发过程中经常会这样来使用弱引用，使用一个临时变量obc1来存储创建出来的变量，见下面代码：
NSObject * objc1 = [[NSObject alloc] init];
id __weak objc2 = objc1;
一般情况下，我们不会直接用__weak来修饰一个刚创建出来的临时变量，因为__weak修饰这个变量，运行时一创建出来就会释放，而如果使用一个临时变量objc1话，创建出来后会放到自动释放池中，延缓这个变量的生命周期，变量的生命周期会跟着自动释放池自动保持，所以这样能够保证不会一创建出来就会释放。
那么运行这段代码底层做了什么呢？在第二行代码中加一个断点，并查看汇编流程，见下图：
运行代码，查看汇编流程，见下图：
通过上面汇编流程可以发现，弱引用的初始化过程中，底层调用了objc_initWeak。
4.初始化源码分析
通过上面的分析我们找到了入口，在入口中添加断点，通过lldb调试查看其数据。
-
objc_initWeak分析在
libobjc.dylib源码中成功定位到了初始化过程，同时objc_initWeak传入了两个参数，location即弱引用的地址（存储在栈中)，newObjc也就是创建的对象（存储在堆中）。见下图：首先会判断对象是否为空，如果为空直接返回
nil。如果不为空，则会调用stroeWeak方法进行存储。location是弱引用的地址；newObjc是一个对象，在底层对象的实现就是objc_object。总结：
object必须是一个没有被注册为__weak对象的有效指针。 -
数据结构分析
在进行方法分析之前，我们需要先摸清楚数据存储结构。系统维护了一个
SideTables，那么SideTable散列表为什么有多张？一张表不安全，太多了性能不好。真机下8张表，其他环境下64张，散列表也是一张hash表。而SideTables是一个hash表，综合了链表和数组的特点。拉链法，同一个hash可以放在同一个表中。-
SideTable
struct SideTable { // 自旋锁 spinlock_t slock; // 引用计数 RefcountMap refcnts; // 对象的弱引用表 weak_table_t weak_table; }SideTable是个结构体，其属性包括：自旋锁、引用计数表和弱引用依赖表。 -
弱引用表
weak_tablestruct weak_table_t { // 保存了所有指向指定对象的 weak 指针 weak_entry_t *weak_entries; // 存储空间 size_t num_entries; // hash算法辅助值 uintptr_t mask; // 最大偏移量 uintptr_t max_hash_displacement; }weak表是一个弱引用表，实现为一个weak_table_t结构体，存储了某个对象相关的所有的弱引用信息，这是一个hash表。使用不定类型对象的地址作为key，用weak_entry_t类型结构体对象作为value。其中的weak_entries成员，即为弱引用表入口。 -
weak_entry_t
struct weak_entry_t { DisguisedPtr<objc_object> referent; union { struct { weak_referrer_t *referrers; uintptr_t out_of_line_ness : 2; uintptr_t num_refs : PTR_MINUS_2; uintptr_t mask; uintptr_t max_hash_displacement; }; struct { // out_of_line_ness field is low bits of inline_referrers[1] weak_referrer_t inline_referrers[WEAK_INLINE_COUNT]; }; } }弱引用实体，有两个属性，一个对象，另一个属性是一个联合体，其中包含弱引用的数组。
-
-
objc_storeWeak分析该方法整体上可以分为三个功能，见下图：
对当前引用的数据处理判断，判断该引用是否存在旧值以及是否指向了新值；如果引用当前有指向的值，即存在旧值，则需要将旧值清除；同时如果引用指向了新的对象，即存在新值，则需要进行对应对象弱引用的初始化工作。
我们从弱引用指向一个新值开始探索，整理其核心代码如下：
// 根据对象获取其对应的散列表 SideTables *newTable = &SideTables()[newObj]; // 从散列表中获取弱引用表，并传入 newObj = (objc_object *)weak_register_no_lock(&newTable->weak_table, (id)newObj, location, crashIfDeallocating ? CrashIfDeallocating : ReturnNilIfDeallocating);进入
weak_register_no_lock流程。见下图：方法所传入的前三个参数分别为：弱引用表、对象、弱引用。该方法会判断对象是否析构，如果有就不会处理，直接返回。如果没有，则会通过
weak_entry_for_referent方法获取对象对应的weak_entry_t见下图：通过
hash函数获取其表中的下标，通过循环弱引用表，找对应的下标，获取对应的weak_entry_t。获取weak_entry_t后，去存储新的弱引用对象，回到方法weak_register_no_lock，在调用weak_entry_for_referent之后，会通过append_referrer(entry, referrer);方法进行弱引用的存储。见下图： -
总结：
提供维护了一个
SideTables，其中多张散列表SideTable，每一张SideTable表中有自旋锁、引用计数表、弱引用表weak_table_t。弱引用表中存储一些实体weak_entry_t，实体中包括了对象和弱引用数组。 -
弱引用存在旧值
上面分析了弱引用指向一个新值的处理流程，那如果弱引用存在有指向的旧值，怎么处理呢？也即是
storeWeak方法的下面这段代码：if (haveOld) { weak_unregister_no_lock(&oldTable->weak_table, oldObj, location); }进入
weak_unregister_no_lock方法，见下图：在此过程中，会获取弱应用对象对应的实体
weak_entry，并调用remove_referrer方法，从实体中移除对应的弱引用。见下图：此过程会从对象的引用列表移除该的引用，并将弱引用个数减
1。
5.弱引用清除流程
当一个对象调用dealloc方法时，其弱引用处理流程见下面代码：
- (void)dealloc {
_objc_rootDealloc(self);
}
void _objc_rootDealloc(id obj)
{
ASSERT(obj);
obj->rootDealloc();
}
inline void objc_object::rootDealloc()
{
if (isTaggedPointer()) return; // fixme necessary?
if (fastpath(isa.nonpointer &&
!isa.weakly_referenced &&
!isa.has_assoc &&
#if ISA_HAS_CXX_DTOR_BIT
!isa.has_cxx_dtor &&
#else
!isa.getClass(false)->hasCxxDtor() &&
#endif
!isa.has_sidetable_rc))
{
assert(!sidetable_present());
free(this);
}
else {
object_dispose((id)this);
}
}
id object_dispose(id obj)
{
if (!obj) return nil;
objc_destructInstance(obj);
free(obj);
return nil;
}
void *objc_destructInstance(id obj)
{
if (obj) {
// Read all of the flags at once for performance.
bool cxx = obj->hasCxxDtor();
bool assoc = obj->hasAssociatedObjects();
// This order is important.
if (cxx) object_cxxDestruct(obj);
if (assoc) _object_remove_assocations(obj, /*deallocating*/true);
obj->clearDeallocating();
}
return obj;
}
inline void objc_object::clearDeallocating()
{
if (slowpath(!isa.nonpointer)) {
// Slow path for raw pointer isa.
sidetable_clearDeallocating();
}
else if (slowpath(isa.weakly_referenced || isa.has_sidetable_rc)) {
// Slow path for non-pointer isa with weak refs and/or side table data.
clearDeallocating_slow();
}
assert(!sidetable_present());
}
最终会调用clearDeallocating方法对弱引用进行处理。针对有弱引用的对象，会调用clearDeallocating_slow();方法，最终的弱引用清除的处理流程在weak_clear_no_lock中。见下图：
在此过程中，首先在弱引用表中获取对象对应的实体，开启循环，将数组中的弱引用全部设为nil，最后将实体从弱引用表中移除。
-
附弱引用存储的数据结构
