當(dāng)你每次創(chuàng)建一個(gè)類的新的實(shí)例的時(shí)候，ARC 會(huì)分配一塊內(nèi)存來儲(chǔ)存該實(shí)例信息。內(nèi)存中會(huì)包含實(shí)例的類型信息，以及這個(gè)實(shí)例所有相關(guān)的存儲(chǔ)型屬性的值。

此外，當(dāng)實(shí)例不再被使用時(shí)，ARC 釋放實(shí)例所占用的內(nèi)存，并讓釋放的內(nèi)存能挪作他用。這確保了不再被使用的實(shí)例，不會(huì)一直占用內(nèi)存空間。

然而，當(dāng) ARC 收回和釋放了正在被使用中的實(shí)例，該實(shí)例的屬性和方法將不能再被訪問和調(diào)用。實(shí)際上，如果你試圖訪問這個(gè)實(shí)例，你的應(yīng)用程序很可能會(huì)崩潰。

為了確保使用中的實(shí)例不會(huì)被銷毀，ARC 會(huì)跟蹤和計(jì)算每一個(gè)實(shí)例正在被多少屬性，常量和變量所引用。哪怕實(shí)例的引用數(shù)為1，ARC都不會(huì)銷毀這個(gè)實(shí)例。

為了使上述成為可能，無論你將實(shí)例賦值給屬性、常量或變量，它們都會(huì)創(chuàng)建此實(shí)例的強(qiáng)引用。之所以稱之為“強(qiáng)”引用，是因?yàn)樗鼤?huì)將實(shí)例牢牢地保持住，只要強(qiáng)引用還在，實(shí)例是不允許被銷毀的。

1.自動(dòng)引用計(jì)數(shù)實(shí)踐

下面的例子展示了自動(dòng)引用計(jì)數(shù)的工作機(jī)制。例子以一個(gè)簡(jiǎn)單的Person類開始，并定義了一個(gè)叫name的常量屬性：

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

Person類有一個(gè)構(gòu)造函數(shù)，此構(gòu)造函數(shù)為實(shí)例的name屬性賦值，并打印一條消息以表明初始化過程生效。Person類也擁有一個(gè)析構(gòu)函數(shù)，這個(gè)析構(gòu)函數(shù)會(huì)在實(shí)例被銷毀時(shí)打印一條消息。

接下來的代碼片段定義了三個(gè)類型為Person?的變量，用來按照代碼片段中的順序，為新的Person實(shí)例建立多個(gè)引用。由于這些變量是被定義為可選類型（Person?，而不是Person），它們的值會(huì)被自動(dòng)初始化為nil，目前還不會(huì)引用到Person類的實(shí)例。

“var reference1: Person?
var reference2: Person?
var reference3: Person?”

“現(xiàn)在你可以創(chuàng)建Person類的新實(shí)例，并且將它賦值給三個(gè)變量中的一個(gè)：”

“reference1 = Person(name: "John Appleseed")
// 打印 "John Appleseed is being initialized”

“應(yīng)當(dāng)注意到當(dāng)你調(diào)用Person類的構(gòu)造函數(shù)的時(shí)候，“John Appleseed is being initialized”會(huì)被打印出來。由此可以確定構(gòu)造函數(shù)被執(zhí)行。

由于Person類的新實(shí)例被賦值給了reference1變量，所以reference1到Person類的新實(shí)例之間建立了一個(gè)強(qiáng)引用。正是因?yàn)檫@一個(gè)強(qiáng)引用，ARC 會(huì)保證Person實(shí)例被保持在內(nèi)存中不被銷毀。

如果你將同一個(gè)Person實(shí)例也賦值給其他兩個(gè)變量，該實(shí)例又會(huì)多出兩個(gè)強(qiáng)引用：”

reference2 = reference1
reference3 = reference1

“現(xiàn)在這一個(gè)Person實(shí)例已經(jīng)有三個(gè)強(qiáng)引用了。
如果你通過給其中兩個(gè)變量賦值nil的方式斷開兩個(gè)強(qiáng)引用（包括最先的那個(gè)強(qiáng)引用），只留下一個(gè)強(qiáng)引用，Person實(shí)例不會(huì)被銷毀：”

reference1 = nil
reference2 = nil

“在你清楚地表明不再使用這個(gè)Person實(shí)例時(shí)，即第三個(gè)也就是最后一個(gè)強(qiáng)引用被斷開時(shí)，ARC 會(huì)銷毀它：”

