Swift底層原理探索4----結(jié)構(gòu)體和類

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

  • Swift標(biāo)準(zhǔn)庫中牍戚,大多數(shù)公開類型都是結(jié)構(gòu)體,而枚舉和類只占很小的一部分
    比如Bool获搏、Int赖条、DoubleString常熙、Array纬乍、Dictionary等常見類型都是結(jié)構(gòu)體
struct Date {
    var year: Int
    var month: Int
    var day: Int
}
var date = Date(year: 2020, month:02, day:29)//編譯器為結(jié)構(gòu)體自動(dòng)生成的初始化器
image
  • 所有的結(jié)構(gòu)體都有一個(gè)編譯器自動(dòng)生成的初始化器(initializer初始化方法裸卫,構(gòu)造器仿贬,構(gòu)造方法
    在第⑥行調(diào)用的,可以傳入所有成員值墓贿,用以初始化所有成員(存儲(chǔ)屬性茧泪,Stored Property


結(jié)構(gòu)體的初始化器

編譯器會(huì)根據(jù)情況蜓氨,可能會(huì)為結(jié)構(gòu)體生成多個(gè)初始化器,宗旨是:保證所有成員有初始值队伟,保證代碼的安全穴吹,看一下如下幾種場(chǎng)景,報(bào)錯(cuò)的原因都是因?yàn)橛谐蓡T變量沒有賦初始化值

在這里插入圖片描述

在這里插入圖片描述

在這里插入圖片描述

下面這樣嗜侮,就沒有問題

struct Point {
    var x: Int = 0
    var y: Int = 0
}
var p1 = Point(x: 10, y: 10)
var p2 = Point(y: 10)
var p3 = Point(x: 10)
var p4 = Point()

再看一個(gè)場(chǎng)景

struct Point {
    var x: Int?
    var y: Int?
}
var p1 = Point(x: 10, y: 10)
var p2 = Point(y: 10)
var p3 = Point(x: 10)
var p4 = Point()

由于var x: Int? var y: Int?聲明之后港令,默認(rèn)有初始值nil,因此也不會(huì)有上述的報(bào)錯(cuò)


自定義初始化器

一旦在定義結(jié)構(gòu)體時(shí)自定義了初始化器锈颗,編譯器就不會(huì)再幫它自動(dòng)生成其他初始化器


image


窺探初始化器的本質(zhì)

下面是兩端等效的代碼顷霹,第一段使用了系統(tǒng)生成的無參初始化起,第二段使用了我們自定義的無參初始化器

struct Point {
    var x: Int = 0
    var y: Int = 0
}
var p = Point()
struct Point {
    var x: Int
    var y: Int
    init() {
        x = 0
        y = 0
    }
}
var p = Point()

我們分別來看一下他們的匯編代碼

func testStruct() {
    struct Point {
        var x: Int = 0
        var y: Int = 0
    }
    var p = Point() //在這里加上斷點(diǎn)并且運(yùn)行程序
}

testStruct()

***************匯編代碼
SwiftTest`init() in Point #1 in testStruct():
->  0x1000010b0 <+0>:  pushq  %rbp
    0x1000010b1 <+1>:  movq   %rsp, %rbp
    0x1000010b4 <+4>:  xorps  %xmm0, %xmm0
    0x1000010b7 <+7>:  movaps %xmm0, -0x10(%rbp)
    0x1000010bb <+11>: movq   $0x0, -0x10(%rbp)
    0x1000010c3 <+19>: movq   $0x0, -0x8(%rbp)
    0x1000010cb <+27>: xorl   %eax, %eax
    0x1000010cd <+29>: movl   %eax, %ecx
    0x1000010cf <+31>: movq   %rcx, %rax
    0x1000010d2 <+34>: movq   %rcx, %rdx
    0x1000010d5 <+37>: popq   %rbp
    0x1000010d6 <+38>: retq 
func testStruct() {
    struct Point {
        var x: Int
        var y: Int
        init() {
            x = 0
            y = 0
        }
    }
    var p = Point()  // 這里加上斷點(diǎn)并且運(yùn)行程序
}

testStruct()

***************匯編代碼
SwiftTest`init() in Point #1 in testStruct():
->  0x1000010b0 <+0>:  pushq  %rbp
    0x1000010b1 <+1>:  movq   %rsp, %rbp
    0x1000010b4 <+4>:  xorps  %xmm0, %xmm0
    0x1000010b7 <+7>:  movaps %xmm0, -0x10(%rbp)
    0x1000010bb <+11>: movq   $0x0, -0x10(%rbp)
    0x1000010c3 <+19>: movq   $0x0, -0x8(%rbp)
    0x1000010cb <+27>: xorl   %eax, %eax
    0x1000010cd <+29>: movl   %eax, %ecx
    0x1000010cf <+31>: movq   %rcx, %rax
    0x1000010d2 <+34>: movq   %rcx, %rdx
    0x1000010d5 <+37>: popq   %rbp
    0x1000010d6 <+38>: retq   

對(duì)比上述兩段程序宜猜,他們所調(diào)用的無參初始化器函數(shù)底層的匯編代碼是一模一樣的泼返,因此判斷硝逢,是等效的姨拥。語法糖或許會(huì)騙人,但匯編永遠(yuǎn)不會(huì)騙你渠鸽。


結(jié)構(gòu)體內(nèi)存結(jié)構(gòu)

struct Point {
    var x: Int = 10
    var y: Int = 20
    var origin: Bool = true
}
var p = Point()
print(MemoryLayout<Point>.size)
print(MemoryLayout<Point>.stride)
print(MemoryLayout<Point>.alignment)
print(Mems.memStr(ofVal: &p)) //輸出結(jié)構(gòu)體內(nèi)存里面的數(shù)據(jù)

****************運(yùn)行結(jié)果
17
24
8
0x000000000000000a 0x0000000000000014 0x0000000000000001
Program ended with exit code: 0

看得出叫乌,Swift的結(jié)構(gòu)體和C語言的結(jié)構(gòu)體內(nèi)存結(jié)構(gòu)是一樣的,成員變量?jī)?nèi)存都是緊挨在一起的


