一、初始化方法不同
swift文件轉(zhuǎn)sil文件命令
swiftc -emit-sil main.swift > main.sil
swift:
struct LSPerson {
var age : Int = 20
}
sil:
struct LSPerson {
@_hasStorage @_hasInitialValue var age: Int { get set }
init(age: Int = 20)
init()
}
- 結(jié)構(gòu)體成員有默認(rèn)值時(shí)输瓜，編譯器自動(dòng)生成
init(age: Int = 20)和init()(帶參和不帶參)的初始化方法
swift:
struct LSPerson {
var age : Int
}
sil:
struct LSPerson {
@_hasStorage var age: Int { get set }
init(age: Int)
}
- 結(jié)構(gòu)體成員沒有默認(rèn)值時(shí)覆劈，編譯器只會自動(dòng)生成
init(age: Int)(帶參)的初始化方法
swift:
class LSPerson {
var age: Int = 20
}
sil:
class LSPerson {
@_hasStorage @_hasInitialValue var age: Int { get set }
@objc deinit
init()
}
- 類class 中如果所有成員變量都有默認(rèn)值甩卓，編譯器會自動(dòng)生成
init()(不帶參)的初始化方法
swift:
class LSPerson {
var age: Int
init(_ age: Int) {
self.age = age
}
}
sil:
class LSPerson {
@_hasStorage var age: Int { get set }
init(_ age: Int)
@objc deinit
}
- 類class 中如果有成員變量沒有默認(rèn)值双肤，則必須自己聲明初始化方法弦聂，否則會編譯不通過，報(bào)錯(cuò)
class has no initalizer
二柳击、值類型和引用類型
- 結(jié)構(gòu)體：值類型
struct LSPerson {
var age : Int = 20
}
var p = LSPerson()
var p1 = p
p1.age = 40
print("\(p.age)")
print("\(p1.age)")
打印結(jié)果為20 和 40猿推，可以看到結(jié)構(gòu)體實(shí)例進(jìn)行賦值后，修改結(jié)構(gòu)體的成員變量的值捌肴，對其他結(jié)構(gòu)體實(shí)例中成員變量的值沒有影響蹬叭。
打印結(jié)構(gòu)體實(shí)例地址命令
po withUnsafeMutablePointer(to: &p){print($0)}
po withUnsafeMutablePointer(to: &p1){print($0)}
image.png
- 可以看到結(jié)構(gòu)體對象地址中存儲的是成員變量的值
同樣可以將swift文件轉(zhuǎn)成sil進(jìn)行查看
// LSPerson.init()
sil hidden @$s4main8LSPersonVACycfC : $@convention(method) (@thin LSPerson.Type) -> LSPerson {
// %0 "$metatype"
bb0(%0 : $@thin LSPerson.Type):
%1 = alloc_stack $LSPerson, let, name "self" // users: %4, %7
%2 = integer_literal $Builtin.Int64, 20 // user: %3
%3 = struct $Int (%2 : $Builtin.Int64) // users: %5, %6
%4 = struct_element_addr %1 : $*LSPerson, #LSPerson.age // user: %5
store %3 to %4 : $*Int // id: %5
%6 = struct $LSPerson (%3 : $Int) // user: %8
dealloc_stack %1 : $*LSPerson // id: %7
return %6 : $LSPerson // id: %8
} // end sil function '$s4main8LSPersonVACycfC'
- 在
LSPerson.init()結(jié)構(gòu)體初始化實(shí)例時(shí)，是調(diào)用alloc_stack函數(shù)状知，是在棧上開辟空間創(chuàng)建變量秽五。
- 類 class：引用類型
class LSPerson {
var age: Int
init(_ age: Int) {
self.age = age
}
}
var p = LSPerson(20)
var p1 = p
p1.age = 40
print("p.age=\(p.age)")
print("p1.age=\(p1.age)")
打印結(jié)構(gòu)為p.age=40 和 p1.age=40，類的實(shí)例對象賦值后饥悴，修改新的實(shí)例對象中屬性的值坦喘，會影響就的類實(shí)例對象的值
- 在控制臺進(jìn)行打印，發(fā)現(xiàn)p和p1指向同一塊內(nèi)存西设，所以進(jìn)行修改會互相影響瓣铣。
同樣可以查看sil文件
// LSPerson.__allocating_init(_:)
sil hidden [exact_self_class] @$s4main8LSPersonCyACSicfC : $@convention(method) (Int, @thick LSPerson.Type) -> @owned LSPerson {
// %0 "age" // user: %4
// %1 "$metatype"
bb0(%0 : $Int, %1 : $@thick LSPerson.Type):
%2 = alloc_ref $LSPerson // user: %4
// function_ref LSPerson.init(_:)
%3 = function_ref @$s4main8LSPersonCyACSicfc : $@convention(method) (Int, @owned LSPerson) -> @owned LSPerson // user: %4
%4 = apply %3(%0, %2) : $@convention(method) (Int, @owned LSPerson) -> @owned LSPerson // user: %5
return %4 : $LSPerson // id: %5
} // end sil function '$s4main8LSPersonCyACSicfC'
在LSPerson.__allocating_init(_:)初始化方法中，調(diào)用alloc_ref函數(shù)贷揽，應(yīng)該是在堆上進(jìn)行內(nèi)存分配棠笑，然后將指針p指向該內(nèi)存。
三禽绪、方法調(diào)用方式不同
- 結(jié)構(gòu)體方法調(diào)用
struct LSPerson {
func eat() {
print("eat")
}
}
var p = LSPerson()
p.eat()
在p.eat()處打斷點(diǎn)查看匯編代碼如下圖所示
image.png
可以看到調(diào)用eat方法蓖救，是直接調(diào)用callq 0x100002b70洪规，靜態(tài)調(diào)用。
image.png
使用
MachOView查看macho文件循捺，在匯編代碼部分淹冰，同樣可以直接看到調(diào)用0x100002b70該地址。
image.png
在
Symbol Tables中巨柒，可以同樣找到對應(yīng)地址的函數(shù)樱拴。Symbol Tables中的符號地址代表，符號在字符串表String Tables中的偏移位置洋满。
- 結(jié)論是結(jié)構(gòu)體在編譯鏈接之后晶乔，其中的方法地址已經(jīng)確定了，通過靜態(tài)調(diào)用效率更高
- 類 class的方法調(diào)用
//TODO
結(jié)構(gòu)體和類的區(qū)別總結(jié)：
一牺勾、初始化方法不同
- 結(jié)構(gòu)體成員有默認(rèn)值時(shí)正罢，編譯器自動(dòng)生成
init(age: Int = 20)和init()(帶參和不帶參)的初始化方法。 - 結(jié)構(gòu)體成員沒有默認(rèn)值時(shí)驻民，編譯器只會自動(dòng)生成
init(age: Int)(帶參)的初始化方法翻具。 - 類class 中如果所有成員變量都有默認(rèn)值，編譯器會自動(dòng)生成
init()(不帶參)的初始化方法回还。 - 類class 中如果有成員變量沒有默認(rèn)值裆泳，則必須自己聲明初始化方法，否則會編譯不通過柠硕，報(bào)錯(cuò)
class has no initalizer工禾。
二、值類型和引用類型
- 結(jié)構(gòu)體
- 結(jié)構(gòu)體是值類型蝗柔。
- 結(jié)構(gòu)體對象地址中存儲的是成員變量的值闻葵。
- 結(jié)構(gòu)體初始化實(shí)例時(shí)，是調(diào)用
alloc_stack函數(shù)癣丧，是在棧上開辟空間創(chuàng)建變量槽畔。
- 類
- 類是引用類型。
- 類初始化實(shí)例時(shí)胁编，調(diào)用
alloc_ref函數(shù)厢钧，是在堆上進(jìn)行內(nèi)存分配，然后將指針p指向該內(nèi)存掏呼。
三坏快、方法調(diào)用方式不同
- 結(jié)構(gòu)體在編譯鏈接之后铅檩，其中的方法地址已經(jīng)確定了憎夷，通過靜態(tài)調(diào)用效率更高
