Swift learning part 23 - 自动引用计数

Swift 使用自动引用计数（ARC）机制来跟踪和管理你的应用程序的内存。通常情况下，Swift 内存管理机制会一直起作用，你无须自己来考虑内存的管理。然而在少数情况下，为了能帮助你管理内存，ARC 需要更多的，代码之间关系的信息。

注意：引用计数仅仅应用于类的实例，结构体和枚举类型是值类型，不是引用类型，也不是通过引用的方式存储和传递。

自动引用计数的工作机制

当你每次创建一个类的新的实例的时候，ARC 会分配一块内存来储存该实例信息。内存中会包含实例的类型信息，以及这个实例所有相关的存储型属性的值。

此外，当实例不再被使用时，ARC 释放实例所占用的内存，并让释放的内存能挪作他用。这确保了不再被使用的实例，不会一直占用内存空间。

然而，当 ARC 收回和释放了正在被使用中的实例，该实例的属性和方法将不能再被访问和调用。实际上，如果你试图访问这个实例，你的应用程序很可能会崩溃。

为了确保使用中的实例不会被销毁，ARC 会跟踪和计算每一个实例正在被多少属性，常量和变量所引用。哪怕实例的引用数为 1，ARC都不会销毁这个实例。

为了使上述成为可能，无论你将实例赋值给属性、常量或变量，它们都会创建此实例的强引用。之所以称之为“强”引用，是因为它会将实例牢牢地保持住，只要强引用还在，实例是不允许被销毁的。

自动引用计数实践

下面的例子展示了自动引用计数的工作机制。例子以一个简单的 People 类开始，并定义了一个叫 name 的常量属性：

class People {
    let name: String
    
    init(name: String) {
        self.name = name
        print("\(name) is being initialized")
    }
    
    deinit {
        print("\(name) is being deinitialized")
    }
}

定义三个类型为 People? 的变量，用来按照代码片段中的顺序，为新的 People 实例建立多个引用。由于这些变量是被定义为可选类型，它们的值会被自动初始化为nil，目前还不会引用到 People 类的实例。

var reference1: People?
var reference2: People?
var reference3: People?

创建 People 类的新实例，并且将它赋值给三个变量中的一个:

reference1 = People(name: "John Appleseed")
// 打印 "John Appleseed is being initialized"

由于 People 类的新实例被赋值给了 reference1 变量，所以 reference1 到 People 类的新实例之间建立了一个强引用。正是因为这一个强引用，ARC 会保证 People 实例被保持在内存中不被销毁。

如果将同一个 People 实例也赋值给其他两个变量，该实例又会多出两个强引用:

reference2 = reference1
reference3 = reference1

现在这一个 People 实例已经有三个强引用了。

如果通过给其中两个变量赋值nil的方式断开两个强引用，只留下一个强引用，People 实例不会被销毁：

reference1 = nil
reference2 = nil

在清楚地表明不再使用这个 People 实例时，即第三个也就是最后一个强引用被断开时，ARC 会销毁它：

reference3 = nil
// 打印 "John Appleseed is being deinitialized"

类实例之间的循环强引用

我们可能会写出一个类实例的强引用数永远不能变成 0 的代码。如果两个类实例互相持有对方的强引用，那么每个实例都会让对方一直存在，这就是所谓的循环强引用。

我们可以通过定义类之间的关系为弱引用或无主引用，以替代强引用，从而解决循环强引用的问题。

下面展示了一个循环强引用的例子，例子定义了两个类：Person 和 Apartment，用来建模公寓和它其中的居民：

class Person {
    let name: String
    var apartment: Apartment?
    
    init(name: String) {
        self.name = name
    }
    
    deinit {
        print("Person \(name) is being deinitialized")
    }
}

class Apartment {
    let unit: String
    var tenant: Person?
    
    init(unit: String) {
        self.unit = unit
    }
    
    deinit {
        print("Apartment \(unit) is being deinitialized")
    }
}

每一个 Person 实例有一个类型为 String，名字为 name 的属性，并有一个可选的初始化为 nil 的 apartment 属性。apartment 属性是可选的，因为一个人并不总是拥有公寓。类似的，每个 Apartment 实例有一个叫 unit，类型为 String 的属性，并有一个可选的初始化为 nil 的 tenant 属性。tenant 属性是可选的，因为一栋公寓并不总是有居民。

