結(jié)構(gòu)體
- 在Swift標(biāo)準(zhǔn)庫中苞慢,絕大數(shù)的公開類型都是結(jié)構(gòu)體诵原,而枚舉和類只占很小一部分
- 比如,bool挽放、double绍赛、string、array辑畦、dictionary等常見的類型都是結(jié)構(gòu)體
Demo
- 所有的結(jié)構(gòu)體都是有一個編譯器自動生成的初始化器(initializer吗蚌,初始化方法、構(gòu)造器纯出、構(gòu)造方法)
- 在第6行調(diào)用的蚯妇,可以傳入所有成員值敷燎,用以初始化所有成員(存儲屬性、stoted preoperty)
- 第6行是程序自動生成的
結(jié)構(gòu)體的初始化器
- 下面系統(tǒng)生成4個初始化器
結(jié)構(gòu)體初始化器1
結(jié)構(gòu)體初始化器2
初始化為 可選類型箩言,也是能編譯通過的
- 可選類型都有一個默認(rèn)值nil
可選類型初初始化器
自定義初始化器
- 一旦在自定義結(jié)構(gòu)體時硬贯,自定義了初始化器,編譯器就不會再幫它生成其他初始化器
自定義初始化器
窺探初始化器的本質(zhì)
比較
上面的兩份代碼完全等效的陨收,下面從匯編角度來分析下就知道了澄成。
// demo 1
func testStruct() {
struct Point {
var x: Int = 0
var y: Int = 0
}
var p = Point()
}
// demo 2
func testStruct() {
struct Point {
var x: Int
var y: Int
init() {
x = 0
y = 0
}
}
var p = Point()
}
分別運行上面的兩份代碼,打斷點進(jìn)入?yún)R編模式可以看出如下
- 第6畏吓、7行就是進(jìn)行x、y的賦值
匯編
結(jié)構(gòu)體的內(nèi)存結(jié)構(gòu)
內(nèi)存結(jié)構(gòu)
類
類的定義和結(jié)構(gòu)體類似卫漫,但是編譯器并沒有為類自動生成可以傳入成員值得初始化器
類只生成了一個無參數(shù)的初始化器
Point()
類和結(jié)構(gòu)體
- 定義類的時間菲饼,沒有初始化變量,編譯器會報錯
無初始化
類的初始化器
- 如果累的所有成員都在定義的時候指定了初始值列赎,編譯器會為類生成無參的初始化器
- 成員的初始化器是在這個初始化器中完成的
下面2段Demo代碼是完全等效的
// demo1
class Point {
var x: Int = 10
var y: Int = 20
}
let p1 = Point()
// demo2
class Point {
var x: Int
var y: Int
init() {
x = 10
y = 20
}
}
let p2 = Point()
結(jié)構(gòu)體與類的本質(zhì)區(qū)別
- 結(jié)構(gòu)體是值類型(枚舉也是值類型)宏悦,類是引用類型(指針類型)
定義了一個Size 類與一個Point結(jié)構(gòu)體,并且都在函數(shù)test()中聲明
定義
- 值類型包吝,在函數(shù)里面創(chuàng)建的饼煞,一定在棧空間里面诗越,所以point內(nèi)存在椬┣疲空間,x嚷狞,y共占用16個字節(jié)地址块促,
- size是類創(chuàng)建,是一個指針變量(在64bit中占8個字節(jié))床未,size指針變量的內(nèi)存在椊叽洌空間,(椶备椋空間有8個字節(jié)存放著這個指針變量0x90000)斋扰,0x90000存放的就是Size對象的內(nèi)存地址(在堆空間占用32個字節(jié),
內(nèi)存
值類型
- 值類型賦值給var啃洋、let或者給函數(shù)傳參传货,是直接將所有內(nèi)容拷貝一份
- 類似于對文件進(jìn)行copy,paste操作宏娄,產(chǎn)生了全新的文件副本损离,屬于深拷貝
demo
- p1與p2的內(nèi)存空間如下圖,p1與p2的內(nèi)存是獨立的绝编,相互不影響
圖片.png
值類型的賦值操作
- Swift中String僻澎、Array貌踏、Dictionary都是值類型
- 在Swift標(biāo)準(zhǔn)庫中,為了提升性能窟勃,String祖乳、Array、Dictionary秉氧、Set采用了Copy On Write的技術(shù)(也就是眷昆,我們創(chuàng)建的String沒有進(jìn)行改變的時候)
- 比如僅當(dāng)有“寫”操作時,才會真正執(zhí)行拷貝
- 對于標(biāo)準(zhǔn)庫值類型的賦值操作汁咏,Swift能確保最佳性能亚斋,所以沒必要為了保證最佳性能來避免賦值 (只有Swift標(biāo)準(zhǔn)庫里,才有攘滩,自己定義的并沒有這種技術(shù))
- 建議:不需要修改的帅刊,盡量定義為let
值類型
例如
下面定義了一個變量p1,然后在重新賦新的值給p1漂问,由于結(jié)構(gòu)體是值類型赖瞒,p1是變量,所以蚤假,新的值栏饮,直接改變p1里面的x、y
struct Point {
var x: Int
var y: Int
}
var p1 = Point(x: 10, y: 20)
p1 = Point(x: 11, y: 22);
賦值
引用類型
- 引用類型賦值給var磷仰、let或者給函數(shù)傳參袍嬉,是直接將內(nèi)存地址拷貝一份
- 類似于制作一個文件的替身(快捷方式、鏈接)灶平,指向的是同一個文件冬竟。屬于淺拷貝
demo
將s1的內(nèi)存地址拷貝一份到s2中,兩個地址相當(dāng)于指向的同一個對內(nèi)存空間
思考
若是將上面的s2.width = 11 s2.height = 22
后s1的值會發(fā)生什么變化
內(nèi)存分布
引用類型的賦值操作
class Size {
var width: Int
var height: Int
init(width: Int, height: Int) {
self.width = width
self.height = height
}
}
var s1 = Size(width: 10, height: 20)
s1 = Size(width: 11, height: 22)
- 總結(jié):如果上面的s1的內(nèi)存地址為
0x10000
民逼,內(nèi)存數(shù)據(jù)為0x90000
泵殴,那么0x90000
指向的堆空間包含(指向類型信息、引用計數(shù)拼苍、10笑诅、20)
重新s1賦值后,s1的內(nèi)存地址依舊為0x10000
但是內(nèi)存地址變化為0x80000
疮鲫,那么0x80000
指向的堆空間包含(指向類型信息吆你、引用計數(shù)、11俊犯、22)
s1消失妇多,0x90000
指向的堆空間 也消失
值類型、引用類型的let
比較
上圖p = Ponit(x: 11, y: 22)
燕侠、s = Size(width: 11, height: 22)
不能改變是因為 let是常量者祖,不能改變
p.x / p.y
不能改變是因為結(jié)構(gòu)體是值類型立莉,改變xy改變的是內(nèi)存地址,所以不能改變
s.width/s.height
能改變七问,是因為改變的是內(nèi)存指向的堆空間的內(nèi)容蜓耻,所以能改變
枚舉、結(jié)構(gòu)體械巡、類都可以定義方法
- 一般把定義在舉刹淌、結(jié)構(gòu)體、類內(nèi)部的函數(shù)讥耗,叫做方法
方法
對象的堆空間申請過程
圖片.png
嵌套類型
- 里面的結(jié)構(gòu)體可能只在當(dāng)前這個函數(shù)里用的到
-
定義好之后就能正常使用
嵌套類型