本文主要介紹為什么結(jié)構(gòu)體是值類型，類是引用類型。

值類型

前提：需要了解內(nèi)存五大區(qū)，內(nèi)存五大區(qū)可以參考這篇文章iOS底層原理：內(nèi)存五大區(qū)，如下所示

內(nèi)存五大區(qū)

• 棧區(qū)的地址 比 堆區(qū)的地址 大
• 棧是從高地址->低地址，向下延伸，由系統(tǒng)自動(dòng)管理，是一片連續(xù)的內(nèi)存空間
• 堆是從低地址->高地址，向上延伸，由程序員管理，堆空間結(jié)構(gòu)類似于鏈表，是不連續(xù)的
• 日常開發(fā)中的溢出是指堆棧溢出，可以理解為棧區(qū)與堆區(qū)邊界碰撞的情況
• 全局區(qū)、常量區(qū)都存儲(chǔ)在Mach-O中的_ _TEXT cString段

我們通過一個(gè)例子來引入什么是值類型

func test(){
    // 棧區(qū)聲明一個(gè)地址，用來存儲(chǔ)age變量
    var age = 18
    // 傳遞的值
    var age2 = age
    // age、age2是修改獨(dú)立內(nèi)存中的值
    age = 30
    age2 = 45
    
    print("age=\(age),age2=\(age2)")
}
test()

從例子中可以得出，age存儲(chǔ)在棧區(qū)

• 查看age的內(nèi)存情況，從圖中可以看出，棧區(qū)直接存儲(chǔ)的是值
  • 獲取age的棧區(qū)地址：po withUnsafePointer(to: &age){print($0)}
  • 查看age內(nèi)存情況：x/8g 0x00007ffeefbff3e0

值類型-1

• 查看age2的情況，從下圖中可以看出，age2的賦值相當(dāng)于將age中的值拿出來，賦值給了age2。其中age與age2 的地址相差了8字節(jié)，從這里可以說明棧空間是連續(xù)的、且是從高到低的

值類型-2

所以，從上面可以說明，age就是值類型

值類型 特點(diǎn)

• 1、地址中存儲(chǔ)的是值
• 2、值類型的傳遞過程中，相當(dāng)于傳遞了一個(gè)副本，也就是所謂的深拷貝
• 3、值傳遞過程中，并不共享狀態(tài)

結(jié)構(gòu)體

結(jié)構(gòu)體的常用寫法

//***** 寫法一 *****
struct SunriseTeacher {
    var age: Int = 18
    
    func teach(){
        print("teach")
    }
}
let t = SunriseTeacher()

//***** 寫法二 *****
struct SunriseTeacher {
    var age: Int
    
    func teach(){
        print("teach")
    }
}
let t = SunriseTeacher(age: 18)

• 在結(jié)構(gòu)體中，如果不給屬性默認(rèn)值，編譯是不會(huì)報(bào)錯(cuò)的。即在結(jié)構(gòu)體中屬性可以賦值，也可以不賦值

值類型-3

• init方法可以重寫，也可以使用系統(tǒng)默認(rèn)的

結(jié)構(gòu)體的SIL分析

• 如果沒有init，系統(tǒng)會(huì)提供不同的默認(rèn)初始化方法

值類型-4

• 如果提供了自定義的init，就只有自定義的

值類型-5

為什么結(jié)構(gòu)體是值類型？

定義一個(gè)結(jié)構(gòu)體，并進(jìn)行分析

值類型-6

• 獲取t的內(nèi)存地址，并查看其內(nèi)存情況
  • 獲取地址：po withUnsafePointer(to: &t){print($0)}
  • 查看內(nèi)存情況：x/8g 0x0000000100008028

值類型-7

問題：此時(shí)將t賦值給t1，如果修改了t1，t會(huì)發(fā)生改變嗎？

• 直接打印t及t1，可以發(fā)現(xiàn)t并沒有因?yàn)閠1的改變而改變，主要是因?yàn)?code>t1和t之間是值傳遞，即t1和t是不同內(nèi)存空間，是直接將t中的值拷貝至t1中。t1修改的內(nèi)存空間，是不會(huì)影響t的內(nèi)存空間的

