任何一门语言都有属性的概念。Swift中的属性是怎么的呢?
一、属性
Swift中跟实例相关的属性可以分为2大类:存储属性和计算属性。
1.1. 存储属性(Stored Property)
特点:
- 类似于成员变量的概念;
- 存储在实例的内存中;
- 结构体、类可以定义存储属性;
- 枚举不可以定义存储属性。
示例代码:
1 | struct Circle { |
关于存储属性,Swift有个明确的规定:
在创建类或结构体的实例时,必须为所有的存储属性设置一个合适的初始值。
- 可以在初始化器里为存储属性设置一个初始值;
- 可以分配一个默认的属性值作为属性定义的一部分。
1.2. 计算属性(Computed Property)
特点:
- 本质就是方法(函数);
- 不占用实例的内存;
- 枚举、结构体、类都可以定义计算属性。
示例代码:
1 | struct Circle { |
输出分析: 上面代码如果执行c.diameter = 40
,radius
的值就会变为20。因为这样会执行diameter
的set
方法(40作为参数),上面的案例看到变量newValue
,但是代码中没有定义这个变量,其实newValue
是set
方法提供的形参,只不过省略没有写而已,完整的set
方法代码应该是set(newValue) {...}
,newValue
是默认值,可以按照自己的规范修改(建议使用默认的形参命名)。c.diameter
调用的是diameter
的get
方法。
内存分析:
上面示例代码中结构体Circle
占用多少内存呢?
1 | print(MemoryLayout<Circle>.stride) |
结果显示占用8个字节。因为计算属性的本质是方法。
补充说明:
set
传入的新值默认叫做newValue
,也可以自定义。1
2
3
4
5
6
7
8
9
10
11struct Circle {
var radius: Double
var diameter: Double {
set(newDiameter) {
radius = newDiameter / 2
}
get {
return radius * 2
}
}
}只读计算属性:只有
get
,没有set
。如果是只读属性,
get
可以省略不写:1
2
3
4struct Circle {
var radius: Double
var diameter: Double { radius * 2 }
}定义计算属性只能用
var
,不能用let
。有
set
就必须有get
。
扩展: 枚举
rawValue
的本质就是只读的计算属性。
1.3. 属性观察器(Property Observer)
通过名字就可以联想到OC
中的KVO
,是的,两者确实有相似之处。在Swift
中可以为非lazy
的 var
存储属性 设置属性观察器。
示例代码:
1 | struct Circle { |
分析:
willSet
会传递新值,默认叫做newValue
;didSet
会传递旧值,默认叫做oldValue
;- 在初始化器中设置属性值不会触发
willSet
和didSet
。同样在属性定义时设置初始值也不会触发。
二、延迟存储属性(Lazy Stored Property)
使用lazy
可以定义一个延迟存储属性,在第一次用到属性的时候才会进行初始化。
特点:
lazy
属性必须是var
,不能是let
(let
必须在实例的初始化方法完成之前就拥有值);- 如果多条线程同时第一次访问
lazy
属性,无法保证属性只被初始化1次(非线程安全)。
示例代码:
1 | class Car { |
分析: 如果Person
中的存储属性car
没有lazy
修饰,在创建Person
对象p
的时候就会调用存储属性car
的初始化方法。添加lazy
修饰后,只会在第一次使用car
属性(对象)时进行初始化。
注意点: 当结构体包含一个延迟存储属性时,只有var
才能访问延迟存储属性。因为延迟属性初始化时需要改变结构体的内存,而结构体如果使用let
修饰后就不能修改所在内存。
三、类型属性(Type Property)
严格来说,属性可以分为:
实例属性(Instance Property):只能通过实例去访问
- 存储实例属性(Stored Instance Property):存储在实例的内存中,每个实例都有1份;
- 计算实例属性(Computed Instance Property)
类型属性(Type Property):只能通过类型去访问
- 存储类型属性(Stored Type Property):整个程序运行过程中,就只有1份内存(类似于全局变量)
- 计算实例属性(Computed Type Property)
可以通过static
定义类型属性。如果是类,也可以用关键字class
。
示例代码:
1 | struct Shape { |
3.1. 类型属性细节
不同于存储实例属性,存储类型属性必须进行初始化,否则报错(因为类型没有像实例那样的
init
初始化器来初始化存储属性):存储类型属性默认就是
lazy
,会在第一次使用的时候才初始化,就算被多个线程同时访问,保证只会初始化一次(线程安全)。存储类型属性可以是
let
。枚举类型也可以定义类型属性(存储类型属性,计算类型属性)。
3.2. 单例模式
使用类型属性可以创建单例模式。
示例代码:
1 | class FileManager { |
把初始化器设为private
,这样就无法让外界使用init
创建实例。把类型属性设为public
,在其他文件中也可以访问,存储类型属性再用let
修饰,这样就能保证实例只能指向一块固定内存。
3.2. 类型存储属性的本质
第一步:示例代码
第二步:查看全局变量内存地址
分析:num1
内存地址:0x1000013f1 + 0x5df7 = 0x1000071E8
;num2
内存地址:0x1000013fc + 0x5df4 = 0x1000071F0
;num3
内存地址:0x100001407 + 0x5df1 = 0x1000071F8
。
结论:num1
,num2
,num3
三个变量的内存地址是连续的。
第三步:查看类型存储属性地址
分析:num1
内存地址:0x100001013 + 0x631d = 0x100007330
;Car.count
内存地址:0x100007338
;num3
内存地址:0x10000105c + 0x62e4 = 0x100007340
。
结论:num1
,Car.count
,num3
三个变量的内存地址是连续的。
从内寸角度看,类型存储属性写在外面和里面没有什么区别,写在类里面只是代表该属性有一定访问权限。
类型存储属性默认是lazy
,所以在第一次访问的时候做了很多操作。而且只被初始化一次。
通过汇编查看类型存储属性初始化:
发现,类型属性初始化最终调用的是GCD
中的dispatch_once
,这样就保证了属性只被初始化一次。