reference3 = nil
// Prints "John Appleseed is being deinitialized"

2.類實(shí)例之間的循環(huán)強(qiáng)引用

“在上面的例子中，ARC 會(huì)跟蹤你所新創(chuàng)建的Person實(shí)例的引用數(shù)量，并且會(huì)在Person實(shí)例不再被需要時(shí)銷毀它。

然而，我們可能會(huì)寫出一個(gè)類實(shí)例的強(qiáng)引用數(shù)永遠(yuǎn)不能變成0的代碼。如果兩個(gè)類實(shí)例互相持有對(duì)方的強(qiáng)引用，因而每個(gè)實(shí)例都讓對(duì)方一直存在，就是這種情況。這就是所謂的循環(huán)強(qiáng)引用。

你可以通過定義類之間的關(guān)系為弱引用或無主引用，以替代強(qiáng)引用，從而解決循環(huán)強(qiáng)引用的問題。具體的過程在解決類實(shí)例之間的循環(huán)強(qiáng)引用中有描述。不管怎樣，在你學(xué)習(xí)怎樣解決循環(huán)強(qiáng)引用之前，很有必要了解一下它是怎樣產(chǎn)生的。

下面展示了一個(gè)不經(jīng)意產(chǎn)生循環(huán)強(qiáng)引用的例子。例子定義了兩個(gè)類：Person和Apartment，用來建模公寓和它其中的居民：”

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

每一個(gè)Person實(shí)例有一個(gè)類型為String，名字為name的屬性，并有一個(gè)可選的初始化為nil的apartment屬性。apartment屬性是可選的，因?yàn)橐粋€(gè)人并不總是擁有公寓。

類似的，每個(gè)Apartment實(shí)例有一個(gè)叫unit，類型為String的屬性，并有一個(gè)可選的初始化為nil的tenant屬性。tenant屬性是可選的，因?yàn)橐粭澒⒉⒉豢偸怯芯用瘛?/p>

這兩個(gè)類都定義了析構(gòu)函數(shù)，用以在類實(shí)例被析構(gòu)的時(shí)候輸出信息。這讓你能夠知曉Person和Apartment的實(shí)例是否像預(yù)期的那樣被銷毀。

接下來的代碼片段定義了兩個(gè)可選類型的變量john和unit4A，并分別被設(shè)定為下面的Apartment和Person的實(shí)例。這兩個(gè)變量都被初始化為nil，這正是可選類型的優(yōu)點(diǎn)：

“var john: Person?
var unit4A: Apartment?

現(xiàn)在你可以創(chuàng)建特定的Person和Apartment實(shí)例并將賦值給john和unit4A變量：
john = Person(name: "John Appleseed")
unit4A = Apartment(unit: "4A")”

“在兩個(gè)實(shí)例被創(chuàng)建和賦值后，下圖表現(xiàn)了強(qiáng)引用的關(guān)系。變量john現(xiàn)在有一個(gè)指向Person實(shí)例的強(qiáng)引用，而變量unit4A有一個(gè)指向Apartment實(shí)例的強(qiáng)引用：

現(xiàn)在你能夠?qū)⑦@兩個(gè)實(shí)例關(guān)聯(lián)在一起，這樣人就能有公寓住了，而公寓也有了房客。注意感嘆號(hào)是用來展開和訪問可選變量john和unit4A中的實(shí)例，這樣實(shí)例的屬性才能被賦值：”

“john!.apartment = unit4A
unit4A!.tenant = john
在將兩個(gè)實(shí)例聯(lián)系在一起之后，強(qiáng)引用的關(guān)系如圖所示：”

“不幸的是，這兩個(gè)實(shí)例關(guān)聯(lián)后會(huì)產(chǎn)生一個(gè)循環(huán)強(qiáng)引用。Person實(shí)例現(xiàn)在有了一個(gè)指向Apartment實(shí)例的強(qiáng)引用，而Apartment實(shí)例也有了一個(gè)指向Person實(shí)例的強(qiáng)引用。因此，當(dāng)你斷開john和unit4A變量所持有的強(qiáng)引用時(shí)，引用計(jì)數(shù)并不會(huì)降為0，實(shí)例也不會(huì)被 ARC 銷毀：”

“john = nil
unit4A = nil”