值類型-8

SIL驗(yàn)證

同樣的，我們也可以通過分析SIL來驗(yàn)證結(jié)構(gòu)體是值類型

• 在SIL文件中，我們查看結(jié)構(gòu)體的初始化方法，可以發(fā)現(xiàn)只有init，而沒有malloc，在其中看不到任何關(guān)于堆區(qū)的分配

值類型-9

總結(jié)

• 結(jié)構(gòu)體是值類型，且結(jié)構(gòu)體的地址就是第一個(gè)成員的內(nèi)存地址
• 值類型
  • 在內(nèi)存中直接存儲(chǔ)值
  • 值類型的賦值，是一個(gè)值傳遞的過程，即相當(dāng)于拷貝了一個(gè)副本，存入不同的內(nèi)存空間，兩個(gè)空間彼此間并不共享狀態(tài)
  • 值傳遞其實(shí)就是深拷貝

引用類型

類

類的常用寫法

//****** 寫法一 *******
class SunriseTeacher {
    var age: Int = 18
    
    func teach(){
        print("teach")
    }
    init(_ age: Int) {
        self.age = age
    }
}
var t = SunriseTeacher.init(20)

//****** 寫法二 *******
class SunriseTeacher {
    var age: Int?
    
    func teach(){
        print("teach")
    }
    init(_ age: Int) {
        self.age = age
    }
}
var t = SunriseTeacher.init(20)

• 在類中，如果屬性沒有賦值，也不是可選項(xiàng)，編譯會(huì)報(bào)錯(cuò)

引用類型-1

• 需要自己實(shí)現(xiàn)init方法

為什么類是引用類型？

定義一個(gè)類，通過一個(gè)例子來說明

class SunriseTeacher1 {
    var age: Int = 18
    var age2: Int = 20
}
var t1 = SunriseTeacher1()

類初始化的對(duì)象t1，存儲(chǔ)在全局區(qū)

• 打印t1、t：po t1，從圖中可以看出，t1內(nèi)存空間中存放的是地址，t中存儲(chǔ)的是值

引用類型-2

• 獲取t1變量的地址，并查看其內(nèi)存情況
  • 獲取t1指針地址：po withUnsafePointer(to: &t1){print($0)}
  • 查看t1全局區(qū)地址內(nèi)存情況：x/8g 0x0000000100008218
  • 查看t1地址中存儲(chǔ)的堆區(qū)地址內(nèi)存情況：x/8g 0x0000000100504ad0

引用類型-3

引用類型 特點(diǎn)

• 1、地址中存儲(chǔ)的是堆區(qū)地址
• 2、堆區(qū)地址中存儲(chǔ)的是值

問題1：此時(shí)將t1賦值給t2，如果修改了t2，會(huì)導(dǎo)致t1修改嗎？

• 通過lldb調(diào)試得知，修改了t2，會(huì)導(dǎo)致t1改變，主要是因?yàn)?code>t2、t1地址中都存儲(chǔ)的是 同一個(gè)堆區(qū)地址，如果修改，修改是同一個(gè)堆區(qū)地址，所以修改t2會(huì)導(dǎo)致t1一起修改，即淺拷貝

引用類型-4

問題2:如果結(jié)構(gòu)體中包含類對(duì)象，此時(shí)如果修改t1中的實(shí)例對(duì)象屬性，t會(huì)改變嗎？

class SunriseTeacher1 {
    var age: Int = 18
    var age2: Int = 20
}

struct SunriseTeacher {
    var age: Int = 18
    var age2: Int = 20
    var teacher: SunriseTeacher1 = SunriseTeacher1()
}

var t = SunriseTeacher()

var t1 = t
t1.teacher.age = 30

print("t.teacher.age = \(t.teacher.age) \nt1.teacher.age = \(t1.teacher.age)")

//打印結(jié)果如下
t.teacher.age = 30
t1.teacher.age = 30

從打印結(jié)果中可以看出，如果修改t1中的實(shí)例對(duì)象屬性，會(huì)導(dǎo)致t中實(shí)例對(duì)象屬性的改變。雖然在結(jié)構(gòu)體中是值傳遞，但是對(duì)于teacher，由于是引用類型，所以傳遞的依然是地址

