前言
最近应该有很多小伙伴去跳槽面试的吧，相信各位有的已经顺利收到offer了，而有些则是碰壁了，那么我在这里给大家准备了相关面试资料，还有相关算法资料。想了解的可找我拿
为了全面透彻的分析 weak 的实现原理，前面 iOS weak 底层实现原理(一)：SideTable|s、weak_table_t、weak_entry_t 等数据结构 分析了所有要用到的数据结构，偶有提及相关操作函数。本篇则直接把 objc-weak.mm 中的函数全部分析一遍，从开始往下把一行一行代码都嚼碎了。等把这些函数分析完毕，相信 weak 的大致实现原理能立即浮现于脑中，由于本篇篇幅已经较长了，后面再开新篇完整的对 weak 进行总结和验证。⛽️⛽️
TABLE_SIZE 宏定义
#define TABLE_SIZE(entry) (entry->mask ? entry->mask + 1 : 0)
复制代码
用于获取 weak_entry_t 或 weak_table_t 的哈希数组当前分配的总容量。
在
weak_entry_t中当对象的弱引用数量不超过 4 的时候是使用weak_referrer_t inline_referrers[WEAK_INLINE_COUNT]这个固定长度为 4 的数组存放weak_referrer_t。当长度大于 4 以后使用weak_referrer_t *referrers这个哈希数组存放weak_referrer_t数据。其实这句话也不全对，还包括一种情况：hash数组的长度是动态调整的，它的长度可能存在从大缩小到 4 以下的情况。（缩小操作只在哈希数组总容量超过 1024 且已使用部分少于总容量 1/16 时，缩小为总容量的 1/8） 三目运算符则正是针对使用hash数组的情况，mask的值则一直保持为总长度减 1 并参与hash函数计算。上述的一句被搞混了，下述才是正确的。
weak_table_t的哈希数组初始长度是 64，当存储占比超过 3/4 后，哈希数组会扩容为总容量的 2 倍，然后会把之前的数据重新哈希化放在新空间内。当一些数据从哈希数组中移除后，为了提高查找效率势必要对哈希数组总长度做缩小操作，规则是当哈希数组总容量超过 1024 且已使用部分少于总容量 1/16 时，缩小为总容量的 1/8，缩小后同样会把原始数据重新哈希化放在新空间。（缩小和扩展都是使用calloc函数开辟新空间，cache_t扩容后是直接忽略旧数据，这里可以比较记忆。）。牢记以上只是针对weak_table_t的哈希数组而言的。weak_entry_t则是首先用固定长度为 4 的数组，当有新的弱引用进来时，会首先判断当前是使用的 定长数组还是哈希数组，如果此时使用的还是定长数组的话先判断定长数组还有没有空位，如果没有空位的话会为哈希数组申请长度为 4 的并用一个循环把定长数组中的数据放在哈希数组，这里看似是按下标循环存放，其实下面会重新进行哈希化，然后是判断对哈希数组进行扩容，也是如果超过总占比的 3/4 进行扩容为总容量的 2 倍，所以weak_entry_t的哈希数组第一次扩容后是 8。然后下面区别就来了weak_entry_t的哈希数组是没有缩小机制的，移除弱引用的操作其实只是把弱引用的指向置为nil，做移除操作是判断如果定长数组为空或者哈希数组为空，则会把weak_table_t哈希数组中的weak_entry_t移除，然后就是对weak_table_t做一些缩小容量的操作。weak_entry_t和weak_table_t可以共用TABLE_SIZE因为是它们对mask的使用机制是完全一样的。这里weak_entry_t之所以不缩小，且起始用定长数组，都是对其的优化，因为本来一个对象的弱引用数量就不会太多。
现在想来依然觉得 mask 的值用的很巧妙。（前文已经讲了 mask 的全部作用，其实脱离 weak 相关的源码，objc4 其他很多地方也有采用这种做法）
⬇️
static void append_referrer(weak_entry_t *entry, objc_object **new_referrer);
函数功能如其名，往指定的 weak_entry_t 里面添加 new_referrer( weak 变量的地址)。这里只是声明，具体实现在后面，这个声明只是为了给下面的其他函数的提前调用作的声明。
objc_weak_error
// BREAKPOINT_FUNCTION
/* Use this for functions that are intended to be breakpoint hooks.
If you do not, the compiler may optimize them away.
BREAKPOINT_FUNCTION( void stop_on_error(void) ); */
# define BREAKPOINT_FUNCTION(prototype) \
OBJC_EXTERN __attribute__((noinline, used, visibility("hidden"))) \
prototype { asm(""); }
BREAKPOINT_FUNCTION(
void objc_weak_error(void)
);
参考链接:GCC扩展 attribute ((visibility("hidden")))
bad_weak_table
static void bad_weak_table(weak_entry_t *entries)
{
_objc_fatal("bad weak table at %p. This may be a runtime bug or a "
"memory error somewhere else.", entries);
}
_objc_fatal 用来退出程序或者中止运行并打印原因。 这里表示 weak_table_t 中的的某个 weak_entry_t 发生了内存错误，全局搜索发现该函数只会在发生 hash 冲突时 index 持续增加直到和 begin 相等时被调用。
作为一个开发者，有一个学习的氛围跟一个交流圈子特别重要，这是一个我的iOS交流群：891 488 181 ，不管你是小白还是大牛欢迎入驻 ，分享BAT,阿里面试题、面试经验，讨论技术， 大家一起交流学习成长！
hash_pointer 和 w_hash_pointer
/**
* Unique hash function for object pointers only.
* 唯一的哈希函数仅适用于对象指针。
* @param key The object pointer
* @return Size unrestricted hash of pointer.
*/
static inline uintptr_t hash_pointer(objc_object *key) {
return ptr_hash((uintptr_t)key);
}
对一个 objc_object 对象的指针求哈希值，用于从 weak_table_t 哈希表中取得对象对应的 weak_entry_t。
/**
* Unique hash function for weak object pointers only.
* @param key The weak object pointer.
* @return Size unrestricted hash of pointer.
*/
static inline uintptr_t w_hash_pointer(objc_object **key) {
return ptr_hash((uintptr_t)key);
}
对一个 objc_object 对象的指针的指针（此处指 weak 变量的地址）求哈希值，用于从 weak_entry_t 哈希表中取得 weak_referrer_t 把其保存的弱引用变量的指向置为 nil 或者从哈希表中移除等。
ptr_hash
// Pointer hash function. This is not a terrific hash, but it is fast and not outrageously flawed for our purposes.
指针哈希函数。这不是一个了不起的哈希，但是它很快，并且没有为了我们的目的而有过分的缺陷。
// Based on principles from http://locklessinc.com/articles/fast_hash/
// and evaluation ideas from http://floodyberry.com/noncryptohashzoo/
#if __LP64__
static inline uint32_t ptr_hash(uint64_t key)
{
key ^= key >> 4;
key *= 0x8a970be7488fda55;
key ^= __builtin_bswap64(key);
return (uint32_t)key;
}
#else
static inline uint32_t ptr_hash(uint32_t key)
{
key ^= key >> 4;
key *= 0x5052acdb;
key ^= __builtin_bswap32(key);
return key;
}
#endif
__LP64__ 指 long 和 pointer 都占 64 位的环境。
ptr_hash 是指针哈希函数，看到 objc4-781 中多处都用到了它。
-
key右移 4 位的值做异或操作。 - 与
0x8a970be7488fda55这个值做乘法。（这个hardcode可能是苹果觉的最优值。） -
__builtin_bswap64翻转64位数各字节然后再做一次异或。
__builtin_bswap64 可参考gcc的_builtin函数介绍
grow_refs_and_insert
对 weak_entry_t 的哈希数组进行扩容，并插入一个新的 new_referrer，原有数据重新哈希化放在新空间内。
/**
* Grow the entry's hash table of referrers.
* Rehashes each of the referrers.
*
* @param entry Weak pointer hash set for a particular object.
*/
__attribute__((noinline, used))
static void grow_refs_and_insert(weak_entry_t *entry,
objc_object **new_referrer)
{
// DEBUG 下的断言，确保当前 weak_entry_t 使用的是 hash 数组模式
ASSERT(entry->out_of_line());
// 新容量为旧容量的 2 倍
size_t old_size = TABLE_SIZE(entry);
size_t new_size = old_size ? old_size * 2 : 8;
// 记录当前已使用容量
size_t num_refs = entry->num_refs;
// 记录旧哈希数组起始地址，在最后要进行释放
weak_referrer_t *old_refs = entry->referrers;
// mask 依然是总容量减 1
entry->mask = new_size - 1;
// 为新 hash 数组申请空间
// 长度为：总容量 * sizeof(weak_referrer_t)（8）个字节
entry->referrers = (weak_referrer_t *)
calloc(TABLE_SIZE(entry), sizeof(weak_referrer_t));
// 默认为 0
entry->num_refs = 0;
entry->max_hash_displacement = 0;
for (size_t i = 0; i < old_size && num_refs > 0; i++) {
if (old_refs[i] != nil) {
// 把旧哈希数组里的数据都放进新哈希数组内
append_referrer(entry, old_refs[i]);
// 旧的哈希数组的长度自减
num_refs--;
}
}
// 然后把入参传入的 new_referrer，插入新哈希数组，前面的铺垫都是在做 "数据转移"
append_referrer(entry, new_referrer);
// 把旧哈希数据释放
if (old_refs) free(old_refs);
}
append_referrer
添加给定的 referrer 到 weak_entry_t 的哈希数组（或定长为 4 的内部数组）。
/**
* Add the given referrer to set of weak pointers in this entry.
* 添加给定的 referrer 到 weak_entry_t 的哈希数组（或定长为 4 的内部数组）。
* Does not perform duplicate checking (b/c weak pointers are never
* added to a set twice).
* 不执行重复检查，weak 指针永远不会添加两次。
*
* @param entry The entry holding the set of weak pointers.
* @param new_referrer The new weak pointer to be added.
*/
static void append_referrer(weak_entry_t *entry, objc_object **new_referrer)
{
if (! entry->out_of_line()) {
// Try to insert inline.
// 如果 weak_entry 尚未使用哈希数组，走这里
for (size_t i = 0; i < WEAK_INLINE_COUNT; i++) {
// 找到空位把 new_referrer 放进去
if (entry->inline_referrers[i] == nil) {
entry->inline_referrers[i] = new_referrer;
return;
}
}
// Couldn't insert inline. Allocate out of line.
// 如果 inline_referrers 存满了，则要转到 referrers 哈希数组
// 为哈希数组申请空间
weak_referrer_t *new_referrers = (weak_referrer_t *)
calloc(WEAK_INLINE_COUNT, sizeof(weak_referrer_t));
// This constructed table is invalid, but grow_refs_and_insert
// will fix it and rehash it.
// 此构造的 table 无效，grow_refs_and_insert 将修复它并重新哈希
// 把 inline_referrers 内部的数据放进 hash 数组
// 这里看似是直接循环按下标放的，其实后面会进行扩容和哈希化
for (size_t i = 0; i < WEAK_INLINE_COUNT; i++) {
new_referrers[i] = entry->inline_referrers[i];
}
// 给 referrers 赋值
entry->referrers = new_referrers;
// 表示目前弱引用是 4
entry->num_refs = WEAK_INLINE_COUNT;
// out_of_line_ness 置为 REFERRERS_OUT_OF_LINE，
// 标记 weak_entry_t 开始使用哈希数组保存弱引用的指针
entry->out_of_line_ness = REFERRERS_OUT_OF_LINE;
// 看到这里有一个减 1 的操作
// mask 赋值，总容量减 1
entry->mask = WEAK_INLINE_COUNT-1;
// 此时哈希冲突偏移为 0
entry->max_hash_displacement = 0;
}
// 对于动态数组的扩容处理
// 断言： 此时一定使用的动态数组
ASSERT(entry->out_of_line());
// #define TABLE_SIZE(entry) (entry->mask ? entry->mask + 1 : 0)
// mask 又加了 1
// 如果大于总容量的 3/4
if (entry->num_refs >= TABLE_SIZE(entry) * 3/4) {
// weak_entry_t 哈希数组扩容并插入 new_referrer
return grow_refs_and_insert(entry, new_referrer);
}
// 不需要扩容，则进行正常插入
size_t begin = w_hash_pointer(new_referrer) & (entry->mask);
size_t index = begin;
size_t hash_displacement = 0;
while (entry->referrers[index] != nil) {
hash_displacement++;
index = (index+1) & entry->mask;
// 在 index == begin 之前一定能找到空位置，因为前面已经有一个超过 3/4 占用后的扩容机制，
if (index == begin) bad_weak_table(entry);
}
// 更新最大偏移值
if (hash_displacement > entry->max_hash_displacement) {
entry->max_hash_displacement = hash_displacement;
}
// 找到空位置放入弱引用的指针
weak_referrer_t &ref = entry->referrers[index];
ref = new_referrer;
// 自增
entry->num_refs++;
}
remove_referrer
从 weak_entry_t 的哈希数组（或定长为 4 的内部数组）中删除弱引用的地址。
/**
* Remove old_referrer from set of referrers, if it's present.
* Does not remove duplicates, because duplicates should not exist.
*
* @todo this is slow if old_referrer is not present. Is this ever the case?
*
* @param entry The entry holding the referrers.
* @param old_referrer The referrer to remove.
*/
static void remove_referrer(weak_entry_t *entry, objc_object **old_referrer)
{
// 如果目前使用的是定长为 4 的内部数组
if (! entry->out_of_line()) {
// 循环找到 old_referrer 的位置，把它的原位置放置 nil，表示把 old_referrer 从数组中移除了
for (size_t i = 0; i < WEAK_INLINE_COUNT; i++) {
if (entry->inline_referrers[i] == old_referrer) {
entry->inline_referrers[i] = nil;
return;
}
}
// 如果当前 weak_entry_t 不包含传入的 old_referrer
// 则明显发生了错误，执行 objc_weak_error 函数
_objc_inform("Attempted to unregister unknown __weak variable "
"at %p. This is probably incorrect use of "
"objc_storeWeak() and objc_loadWeak(). "
"Break on objc_weak_error to debug.\n",
old_referrer);
objc_weak_error();
return;
}
// 从 hash 数组中找到 old_referrer 并置为 nil（移除 old_referrer）
size_t begin = w_hash_pointer(old_referrer) & (entry->mask);
size_t index = begin;
size_t hash_displacement = 0;
while (entry->referrers[index] != old_referrer) {
index = (index+1) & entry->mask;
if (index == begin) bad_weak_table(entry);
hash_displacement++;
if (hash_displacement > entry->max_hash_displacement) {
_objc_inform("Attempted to unregister unknown __weak variable "
"at %p. This is probably incorrect use of "
"objc_storeWeak() and objc_loadWeak(). "
"Break on objc_weak_error to debug.\n",
old_referrer);
objc_weak_error();
return;
}
}
// 把 old_referrer 所在的位置置为 nil，num_refs 自减
entry->referrers[index] = nil;
entry->num_refs--;
}
weak_entry_insert
添加一个新的 weak_entry_t 到给定的 weak_table_t 的哈希数组中.
/**
* Add new_entry to the object's table of weak references.
* 添加一个新的 weak_entry_t 到给定的 weak_table_t.
* Does not check whether the referent is already in the table.
* 不检查 referent 是否已在 weak_table_t 中。
*/
static void weak_entry_insert(weak_table_t *weak_table, weak_entry_t *new_entry)
{
// 哈希数组的起始地址
weak_entry_t *weak_entries = weak_table->weak_entries;
ASSERT(weak_entries != nil);
size_t begin = hash_pointer(new_entry->referent) & (weak_table->mask);
size_t index = begin;
size_t hash_displacement = 0;
while (weak_entries[index].referent != nil) {
index = (index+1) & weak_table->mask;
// 这里正常情况下，当 index == begin 之前一定能找到一个空位置，
// 因为在调用该函数前 weak_table_t 的哈希数组大小一直是动态调整的，
// 当总容量大于 3/4 时，会扩张为 2 倍
if (index == begin) bad_weak_table(weak_entries);
// 偏移值自增
hash_displacement++;
}
// 直接插入 hash 数组
weak_entries[index] = *new_entry;
// num_entries 自增
weak_table->num_entries++;
// 记录最大的哈希冲突偏移值
if (hash_displacement > weak_table->max_hash_displacement) {
weak_table->max_hash_displacement = hash_displacement;
}
}
因为此函数内部不存在函数嵌套调用，所以实现也是也比较简单的。首先解释一下为什么不检查 referent 是否已在 weak_table_t 中，全局搜索可以发现只有两个地方调用了此函数：
-
weak_table_t调整了哈希数组的大小以后，要进行重新哈希化，此时weak_entry_t是一定不在哈希数组里的。 -
weak_register_no_lock函数内部在调用weak_entry_insert之前已经调用weak_entry_for_referent判断没有对应的weak_entry_t存在，所以weak_entry_insert函数中不需要再重复判断。（新建一个weak_entry_t添加到weak_table_t的哈希数组。）
还有一个点需要注意的，在函数最后会更新 weak_table_t 的 max_hash_displacement，记录哈希冲突时的最大偏移值。
weak_resize
调整 weak_table_t 哈希数组的容量大小，并把原始哈希数组里面的 weak_entry_t 重新哈希化放进新空间内。
static void weak_resize(weak_table_t *weak_table, size_t new_size)
{
size_t old_size = TABLE_SIZE(weak_table);
// 原始哈希数组入口
weak_entry_t *old_entries = weak_table->weak_entries;
// 为新的哈希数组申请 new_size * sizeof(weak_entry_t) 个字节的空间，置为 0，并返回起始地址给 new_entries
weak_entry_t *new_entries = (weak_entry_t *)
calloc(new_size, sizeof(weak_entry_t));
// mask 更新为 new_size 减 1
weak_table->mask = new_size - 1;
// weak_entries 起始地址更新为 new_entries
weak_table->weak_entries = new_entries;
// max_hash_displacement 和 num_entries 默认是 0，会在下面的插入操作中进行对应的更新
weak_table->max_hash_displacement = 0;
weak_table->num_entries = 0; // restored by weak_entry_insert below
// 如果旧哈希数组里面有数据
if (old_entries) {
weak_entry_t *entry;
// 指针偏移，找到 hash 数组的末尾
weak_entry_t *end = old_entries + old_size;
for (entry = old_entries; entry < end; entry++) {
if (entry->referent) {
// 会在该操作里面更新 num_entries 和 max_hash_displacement
weak_entry_insert(weak_table, entry);
}
}
// 释放旧哈希数组的内存
free(old_entries);
}
}
weak_grow_maybe
对 weak_table_t 的哈希数组进行容量扩展。
// Grow the given zone's table of weak references if it is full.
static void weak_grow_maybe(weak_table_t *weak_table)
{
size_t old_size = TABLE_SIZE(weak_table);
// Grow if at least 3/4 full.
// 如果占比超过了总容量的 3/4 则进行扩容。
if (weak_table->num_entries >= old_size * 3 / 4) {
// 第二个参数是用来指定容量扩充值的，
// 可确定，如果是初始状态，则总容量是 64，
// 如果不是初始化状态则扩展为之前容量的 2 倍
weak_resize(weak_table, old_size ? old_size*2 : 64);
}
}
此函数也比较清晰，明确了 3 点：
- 当
weak_table_t哈希数组已占用元素总数超过了总容量的 3/4 则进行扩容。 -
weak_table_t哈希数组初始化容量是 64。 -
weak_table_t扩容时，容量直接扩充为之前的 2 倍。
最后调用的 weak_resize 下面进行解析。
weak_compact_maybe
如果 weak_table_t 哈希数组大部分空间是空着的，则缩小哈希数组。
// Shrink the table if it is mostly empty.
static void weak_compact_maybe(weak_table_t *weak_table)
{
size_t old_size = TABLE_SIZE(weak_table);
// Shrink if larger than 1024 buckets and at most 1/16 full.
// 当总容量超过了 1024 且占用量少于总容量的 1/16，则缩小容量
if (old_size >= 1024 && old_size / 16 >= weak_table->num_entries) {
// 缩小为总容量的 1/8
weak_resize(weak_table, old_size / 8);
// leaves new table no more than 1/2 full
// 结合上面的 1/16，保证即使缩小后占用容量仍然不超过 1/2
}
}
当总容量超过了 1024 且占用量少于总容量的 1/16，则缩小容量为总容量的 1/8，缩小后占用量仍不超过总量的 1/2。
weak_entry_remove
从 weak_table_t 的哈希数组中删除指定的 weak_entry_t。
/**
* Remove entry from the zone's table of weak references.
*/
static void weak_entry_remove(weak_table_t *weak_table, weak_entry_t *entry)
{
// remove entry
// 如果 weak_entry_t 当前使用动态 hash 数组，则释放其内存
if (entry->out_of_line()) free(entry->referrers);
// 把从 entry 开始的 sizeof(*entry) 个字节空间置为 0
bzero(entry, sizeof(*entry));
// num_entries 自减
weak_table->num_entries--;
// 缩小 weak_table_t 的哈希数组容量
weak_compact_maybe(weak_table);
}
weak_entry_for_referent
从 weak_table_t 的哈希数组中找到 referent 的 weak_entry_t，如果未找到则返回 NULL。
/**
* Return the weak reference table entry for the given referent.
* If there is no entry for referent, return NULL.
* Performs a lookup.
*
* @param weak_table
* @param referent The object. Must not be nil.
* object 不能为空，为空则直接执行断言。
* @return The table of weak referrers to this object.
*/
static weak_entry_t *
weak_entry_for_referent(weak_table_t *weak_table, objc_object *referent)
{
// 如果 referent 为 NULL，则直接执行断言
ASSERT(referent);
// hash 数组入口
weak_entry_t *weak_entries = weak_table->weak_entries;
// 判空
if (!weak_entries) return nil;
// 取得 referent 对应的 hash key，与 mask & 操作保证 begin 在 [0, mask] 区间内
size_t begin = hash_pointer(referent) & weak_table->mask;
// begin 用于记录起点，index 用于控制循环条件
size_t index = begin;
// 记录发生 hash 冲突的偏移值
size_t hash_displacement = 0;
while (weak_table->weak_entries[index].referent != referent) {
// 如果发生 hash 冲突，index 加 1，与 mask 与操作防止越界
index = (index+1) & weak_table->mask;
// 如果 index 与 begin 重叠了，则表明 weak_entries 存在内存错误。
// 正常情况下，执行到下面的大于了最大偏移值后一定会返回的，如果存在 index == begin，则会超过最大偏移值
if (index == begin) bad_weak_table(weak_table->weak_entries);
// 记录偏移
hash_displacement++;
// 如果偏移大于了最大偏移值，说明不存在对应的 weak_entry_t，返回 nil
if (hash_displacement > weak_table->max_hash_displacement) {
return nil;
}
}
// 找到了，返回对应的 weak_entry_t 指针
return &weak_table->weak_entries[index];
}
weak_unregister_no_lock
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.
FIXME currently requires old referent value to be passed in (lame). FIXME unregistration should be automatic if referrer is collected.
注销以前注册的弱引用。该方法用于 referrer 的存储即将消失，但是 referent 还正常存在。（否则，referrer 被释放后，可能会造成一个错误的内存访问，即对象还没有释放，但是 weak 变量已经释放了，这时候再去访问 weak 变量会导致野指针访问。）如果 referent/referrer 不是当前有效的弱引用，则不执行任何操作。
当前需要传递旧的引用值。 如果 referrer 被释放了，则从其对应的 weak_entry_t 的哈希数组（或定长为 4 的内部数组）删除 referrer 应该是自动进行。
从 referent 对应的 weak_entry_t 的哈希数组（或定长为 4 的内部数组）中注销指定的弱引用。
void
weak_unregister_no_lock(weak_table_t *weak_table, id referent_id,
id *referrer_id)
{
// id 转化为 objc_object * 对象的指针
objc_object *referent = (objc_object *)referent_id;
// referrer_id 是指向 weak 变量的地址，所以这里是 **
objc_object **referrer = (objc_object **)referrer_id;
weak_entry_t *entry;
if (!referent) return;
// 从 weak_table 中找到 referent 的 weak_entry_t
if ((entry = weak_entry_for_referent(weak_table, referent))) {
// 找到了这个 entry，就删除 weak_entry_t 的哈希数组（或定长为 4 的内部数组）中的 referrer
remove_referrer(entry, referrer);
bool empty = true;
// 注销 referrer 以后判断是否需要删除对应的 weak_entry_t，
// 如果 weak_entry_t 目前使用哈希数组，且 num_refs 不为 0，
// 表示此时哈希数组还不为空，不需要删除
if (entry->out_of_line() && entry->num_refs != 0) {
empty = false;
}
else {
// 循环判断 weak_entry_t 内部定长为 4 的数组内是否还有 weak_referrer_t
for (size_t i = 0; i < WEAK_INLINE_COUNT; i++) {
if (entry->inline_referrers[i]) {
empty = false;
break;
}
}
}
// 如果 entry 中的弱引用的地址都已经清空了，则连带也删除这个 entry，类似数组已经空了，则把数组也删了
if (empty) {
weak_entry_remove(weak_table, entry);
}
}
// Do not set *referrer = nil. objc_storeWeak() requires that the
// value not change.
}
weak_register_no_lock
把一个对象和对象的弱引用的指针注册到 weak_table_t 的 weak_entry_t 中。
/**
* Registers a new (object, weak pointer) pair. Creates a new weak
* object entry if it does not exist.
* 注册一个新的 (对象，weak 指针) 对。
* 创建一个新的 weak object entry（weak_entry_t），如果它不存在的话。
*
* @param weak_table The global weak table. referent_id 所处的 weak_table_t 表
* @param referent The object pointed to by the weak reference. weak 弱引用指向的对象
* @param referrer The weak pointer address. weak 指针地址
*/
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;
// weak 变量的地址
objc_object **referrer = (objc_object **)referrer_id;
// 如果对象不存在或者是一个 Tagged Pointer 的话，直接返回对象。
if (!referent || referent->isTaggedPointer()) return referent_id;
// ensure that the referenced object is viable
// 判断对象是否正在进行释放操作
bool deallocating;
if (!referent->ISA()->hasCustomRR()) {
deallocating = referent->rootIsDeallocating();
}
else {
// 判断入参对象是否能进行 weak 引用 allowsWeakReference
BOOL (*allowsWeakReference)(objc_object *, SEL) =
(BOOL(*)(objc_object *, SEL))
object_getMethodImplementation((id)referent,
@selector(allowsWeakReference));
if ((IMP)allowsWeakReference == _objc_msgForward) {
return nil;
}
// 通过函数指针执行函数
deallocating =
! (*allowsWeakReference)(referent, @selector(allowsWeakReference));
}
// 如果对象正在进行释放或者该对象不能进行 weak 引用，且 crashIfDeallocating 为 true，则抛出 crash
if (deallocating) {
if (crashIfDeallocating) {
_objc_fatal("Cannot form weak reference to instance (%p) of "
"class %s. It is possible that this object was "
"over-released, or is in the process of deallocation.",
(void*)referent, object_getClassName((id)referent));
} else {
return nil;
}
}
// now remember it and where it is being stored
weak_entry_t *entry;
// 在 weak_table 中找 referent 对应的 weak_entry_t
if ((entry = weak_entry_for_referent(weak_table, referent))) {
// 如果找到了，调用 append_referrer，把 __weak 变量的地址放进哈希数组
append_referrer(entry, referrer);
}
else {
// 如果没有找到 entry，创建一个新的 entry
weak_entry_t new_entry(referent, referrer);
// 判断 weak_table_t 是否需要扩容
weak_grow_maybe(weak_table);
// 把 weak_entry_t 插入到 weak_table_t 的哈希数组中
weak_entry_insert(weak_table, &new_entry);
}
// Do not set *referrer. objc_storeWeak() requires that the value not change.
// 不要设置 *referrer。objc_storeWeak() 要求值不变。
// 返回 referent_id
return referent_id;
}
流程超长，但是每个步骤都很清晰。
- 首先判断
referent是否是Tagged Pointer，如果不是则执行接下来的流程。Tagged Pointer是不支持弱引用的。（Tagged Pointer的解析放在weak篇） - 判断对象是否释放和对象是否支持弱引用。继承自
NSObject类 默认支持，NSObject.mm文件中找到allowsWeakReference函数，看到类方法默认返回YES，实例方法，如果对象没有释放则返回YES。
- (BOOL)_isDeallocating {
return _objc_rootIsDeallocating(self);
}
+ (BOOL)allowsWeakReference {
return YES;
}
- (BOOL)allowsWeakReference {
return ! [self _isDeallocating];
}
- 根据
deallocating（对象是否正在释放的标志和对象是否支持弱引用）和入参crashIfDeallocating判断是否中止程序运行。 - 在
weak_table_t中去找referent对应的weak_entry_t，如果能找到entry，则调用append_referrer函数把对象弱引用的指针referrer插入weak_entry_t的哈希数组中（或者是定长为 4 的内部数组中）。 - 如果没有找到对应的
weak_entry_t，则首先创建一个new_entry，然后先执行weak_grow_maybe扩容，然后调用weak_entry_insert把new_entry插入weak_table_t的哈希数组中。
weak_is_registered_no_lock
DEBUG 模式下调用的函数。判断一个对象是否注册在 weak_table_t 中，是否注册可以理解为一个对象是否存在弱引用。（已注册 = 存在弱引用，未注册 = 不存在弱引用，当对象存在弱引用时，系统一定会把它注册到 weak_table_t 中，即能在 weak_table_t 的哈希数组中找到 weak_entry_t）。
#if DEBUG
bool
weak_is_registered_no_lock(weak_table_t *weak_table, id referent_id)
{
// 调用 weak_entry_for_referent 判断对象是否存在对应的 entry
return weak_entry_for_referent(weak_table, (objc_object *)referent_id);
}
#endif
此函数借助 weak_entry_for_referent 判断一个对象是否注册到 weak_table_t 中。
weak_clear_no_lock
当对象的 dealloc 函数执行时会调用此函数，主要功能是当对象被释放废弃时，把该对象的弱引用指针全部指向 nil。
/**
* 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_table_t 的哈希数组中找到 referent 对应的 weak_entry_t
weak_entry_t *entry = weak_entry_for_referent(weak_table, referent);
// 如果 entry 不存在，则返回
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
// typedef DisguisedPtr weak_referrer_t;
weak_referrer_t *referrers;
size_t count;
// 如果目前 weak_entry_t 使用哈希数组
if (entry->out_of_line()) {
// 记录哈希数组入口
referrers = entry->referrers;
// 总长度
// weak_entry_t 的 mask 和 weak_table_t 的 mask 都是总长度减 1
// 记录长度
count = TABLE_SIZE(entry);
}
else {
// 如果目前对象弱引用数量不超过 4 则使用 inline_referrers 数组记录弱引用的指针
// 记录 inline_referrers 的入口
referrers = entry->inline_referrers;
// count 是 4
count = WEAK_INLINE_COUNT;
}
// 循环把 inline_referrers 数组或者 hash 数组中的 weak 变量指向置为 nil
for (size_t i = 0; i < count; ++i) {
// weak 变量的指针的指针
objc_object **referrer = referrers[i];
if (referrer) {
// 如果 weak 变量指向 referent，则把其指向置为 nil
if (*referrer == referent) {
*referrer = nil;
}
else if (*referrer) {
// 如果 weak_entry_t 里面存放的 weak 变量指向的对象不是 referent，
// 可能是错误调用 objc_storeWeak 和 objc_loadWeak 函数导致，
// 执行 objc_weak_error 进行 debug
_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();
}
}
}
// 最后把 entry 从 weak_table_t 中移除
weak_entry_remove(weak_table, entry);
}
该函数流程很长，但是思路很清晰。当对象执行 dealloc 时会调用该函数，首先根据入参 referent_id 找到其在 weak_table 中对应的 weak_entry_t，然后遍历 weak_entry_t 的哈希数组或者 inline_referrers 定长数组通过里面存储的 weak 变量的地址，把 weak 变量指向置为 nil，最后把 weak_entry_t 从 weak_table 中移除。
参考链接
参考链接:
- Objective-C runtime机制(6)——weak引用的底层实现原理
- iOS底层-- weak修饰对象存储原理
- RunTime中SideTables, SideTable, weak_table, weak_entry_t
作者：鳄鱼不怕_牙医不怕
链接：https://juejin.im/post/6865975454822563853