定义两个可选类型的变量 john 和 unit4A，并将他们分别设定为下面的 Apartment 和 Person 的实例，这两个变量都被初始化为nil：

var john: Person?
var unit4A: Apartment?

创建特定的 Person 和 Apartment 实例并赋值给 john 和 unit4A：

john = Person(name: "John")
unit4A = Apartment(unit: "4A")

将这两个实例关联在一起，这样人就能有公寓住了，而公寓也有了房客。注意感叹号是用来展开和访问可选变量 john 和 unit4A 中的实例，这样实例的属性才能被赋值：

john!.apartment = unit4A
unit4A!.tenant = john

这两个实例关联后会产生一个循环强引用。Person 实例现在有了一个指向 Apartment 实例的强引用，而 Apartment 实例也有了一个指向 Person 实例的强引用。因此，当断开 john 和 unit4A 变量所持有的强引用时，引用计数并不会降为 0，实例也不会被 ARC 销毁：

john = nil
unit4A = nil

注意：当把这两个变量设为nil时，没有任何一个析构函数被调用。循环强引用会一直阻止 Person 和 Apartment 类实例的销毁，这就在你的应用程序中造成了内存泄漏。

解决实例之间的循环强引用

Swift 提供了两种办法用来解决在使用类的属性时所遇到的循环强引用问题：弱引用（weak reference）和无主引用（unowned reference）。

弱引用和无主引用允许循环引用中的一个实例引用而另外一个实例而不保持强引用。这样实例能够互相引用而不产生循环强引用。

当其他的实例有更短的生命周期时，使用弱引用，也就是说，当其他实例析构在先时使用s弱引用。相比之下，当其他实例有相同的或者更长生命周期时，使用无主引用。

在上面公寓的例子中，很显然一个公寓在它的生命周期内会在某个时间段没有它的主人，所以一个弱引用就加在公寓类里面，避免循环引用。

弱引用

弱引用不会对其引用的实例保持强引用，因而不会阻止 ARC 销毁被引用的实例。声明属性或者变量时，在前面加上 weak 关键字表明这是一个弱引用。

因为弱引用不会保持所引用的实例，即使引用存在，实例也有可能被销毁。因此，ARC 会在引用的实例被销毁后自动将其赋值为 nil。并且因为弱引用可以允许它们的值在运行时被赋值为nil，所以它们会被定义为可选类型变量，而不是常量。

注意：当 ARC 设置弱引用为 nil 时，属性观察不会被触发。

下面的例子跟上面 Person 和 Apartment 的例子一致，但是有一个重要的区别。这一次，AnotherApartment 的 tenant 属性被声明为弱引用：

class AnotherPerson {
    let name: String
    var apartment: AnotherApartment?
    
    init(name: String) {
        self.name = name
    }
    
    deinit {
        print("AnotherPerson \(name) is being deinitialized")
    }
}

class AnotherApartment {
    let unit: String
    weak var tenant: AnotherPerson?
    
    init(unit: String) {
        self.unit = unit
    }
    
    deinit {
        print("AnotherApartment \(unit) is being deinitialized")
    }
}

建立两个变量 tom 和 unit4B 之间的强引用，并关联两个实例：

var ann: AnotherPerson?
var unit4B: AnotherApartment?
ann = AnotherPerson(name: "Ann")
unit4B = AnotherApartment(unit: "4B")
ann!.apartment = unit4B
unit4B!.tenant = ann

AnotherPerson 实例依然保持对 AnotherApartment 实例的强引用，但是 AnotherApartment 实例只持有对 AnotherPerson 实例的弱引用。这意味着当你断开 ann 变量所保持的强引用时，再也没有指向 AnotherPerson 实例的强引用了，由于再也没有指向 AnotherPerson 实例的强引用，该实例会被销毁：

ann = nil
// 打印 "AnotherPerson Ann is being deinitialized"

唯一剩下的指向 AnotherApartment 实例的强引用来自于变量 unit4B 。如果断开这个强引用，再也没有指向 AnotherApartment 实例的强引用了。由于再也没有指向 AnotherApartment 实例的强引用，该实例也会被销毁：

unit4B = nil // 打印 "AnotherApartment 4B is being deinitialized"

变量 ann 和 unit4B 在被赋值为 nil 后，AnotherPerson 实例和 AnotherApartment 实例的析构函数都打印出“销毁”的信息。这证明了引用循环被打破了。