同樣可以通過lldb調(diào)試驗(yàn)證

• 打印t的地址：po withUnsafePointer(to: &t){print($0)}
• 打印t的內(nèi)存情況： x/8g 0x0000000100008238
• 打印t中teacher地址的內(nèi)存情況：x/8g 0x0000000101805440

引用類型-5

注意：在編寫代碼過程中，應(yīng)該盡量避免值類型包含引用類型

查看當(dāng)前的SIL文件，盡管SunriseTeacher1是放在值類型中的，在傳遞的過程中，不管是傳遞還是賦值，teacher都是按照引用計(jì)數(shù)進(jìn)行管理的

引用類型-6

可以通過打印teacher的引用計(jì)數(shù)來驗(yàn)證我們的說法，其中teacher的引用計(jì)數(shù)為3

引用類型-7

主要是是因?yàn)椋?/p>

• main中retain一次
• teacher.getter方法中retain一次
• teacher.setter方法中retain一次

引用類型-8

mutating

通過結(jié)構(gòu)體定義一個(gè)棧，主要有push、pop方法，此時(shí)我們需要?jiǎng)討B(tài)修改棧中的數(shù)組

• 如果是以下這種寫法，會(huì)直接報(bào)錯(cuò)，原因是值類型本身是不允許修改屬性的

引用類型-9

• 將push方法改成下面的方式，查看SIL文件中的push函數(shù)

struct SunriseStack {
    var items: [Int] = []
    func push(_ item: Int) {
        items.append(item)
    }
}

引用類型-10

從圖中可以看出，push函數(shù)除了item，還有一個(gè)默認(rèn)參數(shù)self，self是let類型，表示不允許修改

struct SunriseStack {
    var items: [Int] = []
    func push(_ item: Int) {
        var s = self
        s.items.append(item)
    }
}

var s = SunriseStack()
s.push(1)
print(s.items)

// ****打印結(jié)果如下****
[]

可以得出上面的代碼并不能將item添加進(jìn)去，因?yàn)閟是另一個(gè)結(jié)構(gòu)體對(duì)象，相當(dāng)于值拷貝，此時(shí)調(diào)用push是將item添加到s的數(shù)組中了

• 根據(jù)前文中的錯(cuò)誤提示，給push添加mutating，發(fā)現(xiàn)可以添加到數(shù)組了

struct SunriseStack {
    var items: [Int] = []
    mutating func push(_ item: Int) {
        items.append(item)
    }
}

var s = SunriseStack()
s.push(1)
print(s.items)

// ****打印結(jié)果如下****
[1]

查看其SIL文件，找到push函數(shù)，發(fā)現(xiàn)與之前有所不同，push添加mutating（只用于值類型）后，本質(zhì)上是給值類型函數(shù)添加了inout關(guān)鍵字，相當(dāng)于在值傳遞的過程中，傳遞的是引用（即地址）

引用類型-11

inout關(guān)鍵字

一般情況下，在函數(shù)的聲明中，默認(rèn)的參數(shù)都是不可變的，如果想要直接修改，需要給參數(shù)加上inout關(guān)鍵字

• 未加inout關(guān)鍵字，給參數(shù)賦值，編譯報(bào)錯(cuò)

引用類型-12

• 添加inout關(guān)鍵字，可以給參數(shù)賦值

引用類型-13

總結(jié)

• 1、結(jié)構(gòu)體中的函數(shù)如果想修改其中的屬性，需要在函數(shù)前加上mutating，而類則不用
• 2、mutating本質(zhì)也是加一個(gè)inout修飾的self
• 3、Inout相當(dāng)于取地址，可以理解為地址傳遞，即引用
• 4、mutating修飾方法，而inout 修飾參數(shù)

總結(jié)

通過上述LLDB查看結(jié)構(gòu)體 & 類的內(nèi)存模型，有以下總結(jié)：

