fix 2.16 automatic reference counting

source/chapter2/16_Automatic_Reference_Counting.md

@@ -1,5 +1,4 @@
 > 翻译：TimothyYe  
-
 > 校对：Hawstein  
 
 # 自动引用计数
@@ -19,7 +18,6 @@ Swift 使用自动引用计数（ARC）这一机制来跟踪和管理你的应
 然而，在少数情况下，ARC 为了能帮助你管理内存，需要更多的关于你的代码之间关系的信息。本章描述了这些情况，并且为你示范怎样启用 ARC 来管理你的应用程序的内存。
 
 > 注意:  
->
 引用计数仅仅应用于类的实例。结构体和枚举类型是值类型，不是引用类型，也不是通过引用的方式存储和传递。
 
 <a name="how_arc_works"></a>
@@ -38,31 +36,35 @@ Swift 使用自动引用计数（ARC）这一机制来跟踪和管理你的应
 
 下面的例子展示了自动引用计数的工作机制。例子以一个简单的`Person`类开始，并定义了一个叫`name`的常量属性：
 
+```swift
 class Person {
     let name: String
-
     init(name: String) {
         self.name = name
         println("\(name) is being initialized")
     }
-
     deinit {
         println("\(name) is being deinitialized")
     }
 }
+```
 
 `Person`类有一个构造函数，此构造函数为实例的`name`属性赋值并打印出信息，以表明初始化过程生效。`Person`类同时也拥有析构函数，同样会在实例被销毁的时候打印出信息。
 
 接下来的代码片段定义了三个类型为`Person?`的变量，用来按照代码片段中的顺序，为新的`Person`实例建立多个引用。由于这些变量是被定义为可选类型（Person?，而不是Person），它们的值会被自动初始化为`nil`，目前还不会引用到`Person`类的实例。
 
+```swift
 var reference1: Person?
 var reference2: Person?
 var reference3: Person?
+```
 
 现在你可以创建`Person`类的新实例，并且将它赋值给三个变量其中的一个：
 
+```swift
 reference1 = Person(name: "John Appleseed")
 // prints "John Appleseed is being initialized”
+```
 
 应当注意到当你调用`Person`类的构造函数的时候，"John Appleseed is being initialized”会被打印出来。由此可以确定构造函数被执行。
 
@@ -70,20 +72,26 @@ Swift 使用自动引用计数（ARC）这一机制来跟踪和管理你的应
 
 如果你将同样的`Person`实例也赋值给其他两个变量，该实例又会多出两个强引用：
 
+```swift
 reference2 = reference1
 reference3 = reference1
+```
 
 现在这个`Person`实例已经有三个强引用了。
 
 如果你通过给两个变量赋值`nil`的方式断开两个强引用（）包括最先的那个强引用），只留下一个强引用，`Person`实例不会被销毁：
 
+```swift
 reference2 = nil
 reference3 = nil
+```
 
 ARC 会在第三个，也即最后一个强引用被断开的时候，销毁`Person`实例，这也意味着你不再使用这个`Person`实例：
 
+```swift
 reference3 = nil
 // prints "John Appleseed is being deinitialized"
+```
 
 <a name="strong_reference_cycles_between_class_instances"></a>
 ## 类实例之间的循环强引用
@@ -96,19 +104,23 @@ ARC 会在第三个，也即最后一个强引用被断开的时候，销毁`Per
 
 下面展示了一个不经意产生循环强引用的例子。例子定义了两个类：`Person`和`Apartment`，用来建模公寓和它其中的居民:
 
+```swift
 class Person {
     let name: String
     init(name: String) { self.name = name }
     var apartment: Apartment?
     deinit { println("\(name) is being deinitialized") }
 }
+```
 
+```swift
 class Apartment {
     let number: Int
     init(number: Int) { self.number = number }
     var tenant: Person?
     deinit { println("Apartment #\(number) is being deinitialized") }
 }
+```
 
 每一个`Person`实例有一个类型为`String`，名字为`name`的属性，并有一个可选的初始化为`nil`的`apartment`属性。`apartment`属性是可选的，因为一个人并不总是拥有公寓。
 
@@ -118,13 +130,17 @@ ARC 会在第三个，也即最后一个强引用被断开的时候，销毁`Per
 
 接下来的代码片段定义了两个可选类型的变量`john`和`number73`,并分别被设定为下面的`Apartment`和`Person`的实例。这两个变量都被初始化为`nil`，并为可选的：
 
+```swift
 var john: Person?
 var number73: Apartment?
+```
 
 现在你可以创建特定的`Person`和`Apartment`实例并将类实例赋值给`john`和`number73`变量：
 