注意：
在使用垃圾收集的系统里，弱指针有时用来实现简单的缓冲机制，因为没有强引用的对象只会在内存压力触发垃圾收集时才被销毁。但是在 ARC 中，一旦值的最后一个强引用被移除，就会被立即销毁，这导致弱引用并不适合上面的用途。

无主引用

和弱引用类似，无主引用不会牢牢保持住引用的实例。和弱引用不同的是，无主引用在其他实例有相同或者更长的生命周期时使用。可以在声明属性或者变量时，在前面加上关键字 unowned 表示这是一个无主引用。

无主引用通常都被期望拥有值。不过 ARC 无法在实例被销毁后将无主引用设为 nil，因为非可选类型的变量不允许被赋值为 nil。

注意：
使用无主引用，你必须确保引用始终指向一个未销毁的实例。如果你试图在实例被销毁后，访问该实例的无主引用，会触发运行时错误。

下面的例子定义了两个类，Customer 和 CreditCard，模拟了银行客户和客户的信用卡。这两个类中，每一个都将另外一个类的实例作为自身的属性。这种关系可能会造成循环强引用。

Customer 和 CreditCard 之间的关系与前面弱引用例子中 Apartment 和 Person 的关系略微不同。在这个数据模型中，一个客户可能有或者没有信用卡，但是一张信用卡总是关联着一个客户。为了表示这种关系，Customer 类有一个可选类型的 card 属性，但是 CreditCard 类有一个非可选类型的 customer 属性。

此外，只能通过将一个 number 值和 customer 实例传递给 CreditCard 构造函数的方式来创建 CreditCard 实例。这样可以确保当创建 CreditCard 实例时总是有一个 customer 实例与之关联。

由于信用卡总是关联着一个客户，因此将 customer 属性定义为无主引用，用以避免循环强引用：

class Customer {
    let name: String
    var card: CreditCard?
    
    init(name: String) {
        self.name = name
    }
    
    deinit {
        print("\(name) is being deinitialized")
    }
}

class CreditCard {
    let number: UInt64
    unowned let customer: Customer
    
    init(number: UInt64, customer: Customer) {
        self.number = number
        self.customer = customer
    }
    
    deinit {
        print("Card #\(number) is being deinitialized")
    }
}

创建 Customer 类的实例，用它初始化 CreditCard 实例，并将新创建的 CreditCard 实例赋值为客户的 card 属性：

var tom:Customer? = Customer(name: "Tom")
tom!.card = CreditCard(number: 1234_5678_9012_3456, customer: tom!)

Customer 实例持有对 CreditCard 实例的强引用，而 CreditCard 实例持有对 Customer 实例的无主引用。由于 customer 的无主引用，当你断开 tom 变量持有的强引用时，再也没有指向 Customer 实例的强引用了。由于再也没有指向 Customer 实例的强引用，该实例被销毁了。其后，再也没有指向 CreditCard 实例的强引用，该实例也随之被销毁了：

tom = nil
// 打印 "Tom Appleseed is being deinitialized"
// 打印 "Card #1234567890123456 is being deinitialized"

无主引用和隐式解包可选值属性

Person 和 Apartment 的例子展示了两个属性值都允许为 nil，并会潜在的产生循环强引用，这种场景适合用弱引用来解决。

Customer 和 CreditCard 的例子展示了一个属性的值允许为 nil，而另一个属性的值不允许为 nil，这也可能会产生循环强引用，这种场景最适合通过无主引用来解决。

然而，存在着第三种场景，在这种场景中，两个属性都必须有值，并且初始化完成后永远不会为 nil。在这种场景中，需要一个类使用无主属性，而另外一个类使用隐式解析可选属性。这使两个属性在初始化完成后能被直接访问（不需要可选展开），同时避免了循环引用。

下面的例子定义了两个类，Country 和 City，每个类将另外一个类的实例保存为属性。在这个模型中，每个国家必须有首都，每个城市必须属于一个国家。为了实现这种关系，Country 类拥有一个 capitalCity 属性，而 City 类有一个 country 属性：

class Country {
    let name: String
    var capitalCity: City!
    
    init(name: String, capitalName: String) {
        self.name = name
        self.capitalCity = City(name: capitalName, country: self)
    }
}

class City {
    let name: String
    unowned let country: Country
    
    init(name: String, country: Country) {
        self.name = name
        self.country = country
    }
}

为了建立两个类的依赖关系，City 的构造函数接受一个 Country 实例作为参数，并且将实例保存到 country 属性。