• 值類型，相當(dāng)于一個(gè)本地excel，當(dāng)我們通過QQ傳給你一個(gè)excel時(shí)，就相當(dāng)于一個(gè)值類型，你修改了什么我們這邊是不知道的
• 引用類型，相當(dāng)于一個(gè)在線表格，當(dāng)我們和你共同編輯一個(gè)在先表格時(shí)，就相當(dāng)于一個(gè)引用類型，兩邊都會(huì)看到修改的內(nèi)容
• 結(jié)構(gòu)體中函數(shù)修改屬性， 需要在函數(shù)前添加mutating關(guān)鍵字，本質(zhì)是給函數(shù)的默認(rèn)參數(shù)self添加了inout關(guān)鍵字，將self從let常量改成了var變量

方法調(diào)度

通過上面的分析，我們有以下疑問：結(jié)構(gòu)體和類的方法存儲(chǔ)在哪里？下面來一一進(jìn)行分析

靜態(tài)派發(fā)

值類型對(duì)象的函數(shù)的調(diào)用方式是靜態(tài)調(diào)用，即直接地址調(diào)用，調(diào)用函數(shù)指針，這個(gè)函數(shù)指針在編譯、鏈接完成后就已經(jīng)確定了，存放在代碼段，而結(jié)構(gòu)體內(nèi)部并不存放方法。因此可以通過地址直接調(diào)用

• 結(jié)構(gòu)體函數(shù)調(diào)試如下所示

靜態(tài)派發(fā)-1

• 打開打開demo的Mach-O可執(zhí)行文件，其中的__text段，就是所謂的代碼段，需要執(zhí)行的匯編指令都在這里

靜態(tài)派發(fā)-2

對(duì)于上面的分析，還有個(gè)疑問：直接地址調(diào)用后面是符號(hào)，這個(gè)符號(hào)哪里來的？

靜態(tài)派發(fā)-3

是從Mach-O文件中的符號(hào)表Symbol Tables，但是符號(hào)表中并不存儲(chǔ)字符串，字符串存儲(chǔ)在String Table（字符串表，存放了所有的變量名和函數(shù)名，以字符串形式存儲(chǔ)），然后根據(jù)符號(hào)表中的偏移值到字符串中查找對(duì)應(yīng)的字符，然后進(jìn)行命名重整：工程名+類名+函數(shù)名，如下所示

靜態(tài)派發(fā)-4

• Symbol Table：存儲(chǔ)符號(hào)位于字符串表的位置
• Dynamic Symbol Table：動(dòng)態(tài)庫(kù)函數(shù)位于符號(hào)表的偏移信息

還可以通過終端命令nm，獲取項(xiàng)目中的符號(hào)表

• 查看符號(hào)表：nm mach-o文件路徑
• 通過命令還原符號(hào)名稱：xcrun swift-demangle 符號(hào)

靜態(tài)派發(fā)-5

• 如果將edit scheme -> run中的debug改成release，編譯后查看，在可執(zhí)行文件目錄下，多一個(gè)后綴為dSYM的文件，此時(shí)，再去Mach-O文件中查找teach，發(fā)現(xiàn)是找不到，其主要原因是因?yàn)?code>靜態(tài)鏈接的函數(shù)，實(shí)際上是不需要符號(hào)的，一旦編譯完成，其地址確定后，當(dāng)前的符號(hào)表就會(huì)刪除當(dāng)前函數(shù)對(duì)應(yīng)的符號(hào)，在release環(huán)境下，符號(hào)表中存儲(chǔ)的只是不能確定地址的符號(hào)
• 對(duì)于不能確定地址的符號(hào)，是在運(yùn)行時(shí)確定的，即函數(shù)第一次調(diào)用時(shí)（相當(dāng)于懶加載），例如print，是通過dyld_stub_bind確定地址的（這個(gè)在最新版的12.2中通過斷點(diǎn)調(diào)試并未找到，后續(xù)待繼續(xù)驗(yàn)證）

靜態(tài)派發(fā)-6

函數(shù)符號(hào)命名規(guī)則

• 對(duì)于C函數(shù)來說，命名的重整規(guī)則就是在函數(shù)名之前加_（注意：C中不允許函數(shù)重載，因?yàn)闆]有辦法區(qū)分）