+```swift
 john = Person(name: "John Appleseed")
 number73 = Apartment(number: 73)
+```
 
 在两个实例被创建和赋值后，下图表现了强引用的关系。变量`john`现在有一个指向`Person`实例的强引用，而变量`number73`有一个指向`Apartment`实例的强引用：
 
@@ -132,8 +148,10 @@ ARC 会在第三个，也即最后一个强引用被断开的时候，销毁`Per
 
 现在你能够将这两个实例关联在一起，这样人就能有公寓住了，而公寓也有了房客。注意感叹号是用来展开和访问可选变量`john`和`number73`中的实例，这样实例的属性才能被赋值：
 
+```swift
 john!.apartment = number73
 number73!.tenant = john
+```
 
 在将两个实例联系在一起之后，强引用的关系如图所示：
 
@@ -141,8 +159,10 @@ ARC 会在第三个，也即最后一个强引用被断开的时候，销毁`Per
 
 不幸的是，将这两个实例关联在一起之后，一个循环强引用被创建了。`Person`实例现在有了一个指向`Apartment`实例的强引用，而`Apartment`实例也有了一个指向`Person`实例的强引用。因此，当你断开`john`和`number73`变量所持有的强引用时，引用计数并不会降为 0，实例也不会被 ARC 销毁：
 
+```swift
 john = nil
 number73 = nil
+```
 
 注意，当你把这两个变量设为`nil`时，没有任何一个析构函数被调用。强引用循环阻止了`Person`和`Apartment`类实例的销毁，并在你的应用程序中造成了内存泄漏。
 
@@ -161,7 +181,6 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
 
 对于生命周期中会变为`nil`的实例使用弱引用。相反的，对于初始化赋值后再也不会被赋值为`nil`的实例，使用无主引用。
 
-
 ### 弱引用
 
 弱引用不会牢牢保持住引用的实例，并且不会阻止 ARC 销毁被引用的实例。这种行为阻止了引用变为循环强引用。声明属性或者变量时，在前面加上`weak`关键字表明这是一个弱引用。
@@ -177,22 +196,27 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
 
 下面的例子跟上面`Person`和`Apartment`的例子一致，但是有一个重要的区别。这一次，`Apartment`的`tenant`属性被声明为弱引用：
 
+```swift
 class Person {
     let name: String
     init(name: String) { self.name = name }
     var apartment: Apartment?
     deinit { println("\(name) is being deinitialized") }
 }
+```
 
+```swift
 class Apartment {
     let number: Int
     init(number: Int) { self.number = number }
     weak var tenant: Person?
     deinit { println("Apartment #\(number) is being deinitialized") }
 }
+```
 
 然后跟之前一样，建立两个变量（john和number73）之间的强引用，并关联两个实例：
 
+```swift
 var john: Person?
 var number73: Apartment?
 
@@ -201,6 +225,7 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
 
 john!.apartment = number73
 number73!.tenant = john
+```
 
 现在，两个关联在一起的实例的引用关系如下图所示：
 
@@ -212,8 +237,10 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
 
 由于再也没有指向`Person`实例的强引用，该实例会被销毁：
 
+```swift
 john = nil
 // prints "John Appleseed is being deinitialized"
+```
 
 唯一剩下的指向`Apartment`实例的强引用来自于变量`number73`。如果你断开这个强引用，再也没有指向`Apartment`实例的强引用了：
 
@@ -221,8 +248,10 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
 
 由于再也没有指向`Apartment`实例的强引用，该实例也会被销毁：
 
+```swift
 number73 = nil
 // prints "Apartment #73 is being deinitialized"
+```
 
 上面的两段代码展示了变量`john`和`number73`在被赋值为`nil`后，`Person`实例和`Apartment`实例的析构函数都打印出“销毁”的信息。这证明了引用循环被打破了。
 
@@ -235,7 +264,6 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
 
 > 注意:  
 >如果你试图在实例被销毁后，访问该实例的无主引用，会触发运行时错误。使用无主引用，你必须确保引用始终指向一个未销毁的实例。  
-
 > 还需要注意的是如果你试图访问实例已经被销毁的无主引用，程序会直接崩溃，而不会发生无法预期的行为。所以你应当避免这样的事情发生。  
 
 下面的例子定义了两个类，`Customer`和`CreditCard`，模拟了银行客户和客户的信用卡。这两个类中，每一个都将另外一个类的实例作为自身的属性。这种关系会潜在的创造循环强引用。
@@ -246,6 +274,7 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
 
 由于信用卡总是关联着一个客户，因此将`customer`属性定义为无主引用，用以避免循环强引用：
 
+```swift
 class Customer {
     let name: String
     var card: CreditCard?
@@ -254,7 +283,9 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
     }
     deinit { println("\(name) is being deinitialized") }
 }
+```
 
