一、初始化方法不同

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()
}

1. 結(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)
}

2. 結(jié)構(gòu)體成員沒有默認(rèn)值時(shí)，編譯器只會(huì)自動(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()
}

3. 類class 中如果所有成員變量都有默認(rèn)值，編譯器會(huì)自動(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
}

4. 類class 中如果有成員變量沒有默認(rèn)值，則必須自己聲明初始化方法，否則會(huì)編譯不通過，報(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)體的成員變量的值，對(duì)其他結(jié)構(gòu)體實(shí)例中成員變量的值沒有影響。

打印結(jié)構(gòu)體實(shí)例地址命令

po withUnsafeMutablePointer(to: &p){print($0)}
po withUnsafeMutablePointer(to: &p1){print($0)}

image.png

1. 可以看到結(jié)構(gòu)體對(duì)象地址中存儲(chǔ)的是成員變量的值

同樣可以將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'

2. 在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í)例對(duì)象賦值后，修改新的實(shí)例對(duì)象中屬性的值，會(huì)影響就的類實(shí)例對(duì)象的值

3. 在控制臺(tái)進(jìn)行打印，發(fā)現(xiàn)p和p1指向同一塊內(nèi)存，所以進(jìn)行修改會(huì)互相影響。

同樣可以查看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

image.png

1. 結(jié)論是結(jié)構(gòu)體在編譯鏈接之后，其中的方法地址已經(jīng)確定了，通過靜態(tài)調(diào)用效率更高

• 類 class的方法調(diào)用
  //TODO

結(jié)構(gòu)體和類的區(qū)別總結(jié)：
一、初始化方法不同

1. 結(jié)構(gòu)體成員有默認(rèn)值時(shí)，編譯器自動(dòng)生成 init(age: Int = 20) 和 init() (帶參和不帶參)的初始化方法。
2. 結(jié)構(gòu)體成員沒有默認(rèn)值時(shí)，編譯器只會(huì)自動(dòng)生成 init(age: Int) (帶參)的初始化方法。
3. 類class 中如果所有成員變量都有默認(rèn)值，編譯器會(huì)自動(dòng)生成 init() (不帶參)的初始化方法。
4. 類class 中如果有成員變量沒有默認(rèn)值，則必須自己聲明初始化方法，否則會(huì)編譯不通過，報(bào)錯(cuò)class has no initalizer。

二、值類型和引用類型

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

1. 結(jié)構(gòu)體是值類型。
2. 結(jié)構(gòu)體對(duì)象地址中存儲(chǔ)的是成員變量的值。
3. 結(jié)構(gòu)體初始化實(shí)例時(shí)，是調(diào)用alloc_stack函數(shù)，是在棧上開辟空間創(chuàng)建變量。

• 類

1. 類是引用類型。
2. 類初始化實(shí)例時(shí)，調(diào)用alloc_ref函數(shù)，是在堆上進(jìn)行內(nèi)存分配，然后將指針p指向該內(nèi)存。

三、方法調(diào)用方式不同

1. 結(jié)構(gòu)體在編譯鏈接之后，其中的方法地址已經(jīng)確定了，通過靜態(tài)調(diào)用效率更高