Swift-方法調度-類的普通方法底層探究
1. 類的普通方法調度
寫一個結構體和一個類,對比看看方法調用的方式:
// 結構體
struct PersonStruct {
func changClassName() {}
}
let s = PersonStruct()
s.changClassName()
// 類
class PersonClass {
func changClassName() {}
}
let c = PersonClass()
c.changClassName()
生成 SIL 程式碼:
【1】結構體及類的 SIL 程式碼:

與結構體不同的是:為PersonClass類自動生成了一個反初始化方法。
【2】執行方法的 SIL 程式碼:

在調用的方式中,可以看到類的方法,不是由function_ref 修飾,而是class_method修飾。
【3】還有一個不同點是,SIL 中為 PersonClass 自動生成了sil_vtable:

由上面 SIL 程式碼,我們可以看出,SIL 為類的方法創建了 sil_vtable,並在調用時,用class_method來修飾。這樣的類的方法調度,是Swift 中動態派發的一種方式,叫做函數派發。
這裡由sil_vtable 關鍵字聲明的就是函數表。 函數表初始化的源碼如下:

從源碼中看,函數表中的數據結構是一個數組,源碼是以遍歷的的方式去獲取函數表內的函數的,所以函數表是按順序存放類中可能是函數派發去執行的函數,但是不一定函數表內的函數都會被以函數派發的方式去調度。
2. OC 繼承鏈中的方法列表存儲結構
我們知道 OC 中的方法是消息派發的方式。 每個對象中都有一個 isa 指針,指向自己的類。類中存放著該類實現的方法列表。本類方法列表中存放著本類實現的方法及父類方法列表的指針。在消息派發時,會先查找本來的方法列表,如果沒找到,再去查找父類的方法列表,以此類推,來尋找方法的實現。
假設A類繼承B類,B類繼承C類,如下圖所示:

3. Swift 繼承連中的函數表存儲結構
Swift 類中函數派發與消息派發類似, 所有類也會維護一個自己的函數表, 不同的是所有未被複寫的父類所實現的函數地址都會拷貝在這個表中, 而不是由一個指向父類方法表的指針替代, 被重寫的函數,在函數表中會指定為子類中的函數。由於少了一步指針定址步驟, 在派發效率上要比基於消息的派發高效。
假設A類繼承B類,B類繼承C類,如下圖所示:

程式碼驗證一下:
以上為這篇文章的全部內容了,希望本文的內容對大家的學習或者工作具有一定的參考學習價值,謝謝大家支援。
青山不改,綠水長流,後會有期,感謝每一位佳人的支援!