“注意，當(dāng)你把這兩個(gè)變量設(shè)為nil時(shí)，沒有任何一個(gè)析構(gòu)函數(shù)被調(diào)用。循環(huán)強(qiáng)引用會(huì)一直阻止Person和Apartment類實(shí)例的銷毀，這就在你的應(yīng)用程序中造成了內(nèi)存泄漏。
在你將john和unit4A賦值為nil后，強(qiáng)引用關(guān)系如下圖：”

“Person和Apartment實(shí)例之間的強(qiáng)引用關(guān)系保留了下來并且不會(huì)被斷開。

3.解決實(shí)例之間的循環(huán)強(qiáng)引用

“Swift 提供了兩種辦法用來解決你在使用類的屬性時(shí)所遇到的循環(huán)強(qiáng)引用問題：弱引用（weak reference）和無主引用（unowned reference）。

弱引用和無主引用允許循環(huán)引用中的一個(gè)實(shí)例引用而另外一個(gè)實(shí)例不保持強(qiáng)引用。這樣實(shí)例能夠互相引用而不產(chǎn)生循環(huán)強(qiáng)引用。

當(dāng)其他的實(shí)例有更短的生命周期時(shí)，使用弱引用，也就是說，當(dāng)其他實(shí)例析構(gòu)在先時(shí)。在上面公寓的例子中，很顯然一個(gè)公寓在它的生命周期內(nèi)會(huì)在某個(gè)時(shí)間段沒有它的主人，所以一個(gè)弱引用就加在公寓類里面，避免循環(huán)引用。相比之下，當(dāng)其他實(shí)例有相同的或者更長(zhǎng)生命周期時(shí)，請(qǐng)使用無主引用?！?/p>

弱引用

弱引用不會(huì)對(duì)其引用的實(shí)例保持強(qiáng)引用，因而不會(huì)阻止 ARC 銷毀被引用的實(shí)例。這個(gè)特性阻止了引用變?yōu)檠h(huán)強(qiáng)引用。聲明屬性或者變量時(shí)，在前面加上weak關(guān)鍵字表明這是一個(gè)弱引用。

因?yàn)槿跻貌粫?huì)保持所引用的實(shí)例，即使引用存在，實(shí)例也有可能被銷毀。因此，ARC 會(huì)在引用的實(shí)例被銷毀后自動(dòng)將其賦值為nil。并且因?yàn)槿跻每梢栽试S它們的值在運(yùn)行時(shí)被賦值為nil，所以它們會(huì)被定義為可選類型變量，而不是常量。

你可以像其他可選值一樣，檢查弱引用的值是否存在，你將永遠(yuǎn)不會(huì)訪問已銷毀的實(shí)例的引用。

“注意
當(dāng) ARC 設(shè)置弱引用為nil時(shí)，屬性觀察不會(huì)被觸發(fā)。”

下面的例子跟上面Person和Apartment的例子一致，但是有一個(gè)重要的區(qū)別。這一次，Apartment的tenant屬性被聲明為弱引用：

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

“然后跟之前一樣，建立兩個(gè)變量（john和unit4A）之間的強(qiáng)引用，并關(guān)聯(lián)兩個(gè)實(shí)例：

var john: Person?
var unit4A: Apartment?
 
john = Person(name: "John Appleseed")
unit4A = Apartment(unit: "4A")
 
john!.apartment = unit4A
unit4A!.tenant = john

“現(xiàn)在，兩個(gè)關(guān)聯(lián)在一起的實(shí)例的引用關(guān)系如下圖所示：”

“Person實(shí)例依然保持對(duì)Apartment實(shí)例的強(qiáng)引用，但是Apartment實(shí)例只持有對(duì)Person實(shí)例的弱引用。這意味著當(dāng)你斷開john變量所保持的強(qiáng)引用時(shí)，再也沒有指向Person實(shí)例的強(qiáng)引用了：”

“由于再也沒有指向Person實(shí)例的強(qiáng)引用，該實(shí)例會(huì)被銷毀：”
john = nil
// 打印 “John Appleseed is being deinitialized

唯一剩下的指向Apartment實(shí)例的強(qiáng)引用來自于變量unit4A。如果你斷開這個(gè)強(qiáng)引用，再也沒有指向Apartment實(shí)例的強(qiáng)引用了：

unit4A = nil
// Prints "Apartment 4A is being deinitialized

“由于再也沒有指向Apartment實(shí)例的強(qiáng)引用，該實(shí)例也會(huì)被銷毀：

上面的兩段代碼展示了變量john和unit4A在被賦值為nil后，Person實(shí)例和Apartment實(shí)例的析構(gòu)函數(shù)都打印出“銷毀”的信息。這證明了引用循環(huán)被打破了。