Country 的构造函数调用了 City 的构造函数。然而，只有 Country 的实例完全初始化后，Country 的构造函数才能把 self 传给 City 的构造函数。

为了满足这种需求，通过在类型结尾处加上感叹号（City!）的方式，将 Country 的 capitalCity 属性声明为隐式解析可选类型的属性。这意味着像其他可选类型一样，capitalCity 属性的默认值为 nil，但是不需要展开它的值就能访问它。

由于 capitalCity 默认值为nil，一旦 Country 的实例在构造函数中给 name 属性赋值后，整个初始化过程就完成了。这意味着一旦 name 属性被赋值后，Country 的构造函数就能引用并传递隐式的 self。Country 的构造函数在赋值 capitalCity 时，就能将 self 作为参数传递给 City 的构造函数。

以上的意义在于你可以通过一条语句同时创建 Country 和 City 的实例，而不产生循环强引用，并且 capitalCity 的属性能被直接访问，而不需要通过感叹号来展开它的可选值：

var country = Country(name: "Canada", capitalName: "Ottawa")
print("\(country.name)'s capital city is called \(country.capitalCity.name)")
// 打印 "Canada's capital city is called Ottawa"

在上面的例子中，使用隐式解析可选值意味着满足了类的构造函数的两个构造阶段的要求。capitalCity 属性在初始化完成后，能像非可选值一样使用和存取，同时还避免了循环强引用。

闭包的循环强引用

循环强引用还会发生在当你将一个闭包赋值给类实例的某个属性，并且这个闭包体中又使用了这个类实例时。这个闭包体中可能访问了实例的某个属性，例如 self.someProperty，或者闭包中调用了实例的某个方法，例如 self.someMethod()。这两种情况都导致了闭包“捕获” self，从而产生了循环强引用。

循环强引用的产生，是因为闭包和类相似，都是引用类型。当你把一个闭包赋值给某个属性时，你是将这个闭包的引用赋值给了属性。实质上，这跟之前的问题是一样的，两个强引用让彼此一直有效。但是，和两个类实例不同，这次一个是类实例，另一个是闭包。

Swift 提供了一种优雅的方法来解决这个问题，称之为闭包捕获列表（closure capture list）。

下面的例子为你展示了当一个闭包引用了 self 后是如何产生一个循环强引用的：

class HTMLElement {
    
    let name: String
    let text: String?
    
    lazy var asHTML: () -> String = {
        if let text = self.text {
            return "<\(self.name)>\(text)</\(self.name)>"
        } else {
            return "<\(self.name) />"
        }
    }
    
    init(name: String, text:String? = nil) {
        self.name = name
        self.text = text
    }
    
    deinit {
        print("\(name) is being deinitialized")
    }
}

HTMLElement 类定义了一个 name 属性来表示这个元素的名称，例如代表头部元素的 “h1”，代表段落的 “p”，或者代表换行的 “br”。HTMLElement 还定义了一个可选属性 text，用来设置 HTML 元素呈现的文本。

HTMLElement 还定义了一个 lazy 属性 asHTML。这个属性引用了一个将 name 和 text 组合成 HTML 字符串片段的闭包。

默认情况下，闭包赋值给了 asHTML 属性，这个闭包返回一个代表 HTML 标签的字符串。如果 text 值存在，该标签就包含可选值 text；如果 text 不存在，该标签就不包含文本。

可以像实例方法那样去命名、使用 asHTML 属性。然而，由于 asHTML 是闭包而不是实例方法，如果你想改变特定 HTML 元素的处理方式的话，可以用自定义的闭包来取代默认值。

例如，可以将一个闭包赋值给 asHTML 属性，这个闭包能在 text 属性是 nil 时使用默认文本，这是为了避免返回一个空的 HTML 标签：

let heading = HTMLElement(name: "h1")
let defaultText = "some default text"
heading.asHTML = {
    return "<\(heading.name)>\(heading.text ?? defaultText)</\(heading.name)>"
}
print(heading.asHTML())
// 打印“<h1>some default text</h1>”

注意：
asHTML 声明为 lazy 属性，因为只有当元素确实需要被处理为 HTML 输出的字符串时，才需要使用 asHTML。也就是说，在默认的闭包中可以使用 self，因为只有当初始化完成以及 self 确实存在后，才能访问 lazy 属性。

HTMLElement 类只提供了一个构造器，通过 name 和 text（如果有的话）参数来初始化一个新元素。该类也定义了一个析构器，当 HTMLElement 实例被销毁时，打印一条消息。