#include <stdio.h>
void test(){    }

靜態(tài)派發(fā)-7

• 對(duì)于OC來說，也不支持函數(shù)重載，其符號(hào)命名規(guī)則是-[類名 函數(shù)名]

靜態(tài)派發(fā)-8

• 對(duì)于Swift來說，是云溪函數(shù)重載，主要是因?yàn)閟wift中的重整命名規(guī)則比較復(fù)雜，可以確保函數(shù)符號(hào)的唯一性

ASLR

• 通過運(yùn)行發(fā)現(xiàn)，Mach-O中的地址與調(diào)試時(shí)直接獲取的地址是有一定偏差的，其主要原因是實(shí)際調(diào)用時(shí)地址多了一個(gè)ASLR（地址空間布局隨機(jī)化 address space layout randomizes）

ASLR-1

• 可以通過image list查看，其中0x0000000100000000是程序運(yùn)行的首地址，后8位是隨機(jī)偏移00000000（即ASLR）

ASLR-2

• 將Mach-O中的文件地址0x0000000100003D80 + 0x00000000 = 0x100003D80，正好對(duì)應(yīng)上面調(diào)用的地址

動(dòng)態(tài)派發(fā)

匯編指令補(bǔ)充

• blr：帶返回的跳轉(zhuǎn)指令，跳轉(zhuǎn)到指令后邊跟隨寄存器中保存的地址
• mov：將某一寄存器的值復(fù)制到另一寄存器（只能用于寄存器與寄存器或者寄存器與常量之間傳值，不能用于內(nèi)存地址）
  • mov x1, x0 將寄存器x0的值復(fù)制到寄存器x1中
• ldr：將內(nèi)存中的值讀取到寄存器中
  • ldr x0, [x1, x2] 將寄存器x1和寄存器x2 相加作為地址，取該內(nèi)存地址的值翻入寄存器x0中
• str：將寄存器中的值寫入到內(nèi)存中
  • str x0, [x0, x8] 將寄存器x0的值保存到內(nèi)存[x0 + x8]處
• bl：跳轉(zhuǎn)到某地址

探索class的調(diào)度方式

首先介紹下V_Table在SIL文件中的格式

// 聲明sil vtable關(guān)鍵字
decl ::= sil-vtable
// sil vtable中包含 關(guān)鍵字、標(biāo)識(shí)（即類名）、所有的方法
2 sil-vtable ::= 'sil_vtable' identifier '{' sil-vtable-entry* '}'
// 方法中包含了聲明以及函數(shù)名稱
3 sil-vtable-entry ::= sil-decl-ref ':' sil-linkage? sil-function-na
me

例如，以SunriseTacher為例，其SIL中的v-table如下所示

class SunriseTeacher{
    func teach(){}
    func teach2(){}
    func teach3(){}
    func teach4(){}
    @objc deinit{}
    init(){}
}

動(dòng)態(tài)派發(fā)-1

• sil_vtable：關(guān)鍵字
• SunriseTeacher：表示是SunriseTeacher類的函數(shù)表
• 其次就是當(dāng)前方法的聲明對(duì)應(yīng)著方法的名稱
• 函數(shù)表 可以理解為 數(shù)組，聲明在 class內(nèi)部的方法在不加任何關(guān)鍵字修飾的過程中，是連續(xù)存放在我們當(dāng)前的地址空間中的。這一點(diǎn)，可以通過斷點(diǎn)來印證

動(dòng)態(tài)派發(fā)-2

• register read x0，此時(shí)的地址和實(shí)例對(duì)象的地址是相同的，其中x8 實(shí)例對(duì)象地址，即首地址

動(dòng)態(tài)派發(fā)-3

觀察這幾個(gè)方法的偏移地址，可以發(fā)現(xiàn)方法是連續(xù)存放的，正好對(duì)應(yīng)V-Table函數(shù)表中的排放順序，即是按照定義順序排放在函數(shù)表中

動(dòng)態(tài)派發(fā)-4

函數(shù)表源碼探索

下面來進(jìn)行函數(shù)表底層的源碼探索