“注意
在使用垃圾收集的系統(tǒng)里，弱指針有時(shí)用來實(shí)現(xiàn)簡(jiǎn)單的緩沖機(jī)制，因?yàn)闆]有強(qiáng)引用的對(duì)象只會(huì)在內(nèi)存壓力觸發(fā)垃圾收集時(shí)才被銷毀。但是在 ARC 中，一旦值的最后一個(gè)強(qiáng)引用被移除，就會(huì)被立即銷毀，這導(dǎo)致弱引用并不適合上面的用途。”

無主引用

“和弱引用類似，無主引用不會(huì)牢牢保持住引用的實(shí)例。和弱引用不同的是，無主引用在其他實(shí)例有相同或者更長(zhǎng)的生命周期時(shí)使用。你可以在聲明屬性或者變量時(shí)，在前面加上關(guān)鍵字unowned表示這是一個(gè)無主引用。

無主引用通常都被期望擁有值。不過 ARC 無法在實(shí)例被銷毀后將無主引用設(shè)為nil，因?yàn)榉强蛇x類型的變量不允許被賦值為nil?！?/p>

“重要
使用無主引用，你必須確保引用始終指向一個(gè)未銷毀的實(shí)例。
如果你試圖在實(shí)例被銷毀后，訪問該實(shí)例的無主引用，會(huì)觸發(fā)運(yùn)行時(shí)錯(cuò)誤。”

下面的例子定義了兩個(gè)類，Customer和CreditCard，模擬了銀行客戶和客戶的信用卡。這兩個(gè)類中，每一個(gè)都將另外一個(gè)類的實(shí)例作為自身的屬性。這種關(guān)系可能會(huì)造成循環(huán)強(qiáng)引用。

Customer和CreditCard之間的關(guān)系與前面弱引用例子中Apartment和Person的關(guān)系略微不同。在這個(gè)數(shù)據(jù)模型中，一個(gè)客戶可能有或者沒有信用卡，但是一張信用卡總是關(guān)聯(lián)著一個(gè)客戶。為了表示這種關(guān)系，Customer類有一個(gè)可選類型的card屬性，但是CreditCard類有一個(gè)非可選類型的customer屬性。

此外，只能通過將一個(gè)number值和customer實(shí)例傳遞給CreditCard構(gòu)造函數(shù)的方式來創(chuàng)建CreditCard實(shí)例。這樣可以確保當(dāng)創(chuàng)建CreditCard實(shí)例時(shí)總是有一個(gè)customer實(shí)例與之關(guān)聯(lián)。

由于信用卡總是關(guān)聯(lián)著一個(gè)客戶，因此將customer屬性定義為無主引用，用以避免循環(huán)強(qiáng)引用：

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") }
}

注意
CreditCard類的number屬性被定義為UInt64類型而不是Int類型，以確保number屬性的存儲(chǔ)量在 32 位和 64 位系統(tǒng)上都能足夠容納 16 位的卡號(hào)。

下面的代碼片段定義了一個(gè)叫john的可選類型Customer變量，用來保存某個(gè)特定客戶的引用。由于是可選類型，所以變量被初始化為nil：

var john: Customer?

現(xiàn)在你可以創(chuàng)建Customer類的實(shí)例，用它初始化CreditCard實(shí)例，并將新創(chuàng)建的CreditCard實(shí)例賦值為客戶的card屬性：

john = Customer(name: "John Appleseed")
john!.card = CreditCard(number: 1234_5678_9012_3456, customer: john!)

在你關(guān)聯(lián)兩個(gè)實(shí)例后，它們的引用關(guān)系如下圖所示：

Customer實(shí)例持有對(duì)CreditCard實(shí)例的強(qiáng)引用，而CreditCard實(shí)例持有對(duì)Customer實(shí)例的無主引用。

由于customer的無主引用，當(dāng)你斷開john變量持有的強(qiáng)引用時(shí)，再也沒有指向Customer實(shí)例的強(qiáng)引用了：

由于再也沒有指向Customer實(shí)例的強(qiáng)引用，該實(shí)例被銷毀了。其后，再也沒有指向CreditCard實(shí)例的強(qiáng)引用，該實(shí)例也隨之被銷毀了：

john = nil
// 打印 “John Appleseed is being deinitialized”
// 打印 ”Card #1234567890123456 is being deinitialized”

