1.swift编程简介

我们先看一下，下面代码

class Teacher {
var name:String = "Tom"
var age:Int = 18
}
let t = Teacher()

我们想知道默认的初始化到底做了什么操作，这里我们引用了SIL(Swift intermediate language ),我们先了解一下什么是SIL
iOS开发的语言不管是OC还是Swift后端都是LLVM进行编译的

image.png

可以看到
OC通过clang编译器，编译成IR,然后生成可执行文件.0（机器码）
swift则通过Swift编译器编译生成IR,然后生成可执行文件
我们了解一下swift文件的编译过程

image.png

image.png

//我们看到的方法名是经过重整的符号
swiftc -emit-sil test.swift  >> test.sil
//加xcrun swift-demangle之后重整的符号还原
swiftc -emit-sil test.swift | xcrun swift-demangle >> test.sil

下面我们看一下sil代码

// main
sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
  alloc_global @test.t : test.Teacher            // id: %2
  %3 = global_addr @test.t : test.Teacher : $*Teacher // user: %7
  %4 = metatype $@thick Teacher.Type              // user: %6
  // function_ref Teacher.__allocating_init()
  %5 = function_ref @test.Teacher.__allocating_init() -> test.Teacher : $@convention(method) (@thick Teacher.Type) -> @owned Teacher // user: %6
  %6 = apply %5(%4) : $@convention(method) (@thick Teacher.Type) -> @owned Teacher // user: %7
  store %6 to %3 : $*Teacher                      // id: %7
  %8 = integer_literal $Builtin.Int32, 0          // user: %9
  %9 = struct $Int32 (%8 : $Builtin.Int32)        // user: %10
  return %9 : $Int32                              // id: %10
} // end sil function 'main'

@main 这⾥标识我们当前 main.swift 的⼊⼝函数，SIL 中的标识符名称以 @ 作为前缀
%0，%1... 在SIL也叫做寄存器，这⾥我们可以理解为我们⽇常开发中的常量，⼀旦赋值之后就不可以再修改，如果SIL中还要继续使⽤，那么就不断的累加数字。 同时这⾥所说的寄存器是虚拟的，最终运⾏到我们的机器上，会使⽤真的寄存器
alloc_global：创建一个全局变量
global_addr：拿到全局变量地址赋值给%3
metatype：拿到Teacher的Type给%4
将__allocating_init的函数地址赋值给%5
apply跳用__allocating_init并把返回值给%6
store 将%6的值存储到%3
alloc_ref创建一个Teacher的实例对象

2.对象初始化的探索

通过下符号断点__allocating_init，来探究初始化做了什么

image.png

我们查看swift源码，看出调用的流程是这样的

__allocating_init---》swift_allocObject-----〉swift_allocObject------>swift_slowAlloc----->malloc
swift对象的内存结构HeapObject,

对象和类结构.png

3.swift属性

3.1存储属性

常量符号let修饰和变量符号var修饰的

class Teacher {
let age:Int = 18
var name:String = "Tom"
}

我们查看sil

class Teacher {
  @_hasStorage @_hasInitialValue var name: String { get set }
  @_hasStorage @_hasInitialValue final let age: Int { get }
  @objc deinit
  init()
}

存储属性有变量和getset方法

3.2计算属性

class Square {
    var width:Double = 2
    
    var area:Double {
        set {
            width = sqrt(newValue)
        }
        get {
            width*width
        }
        
    }
    
}

area就是计算属性，我们从sil看一下计算属性和存储属性之间的区别

class Square {
  @_hasStorage @_hasInitialValue var width: Double { get set }
  var area: Double { get set }
  @objc deinit
  init()
}

计算属性area，只有get和set两个方法，没有变量

3.3属性观察者

class MyPerson {
    var name:String = "hello" {
        willSet {
            print("\(newValue)")
        }
        didSet {
            print("\(oldValue)")
        }
    }
    
}
class MyTeacher: MyPerson {
    var subject:String = "语文"
    
    override var name: String {
        willSet {
            print("override \(newValue)")

        }
        didSet {
            print("override \(oldValue)")

        }
    }
    override init() {

        super.init()

    }
}
let teacher = MyTeacher()

teacher.name = "swift"

打印结果

override swift
swift
hello
override hello