• 源碼中搜索initClassVTable，并加上斷點(diǎn)，然后寫上源碼進(jìn)行調(diào)試

函數(shù)表-1

其內(nèi)部是通過for循環(huán)編碼，然后offset+index偏移，然后獲取method，將其存入到偏移后的內(nèi)存中，從這里可以印證函數(shù)是連續(xù)存放的

對(duì)于class中函數(shù)來說，類的方法調(diào)度是通過V-Table，其本質(zhì)就是一個(gè)連續(xù)的內(nèi)存空間（數(shù)組結(jié)構(gòu)）。

問題：如果更改方法聲明的位置呢？例如extension中的函數(shù)，此時(shí)的函數(shù)調(diào)度方式還是函數(shù)表調(diào)度嗎

通過以下代碼驗(yàn)證

• 定義一個(gè)SunriseTeacher的extension

extension SunriseTeacher{
    func teach5(){ print("teach5") }
}

• 在定義一個(gè)子類SunriseStudent繼承自SunriseTeacher，查看SIL中的V-Table

class SunriseStudent: SunriseTeacher{}

函數(shù)表-2

其原因是因?yàn)?code>子類將父類的函數(shù)表全部繼承了，如果此時(shí)子類增加函數(shù)，會(huì)繼續(xù)在連續(xù)的地址中插入，假設(shè)extension函數(shù)也是在函數(shù)表中，則意味著子類也有，但是子類并沒有相關(guān)的指針記錄函數(shù) 是父類方法 還是子類方法，所以不知道方法該從哪里插入，導(dǎo)致extension中的函數(shù)無(wú)法安全的放入子類中。所以在這里可以側(cè)面證明extension中的方法是直接調(diào)用的，且只屬于類，子類是無(wú)法繼承的

開發(fā)注意點(diǎn)：

• 繼承方法和屬性，不能寫extension中。
• 而extension中創(chuàng)建的函數(shù)，一定是只屬于自己類，但是其子類也有其訪問權(quán)限，只是不能繼承和重寫，如下所示

class SunriseTeacher{}

extension SunriseTeacher{
    var age: Int{
        get{
            return 18
        }
    }
    func teach(){
        print("teach")
    }
}

class SunriseMiddleTeacher: SunriseTeacher{
    func study() {
        print("SunriseMiddleTeacher study")
    }
}

var t = SunriseMiddleTeacher()

//子類有父類extension中方法的訪問權(quán)限，只是不能繼承和重寫
t.teach()
t.study()
print(t.age)

// <!--運(yùn)行結(jié)果-->
teach
SunriseMiddleTeacher study
18

final、@objc、dynamic修飾函數(shù)

final 修飾

• final 修飾的方法是 直接調(diào)度的,可以通過SIL驗(yàn)證 + 斷點(diǎn)驗(yàn)證

class CJLTeacher {
    final func teach(){ print("teach") }
    func teach2(){ print("teach2") }
    func teach3(){ print("teach3") }
    func teach4(){ print("teach4") }
    @objc deinit{}
    init(){}
}

image

@objc 修飾

使用@objc關(guān)鍵字是將swift中的方法暴露給OC

class CJLTeacher{
    @objc func teach(){ print("teach") }
    func teach2(){ print("teach2") }
    func teach3(){ print("teach3") }
    func teach4(){ print("teach4") }
    @objc deinit{}
    init(){}
}

通過SIL+斷點(diǎn)調(diào)試，發(fā)現(xiàn)@objc修飾的方法是 函數(shù)表調(diào)度

image

【小技巧】：混編頭文件查看方式：查看項(xiàng)目名-Swift.h頭文件

image

• 如果只是通過@objc修飾函數(shù)，OC還是無(wú)法調(diào)用swift方法的，因此如果想要OC訪問swift，class需要繼承NSObject

<!--swift類-->
class CJLTeacher: NSObject {
    @objc func teach(){ print("teach") }
    func teach2(){ print("teach2") }
    func teach3(){ print("teach3") }
    func teach4(){ print("teach4") }
    @objc deinit{}
    override init(){}
}

