解讀objc源碼:weak的實現(xiàn)原理

一、weak的作用

這里的weak包括屬性關鍵字weak和__weak兩種:__weak用于修飾變量(variable),weak用于修飾屬性(property)。

1. weak是弱引用,用weak描述修飾或者所引用對象的計數(shù)不會加1
2. weak修飾的指針在引用的對象被釋放的時候自動被設置為nil,避免野指針
3. weak可以解決使用block引起的循環(huán)引用。

看到這里又想起了block和assign,復習一下這幾個的區(qū)別:

1.__block不管是ARC還是MRC模式下都可以使用,可以修飾對象,還可以修飾基本數(shù)據(jù)類型。
2.__weak只能在ARC模式下使用,也只能修飾對象(NSString),不能修飾基本數(shù)據(jù)類型(int)。assign用來修飾基本數(shù)據(jù)類型
3.__block對象可以在block中被重新賦值,__weak不可以。
4.__block對象在ARC下可能會導致循環(huán)引用,非ARC下會避免循環(huán)引用,__weak只在ARC下使用,可以避免循環(huán)引用。

OK,以上說的都沒有錯,大家也都會用,但是你知道是怎么實現(xiàn)的嗎


二、weak的源碼實現(xiàn)

1、先看下objc-weak.h文件里面的API
typedef DisguisedPtr<objc_object *> weak_referrer_t;
struct weak_entry_t { ... };
struct weak_table_t { ... };
/// Adds an (object, weak pointer) pair to the weak table.
id weak_register_no_lock(weak_table_t *weak_table, id referent, 
                         id *referrer, bool crashIfDeallocating);
/// Removes an (object, weak pointer) pair from the weak table.
void weak_unregister_no_lock(weak_table_t *weak_table, id referent, id *referrer);
#if DEBUG
/// Returns true if an object is weakly referenced somewhere.
bool weak_is_registered_no_lock(weak_table_t *weak_table, id referent);
#endif
/// Called on object destruction. Sets all remaining weak pointers to nil.
void weak_clear_no_lock(weak_table_t *weak_table, id referent);

看起來很簡單的結構體和幾個方法:

  • weak_table_t:翻譯一下注釋上的說明,弱引用的哈希表table,對象id作為key,weak_entry_t結構體作為value
  • weak_register_no_lock:向weak table里面添加一個object和它的weak引用指針
  • weak_unregister_no_lock:從weak table移除一個object和它的weak引用指針
  • weak_is_registered_no_lock:如果object有弱引用返回true
  • weak_clear_no_lock:object對象被銷毀,把所有指向它的弱引用指針全部置為nil

2、根據(jù)API看下.m里面的實現(xiàn)

2.1 weak_register_no_lock添加弱引用
源碼實現(xiàn):

id 
weak_register_no_lock(weak_table_t *weak_table, id referent_id, 
                      id *referrer_id, bool crashIfDeallocating)
{
    objc_object *referent = (objc_object *)referent_id;
    objc_object **referrer = (objc_object **)referrer_id;
    // ensure that the referenced object is viable
    。。。這里省略判斷被引用的對象是否存在的代碼,只看關鍵部分
    weak_entry_t *entry;
    if ((entry = weak_entry_for_referent(weak_table, referent))) {
        append_referrer(entry, referrer);
    } 
    else {
        weak_entry_t new_entry(referent, referrer);
        weak_grow_maybe(weak_table);
        weak_entry_insert(weak_table, &new_entry);
    }
    return referent_id;
}

解釋一下關鍵地方:

  1. if ((entry = weak_entry_for_referent(weak_table, referent))):判斷weak_table是否存在這個對象referent
  2. 如果table表中已經存在對象referent,那么執(zhí)行append_referrer(entry, referrer);把referrer這個新的引用加入到referent已經存在的引用列表中
  3. 如果不存在,執(zhí)行
    weak_entry_t new_entry(referent, referrer):給對象referent創(chuàng)建一個新的引用列表
    weak_grow_maybe(weak_table):weak_table增加內存
    weak_entry_insert(weak_table, &new_entry):把referent的引用列表加入到weak_table中

2.2 weak_unregister_no_lock:移除弱引用
當我們使用weak指針指向一個對象__weak typeof(self) = self的時候,會調weak_register_no_lock在weak table表中添加這個引用,但是移除引用什么時候會用呢,還是看一下源碼和注釋:

/** 
 * Unregister an already-registered weak reference.
 * This is used when referrer's storage is about to go away, but referent
 * isn't dead yet. (Otherwise, zeroing referrer later would be a
 * bad memory access.)
 * Does nothing if referent/referrer is not a currently active weak reference.
 * Does not zero referrer.
 */
void
weak_unregister_no_lock(weak_table_t *weak_table, id referent_id, 
                        id *referrer_id)
{
    // referent是對象也就是weak table中的key
    objc_object *referent = (objc_object *)referent_id;
    //*referrer是指向這個對象的弱引用指針
    objc_object **referrer = (objc_object **)referrer_id;

    weak_entry_t *entry;

    if (!referent) return;
    ///從weak_table中根據(jù)key(referent)找到entry(指向對象弱引用列表的指針)
    if ((entry = weak_entry_for_referent(weak_table, referent))) {
        /// 從引用列表中移除這個引用referrer, remove_referrer這個方法會把這個referrer置為nil
        remove_referrer(entry, referrer);
        /// 之后遍歷對象referent的引用列表是不是空了
        bool empty = true;
        if (entry->out_of_line()  &&  entry->num_refs != 0) {
            empty = false;
        }
        else {
            for (size_t i = 0; i < WEAK_INLINE_COUNT; i++) {
                if (entry->inline_referrers[i]) {
                    empty = false; 
                    break;
                }
            }
        }
        if (empty) {
            /// 如果該對象的弱引用列表已經empty,就把該對象從weak_table中移除
            weak_entry_remove(weak_table, entry);
        }
    }
}

這個應該是這種情況下使用的,比如我們在一個方法里面這樣定義:

- (void)testWeakReferrer {
    __weak typeof(self) weakSelf = self;
    ...
    return;
}

weakSelf是方法的局部變量,當方法執(zhí)行完的時候,局部變量weakSelf會被銷毀,這個時候系統(tǒng)應該就會自動執(zhí)行weak_unregister_no_lock方法,把weakSelf從self對象的弱引用列表中移除,并且把weakSelf置為nil。


2.3 weak_clear_no_lock清空所有的weak指針

/** 
 * 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);
    ...
    // zero out references
    weak_referrer_t *referrers;
    size_t count;
    ...//獲取列表中的數(shù)量
    for (size_t i = 0; i < count; ++i) {
        objc_object **referrer = referrers[i];
        if (referrer) {
            if (*referrer == referent) {
                *referrer = nil;
            }
            ...
        }
    }
    
    weak_entry_remove(weak_table, entry);
}

Called by dealloc,當對象被銷毀的時候調用這個方法,在這個方法里面把所有指向這個對象的弱引用指針全部置為nil,最后從weak table中移除該對象和它的弱引用列表。

ok,這也就解釋了為什么weak指針會被自動置為nil了

?著作權歸作者所有,轉載或內容合作請聯(lián)系作者
【社區(qū)內容提示】社區(qū)部分內容疑似由AI輔助生成,瀏覽時請結合常識與多方信息審慎甄別。
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發(fā)布,文章內容僅代表作者本人觀點,簡書系信息發(fā)布平臺,僅提供信息存儲服務。

相關閱讀更多精彩內容

友情鏈接更多精彩內容