類的定義和結(jié)構(gòu)體類似徽缚,但編譯器并沒有為類自動(dòng)生成可以傳入成員值的初始化器

image

在類的每個(gè)成員都有默認(rèn)值的情況下憨奸,系統(tǒng)則會(huì)為它創(chuàng)建一個(gè)無參初始化器
image

需要注意的是 var x: Int?optional,因此它會(huì)自動(dòng)獲得一個(gè)默認(rèn)值nil凿试。相比較于Struct排宰,Class的聲明方式幾乎和Struct一模一樣,也可以在內(nèi)部增加方法那婉。從表看上看板甘,只有初始化器又一些不同點(diǎn)。


類的初始化器

成員的初始化是在這個(gè)初始化器中完成的详炬,以下是兩端完全等效的代碼(證明方法同上---匯編)

class Point {
    var x: Int = 10
    var y: Int = 20
}
let p = Point()
class Point {
    var x: Int
    var y: Int
    init() {
        x = 10
        y = 20
    }
}
let p = Point()


結(jié)構(gòu)體與類的本質(zhì)區(qū)別

結(jié)構(gòu)體是值類型(枚舉也是值類型)盐类,類是引用類型(指針類型

class Size {
    var width = 1
    var height = 2
}

struct Point {
    var x = 3
    var y = 4
}

func test() {
    var size = Size()
    var point = Point()
}

上面代碼中的sizepoint在內(nèi)存中的分布情況如下

image


對(duì)象的堆空間申請(qǐng)過程

先看下面的場(chǎng)景

func testClassAndStruct() {
    class Size {
        var width = 1
        var height = 2
    }

    struct Point {
        var x = 3
        var y = 4
    }

    var size = Size() //-----這里加上斷點(diǎn)并運(yùn)行,打開匯編界面
    //var point = Point()
}

testClassAndStruct()
image

image

image

image

image

在Swift中呛谜,創(chuàng)建類的實(shí)例對(duì)象在跳,要向堆空間申請(qǐng)內(nèi)存,大概流程如下

  • Class.__allocating_init()
  • libswiftCore.dylib:_swift_allocObject_
  • libswiftCore.dylib:swift_slowAlloc
  • libsystem_malloc.dylib:malloc
    在Mac隐岛、iOS中的malloc函數(shù)分配的內(nèi)存大小總是16的倍數(shù)
    通過class_getInstanceSize可以得知類的對(duì)象真正使用的內(nèi)存大小
class Point {
    var x = 11
    var test = true
    var y = 22
}
var p = Point()
print(class_getInstanceSize(type(of: p)))  //40
print(class_getInstanceSize(Point.self))   //40


值類型

  • 值類型賦值給var猫妙、let或者給函數(shù)傳參,是直接將所有內(nèi)容拷貝一份
    類似于對(duì)文件進(jìn)行copy聚凹、paste操作割坠,產(chǎn)生了全新的文件副本逻悠。屬于深拷貝(deep copy
    image


值類型的賦值操作

  • 在Swift標(biāo)準(zhǔn)庫中,為了提升性能韭脊,String童谒、ArrayDictionary沪羔、Set采取了Copy On Write的技術(shù)
    1. 比如僅當(dāng)有“”操作時(shí)饥伊,才會(huì)真正執(zhí)行拷貝操作
    2. 對(duì)于標(biāo)準(zhǔn)庫值類型的賦值操作,Swift能確保最佳性能蔫饰,所以沒有必要為了保證最佳新能來避免賦值

需要注意的是琅豆,上面說的僅僅針對(duì)Swift標(biāo)準(zhǔn)庫,對(duì)于自定義的結(jié)構(gòu)體來說篓吁,Swift不會(huì)使用Copy On Write技術(shù)

  • 建議:不需要修改的茫因,盡量定義成let
var s1 = "Jack"
var s2 = s1
s2.append("_Rose")
print(s1)//Jack
print(s2)//Jack_Rose

var a1 = [1,2,3]
var a2 = a1
a2.append(4)
a1[0] = 2
print(a1)//[1,3,4]
print(a2)//[1,2,3,4]

var d1 = ["max": 10, "min":2]
var d2 = d1
d1["other"] = 7
d2["max"] = 12
print(d1)//["other": 7, "max": 10, "min":2]
print(d2)//["max": 12, "min":2]


引用類型

  • 引用賦值給varlet或者給函數(shù)傳參杖剪,是將內(nèi)存地址拷貝一份
    類似于制作一個(gè)文件的替身(快捷方式冻押,鏈接),指向的是同一個(gè)文件盛嘿。屬于淺拷貝(shallow copy
class Size {
    var width: Int
    var height: Int
    init(width: Int, height: Int) {
        self.width = width
        self.height = height
    }
}

func test() {
    var s1 = Size(width: 10, height: 20)
    var s2 = s1

    s2.width = 11
    s2.height = 22
}

test()
image


引用類型的賦值操作

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: 12)
image


值類型洛巢、引用類型的let

在這里插入圖片描述

總結(jié)一下就是:let的含義就是其修飾的常量所對(duì)應(yīng)的那段內(nèi)存空間里面的內(nèi)容不可以修改

  • 值類型由于所有的成員都在其內(nèi)存里面次兆,因此被let修飾時(shí)候稿茉,其內(nèi)部的成員都是不可以修改的
  • 引用類型由于它的內(nèi)存里存放的只是指針,所以只有這個(gè)指針的值不能修改芥炭,但是該指針?biāo)赶虻亩芽臻g的那個(gè)對(duì)象實(shí)例漓库,并不是引用類型內(nèi)存里面的東西,因此被let修飾之后园蝠,仍然可以修改堆空間對(duì)象的成員的值渺蒿。


嵌套類型

struct Poker {
    enum Suit: Character {
        case spades = "?", heart = "?", diamonds = "?", clubs = "?"
    }
    enum Rand: Int {
        case two = 2, three, four, five, six, seven, eight, nine, ten
        case jack, queen, king, ace
    }
}
print(Poker.Suit.heart.rawValue)

var suit = Poker.Suit.spades
suit = .diamonds

var rank = Poker.Rand.five
rank = .king


枚舉、結(jié)構(gòu)體砰琢、類都可以定義方法

  • 一般把定義在枚舉蘸嘶、結(jié)構(gòu)體、類內(nèi)部的函數(shù)陪汽,叫做方法
class Size {
    var width = 10
    var height = 10
    func show() {
        print("width= \(width), height= \(height)")
    }
}
let s = Size()
s.show()

struct Point {
    var x = 10
    var y = 10
    func show() {
        print("x= \(x), y= \(y)")
    }
}
let p = Point()
p.show()

enum PokerFace: Character {
    case spades = "?", heart = "?", diamonds = "?", clubs = "?"
    func show() {
        print("face is \(rawValue)")
    }
}
let pf = PokerFace.heart
pf.show()
  • 方法占用內(nèi)存的對(duì)象嗎训唱?
    1. 不占用
    2. 方法的本質(zhì)就是函數(shù)
    3. 方法、函數(shù)都放在代碼段
最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
  • 序言:七十年代末挚冤,一起剝皮案震驚了整個(gè)濱河市况增,隨后出現(xiàn)的幾起案子,更是在濱河造成了極大的恐慌训挡,老刑警劉巖澳骤,帶你破解...
    沈念sama閱讀 219,427評(píng)論 6 508
  • 序言:濱河連續(xù)發(fā)生了三起死亡事件歧强,死亡現(xiàn)場(chǎng)離奇詭異,居然都是意外死亡为肮,警方通過查閱死者的電腦和手機(jī)摊册,發(fā)現(xiàn)死者居然都...
    沈念sama閱讀 93,551評(píng)論 3 395
  • 文/潘曉璐 我一進(jìn)店門,熙熙樓的掌柜王于貴愁眉苦臉地迎上來颊艳,“玉大人茅特,你說我怎么就攤上這事∑逭恚” “怎么了白修?”我有些...
    開封第一講書人閱讀 165,747評(píng)論 0 356
  • 文/不壞的土叔 我叫張陵,是天一觀的道長(zhǎng)重斑。 經(jīng)常有香客問我兵睛,道長(zhǎng),這世上最難降的妖魔是什么窥浪? 我笑而不...
    開封第一講書人閱讀 58,939評(píng)論 1 295
  • 正文 為了忘掉前任祖很,我火速辦了婚禮,結(jié)果婚禮上寒矿,老公的妹妹穿的比我還像新娘突琳。我一直安慰自己若债,他們只是感情好符相,可當(dāng)我...
    茶點(diǎn)故事閱讀 67,955評(píng)論 6 392
  • 文/花漫 我一把揭開白布。 她就那樣靜靜地躺著蠢琳,像睡著了一般啊终。 火紅的嫁衣襯著肌膚如雪。 梳的紋絲不亂的頭發(fā)上傲须,一...
    開封第一講書人閱讀 51,737評(píng)論 1 305
  • 那天蓝牲,我揣著相機(jī)與錄音,去河邊找鬼泰讽。 笑死例衍,一個(gè)胖子當(dāng)著我的面吹牛,可吹牛的內(nèi)容都是我干的已卸。 我是一名探鬼主播佛玄,決...
    沈念sama閱讀 40,448評(píng)論 3 420
  • 文/蒼蘭香墨 我猛地睜開眼,長(zhǎng)吁一口氣:“原來是場(chǎng)噩夢(mèng)啊……” “哼累澡!你這毒婦竟也來了梦抢?” 一聲冷哼從身側(cè)響起,我...
    開封第一講書人閱讀 39,352評(píng)論 0 276
  • 序言:老撾萬榮一對(duì)情侶失蹤愧哟,失蹤者是張志新(化名)和其女友劉穎奥吩,沒想到半個(gè)月后哼蛆,有當(dāng)?shù)厝嗽跇淞掷锇l(fā)現(xiàn)了一具尸體,經(jīng)...
    沈念sama閱讀 45,834評(píng)論 1 317
  • 正文 獨(dú)居荒郊野嶺守林人離奇死亡霞赫,尸身上長(zhǎng)有42處帶血的膿包…… 初始之章·張勛 以下內(nèi)容為張勛視角 年9月15日...
    茶點(diǎn)故事閱讀 37,992評(píng)論 3 338
  • 正文 我和宋清朗相戀三年腮介,在試婚紗的時(shí)候發(fā)現(xiàn)自己被綠了。 大學(xué)時(shí)的朋友給我發(fā)了我未婚夫和他白月光在一起吃飯的照片端衰。...
    茶點(diǎn)故事閱讀 40,133評(píng)論 1 351
  • 序言:一個(gè)原本活蹦亂跳的男人離奇死亡萤厅,死狀恐怖,靈堂內(nèi)的尸體忽然破棺而出靴迫,到底是詐尸還是另有隱情惕味,我是刑警寧澤,帶...
    沈念sama閱讀 35,815評(píng)論 5 346
  • 正文 年R本政府宣布玉锌,位于F島的核電站名挥,受9級(jí)特大地震影響,放射性物質(zhì)發(fā)生泄漏主守。R本人自食惡果不足惜禀倔,卻給世界環(huán)境...
    茶點(diǎn)故事閱讀 41,477評(píng)論 3 331
  • 文/蒙蒙 一、第九天 我趴在偏房一處隱蔽的房頂上張望参淫。 院中可真熱鬧救湖,春花似錦、人聲如沸涎才。這莊子的主人今日做“春日...
    開封第一講書人閱讀 32,022評(píng)論 0 22
  • 文/蒼蘭香墨 我抬頭看了看天上的太陽耍铜。三九已至邑闺,卻和暖如春,著一層夾襖步出監(jiān)牢的瞬間棕兼,已是汗流浹背陡舅。 一陣腳步聲響...
    開封第一講書人閱讀 33,147評(píng)論 1 272
  • 我被黑心中介騙來泰國打工, 沒想到剛下飛機(jī)就差點(diǎn)兒被人妖公主榨干…… 1. 我叫王不留伴挚,地道東北人靶衍。 一個(gè)月前我還...
    沈念sama閱讀 48,398評(píng)論 3 373
  • 正文 我出身青樓,卻偏偏與公主長(zhǎng)得像茎芋,于是被迫代替她去往敵國和親颅眶。 傳聞我的和親對(duì)象是個(gè)殘疾皇子,可洞房花燭夜當(dāng)晚...
    茶點(diǎn)故事閱讀 45,077評(píng)論 2 355

推薦閱讀更多精彩內(nèi)容