<!--橋接文件中的聲明-->
SWIFT_CLASS("_TtC9_3_指針10CJLTeacher")
@interface CJLTeacher : NSObject
- (void)teach;
- (nonnull instancetype)init OBJC_DESIGNATED_INITIALIZER;
@end

<!--OC調(diào)用-->
//1、導(dǎo)入swift頭文件
#import "CJLOCTest-Swift.h"
//2、調(diào)用
CJLTeacher *t = [[CJLTeacher alloc] init];
[t teach];

查看SIL文件發(fā)現(xiàn)被@objc修飾的函數(shù)聲明有兩個(gè)：swift + OC（內(nèi)部調(diào)用的swift中的teach函數(shù)）

image

即在SIL文件中生成了兩個(gè)方法

• swift原有的函數(shù)
• @objc標(biāo)記暴露給OC來使用的函數(shù)： 內(nèi)部調(diào)用swift的

dynamic 修飾

以下面代碼為例，查看dynamic修飾的函數(shù)的調(diào)度方式

class WRSTeacher: NSObject {
    dynamic func teach(){ print("teach") }
    func teach2(){ print("teach2") }
    func teach3(){ print("teach3") }
    func teach4(){ print("teach4") }
    @objc deinit{}
    override init(){}
}

其中teach函數(shù)的調(diào)度還是 函數(shù)表調(diào)度，可以通過斷點(diǎn)調(diào)試驗(yàn)證，使用dynamic的意思是可以動(dòng)態(tài)修改，意味著當(dāng)類繼承自NSObject時(shí)，可以使用method-swizzling

image

場(chǎng)景：swift中實(shí)現(xiàn)方法交換

在swift中的需要交換的函數(shù)前，使用dynamic修飾，然后通過：@_dynamicReplacement(for: 函數(shù)符號(hào))進(jìn)行交換，如下所示

class WRSTeacher: NSObject {
    dynamic func teach(){ print("teach") }
    func teach2(){ print("teach2") }
    func teach3(){ print("teach3") }
    func teach4(){ print("teach4") }
    @objc deinit{}
    override init(){}
}

extension WRSTeacher{
    @_dynamicReplacement(for: teach)
    func teach5(){
        print("teach5")
    }
}

let t = WRSTeacher()
t.teach()
t.teach2()
t.teach3()
t.teach4()
print("end")

將teach方法替換成了teach5

image

• 如果teach沒有實(shí)現(xiàn) / 如果去掉dynamic修飾符，會(huì)報(bào)錯(cuò)

image

總結(jié)

• struct是值類型，其中函數(shù)的調(diào)度屬于直接調(diào)用地址，即靜態(tài)調(diào)度
• class是引用類型，其中函數(shù)的調(diào)度是通過V-Table函數(shù)表來進(jìn)行調(diào)度的，即動(dòng)態(tài)調(diào)度
• extension中的函數(shù)調(diào)度方式是直接調(diào)度
• final修飾的函數(shù)調(diào)度方式是直接調(diào)度
• @objc修飾的函數(shù)調(diào)度方式是函數(shù)表調(diào)度，如果OC中需要使用，class還必須繼承NSObject
• dynamic修飾的函數(shù)的調(diào)度方式是函數(shù)表調(diào)度，使函數(shù)具有動(dòng)態(tài)性
• @objc + dynamic組合修飾的函數(shù)調(diào)度，執(zhí)行的是objc_msgSend流程，即動(dòng)態(tài)消息轉(zhuǎn)發(fā)

補(bǔ)充：內(nèi)存插件

主要補(bǔ)充內(nèi)存插件libfooplugin.dylib安裝及使用

• 在跟目下創(chuàng)建.lldbinit文件 vim /.lldbinit
• 然后輸入plugin load libfooplugin.dylib路徑
• 使用：在lldb 調(diào)試中輸入 --cat address 地址

可以在這里下載插件文件，密碼: ssge

內(nèi)存分區(qū)實(shí)踐

堆區(qū)

有以下代碼，通過cat查看t屬于哪個(gè)區(qū)

class SunriseTeacher{
   func teach(){
       
   }
}

let t = SunriseTeacher()

print("end")

堆區(qū)