下面的代码展示了如何用 HTMLElement 类创建实例并打印消息：

var paragraph: HTMLElement? = HTMLElement(name: "p", text: "hello, world")
print(paragraph!.asHTML())
// 打印“<p>hello, world</p>”

上面写的 HTMLElement 类产生了类实例和作为 asHTML 默认值的闭包之间的循环强引用。实例的 asHTML 属性持有闭包的强引用，而闭包在其闭包体内使用了self（引用了 self.name 和 self.text），因此闭包捕获了self，这意味着闭包又反过来持有了HTMLElement实例的强引用，这样两个对象就产生了循环强引用。

注意 ：虽然闭包多次使用了self，它只捕获 HTMLElement 实例的一个强引用。

如果设置 paragraph 变量为 nil，打破它持有的 HTMLElemen t实例的强引用，但 HTMLElement 实例和它的闭包都不会被销毁：

paragraph = nil

注意，HTMLElement 的析构函数中的消息并没有被打印，证明了 HTMLElement 实例并没有被销毁。

解决闭包的循环强引用

在定义闭包时同时定义捕获列表作为闭包的一部分，通过这种方式可以解决闭包和类实例之间的循环强引用。捕获列表定义了闭包体内捕获一个或者多个引用类型的规则。跟解决两个类实例间的循环强引用一样，声明每个捕获的引用为弱引用或无主引用，而不是强引用。应当根据代码关系来决定使用弱引用还是无主引用。

注意：
Swift 有如下要求：
只要在闭包内使用 self 的成员，就要用 self.someProperty 或者 self.someMethod()，而不只是 someProperty 或 someMethod()。这提醒你可能会一不小心就捕获了 self。

定义捕获列表

捕获列表中的每一项都由一对元素组成，一个元素是 weak 或 unowned 关键字，另一个元素是类实例的引用（例如 self）或初始化过的变量（如 delegate = self.delegate!）。这些项在方括号中用逗号分开。

如果闭包有参数列表和返回类型，把捕获列表放在它们前面：

lazy var someClosure: (Int, String) -> String = {
    [unowned self, weak delegate = self.delegate!] (index: Int, stringToProcess: String) -> String in
    // 这里是闭包的函数体
}

如果闭包没有指明参数列表或者返回类型，即它们会通过上下文推断，那么可以把捕获列表和关键字 in 放在闭包最开始的地方：

lazy var someClosure: Void -> String = {
    [unowned self, weak delegate = self.delegate!] in
    // 这里是闭包的函数体
}

弱引用和无主引用

在闭包和捕获的实例总是互相引用并且总是同时销毁时，将闭包内的捕获定义为无主引用。

相反的，在被捕获的引用可能会变为 nil 时，将闭包内的捕获定义为弱引用。弱引用总是可选类型，并且当引用的实例被销毁后，弱引用的值会自动置为 nil。这使我们可以在闭包体内检查它们是否存在。

注意：如果被捕获的引用绝对不会变为 nil，应该用无主引用，而不是弱引用。

前面的 HTMLElement 例子中，无主引用是正确的解决循环强引用的方法。这样编写 HTMLElement 类来避免循环强引用：

class AnotherHTMLElement {
    
    let name: String
    let text: String?
    
    lazy var asHTML: () -> String = {
        [unowned self] in
        
        if let text = self.text {
            return "<\(self.name)>\(text)</\(self.name)>"
        } else {
            return "<\(self.name) />"
        }
    }
    
    init(name: String, text: String? = nil) {
        self.name = name
        self.text = text
    }
    
    deinit {
        print("\(name) is being deinitialized")
    }
    
}

上面的 AnotherHTMLElement 实现和之前的实现一致，除了在 asHTML 闭包中多了一个捕获列表。这里，捕获列表是 [unowned self]，表示“将 self 捕获为无主引用而不是强引用”。

var anotherParagraph: AnotherHTMLElement? = AnotherHTMLElement(name: "p", text: "hello, world")
print(anotherParagraph!.asHTML())
// 打印 "<p>hello, world</p>"

这一次，闭包以无主引用的形式捕获 self，并不会持有 AnotherHTMLElement 实例的强引用。如果将 anotherParagraph 赋值为 nil，HTMLElement 实例将会被销毁，并能看到它的析构函数打印出的消息：

anotherParagraph = nil
// 打印 "p is being deinitialized"