Swift 使用自动引用计数来管理内存,当每次创建一个新的类的实例的时候,ARC 会分配一块内存来存储该实例信息。内存中会包含实例的类型信息,以及这个实例所有相关的存储类型属性的值。看一个简单的例子:
1 | class Person { |
如果出现两个类实例之间的循环强引用,比如:
1 | class Person { |
Swift 提供两种方式来解决实例间的强引用:弱引用
和无主引用
。它们都允许循环引用中的一个实例引用另外一个实例不保持强引用。这样就相互引用就不会产生循环强引用。
弱引用(weak)
弱引用
:不会对其引用的实例保持强引用,这样就组织了引用变为循环强引用。在声明属性或者变量时,在前面加上weak
关键字表明这是一个弱引用。因为弱引用不会保持所引用的实例,即使引用存在,实例也有可能被销毁。因此,ARC 会在引用的实例被销毁后自动将其赋值为 nil 。并且因为弱引用可以允许它们的值在运行时被赋值为 nil ,所以它们会被定义为可选类型 变量,而不是常量
。需要注意的是:当 ARC 设置弱引用为 nil 时,属性观察不会被触发。
将上面Apartment
类中的tenant
属性前面使用weak
来修饰,像这样:weak var tenant: Person?
,就会打破循环强引用。
无主引用(unowned
)
无主引用
:和弱引用类似,无主引用不会牢牢保持住引用的实例。和弱引用不同的是,无主引用在其他实例有相同或者更长的生命周期时使用
。你可以在声明属性或者变量时,在前面加上关键字 unowned
表示这是一个无主引用。无主引用通常都被期望拥有值。不过 ARC 无法在实例被销毁后将无主引用设为 nil ,因为非可选类型的变量不允许被赋值为 nil 。
注意
:在使用无主引用时,必须确保引用始终指向一个未销毁的实例。如果视图在实例销毁后,访问实例的无主引用,会触发运行时错误。
举个例子,个客户可能有或者没有信用卡,但是一张信用卡总是关联着一个客户。下面表示这种关系,Customer
类有 一个可选类型的 card
属性,但是 CreditCard
类有一个非可选类型的 customer
属性。
1 | import UIKit |
注意
:上面的例子展示了如何使用安全的无主引用。对于需要禁用运行时的安全检查的情况(例如,出于性能方面的原因),Swift还提供了不安全的无主引用。与所有不安全的操作一样,你需要负责检查代码以确保其安全性。你 可以通过 unowned(unsafe) 来声明不安全无主引用。如果你试图在实例被销毁后,访问该实例的不安全无主引 用,你的程序会尝试访问该实例之前所在的内存地址,这是一个不安全的操作。
那么什么时候使用 weak 或者 unowned 呢?
当其他的实例有更短的生命周期时,使用弱引用,也就是说,当其他实例析构在先时。在上面公寓的例子中,很显然一个公寓在它的生命周期内会在某个时间段没有它的主人,所以一个弱引用就加在公寓类里面,避免循环引用。相比之下,当其他实例有相同的或者更长生命周期时,请使用无主引用。也就是:
Person 和 Apartment 的例子展示了两个属性的值都允许为 nil ,并会潜在的产生循环强引用。这种场景最适合用 弱引用来解决。
å
Customer 和 CreditCard 的例子展示了一个属性的值允许为 nil ,而另一个属性的值不允许为 nil ,这也可能会 产生循环强引用。这种场景最适合通过无主引用来解决。
无主引用以及隐式解析可选属性
当两个属性都必须有值,并且初始化完成后永远不会为 nil 。在这种场 景中,需要一个类使用无主属性,而另外一个类使用隐式解析可选属性。这使两个属性在初始化完成后能被直接访问(不需要可选展开),同时避免了循环引用。
1 | class Country { |
闭包引起的循环强引用
通过捕获值列表
作为闭包的一部分,通过这种方式可以解决闭包和类实例之间的循环强引用。捕获列表定义了闭包体内捕获一个或者多个引用类型的规则。跟解决两个类实例间的循环强引用一样,声明每个捕获的引用为弱引用或无主引用,而不是强引用。应当根据代码关系来决定使用弱引用还是无主引用。下面看一个例子:
1 | class HTMLElement { |
注意
:只要在闭包内使用 self 的成员,就要用 self.someProperty
或者 self.someMethod()
(而 不只是 someProperty 或 someMethod() )。这提醒你可能会一不小心就捕获了 self 。
解决闭包引起的强引用
如果闭包有参数列表和返回类型,把捕获值列表放在它们的前面:
1 | lazy var someClosure: (Int, String) -> String = { |
如果闭包和捕获的实例总是相互引用并同时销毁的时候,将闭包内的捕获定义为无主引用
。相反,如果被捕获的引用可能会变为 nil
时,将闭包内的捕获定义为弱引用
。弱引用总是可选类型,并且当引用 的实例被销毁后,弱引用的值会自动置为 nil 。这使我们可以在闭包体内检查它们是否存在。
注意
:如果被捕获的引用绝对不会变为 nil ,应该用无主引用,而不是弱引用。
1 | class HTMLElement { |