+```swift
 class CreditCard {
     let number: Int
     unowned let customer: Customer
@@ -264,15 +295,20 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
     }
     deinit { println("Card #\(number) is being deinitialized") }
 }
+```
 
 下面的代码片段定义了一个叫`john`的可选类型`Customer`变量，用来保存某个特定客户的引用。由于是可选类型，所以变量被初始化为`nil`。
 
+```swift
 var john: Customer?
+```
 
 现在你可以创建`Customer`类的实例，用它初始化`CreditCard`实例，并将新创建的`CreditCard`实例赋值为客户的`card`属性。
 
+```swift
 john = Customer(name: "John Appleseed")
 john!.card = CreditCard(number: 1234_5678_9012_3456, customer: john!)
+```
 
 在你关联两个实例后，他们的引用关系如下图所示：
 
@@ -286,13 +322,14 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
 
 由于再也没有指向`Customer`实例的强引用，该实例被销毁了。其后，再也没有指向`CreditCard`实例的强引用，该实例也随之被销毁了：
 
+```swift
 john = nil
 // prints "John Appleseed is being deinitialized"
 // prints "Card #1234567890123456 is being deinitialized"
+```
 
 最后的代码展示了在`john`变量被设为`nil`后`Customer`实例和`CreditCard`实例的构造函数都打印出了“销毁”的信息。
 
-
 ###无主引用以及隐式解析可选属性
 
 上面弱引用和无主引用的例子涵盖了两种常用的需要打破循环强引用的场景。
@@ -307,6 +344,7 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
 
 下面的例子定义了两个类，`Country`和`City`，每个类将另外一个类的实例保存为属性。在这个模型中，每个国家必须有首都，而每一个城市必须属于一个国家。为了实现这种关系，`Country`类拥有一个`capitalCity`属性，而`City`类有一个`country`属性：
 
+```swift
 class Country {
     let name: String
     let capitalCity: City!
@@ -315,7 +353,9 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
         self.capitalCity = City(name: capitalName, country: self)
     }
 }
+```
 
+```swift
 class City {
     let name: String
     unowned let country: Country
@@ -324,6 +364,7 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
         self.country = country
     }
 }
+```
 
 为了建立两个类的依赖关系，`City`的构造函数有一个`Country`实例的参数，并且将实例保存为`country`属性。
 
@@ -335,9 +376,11 @@ Swift 提供了两种办法用来解决你在使用类的属性时所遇到的
 
 以上的意义在于你可以通过一条语句同时创建`Country`和`City`的实例，而不产生循环强引用，并且`capitalCity`的属性能被直接访问，而不需要通过感叹号来展开它的可选值：
 
+```swift
 var country = Country(name: "Canada", capitalName: "Ottawa")
 println("\(country.name)'s capital city is called \(country.capitalCity.name)")
 // prints "Canada's capital city is called Ottawa"
+```
 
 在上面的例子中，使用隐式解析可选值的意义在于满足了两个类构造函数的需求。`capitalCity`属性在初始化完成后，能像非可选值一样使用和存取同时还避免了循环强引用。
 
@@ -354,6 +397,7 @@ Swift 提供了一种优雅的方法来解决这个问题，称之为闭包占
 
 下面的例子为你展示了当一个闭包引用了`self`后是如何产生一个循环强引用的。例子中定义了一个叫`HTMLElement`的类，用一种简单的模型表示 HTML 中的一个单独的元素：
 
+```swift
 class HTMLElement {
 
     let name: String
@@ -377,6 +421,7 @@ Swift 提供了一种优雅的方法来解决这个问题，称之为闭包占
     }
 
 }
+```
 
 `HTMLElement`类定义了一个`name`属性来表示这个元素的名称，例如代表段落的"p"，或者代表换行的"br"。`HTMLElement`还定义了一个可选属性`text`，用来设置和展现 HTML 元素的文本。
 
@@ -387,19 +432,19 @@ Swift 提供了一种优雅的方法来解决这个问题，称之为闭包占
 可以像实例方法那样去命名、使用`asHTML`属性。然而，由于`asHTML`是闭包而不是实例方法，如果你想改变特定元素的 HTML 处理的话，可以用自定义的闭包来取代默认值。
 
 > 注意:  
->
 `asHTML`声明为`lazy`属性，因为只有当元素确实需要处理为HTML输出的字符串时，才需要使用`asHTML`。也就是说，在默认的闭包中可以使用`self`，因为只有当初始化完成以及`self`确实存在后，才能访问`lazy`属性。
 
 `HTMLElement`类只提供一个构造函数，通过`name`和`text`（如果有的话）参数来初始化一个元素。该类也定义了一个析构函数，当`HTMLElement`实例被销毁时，打印一条消息。
 
 下面的代码展示了如何用`HTMLElement`类创建实例并打印消息。
 
