赞
踩
=
肯定是存储属性get``set
就是计算属性,willSet
或者didSet
就是存储属性,属性观察器 ,而且不能和计算属性的get
,set
一起出现,就矛盾了class Car { init() { print("Car init") } func run() { print("Car is Running") } } class People { lazy var car = Car() init() { print("People init") } func play() { car.run() print("People play") } } var p = People() print("_____________") p.play() //People init //_____________ //Car init //Car is Running //People play
lazy
属性必须是var
,不能是let
let
必须在实例的初始化方法完成之前就拥有值lazy
属性,不是线程安全的var
才能访问延迟存储属性getter
setter
var
,不能用let
struct Circle { var radius: Double var diameter: Double { set { radius = newValue / 2 } get { return radius } } } var circle = Circle(radius: 100) // 100 print(circle.diameter) circle.diameter = 50 // 25 print(circle.diameter)
class People { var name: String = "Mikejing" { willSet { print("willSet", newValue) } didSet { print("didSet", oldValue, self.name) } } init() { print("People init") } } var p = People() p.name = "MiQiShu" // People init // willSet MiQiShu // didSet Mikejing MiQiShu
willSet
会传递新值,默认叫newValue
didSet
会传递旧的,默认叫oldValue
static
关键字定义,如果是类,可以用classstruc Car {
static var count: Int = 0
init() {
Car.count += 1
}
}
Car()
Car()
Car()
print(Car.count) // 3
1.不同于实例属性,不需要设定初始值
2.存储类型属性,默认是lazy
的,会在第一次使用的时候初始化,就算被多个线程访问,都是安全的,类型存储属性可以是let
枚举类型也可以定义类型存储属性(计算或者存储),因为类型存储属性不和定义的类型存在一个内存空间,也就是不会破坏原本枚举的内存空间,就可以,和计算属性类似,一个方法,一个全局静态地址
因此可以搞一个单例,默认lazy
class FileManager { public static var shared = FileManager() private init() { } func open() { } } class ThemeManager { public static var shared = { // ... // ... return ThemeManager() }() private init() { } func colored() { } } FileManager.shared.open() ThemeManager.shared.colored()
类型属性汇编窥探
var a = 10
var b = 11
var c = 12
可以看到这三个全部变量的地址如下
a -> 0x1000065A0
b -> 0x1000065A8
c -> 0x1000065B0
再来看这个
var a = 10
class People {
static var age = 1
}
People.age = 100
var c = 12
汇编如下
a -> 0x1000066F0
People.age - > 0x1000066F8
c -> 0x100006700
这边可以看到,类型属性其实不在类的内存中存储,从汇编看,大概率是存储在全局区,和全局区变量挨在一起。
现在在static var age = 1
和People.age
打上断点,进入汇编
在第一个callq
的时候si
进去,可以看到swift_once
然后继续next
就会来到我们实际初始化的代码,因为static
在类属性中默认就是lazy
的,所以就会调用一段初始化函数,然后看汇编断在哪里
Swift01`globalinit_33_F38A6FD0F3BC15DFA2D78EFB3C1D4722_func0:
0x1000017e0 <+0>: pushq %rbp
0x1000017e1 <+1>: movq %rsp, %rbp
-> 0x1000017e4 <+4>: movq $0x1, 0x4f09(%rip) ; Swift01.a : Swift.Int + 4
0x1000017ef <+15>: popq %rbp
0x1000017f0 <+16>: retq
可以看到首地址0x1000017e0
就是我们上面swift_once
传递的函数地址,然后看到movq $0x1, 0x4f09(%rip)
,把1赋值给全局变量 0x4f09 + 0x1000017ef = 0x1000066F8
,这个地址就和我们上面看到的第一幅图函数返回的rax
地址一致。
结论:
类型属性本质就是全局变量,只不过类型添加了命名空间访问,限制了访问。
枚举、结构体、类都可以定义实例方法、类型方法
static
或者class
关键字定义,默认是lazy
的多态的实现原理
OC: Runtime
C++:虚表
先看下结构体
struct Animal { func speak() { print("Animal speak") } func eat() { print("Animal eat") } func sleep() { print("Animal sleep") } } var animal = Animal() animal.speak() animal.eat() animal.sleep()
结构体不存在继承,重写,所以函数在编译完成后已经确定了
Swift01`main:
0x1000017f0 <+0>: pushq %rbp
0x1000017f1 <+1>: movq %rsp, %rbp
0x1000017f4 <+4>: subq $0x10, %rsp
0x1000017f8 <+8>: movl %edi, -0x4(%rbp)
0x1000017fb <+11>: movq %rsi, -0x10(%rbp)
0x1000017ff <+15>: callq 0x100001a70 ; Swift01.Animal.init() -> Swift01.Animal at main.swift:135
0x100001804 <+20>: callq 0x100001820 ; Swift01.Animal.speak() -> () at main.swift:136
-> 0x100001809 <+25>: callq 0x100001910 ; Swift01.Animal.eat() -> () at main.swift:140
0x10000180e <+30>: callq 0x1000019c0 ; Swift01.Animal.sleep() -> () at main.swift:144
0x100001813 <+35>: xorl %eax, %eax
0x100001815 <+37>: addq $0x10, %rsp
0x100001819 <+41>: popq %rbp
0x10000181a <+42>: retq
可以看到,函数地址已经确定了 callq 0x100001910
然后看一下最简单的继承关系
class Animal { func speak() { print("Animal speak") } func eat() { print("Animal eat") } func sleep() { print("Animal sleep") } } class Dog : Animal { override func speak() { print("Dog Speak") } override func eat() { print("Dog Eat") } func run() { print("Dog Run") } } var animal = Animal() animal.speak() animal.eat() animal.sleep() animal = Dog() animal.speak() animal.eat() animal.sleep()
在第二个animal.speak()
打上断点,然后汇编进行完整的分析
可以看到这里的调用关系如下
首先这里的调用函数就是callq *0x50(%rcx)
,向上推断rcx
就是rax
相关,rax
就是0x1342(%rip)相关
。
1.全局变量赋值
0x100001107 <+519>: movq 0x1342(%rip), %rax ; Swift02.animal : Swift02.Animal
核心代码 0x100002450
就是 0x1342(%rip)
,也就是全局变量var animal
的地址,然后取出该内存地址中前八个字节,也就是堆空间对象的首地址0x100705660
,此时rax存储的就是0x100705660
2.中间一系列寄存器变化
0x10000110e <+526>: movq %rax, %rcx
把rax
存储的值给到rcx
此时rcx
和rax
都是0x100705660
0x100001114 <+532>: movq %rax, -0x120(%rbp)
0x100001130 <+560>: movq -0x120(%rbp), %rax
这两句话相当于rax值没变
3.rcx
赋值
如果没有()
就是把寄存器rax
存储的值给到rcx
寄存器,但是如果有()
的意思是取出寄存器rax
存储的地址中,前8个字节给到rcx
寄存器,结果如下
(lldb) register read rax
rax = 0x0000000100705660
(lldb) register read rcx
rcx = 0x0000000100002310 type metadata for Swift02.Dog
4.函数调用
取出rcx
寄存器中的值,偏移0x50
,调用函数
0x10000113d <+573>: callq *0x50(%rcx)
整体流程如下:
根据上面分析的汇编和这个流程图,找到对应的内存地址进行View Memory
查看,多态函数调用的底层逻辑。
比如
(lldb) register read rcx
rcx = 0x0000000100002310 type metadata for Swift02.Dog
看到对应的值进行分析
高亮的就是0x50
个字节的偏移,拿到后面第一个组八个字节
20 16 00 00 01 00 00 00
lldb
调用查看
(lldb) image lookup --address 0x0100001620
Address: Swift02[0x0000000100001620] (Swift02.__TEXT.__text + 1824)
Summary: Swift02`Swift02.Dog.speak() -> () at main.swift:26
可以看到对应的就是speak
函数的地址。
5.验证Meta Data存储位置
从图中可以看到,代码区的内存地址最小,随后全局区,堆和栈,我们Meta Data
对应的内存处于代码区和全局区之间,不过可以通过image lookup --address xxx
查看具体的段,或者用Mach-O View
查看即可。
(lldb) register read rcx
rcx = 0x0000000100002310 type metadata for Swift02.Dog
(lldb) image lookup --address 0x0000000100002310
Address: Swift02[0x0000000100002310] (Swift02.__DATA.__data + 224)
Summary: type metadata for Swift02.Dog
结论:
可以看到类对象的前八个字节数据也是存储在全局区__DATA段的
init(parameters) {
statements
}
convenience init(parameters) {
statements
}
初始化器的相互调用规则
1.指定初始化器必须从它的直系父类调用指定初始化器
2.便捷初始化器必须从相同的类里调用另一个初始化器
3.便捷初始化器最终必须调用一个指定初始化器
总结一下就是:指定构造器必须总是向上代理(去父类);便利构造器必须总是横向代理(在本类)
Swift 中类的构造过程包含两个阶段。
第一个阶段:给类中的每个存储属性赋初始值。只要每个存储属性初始值被赋值
第二阶段开始,它给每个类一次机会,在新实例准备使用之前进一步自定义它们的存储属性。
Swift 通过4步安全检查来确定构造器两个阶段的成功执行:
class Animal { var head = 1 } class Dog: Animal { var foot: Int override init() { super.init() foot = 4 } } // 报错 // 修改如下 override init() { foot = 4 //这句也可以省略,它默认是隐式调用的。 super.init() }
//这时,你必须显式的调用super.init(),因为你要修改继承属性- head 的值
override init() {
foot = 4
super.init()
head = 2
}
convenience init(foot: Int) {
//先调用其他构造器,如果此处不调用会编译出错
self.init()
//再为任意属性(包括所有同类中定义的)赋新值
self.foot = foot
head = 3
}
class Dog: Animal {
var foot: Int
override init() {
foot = 4
super.init()
head = 2
// 如果上面的未完成,是不能调用run()的,因为self还没有完整的创建
run()
}
func run() {
//do something
}
}
现在看一下阶段一和阶段二的完整流程:
阶段 1 - 自下而上
- 类的某个指定构造器或便利构造器被调用。
- 完成类的新实例内存的分配,但此时内存还没有被初始化。
- 指定构造器确保其所在类引入的所有存储型属性都已赋初值。
存储型属性所属的内存完成初始化。- 指定构造器切换到父类的构造器,对其存储属性完成相同的任务。
- 这个过程沿着类的继承链一直往上执行,直到到达继承链的最顶部。
- 当到达了继承链最顶部,而且继承链的最后一个类已确保所有的存储型属性都已经赋值,
这个实例的内存被认为已经完全初始化。此时阶段 1 完成。
阶段 2 - 自上而下
- 从继承链顶部往下,继承链中每个类的指定构造器都有机会进一步自定义实例。
构造器此时可以访问 self、修改它的属性并调用实例方法等等。- 最终,继承链中任意的便利构造器有机会自定义实例和使用 self。
继承 默认情况下子类是不会继承父类的构造器。但是如果满足特定条件,父类构造器是可以被子类自动继承。
规则 1 如果子类没有定义任何指定构造器,它将自动继承父类所有的指定构造器。 规则 2 如果子类提供了所有父类指定构造器的实现——无论是通过规则 1 继承过来的,还是提供了自定义实现——它将自动继承父类所有的便利构造器。 class Animal { let head = 1 var name = "" init(name: String) { self.name = name } convenience init() { self.init(name: "animal") } } class Dog: Animal { let foot = 4 } //自动继承父类所有的指定构造 let d1 = Dog(name: "dog") // d1.name dog //自动继承父类所有的便利构造器 let d2 = Dog() // d2.name animal
重写
class Vehicle {
var numberOfWheels = 0
var description: String {
return "\(numberOfWheels) wheel(s)"
}
}
class Bicycle: Vehicle {
override init() {
super.init()
numberOfWheels = 2
}
}
struct Animal {
let species: String
init?(species: String) {
if species.isEmpty {
return nil
}
self.species = species
}
// 可失败构造器不能与其他非可失败构造器(指定构造器、便利构造器)的参数和类型相同
//所以下面这个指定构造器是非法的。
//init(species: String) { }
}
init!
定义隐式解包的可失败初始化器我们可以通过required
关键字来实现必要构造器,子类必须实现父类的必要构造器。
class Animal { var name: String required init(name: String) { self.name = name } } class Dog: Animal { var foot: Int //在重写父类必要构造器的时候不需要加override required init(name: String) { foot = 4 super.init(name: name) } } Dog(name: "dog")
class Car { var price = 0 } class Dog { var weight = 0 } class Person { var name: String = "" var dog: Dog = Dog() var car: Car? = Car() @discardableResult func age() -> Int { 18 } func eat() { print("Person eat") } subscript(index: Int) -> Int { index } } var person: Person? = Person() person?.age() // Int? person?.eat() // ()? person?.name // String? person?[6] // Int?
nil
,调用方法,下标,属性失败,结果为nil
nil
,调用方法,下标,属性成功,结果会被包装成可选项如何判断可选链的方式被调用
if let _ = person?.eat(){
print("调用成功")
} else {
print("调用失败")
}
?
的意思是,如果person有值,就会继续调用,如果没有结束调用?
可以链接在一起nil
,那么整个链就会调用失败var dog = person?.dog // Dog? var weight = person?.dog.weight // Int? var price = person?.car?.price // Int? //var num1: Int? = nil // 代表num有值就改为20 num为nil就不赋值 //num1? = 20 //print(num1 ?? 0) // 0 var num1: Int? = 200 num1? = 20 print(num1 ?? 0) // 20 var scores = [ "Jack": [100,200,300], "Rose": [10,20,30] ] scores["Jack"]?[0]
Copyright © 2003-2013 www.wpsshop.cn 版权所有,并保留所有权利。