weak是弱引用，所引用對象的計數(shù)器不會加一，并在引用對象被釋放的時候自動被設置為nil。那么weak的原理是什么呢？weak表其實是一個hash（哈希）表 (字典也是hash表)，Key是所指對象的地址，Value是weak指針的地址集合。通常用于解決循環(huán)引用問題。下面就分析一下weak的工作原理。
weak 實現(xiàn)原理的概括
Runtime維護了一個weak表，用于存儲指向某個對象的所有weak指針。weak表其實是一個hash（哈希）表，Key是所指對象的地址，Value是weak指針的地址（這個地址的值是所指對象指針的地址，就是地址的地址）集合(當weak指針的數(shù)量小于等于4時,是數(shù)組, 超過時,會變成hash表)。
weak 的實現(xiàn)原理可以概括以下三步：
1、初始化時：runtime會調用objc_initWeak函數(shù)，初始化一個新的weak指針指向對象的地址。
2、添加引用時：objc_initWeak函數(shù)會調用 objc_storeWeak() 函數(shù)， objc_storeWeak() 的作用是更新指針指向，創(chuàng)建對應的弱引用表。
3、釋放時，調用clearDeallocating函數(shù)。clearDeallocating函數(shù)首先根據(jù)對象地址獲取所有weak指針地址的數(shù)組，然后遍歷這個數(shù)組把其中的數(shù)據(jù)設為nil，最后把這個entry從weak表中刪除，清理對象的記錄。
下面將開始詳細介紹每一步：
1、初始化時：runtime會調用objc_initWeak函數(shù)，objc_initWeak函數(shù)會初始化一個新的weak指針指向對象的地址。
示例代碼：
{
NSObject *obj = [[NSObject alloc] init];
id __weak obj1 = obj;
}
當我們初始化一個weak變量時，runtime會調用 NSObject.mm 中的objc_initWeak函數(shù)。這個函數(shù)在Clang中的聲明如下：
id objc_initWeak(id *object/*weak指針obj1*/, id value/*原始對象obj*/);
而對于 objc_initWeak() 方法的實現(xiàn)
// location指針obj1 , newObj原始對象obj
id objc_initWeak(id *location, id newObj) {
// 查看原始對象實例是否有效
// 無效對象直接導致指針釋放
if (!newObj) {
*location = nil;
return nil;
}
// 這里傳遞了三個 bool 數(shù)值
// 使用 template 進行常量參數(shù)傳遞是為了優(yōu)化性能
return storeWeak<false/*old*/, true/*new*/, true/*crash*/>
(location, (objc_object*)newObj);
}
可以看出，這個函數(shù)僅僅是一個深層函數(shù)的調用入口，而一般的入口函數(shù)中，都會做一些簡單的判斷（例如 objc_msgSend 中的緩存判斷），這里判斷了其指針指向的類對象是否有效，無效直接釋放，不再往深層調用函數(shù)。否則，object將被注冊為一個指向value的__weak對象。而這事應該是objc_storeWeak函數(shù)干的。
注意：objc_initWeak函數(shù)有一個前提條件：就是object必須是一個沒有被注冊為__weak對象的有效指針。而value則可以是null，或者指向一個有效的對象。**
2、添加引用時：objc_initWeak函數(shù)會調用 objc_storeWeak() 函數(shù)， objc_storeWeak() 的作用是更新指針指向，創(chuàng)建對應的弱引用表。
objc_storeWeak的函數(shù)聲明如下：
objc_storeWeak函數(shù)把第二個參數(shù)--賦值對象（value）的內存地址作為鍵值key，
將第一個參數(shù) __weak修飾的屬性變量（location）的內存地址（&location）作為value，注冊到 weak 表中。
id objc_storeWeak(id *location, id value);
objc_storeWeak() 的具體實現(xiàn)如下：
// HaveOld: true - 變量有值
// false - 需要被及時清理，當前值可能為 nil
// HaveNew: true - 需要被分配的新值，當前值可能為 nil
// false - 不需要分配新值
// CrashIfDeallocating: true - 說明 newObj 已經釋放或者 newObj 不支持弱引用，該過程需要暫停// false - 用 nil 替代存儲
template bool HaveOld, bool HaveNew, bool CrashIfDeallocating>
static id storeWeak(id *location, objc_object *newObj) {
// 該過程用來更新弱引用指針的指向
// 初始化 previouslyInitializedClass 指針
Class previouslyInitializedClass = nil;
id oldObj;
// 聲明兩個 SideTable
// ① 新舊散列創(chuàng)建
SideTable *oldTable;
SideTable *newTable;
// 獲得新值和舊值的鎖存位置（用地址作為唯一標示）
// 通過地址來建立索引標志，防止桶重復
// 下面指向的操作會改變舊值
retry:
if (HaveOld) {
// 更改指針，獲得以 oldObj 為索引所存儲的值地址
oldObj = *location;
oldTable = &SideTables()[oldObj];
} else {
oldTable = nil;
}
if (HaveNew) {
// 更改新值指針，獲得以 newObj 為索引所存儲的值地址
newTable = &SideTables()[newObj];
} else {
newTable = nil;
}
// 加鎖操作，防止多線程中競爭沖突
SideTable::lockTwoHaveOld, HaveNew>(oldTable, newTable);
// 避免線程沖突重處理
// location 應該與 oldObj 保持一致，如果不同，說明當前的 location 已經處理過 oldObj 可是又被其他線程所修改
if (HaveOld && *location != oldObj) {
SideTable::unlockTwoHaveOld, HaveNew>(oldTable, newTable);
goto retry;
}
// 防止弱引用間死鎖
// 并且通過 +initialize 初始化構造器保證所有弱引用的 isa 非空指向
if (HaveNew && newObj) {
// 獲得新對象的 isa 指針
Class cls = newObj->getIsa();
// 判斷 isa 非空且已經初始化
if (cls != previouslyInitializedClass &&
!((objc_class *)cls)->isInitialized()) {
// 解鎖
SideTable::unlockTwoHaveOld, HaveNew>(oldTable, newTable);
// 對其 isa 指針進行初始化
_class_initialize(_class_getNonMetaClass(cls, (id)newObj));
// 如果該類已經完成執(zhí)行 +initialize 方法是最理想情況
// 如果該類 +initialize 在線程中
// 例如 +initialize 正在調用 storeWeak 方法
// 需要手動對其增加保護策略，并設置 previouslyInitializedClass 指針進行標記
previouslyInitializedClass = cls;
// 重新嘗試
goto retry;
}
}
// ② 清除舊值
if (HaveOld) {
weak_unregister_no_lock(&oldTable->weak_table, oldObj, location);
}
// ③ 分配新值
if (HaveNew) {
newObj = (objc_object *)weak_register_no_lock(&newTable->weak_table,
(id)newObj, location,
CrashIfDeallocating);
// 如果弱引用被釋放 weak_register_no_lock 方法返回 nil
// 在引用計數(shù)表中設置若引用標記位
if (newObj && !newObj->isTaggedPointer()) {
// 弱引用位初始化操作
// 引用計數(shù)那張散列表的weak引用對象的引用計數(shù)中標識為weak引用
newObj->setWeaklyReferenced_nolock();
}
// 之前不要設置 location 對象，這里需要更改指針指向
*location = (id)newObj;
}
else {
// 沒有新值，則無需更改
}
SideTable::unlockTwoHaveOld, HaveNew>(oldTable, newTable);
return (id)newObj;}
撇開源碼中各種鎖操作，來看看這段代碼都做了些什么。
1)、SideTable
SideTable 這個結構體，我給他起名引用計數(shù)和弱引用依賴表，因為它主要用于管理對象的引用計數(shù)和 weak 表。在 NSObject.mm 中聲明其數(shù)據(jù)結構：
struct SideTable {
// 保證原子操作的自旋鎖 spinlock_t slock;
// 引用計數(shù)的 hash 表 RefcountMap refcnts;
// weak 引用全局 hash 表
weak_table_t weak_table;
}
對于 slock 和 refcnts 兩個成員不用多說，第一個是為了防止競爭選擇的自旋鎖，第二個是協(xié)助對象的 isa 指針的 extra_rc 共同引用計數(shù)的變量（對于對象結果，在今后的文中提到）。這里主要看 weak 全局 hash 表的結構與作用。
2)、weak表
weak表是一個弱引用表，實現(xiàn)為一個weak_table_t結構體，存儲了某個對象相關的的所有的弱引用信息。其定義如下(具體定義在objc-weak.h中), 注意看系統(tǒng)的注釋：
/**
全局的弱引用表, 保存object作為key, weak_entry_t作為value
* The global weak references table. Stores object ids as keys,
* and weak_entry_t structs as their values.
*/
struct weak_table_t {
// 保存了所有指向特地對象的 weak指針集合
weak_entry_t *weak_entries;
// weak_table_t中有多少個weak_entry_t
size_t num_entries;
// weak_entry_t數(shù)組的count
uintptr_t mask;
// hash key 最大偏移值,
// 采用了開放定制法解決hash沖突,超過max_hash_displacement說明weak_table_t中不存在要找的weak_entry_t
uintptr_t max_hash_displacement;
};
這是一個全局弱引用hash表。使用不定類型對象的地址作為 key ，用 weak_entry_t 類型結構體對象作為 value 。其中的 weak_entries 成員，從字面意思上看，即為弱引用表入口。其實現(xiàn)也是這樣的。
其中weak_entry_t是存儲在弱引用表中的一個內部結構體，它負責維護和存儲指向一個特定對象的所有弱引用集合。其定義如下：
typedef objc_object ** weak_referrer_t;
struct weak_entry_t {
// 所有weak指針指向的特定對象
DisguisedPtrobjc_object> referent;
// 共用體,保存weak指針的集合,
// 小于等于4個時為數(shù)組(下面的結構體), 超過4個時為hash表(上面的結構體)
union {
struct {
weak_referrer_t *referrers;
uintptr_t out_of_line : 1;
uintptr_t num_refs : PTR_MINUS_1;
uintptr_t mask;
uintptr_t max_hash_displacement;
};
struct {
// out_of_line=0 is LSB of one of these (don't care which)
weak_referrer_t inline_referrers[WEAK_INLINE_COUNT];
};
}
}
在 weak_entry_t 的結構中，DisguisedPtr referent 是對泛型對象的指針做了一個封裝，通過這個泛型類來解決內存泄漏的問題。而且weak_entry_t和weak_table_t內部都有一個hash表, 而且都是采用開放定值法解決的hash沖突, 從注釋中寫 out_of_line 成員為最低有效位，當其為1的時候， weak_referrer_t 成員將擴展為hash table。其中的 weak_referrer_t 是一個數(shù)組的別名。
那么在有效位生效的時候，out_of_line 、 num_refs、 mask 、 max_hash_displacement 有什么作用？
out_of_line：標志位。標志著weak_entry_t中是用數(shù)組保存還是hash表保存weak指針。
num_refs：引用數(shù)值。這里記錄weak_entry_t表中weak指針的數(shù)量,
mask：weak_entry_t->referrers數(shù)組的count,
max_hash_displacement：hash key 最大偏移值, 采用了開放定制法解決hash沖突,超過max_hash_displacement說明weak_entry_t中不存在要找的weak_entry_t。
其中 out_of_line 的值通常情況下是等于零的，所以弱引用表總是一個 objc_objective 指針數(shù)組，當 超過4時, 會變成hash表。
總結一下 StripedMap[] ： StripedMap 是一個模板類，在這個類中有一個 array 成員，用來存儲 PaddedT 對象，并且其中對于 [] 符的重載定義中，會返回這個 PaddedT 的 value 成員，這個 value 就是我們傳入的 T 泛型成員，也就是 SideTable 對象。在 array 的下標中，這里使用了 indexForPointer 方法通過位運算計算下標，實現(xiàn)了靜態(tài)的 Hash Table。而在 weak_table 中，其成員 weak_entry 會將傳入對象的地址加以封裝起來，并且其中也有訪問全局弱引用表的入口。
舊對象解除注冊操作 weak_unregister_no_lock
該方法主要作用是將舊對象在 weak_table 中接觸 weak 指針的對應綁定。根據(jù)函數(shù)名，稱之為解除注冊操作。從源碼中，可以知道其功能就是從 weak_table 中解除weak 指針的綁定。而其中的遍歷查詢，就是針對于 weak_entry 中的多張弱引用散列表。
新對象添加注冊操作 weak_register_no_lock
這一步與上一步相反，通過 weak_register_no_lock 函數(shù)把新的對象進行注冊操作，完成與對應的弱引用表進行綁定操作。
初始化弱引用對象流程一覽
弱引用的初始化，從上文的分析中可以看出，主要的操作部分就在弱引用表的取鍵、查詢散列、創(chuàng)建弱引用表等操作，可以總結出如下的流程圖：
這個圖中省略了很多情況的判斷，但是當聲明一個 __weak 會調用上圖中的這些方法。當然， storeWeak 方法不僅僅用在 __weak 的聲明中，在 class 內部的操作中也會常常通過該方法來對 weak 對象進行操作。
3、釋放時，調用clearDeallocating函數(shù)。clearDeallocating函數(shù)首先根據(jù)對象地址獲取所有weak指針地址的數(shù)組，然后遍歷這個數(shù)組把其中的數(shù)據(jù)設為nil，最后把這個entry從weak表中刪除，最后清理對象的記錄。
當weak引用指向的對象被釋放時，又是如何去處理weak指針的呢？當釋放對象時，其基本流程如下：
1、調用objc_release
2、因為對象的引用計數(shù)為0，所以執(zhí)行dealloc
3、在dealloc中，調用了_objc_rootDealloc函數(shù)
4、在_objc_rootDealloc中，調用了object_dispose函數(shù)
5、調用objc_destructInstance
6、最后調用objc_clear_deallocating
重點看對象被釋放時調用的objc_clear_deallocating函數(shù)。該函數(shù)實現(xiàn)如下：
void objc_clear_deallocating(id obj)
{
assert(obj);
assert(!UseGC);
if (obj->isTaggedPointer()) return;
obj->clearDeallocating();
}
也就是調用了clearDeallocating，繼續(xù)追蹤可以發(fā)現(xiàn)，它最終是使用了迭代器來取weak表的value，然后調用weak_clear_no_lock,然后查找對應的value，將該weak指針置空，weak_clear_no_lock函數(shù)的實現(xiàn)如下：
/**
* Called by dealloc; nils out all weak pointers that point to the
* provided object so that they can no longer be used.
*
* @param weak_table
* @param referent The object being deallocated.
*/
void weak_clear_no_lock(weak_table_t *weak_table, id referent_id)
{
objc_object *referent = (objc_object *)referent_id;
weak_entry_t *entry = weak_entry_for_referent(weak_table, referent);
if (entry == nil) {
/// XXX shouldn't happen, but does with mismatched CF/objc
//printf("XXX no entry for clear deallocating %p\n", referent);
return;
}
// zero out references
weak_referrer_t *referrers;
size_t count;
if (entry->out_of_line) {
referrers = entry->referrers;
count = TABLE_SIZE(entry);
}
else {
referrers = entry->inline_referrers;
count = WEAK_INLINE_COUNT;
}
for (size_t i = 0; i < count; ++i) {
objc_object **referrer = referrers[i];
if (referrer) {
if (*referrer == referent) {
*referrer = nil;
}
else if (*referrer) {
_objc_inform("__weak variable at %p holds %p instead of %p. "
"This is probably incorrect use of "
"objc_storeWeak() and objc_loadWeak(). "
"Break on objc_weak_error to debug.\n",
referrer, (void*)*referrer, (void*)referent);
objc_weak_error();
}
}
}
weak_entry_remove(weak_table, entry);
}
objc_clear_deallocating該函數(shù)的動作如下：
1、從weak表中,以dealloc對象為key, 找到對應的weak_entry_t,
2、將weak_entry_t中的所有附有 weak修飾符變量的地址，賦值為nil
3、將weak表中該對象
看了objc-weak.mm的源碼就明白了：其實Weak表是一個hash（哈希）表，然后里面的key是指向對象的地址，Value是Weak指針的地址的集合。
看了原理之后, 發(fā)現(xiàn)其實和 category中objc_setAssociatedObject的原理很類似 ,