+```swift
 var paragraph: HTMLElement? = HTMLElement(name: "p", text: "hello, world")
 println(paragraph!.asHTML())
 // prints"hello, world"
+```
 
 >注意:  
->
 上面的`paragraph`变量定义为`可选HTMLElement`，因此我们可以赋值`nil`给它来演示循环强引用。
 
 不幸的是，上面写的`HTMLElement`类产生了类实例和`asHTML`默认值的闭包之间的循环强引用。循环强引用如下图所示：
@@ -409,12 +454,13 @@ Swift 提供了一种优雅的方法来解决这个问题，称之为闭包占
 实例的`asHTML`属性持有闭包的强引用。但是，闭包在其闭包体内使用了`self`（引用了`self.name`和`self.text`），因此闭包捕获了`self`，这意味着闭包又反过来持有了`HTMLElement`实例的强引用。这样两个对象就产生了循环强引用。（更多关于闭包捕获值的信息，请参考[值捕获](07_Closures.html)）。
 
 >注意:  
->
 虽然闭包多次使用了`self`，它只捕获`HTMLElement`实例的一个强引用。
 
 如果设置`paragraph`变量为`nil`，打破它持有的`HTMLElement`实例的强引用，`HTMLElement`实例和它的闭包都不会被销毁，也是因为循环强引用：
 
+```swift
 paragraph = nil
+```
 
 注意`HTMLElementdeinitializer`中的消息并没有别打印，证明了`HTMLElement`实例并没有被销毁。
 
@@ -424,7 +470,6 @@ Swift 提供了一种优雅的方法来解决这个问题，称之为闭包占
 在定义闭包时同时定义捕获列表作为闭包的一部分，通过这种方式可以解决闭包和类实例之间的循环强引用。捕获列表定义了闭包体内捕获一个或者多个引用类型的规则。跟解决两个类实例间的循环强引用一样，声明每个捕获的引用为弱引用或无主引用，而不是强引用。应当根据代码关系来决定使用弱引用还是无主引用。
 
 >注意:  
->
 Swift 有如下要求：只要在闭包内使用`self`的成员，就要用`self.someProperty`或者`self.someMethod`（而不只是`someProperty`或`someMethod`）。这提醒你可能会不小心就捕获了`self`。
 
 ###定义捕获列表
@@ -433,17 +478,21 @@ Swift 有如下要求：只要在闭包内使用`self`的成员，就要用`self
 
 捕获列表放置在闭包参数列表和返回类型之前：
 
+```swift
 @lazy var someClosure: (Int, String) -> String = {
     [unowned self] (index: Int, stringToProcess: String) -> String in
     // closure body goes here
 }
+```
 
 如果闭包没有指定参数列表或者返回类型，则可以通过上下文推断，那么可以捕获列表放在闭包开始的地方，跟着是关键字`in`：
 
+```swift
 @lazy var someClosure: () -> String = {
     [unowned self] in
     // closure body goes here
 }
+```
 
 ###弱引用和无主引用
 
@@ -452,11 +501,11 @@ Swift 有如下要求：只要在闭包内使用`self`的成员，就要用`self
 相反的，当捕获引用有时可能会是`nil`时，将闭包内的捕获定义为弱引用。弱引用总是可选类型，并且当引用的实例被销毁后，弱引用的值会自动置为`nil`。这使我们可以在闭包内检查他们是否存在。
 
 >注意:  
->
 如果捕获的引用绝对不会置为`nil`，应该用无主引用，而不是弱引用。
 
 前面的`HTMLElement`例子中，无主引用是正确的解决循环强引用的方法。这样编写`HTMLElement`类来避免循环强引用：
 
+```swift
 class HTMLElement {
 
     let name: String
@@ -481,14 +530,17 @@ Swift 有如下要求：只要在闭包内使用`self`的成员，就要用`self
     }
 
 }
+```
 
 上面的`HTMLElement`实现和之前的实现一致，只是在`asHTML`闭包中多了一个捕获列表。这里，捕获列表是`[unowned self]`，表示“用无主引用而不是强引用来捕获`self`”。
 
 和之前一样，我们可以创建并打印`HTMLElement`实例：
 
+```swift
 var paragraph: HTMLElement? = HTMLElement(name: "p", text: "hello, world")
 println(paragraph!.asHTML())
 // prints "<p>hello, world</p>"
+```
 
 使用捕获列表后引用关系如下图所示：
 
@@ -496,5 +548,8 @@ Swift 有如下要求：只要在闭包内使用`self`的成员，就要用`self
 
 这一次，闭包以无主引用的形式捕获`self`，并不会持有`HTMLElement`实例的强引用。如果将`paragraph`赋值为`nil`，`HTMLElement`实例将会被销毁，并能看到它的析构函数打印出的消息。
 
+```swift
 paragraph = nil
 // prints "p is being deinitialized"
+```
+