最后的代碼展示了在john變量被設(shè)為nil后Customer實(shí)例和CreditCard實(shí)例的構(gòu)造函數(shù)都打印出了“銷毀”的信息。

注意
上面的例子展示了如何使用安全的無主引用。對(duì)于需要禁用運(yùn)行時(shí)的安全檢查的情況（例如，出于性能方面的原因），Swift還提供了不安全的無主引用。與所有不安全的操作一樣，你需要負(fù)責(zé)檢查代碼以確保其安全性。 你可以通過unowned(unsafe)來聲明不安全無主引用。如果你試圖在實(shí)例被銷毀后，訪問該實(shí)例的不安全無主引用，你的程序會(huì)嘗試訪問該實(shí)例之前所在的內(nèi)存地址，這是一個(gè)不安全的操作。

無主引用以及隱式解析可選屬性

上面弱引用和無主引用的例子涵蓋了兩種常用的需要打破循環(huán)強(qiáng)引用的場(chǎng)景。
Person和Apartment的例子展示了兩個(gè)屬性的值都允許為nil，并會(huì)潛在的產(chǎn)生循環(huán)強(qiáng)引用。這種場(chǎng)景最適合用弱引用來解決。

Customer和CreditCard的例子展示了一個(gè)屬性的值允許為nil，而另一個(gè)屬性的值不允許為nil，這也可能會(huì)產(chǎn)生循環(huán)強(qiáng)引用。這種場(chǎng)景最適合通過無主引用來解決?！?br> “然而，存在著第三種場(chǎng)景，在這種場(chǎng)景中，兩個(gè)屬性都必須有值，并且初始化完成后永遠(yuǎn)不會(huì)為nil。在這種場(chǎng)景中，需要一個(gè)類使用無主屬性，而另外一個(gè)類使用隱式解析可選屬性。

這使兩個(gè)屬性在初始化完成后能被直接訪問（不需要可選展開），同時(shí)避免了循環(huán)引用。這一節(jié)將為你展示如何建立這種關(guān)系。

下面的例子定義了兩個(gè)類，Country和City，每個(gè)類將另外一個(gè)類的實(shí)例保存為屬性。在這個(gè)模型中，每個(gè)國(guó)家必須有首都，每個(gè)城市必須屬于一個(gè)國(guó)家。為了實(shí)現(xiàn)這種關(guān)系，Country類擁有一個(gè)capitalCity屬性，而City類有一個(gè)country屬性：

class Country: NSObject {
    
    var name: String?
    var capitalCity: City！
    
    override init() {
        super.init()
    }
  
    init(name: String, capitalName: String) {
        super.init()
        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
    }
}

為了建立兩個(gè)類的依賴關(guān)系，City的構(gòu)造函數(shù)接受一個(gè)Country實(shí)例作為參數(shù)，并且將實(shí)例保存到country屬性。
Country的構(gòu)造函數(shù)調(diào)用了City的構(gòu)造函數(shù)。然而，只有Country的實(shí)例完全初始化后，Country的構(gòu)造函數(shù)才能把self傳給City的構(gòu)造函數(shù)。在兩段式構(gòu)造過程中有具體描述。

為了滿足這種需求，通過在類型結(jié)尾處加上感嘆號(hào)（City!）的方式，將Country的capitalCity屬性聲明為隱式解析可選類型的屬性。這意味著像其他可選類型一樣，capitalCity屬性的默認(rèn)值為nil，但是不需要展開它的值就能訪問它。在隱式解析可選類型中有描述。

由于capitalCity默認(rèn)值為nil，一旦Country的實(shí)例在構(gòu)造函數(shù)中給name屬性賦值后，整個(gè)初始化過程就完成了。這意味著一旦name屬性被賦值后，Country的構(gòu)造函數(shù)就能引用并傳遞隱式的self。Country的構(gòu)造函數(shù)在賦值capitalCity時(shí)，就能將self作為參數(shù)傳遞給City的構(gòu)造函數(shù)。

以上的意義在于你可以通過一條語句同時(shí)創(chuàng)建Country和City的實(shí)例，而不產(chǎn)生循環(huán)強(qiáng)引用，并且capitalCity的屬性能被直接訪問，而不需要通過感嘆號(hào)來展開它的可選值：

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

在上面的例子中，使用隱式解析可選值意味著滿足了類的構(gòu)造函數(shù)的兩個(gè)構(gòu)造階段的要求。capitalCity屬性在初始化完成后，能像非可選值一樣使用和存取，同時(shí)還避免了循環(huán)強(qiáng)引用。”