延遲存儲屬性

class HotpotCat {
    lazy var age: Int = 20
}

var hotpot = HotpotCat()
hotpot.age = 30

延遲屬性賦值&大小

在hotpot.age賦值前和賦值后各打個斷點，x/8g看下內存地址，可以看到賦值前是0x0，沒有值。

image.png

我們知道不加lazy的情況下內存大小為24，那么加了lazy后呢？

print(class_getInstanceSize(HotpotCat.self))
32
(lldb) 

發現變為32了，多了8字節。那么分析下SIL：
這里有個小細節是加xcrun swift-demangle，會還原sil中swift的符號，方便閱讀

 swiftc -emit-sil main.swift | xcrun swift-demangle  >> ./main.sil && open main.sil

我們可以看到在main函數中，會給age賦值，調用了age的setter方法

  %14 = class_method %9 : $HotpotCat, #HotpotCat.age!setter : (HotpotCat) -> (Int) -> (), $@convention(method) (Int, @guaranteed HotpotCat) -> () // user: %15

在age的setter方法中，可以看到是個可選值。

image.png

image.png

那么延遲加載屬性本質上是可選類型，在沒有被訪問前，默認值是nil(0x0) 。在getter方法中枚舉值分支進行賦值操作。
那這里就解釋了為什么這里存儲屬性加上lazy就變成32字節了。因為要存儲枚舉信息，實際大小為9字節，字節對齊16字節。

print(MemoryLayout<Optional<Int>>.size)
print(MemoryLayout<Optional<Int>>.stride)
9
16

swift enum默認大小為Int8類型，編譯器會根據枚舉數量調整（Int8、Int16、Int32、Int64）。如果只有一個枚舉值系統也會優化size為0，stride為1。
獲取實例的大小可以通過MemoryLayout.size(ofValue:)獲取。

延遲存儲屬性不能保證線程安全

上面我們分析了在getter方法中，會有bb1和bb2兩個分支，假設此時線程1在訪問bb2并且沒有結束，線程2也調用getter那么也可能會走bb2分支。這里就不能保證線程安全。

image.png

• 用關鍵字lazy來標識一個延遲存儲屬性。
• 延遲存儲屬性必須有一個默認的初始值。
• 延遲存儲屬性在第一次訪問的時候才被賦值。
• 延遲存儲屬性并不能保證線程安全。
• 延遲存儲屬性對實例對象大小有影響。

類型屬性

class HotpotCat {
    static var age: Int = 20
}

var age = HotpotCat.age

// globalinit_029_12232F587A4C5CD8B1EEDF696793B2FC_token0
sil_global private @globalinit_029_12232F587A4C5CD8B1EEDF696793B2FC_token0 : $Builtin.Word
// static HotpotCat.age
sil_global hidden @static main.HotpotCat.age : Swift.Int : $Int

生成的age變成了全局的變量sil_global

image.png

// HotpotCat.age.unsafeMutableAddressor
sil hidden [global_init] @main.HotpotCat.age.unsafeMutableAddressor : Swift.Int : $@convention(thin) () -> Builtin.RawPointer {
bb0:
  %0 = global_addr @globalinit_029_12232F587A4C5CD8B1EEDF696793B2FC_token0 : $*Builtin.Word // user: %1
  %1 = address_to_pointer %0 : $*Builtin.Word to $Builtin.RawPointer // user: %3
  // function_ref globalinit_029_12232F587A4C5CD8B1EEDF696793B2FC_func0
  %2 = function_ref @globalinit_029_12232F587A4C5CD8B1EEDF696793B2FC_func0 : $@convention(c) () -> () // user: %3
  %3 = builtin "once"(%1 : $Builtin.RawPointer, %2 : $@convention(c) () -> ()) : $()
  %4 = global_addr @static main.HotpotCat.age : Swift.Int : $*Int // user: %5
  %5 = address_to_pointer %4 : $*Int to $Builtin.RawPointer // user: %6
  return %5 : $Builtin.RawPointer                 // id: %6
} // end sil function 'main.HotpotCat.age.unsafeMutableAddressor : Swift.Int'

這個方法執行了全局函數globalinit_029_12232F587A4C5CD8B1EEDF696793B2FC,并且這里有個builtin "once"。

