属性观察 (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