從結(jié)果中可以看出，是在堆區(qū)，即heap pointer

棧區(qū)

查看以下代碼的內(nèi)存地址位于哪個(gè)區(qū)？

func test(){
    var age: Int = 10
    print(age)
}

test()

棧區(qū)-1

從結(jié)果來看，位于棧區(qū)，即stack pointer

全局區(qū)

對(duì)于C的分析

下面是C語(yǔ)言的部分代碼，查看其變量的內(nèi)存地址

// 全局已初始化變量
int a = 10;
// 全局未初始化變量
int age;

// 全局靜態(tài)變量
static int age2 = 30;

int main(int argc, const char * argv[]) {
    
    char *p = "SunriseTeacher";
    printf("%d\n", a);
    printf("%d\n", age2);
    return  0;
}

• 查看a（全局已初始化變量）的內(nèi)存地址

全局區(qū)-1

其中__DATA.__data表示segment.section，這里的位置和全局區(qū)并不沖突，因?yàn)橐粋€(gè)是人為的內(nèi)存分配（內(nèi)存布局分區(qū)），一個(gè)是Mach-O的segment.section段中，是文件的格式劃分

全局區(qū)-2

• 查看age（全局未初始化變量）的內(nèi)存地址

全局區(qū)-3

age在Mach-O文件中，放在了__DATA.__common段，主要放的就是未初始化的符號(hào)聲明（mach-o相比內(nèi)存劃分更細(xì)，主要是為了更好的定位符號(hào)），當(dāng)然此時(shí)的age在內(nèi)存中依然在全局區(qū)

• 查看age2（全局已初始化靜態(tài)變量）的內(nèi)存地址（其中需要注意：age2必須使用才能找到，否則會(huì)報(bào)錯(cuò)）

全局區(qū)-4

• 觀察3個(gè)變量的地址，其地址都是相鄰的，因?yàn)樵趦?nèi)存中都放在了全局區(qū)，觀察其內(nèi)存地址，可以發(fā)現(xiàn)，在全局區(qū)中，未初始化變量地址 比 已初始化變量地址 高

全局區(qū)-5

• 如果定義了一個(gè)char *p = "SunriseTeacher",查看*p，存儲(chǔ)在__TEXT.cstring段，內(nèi)存中存儲(chǔ)在常量區(qū)

全局區(qū)-6

• 如果是const修飾的變量呢？存放在Mach-O文件中的__TEXT.__const段

全局區(qū)-7

• 如果使用static + const修飾變量，此時(shí)變量在哪？

static const int age3 = 40;

• 查看age3的內(nèi)存地址，地址特別大，而且使用cat查看不了，因?yàn)?code>Mach-O沒有記錄，age3 就是30，即使用static+const修飾的變量就相當(dāng)于直接替換

全局區(qū)-8

對(duì)于swift的分析

let age = 10

由于是不可變，所以不能通過po+cat查看內(nèi)存，通過匯編 首地址+偏移 來獲取age的內(nèi)存，發(fā)現(xiàn)是在Mach-O的__DATA.__common段

image

從這里可以發(fā)現(xiàn)，這與C中是有所區(qū)別的。swift的不同之處：已經(jīng)初始化的全局變量放在__DATA.__common段，猜測(cè)是因?yàn)?age開始是被標(biāo)記為未初始化的，當(dāng)我們執(zhí)行代碼之后才將10存儲(chǔ)到對(duì)應(yīng)的內(nèi)存地址中

• 如果是var修飾的變量呢？可以發(fā)現(xiàn)與let是一致的，還是__DATA.__common段

var age2 = 10

image

總結(jié)

對(duì)于C語(yǔ)言中全局變量，根據(jù)是否已經(jīng)初始化，存儲(chǔ)在Mach-O中存儲(chǔ)位置是不同的

• 已初始化的全局變量：__DATA.__data
• 未初始化的全局變量：__DATA.__common
• 已初始化的全局靜態(tài)變量，即static修飾：__DATA.__data
• 對(duì)于char *p類型的字符：__TEXT.cstring
• const修飾的全局變量：__TEXT.__const
• static+const修飾的全局變量：Mach-O中沒有記錄