// globalinit_029_12232F587A4C5CD8B1EEDF696793B2FC_func0
sil private @globalinit_029_12232F587A4C5CD8B1EEDF696793B2FC_func0 : $@convention(c) () -> () {
bb0:
  alloc_global @static main.HotpotCat.age : Swift.Int       // id: %0
  %1 = global_addr @static main.HotpotCat.age : Swift.Int : $*Int // user: %4
  %2 = integer_literal $Builtin.Int64, 20         // user: %3
  %3 = struct $Int (%2 : $Builtin.Int64)          // user: %4
  store %3 to %1 : $*Int                          // id: %4
  %5 = tuple ()                                   // user: %6
  return %5 : $()                                 // id: %6
} // end sil function 'globalinit_029_12232F587A4C5CD8B1EEDF696793B2FC_func0'

這個函數將初始值賦值給了全局變量age。
前面說到的once就是swift_once，我們源碼里面搜索一下swift_once

image.png

• 用static聲明類型屬性
• 類型屬性屬于類本身，不論有多少個實例，類型屬性只有一份
• 全局的
• 線程安全的

單例

首先回顧下OC單類的寫法，需要dispatch_once確保線程安全并初始化一次,并且為了保證安全還要重寫allocWithZone

+ (instancetype)sharedInstance {
    static HotpotCat *instance = nil;
    static dispatch_once_t onceToken;
    dispatch_once(&onceToken, ^{
        instance = [[HotpotCat alloc] init];
    });
    return instance;
}

swift 2.0的時候swift的單類也是翻譯的oc的寫法，現在已經不用了。

swift單類只需要兩點:

• static修飾一個常量。
• 給init添加一個訪問控制權限。

class HotpotCat {
    static let sharedInstance = HotpotCat()
    private init(){
    }
}
var hotpot = HotpotCat.sharedInstance

值類型

struct

struct HotpotCatStruct {
    var age: Int
    var name: String
    
}

class HotpotCatClass {
    var age: Int
    var name: String
}

image.png

struct HotpotCatStruct {
  @_hasStorage var age: Int { get set }
  @_hasStorage var name: String { get set }
  init(age: Int, name: String)
}

已經有了init(age: Int, name: String)方法。
那么我們給age一個默認值呢?

struct HotpotCatStruct {
    var age: Int = 1
}
//sil
struct HotpotCatStruct {
  @_hasStorage @_hasInitialValue var age: Int { get set }
  init(age: Int = 1)
  init()
}

可以看到既有默認的初始化方法，也有age初始化方法。
那么我們自己實現了init方法呢?

struct HotpotCatStruct {
    var age: Int = 1
    
    init(age: Int) {
        self.age = age
    }
}
//sil
struct HotpotCatStruct {
  @_hasStorage @_hasInitialValue var age: Int { get set }
  init(age: Int)
}

可以看到編譯器不會幫我們生成了。

• 結構體不需要自定義初始化方法，系統自動合成。
• 如果屬性有默認值，系統會提供不同的默認初始化方法。
• 如果自定義初始化方法，系統不會幫我們生成。

struct值類型

首先明白下基本概念

• 地址存儲的就是值
• 傳遞過程中傳遞副本

struct HotpotCat {
    var age: Int = 1
    var age2: Int = 18
}
var hotpot = HotpotCat()
//lldb
(lldb) po hotpot
? HotpotCat
  - age : 1
  - age2 : 18

po直接打印出來是值，不是地址。說明是值類型，我們再打印一下內存地址看下存儲的內容

(lldb) po withUnsafeMutablePointer(to: &hotpot){print($0)}
0x0000000100008028
0 elements

image.png

image.png

image.png

image.png

引用類型

那么如果是class呢？

class HotpotClass {
    var age: Int = 1
    var age2: Int = 18
}

var hotpotClass = HotpotClass()

(lldb) po hotpotClass
<HotpotClass: 0x100634610>

po直接顯示地址。

image.png

struct HotpotStruct {
    var age: Int = 1
    var age2: Int = 18
    var hotpotClass: HotpotClass = HotpotClass()
}

class HotpotClass {
    var age: Int = 1
    var age2: Int = 18
}

var hotpotStruct = HotpotStruct()
var hotpotStruct2 = hotpotStruct

image.png

