Swift 属性观察调用逻辑

属性观察 (Property Observers) 是 Swift 中一个很特殊的特性，利用属性观察我们可以在当前类型 内监视对于属性的设定，并作出一些响应。Swift 中为我们提供了两个属性观察的方法，它们分别 是 willSet 和 didSet 。

使用这两个方法十分简单，我们只要在属性声明的时候添加相应的代码块，就可以对将要设定的
值和已经设置的值进行监听了:

class Test {
    var value: Int = 100 {
        willSet {
            print("即将将原值 \(value) 设定至 \(newValue)") }
        
        didSet {
            print("已经将原值 \(oldValue) 设定至 \(value)")
        }
    }

    init() {
        value = 111
    }
}

let test = Test()
test.value = 10

// 即将将原值 100 设定至 10
// 已经将原值 100 设定至 10

在 willSet 和 didSet 中我们分别可以使用 newValue 和 oldValue 来获取将要设定的和已经设定 的值。

但是通过上面例子可以发现，在init方法中为属性初始化，并没有触发属性观察，猜测是否是init执行完属性观察才会生效

class Test {
    var value: Int = 10
}

class Son: Test {
    var age: Int {
        didSet {
            print("didset age")
        }
        
        willSet {
            print("willset age")
        }
    }
    
    override var value: Int {
        didSet {
            print("didset value")
        }
        
        willSet {
            print("willset value")
        }
    }
    
    override init() {
        age = 10
        super.init()
        age = 100
        value = 100
    }
}

let test = Son()

// willset value
// didset value

可以发现只触发了value 的属性观察，因为age所属类为Son，此时初始化方法并没有结束，所以没有触发属性观察，而value所属类为Test，此时通过super.init()已经结束了对父类的初始化，所以会触发

所以可以得出结论，当属性所属类的初始化完成才会触发属性观察
可以通过SIL观察具体实现方式：

// Son.init()
sil hidden @main.Son.init() -> main.Son : $@convention(method) (@owned Son) -> @owned Son {
// %0 "self"                                      // users: %10, %6, %3, %2
bb0(%0 : $Son):
  %1 = alloc_stack $Son, let, name "self"         // users: %19, %11, %3, %32, %33
  strong_retain %0 : $Son                         // id: %2
  store %0 to %1 : $*Son                          // id: %3
  %4 = integer_literal $Builtin.Int64, 10         // user: %5
  %5 = struct $Int (%4 : $Builtin.Int64)          // user: %8
  %6 = ref_element_addr %0 : $Son, #Son.age       // user: %7
  %7 = begin_access [modify] [dynamic] %6 : $*Int // users: %8, %9
  store %5 to %7 : $*Int                          // id: %8
  end_access %7 : $*Int                           // id: %9
  strong_release %0 : $Son                        // id: %10
  %11 = load %1 : $*Son                           // user: %12
  %12 = upcast %11 : $Son to $Test                // user: %14
  // function_ref Test.init()
  %13 = function_ref @main.Test.init() -> main.Test : $@convention(method) (@owned Test) -> @owned Test // user: %14
  %14 = apply %13(%12) : $@convention(method) (@owned Test) -> @owned Test // user: %15
  %15 = unchecked_ref_cast %14 : $Test to $Son    // users: %31, %26, %22, %19, %18, %30, %29, %17, %34, %16
  strong_retain %15 : $Son                        // id: %16
  strong_retain %15 : $Son                        // id: %17
  strong_retain %15 : $Son                        // id: %18
  store %15 to %1 : $*Son                         // id: %19
  %20 = integer_literal $Builtin.Int64, 100       // user: %21
  %21 = struct $Int (%20 : $Builtin.Int64)        // user: %24
  %22 = ref_element_addr %15 : $Son, #Son.age     // user: %23
  %23 = begin_access [modify] [dynamic] %22 : $*Int // users: %24, %25
  store %21 to %23 : $*Int                        // id: %24
  end_access %23 : $*Int                          // id: %25
  strong_release %15 : $Son                       // id: %26
  %27 = integer_literal $Builtin.Int64, 100       // user: %28
  %28 = struct $Int (%27 : $Builtin.Int64)        // user: %30
  %29 = class_method %15 : $Son, #Son.value!setter : (Son) -> (Int) -> (), $@convention(method) (Int, @guaranteed Son) -> () // user: %30
  %30 = apply %29(%28, %15) : $@convention(method) (Int, @guaranteed Son) -> ()
  strong_release %15 : $Son                       // id: %31
  destroy_addr %1 : $*Son                         // id: %32
  dealloc_stack %1 : $*Son                        // id: %33
  return %15 : $Son                               // id: %34
} // end sil function 'main.Son.init() -> main.Son'

// 为age初始化直接调用了 store，并没有调用setter 方法

image.png

image.png

// 为value初始化 调用了 setter 方法，而didSet，willSet就是通过setter方法触发的

image.png