可以看出依然傳遞的是地址，所以應當避免值類型中包含引用類型。
我們再通過SIL看一下

struct HotpotStruct {
    var age: Int = 1
    var age2: Int = 18
    var hotpotClass: HotpotClass
}

class HotpotClass {
    var name: String = "HotpotCat"
}

var hotpotClass = HotpotClass()
var hotpotStruct = HotpotStruct(hotpotClass: hotpotClass)
var hotpotStruct2 = hotpotStruct

看到這里有引用計數了,strong_retain搜索查看下發現一共有3處。

image.png

(lldb) po CFGetRetainCount(hotpotStruct.hotpotClass)
3

mutating

image.png

struct HotpotStruct {
    var count: Int = 0
    init() {
        self.count = 10
    }
    mutating func clear() {
        self.count = 0
    }
}

值類型本身創建后不允許修改，要修改需要加上mutating關鍵字
那么mutating到底干了什么呢？
先看個正常訪問變量的例子

struct HotpotStruct {
    var count: Int = 0
    func clear() {
        print(count)
    }
}

對應的SIL中clear實現如下，可以看到隱藏參數self為let修飾，修改count就為修改地址也就是修改值類型self本身，所以方法中不能修改count。

image.png

image.png

那如果self我們用var接收再修改呢？修改是可以修改，只不過修改的是self的另外一份拷貝（值傳遞）。

    func clear() {
        var s = self
        s.count = 10
    }

加了mutaing進行了什么操作呢?可以看到self是用var修飾的添加了inout關鍵字,debug_value也變成了debug_value_addr。

image.png

func swap(_ a:inout Int, _ b:inout Int) {
    a = a ^ b
    b = a ^ b
    a = a ^ b
}

var valueA = 1
var valueB = 2
swap(&valueA, &valueB)

image.png

struct函數調用方式

struct HotpotStruct {
    func clear() {
       print("clear")
    }
}

var hotpotStruct =  HotpotStruct()
hotpotStruct.clear()

在函數調用處打個斷點，直接看下匯編代碼看到是直接調用的函數地址(0x100003da0)

image.png

image.png

image.png

image.png

0000000100003da0 T _$s19SwiftStructMutating06HotpotB0V5clearyyF
0000000100003e90 T _$s19SwiftStructMutating06HotpotB0VACycfC
0000000100003f64 s _$s19SwiftStructMutating06HotpotB0VMF
0000000100003ea0 T _$s19SwiftStructMutating06HotpotB0VMa
0000000100004018 s _$s19SwiftStructMutating06HotpotB0VMf
0000000100003f40 S _$s19SwiftStructMutating06HotpotB0VMn
0000000100004020 S _$s19SwiftStructMutating06HotpotB0VN
0000000100003f24 s _$s19SwiftStructMutatingMXM

還原一下符號名稱

xcrun swift-demangle s19SwiftStructMutating06HotpotB0V5clearyyF
$s19SwiftStructMutating06HotpotB0V5clearyyF ---> SwiftStructMutating.HotpotStruct.clear() -> ()

搜索符號nm 可執行文件路徑 | grep 地址這里地址不帶0x

nm /Users/***/Library/Developer/Xcode/DerivedData/SwiftStructMutating-bdtkkopulnojomaeuxaauwsnscxz/Build/Products/Debug/SwiftStructMutating | grep 0100003da0
0000000100003da0 T _$s19SwiftStructMutating06HotpotB0V5clearyyF

與之對應的我們看一下print的調度方式

image.png

image.png

c/oc中方法的調度

void test(){
    
}

int main(int argc, const char * argv[]) {
    test();
    return 0;
}

可以看到c語言中符號直接就是_test,所以這也是c語言不允許函數重載的原因。OC同理-[Class selector]。

image.png

struct HotpotCat {
    func pot123() {
    }
}

class ViewController: UIViewController {
    override func viewDidLoad() {
        super.viewDidLoad()
        var hotpot = HotpotCat()
        hotpot.pot123()
    }
}

打下斷點看下函數地址0x10ff42bb0

image.png

image.png

[  0] A3D54669-3D78-3CA1-A48F-958F7718E05B 0x000000010ff3f000

VM Address靜態基地址，首地址就是根據靜態及地址+偏移量確定的。

image.png

image.png