Swift使用自動引用計數(shù)(ARC)來跟蹤并管理應(yīng)用使用的內(nèi)存。大部分情況下，這意味著在Swift語言中，內(nèi)存管理"仍然工作"，不需要自己去考慮內(nèi)存管理的事情。當(dāng)實例不再被使用時，ARC會自動釋放這些類的實例所占用的內(nèi)存。然而，在少數(shù)情況下，為了自動的管理內(nèi)存空間，ARC需要了解關(guān)于你的代碼片段之間關(guān)系的更多信息。本章描述了這些情況，并向大家展示如何打開ARC來管理應(yīng)用的所有內(nèi)存空間。

注意：引用計數(shù)只應(yīng)用在類的實例。結(jié)構(gòu)體(Structure)和枚舉類型是值類型，并非引用類型，不是以引用的方式來存儲和傳遞的。 How ARC Works 每次創(chuàng)建一個類的實例，ARC就會分配一個內(nèi)存塊，用來存儲這個實例的相關(guān)信息。這個內(nèi)存塊保存著實例的類型，以及這個實例相關(guān)的屬性的值。當(dāng)實例不再被使用時，ARC釋放這個實例使用的內(nèi)存，使這塊內(nèi)存可作它用。這保證了類實例不再被使用時，它們不會占用內(nèi)存空間。但是，如果ARC釋放了仍在使用的實例，那么你就不能再訪問這個實例的屬性或者調(diào)用它的方法。如果你仍然試圖訪問這個實例，應(yīng)用極有可能會崩潰。為了保證不會發(fā)生上述的情況，ARC跟蹤與類的實例相關(guān)的屬性、常量以及變量的數(shù)量。只要有一個有效的引用，ARC都不會釋放這個實例。 為了讓這變成現(xiàn)實，只要你將一個類的實例賦值給一個屬性或者常量或者變量，這個屬性、常量或者變量就是這個實例的強(qiáng)引用(strong reference)。之所以稱之為“強(qiáng)”引用，是因為它強(qiáng)持有這個實例，并且只要這個強(qiáng)引用還存在，就不能銷毀實例。 下面的例子展示了ARC是如何工作的。本例定義了一個簡單的類，類名是Person，并定義了一個名為name的常量屬性 class Person { let name: String init(name: String) { self.name = name println("\(name) is being initialized") } deinit { println("\(name) is being deinitialized") } }

?

接下來的代碼片段定義了三個Person?類型的變量，這些變量用來創(chuàng)建多個引用，這些引用都引用緊跟著的代碼所創(chuàng)建的Person對象。因為這些變量都是可選類型（Person?，而非Person），因此他們都被自動初始化為nil，并且當(dāng)前并沒有引用一個Person的實例。 var reference1: Person? var reference2: Person? var reference3: Person?

?現(xiàn)在我們創(chuàng)建一個新的Person實例，并且將它賦值給上述三個變量中的一個：

reference1 = Person(name: "John Appleseed") // prints "Jonh Appleseed is being initialized" 因為Person的實例賦值給了變量reference1，所以reference1是Person實例的強(qiáng)引用。又因為至少有這一個強(qiáng)引用，ARC就保證這個實例會保存在內(nèi)存重而不會被銷毀。 如果將這個Person實例賦值給另外的兩個變量，那么將建立另外兩個指向這個實例的強(qiáng)引用： reference2 = reference1 reference3 = reference2

?

現(xiàn)在，這一個Person實例有三個強(qiáng)引用。 如果你通過賦值nil給兩個變量來破壞其中的兩個強(qiáng)引用（包括原始的引用），只剩下一個強(qiáng)引用，這個Person實例也不會被銷毀：

?

reference1 = nil reference2 = nil

直到第三個也是最后一個強(qiáng)引用被破壞，ARC才會銷毀Person的實例，這時，有一點非常明確，你無法繼續(xù)使用Person實例：

referenece3 = nil // 打印 “John Appleseed is being deinitialized”

?

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

類實例之間的強(qiáng)引用循環(huán)? 在兩個類實例彼此保持對方的強(qiáng)引用，使得每個實例都使對方保持有效時會發(fā)生這種情況。我們稱之為強(qiáng)引用循環(huán)。 下面的例子展示了一個強(qiáng)引用環(huán)是如何在不經(jīng)意之間產(chǎn)生的。例子定義了兩個類，分別叫Person和Apartment，這兩個類建模了一座公寓以及它的居民： class Person { let name: String init(name: String) { self.name = name } var apartment: Apartment? deinit { println("\(name) is being deinitialized") } } class Apartment { let unit: Int init(unit: Int) { self.unit= unit } var tenant: Person? deinit { println("Apartment #\(number) is being deinitialized") } }

?

每個Person實例擁有一個String類型的name屬性以及一個被初始化為nil的apartment可選屬性。apartment屬性是可選的，因為一個人并不一定擁有一座公寓。 類似的，每個Apartment實例擁有一個Int類型的number屬性以及一個初始化為nil的tenant可選屬性。tenant屬性是可選的，因為一個公寓并不一定有居民。 這兩個類也都定義了初始化函數(shù)，打印消息表明這個類的實例正在被初始化。這使你能夠看到Person和Apartment的實例是否像預(yù)期的那樣被銷毀了。 下面的代碼片段定義了兩個可選類型變量，john和number73，分別被賦值為特定的Apartment和Person的實例。得益于可選類型的優(yōu)點，這兩個變量初始值均為nil： var john: Person? var unit4A: Apartment?

?現(xiàn)在，你可以創(chuàng)建特定的Person實例以及Apartment實例，并賦值給john和number73：

jhon = Person(name: "John Appleseed") unit4A = Apartments(number: 4A)

?下面的圖表明了在創(chuàng)建以及賦值這兩個實例后強(qiáng)引用的關(guān)系。john擁有一個Person實例的強(qiáng)引用，unit4A擁有一個Apartment實例的強(qiáng)引用:

?現(xiàn)在你可以將兩個實例關(guān)聯(lián)起來，一個人擁有一所公寓，一個公寓也擁有一個房客。注意：用感嘆號（!）來展開并訪問可選類型的變量，只有這樣這些變量才能被賦值：

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

?

?實例關(guān)聯(lián)起來后，強(qiáng)引用關(guān)系如下圖所示

?

?關(guān)聯(lián)這倆實例生成了一個強(qiáng)循環(huán)引用，Person實例和Apartment實例各持有一個對方的強(qiáng)引用。因此，即使你破壞john和number73所持有的強(qiáng)引用，引用計數(shù)也不會變?yōu)?，因此ARC不會銷毀這兩個實例

?

john = nil unit4A = nil

當(dāng)上面兩個變量賦值為nil時，沒有調(diào)用任何一個析構(gòu)方法。強(qiáng)引用阻止了Person和Apartment實例的銷毀，進(jìn)一步導(dǎo)致內(nèi)存泄漏。

?

　　避免強(qiáng)引用循環(huán)

　　Swift提供兩種方法避免強(qiáng)引用循環(huán)：弱引用和非持有引用。?

?　　對于生命周期中引用會變?yōu)閚il的實例，使用弱引用；對于初始化時賦值之后引用再也不會賦值為nil的實例，使用非持有引用。

?

　　弱引用

　　弱引用不會增加實例的引用計數(shù)，因此不會阻止ARC銷毀被引用的實例，聲明屬性或者變量的時候，關(guān)鍵字weak表明引用為弱引用。弱引用只能聲明為變量類型，因為運行時它的值可能改變。弱引用絕對不能聲明為常量

?　　因為弱引用可以沒有值，所以聲明弱引用的時候必須是可選類型的。在Swift語言中，推薦用可選類型來作為可能沒有值的引用的類型。

?下面的例子和之前的Person和Apartment例子相似，除了一個重要的區(qū)別。這一次，我們聲明Apartment的tenant屬性為弱引用：

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

?

?然后創(chuàng)建兩個變量(john和unit4A)的強(qiáng)引用，并關(guān)聯(lián)這兩個實例：

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

?

?下面是引用的關(guān)系圖：

?

Person的實例仍然是Apartment實例的強(qiáng)引用，但是Apartment實例則是Person實例的弱引用。這意味著當(dāng)破壞john變量所持有的強(qiáng)引用后，不再存在任何Person實例的強(qiáng)引用：?

?

?既然不存在Person實例的強(qiáng)引用，那么該實例就會被銷毀：

?

非持有引用 和弱引用相似，非持有引用也不強(qiáng)持有實例。但是和弱引用不同的是，非持有引用默認(rèn)始終有值。因此，非持有引用只能定義為非可選類型（non-optional type）。在屬性、變量前添加unowned關(guān)鍵字，可以聲明一個非持有引用。 因為是非可選類型，因此當(dāng)使用非持有引用的時候，不需要展開，可以直接訪問。不過非可選類型變量不能賦值為nil，因此當(dāng)實例被銷毀的時候，ARC無法將引用賦值為nil。 class Customer { let name: String var card: CreditCard? init(name: String) { self.name = name } deinit { println("\(name) is being deinitialized") } class CreditCard { let number: Int unowned let customer: Customer init(number: Int, customer: Customer) { self.number = number self.customer = customer } deinit { println("Card #\(number) is being deinitialized") }

?

下面的代碼定義了一個叫john的可選類型Customer變量，用來保存某個特定消費者的引用。因為是可變類型，該變量的初始值為nil： var john: Customer?

?現(xiàn)在創(chuàng)建一個Customer實例，然后用它來初始化CreditCard實例，并把剛創(chuàng)建出來的CreditCard實例賦值給Customer的card屬性：

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

?此時的引用關(guān)系如下圖所示

因為john對CreditCard實例是非持有引用,當(dāng)破壞john變量持有的強(qiáng)引用時，就沒有Customer實例的強(qiáng)引用了

此時Customer實例被銷毀。然后，CreditCard實例的強(qiáng)引用也不復(fù)存在，因此CreditCard實例也被銷毀

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

??

　　非持有引用以及隱式展開的可選屬性

Person和Apartment的例子說明了下面的場景：兩個屬性的值都可能是nil,并有可能產(chǎn)生強(qiáng)引用環(huán)。這種場景下適合使用弱引用。 Customer和CreditCard的例子則說明了另外的場景：一個屬性可以是nil，另外一個屬性不允許是nil，并有可能產(chǎn)生強(qiáng)引用環(huán)。這種場景下適合使用無主引用。 但是，存在第三種場景：兩個屬性都必須有值，且初始化完成后不能為nil。這種場景下，則要一個類用無主引用屬性，另一個類用隱式展開的可選屬性。這樣，在初始化完成后我們可以立即訪問這兩個變量（而不需要可選展開）

?下面的例子定義了兩個類，Country和City，都有一個屬性用來保存另外的類的實例。在這個模型里，每個國家都有首都，每個城市都隸屬于一個國家。所以，類Country有一個capitalCity屬性，類City有一個country屬性：

class Country { let name: String let 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的初始化函數(shù)有一個Country實例參數(shù)，并且用country屬性來存儲這個實例。這樣就實現(xiàn)了上面說的關(guān)系。 Country的初始化函數(shù)調(diào)用了City的初始化函數(shù)。但是，只有Country的實例完全初始化完后（在Two-Phase Initialization），Country的初始化函數(shù)才能把self傳給City的初始化函數(shù)。 為滿足這種需求，通過在類型結(jié)尾處加感嘆號(City!)，我們聲明Country的capitalCity屬性為隱式展開的可選類型屬性。就是說，capitalCity屬性的默認(rèn)值是nil，不需要展開它的值（在Implicity Unwrapped Optionals中描述）就可以直接訪問。 因為capitalCity默認(rèn)值是nil，一旦Country的實例在初始化時給name屬性賦值后，整個初始化過程就完成了。這代表只要賦值name屬性后，Country的初始化函數(shù)就能引用并傳遞隱式的self。所以，當(dāng)Country的初始化函數(shù)在賦值capitalCity時，它也可以將self作為參數(shù)傳遞給City的初始化函數(shù)。 綜上所述，你可以在一條語句中同時創(chuàng)建Country和City的實例，卻不會產(chǎn)生強(qiáng)引用環(huán)，并且不需要使用感嘆號來展開它的可選值就可以直接訪問capitalCity： var country = Country(name: "Canada", capitalName: "Ottawa") println("\(country.name)'s captial city is called \(country.capitalCity.name)") // 打印"Canada's capital city is called Ottawa"

?

?在上面的例子中，使用隱式展開的可選值滿足了兩個類的初始化函數(shù)的要求。初始化完成后，capitalCity屬性就可以做為非可選值類型使用，卻不會產(chǎn)生強(qiáng)引用環(huán)。

?

　　閉包的強(qiáng)引用循環(huán)

將一個閉包賦值給類實例的某個屬性，并且這個閉包使用了實例，這樣也會產(chǎn)生強(qiáng)引用環(huán)。這個閉包可能訪問了實例的某個屬性，例如self.someProperty，或者調(diào)用了實例的某個方法，例如self.someMethod。這兩種情況都導(dǎo)致了閉包使用self，從而產(chǎn)生了搶引用環(huán)。 因為諸如類這樣的閉包是引用類型，導(dǎo)致了強(qiáng)引用環(huán)。當(dāng)你把一個閉包賦值給某個屬性時，你也把一個引用賦值給了這個閉包。實質(zhì)上，這個之前描述的問題是一樣的－兩個強(qiáng)引用讓彼此一直有效。但是，和兩個類實例不同，這次一個是類實例，另一個是閉包。 Swift提供了一種優(yōu)雅的方法來解決這個問題，我們稱之為閉包捕獲列表(closuer capture list)。 下面的例子將會告訴你當(dāng)一個閉包引用了self后是如何產(chǎn)生一個強(qiáng)引用循環(huán)的。 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 { println("\(name) is being deinitialized") } }

?

HTMLElement定義了一個name屬性來表示這個元素的名稱，例如代表段落的"p"，或者代表換行的"br"；以及一個可選屬性text，用來設(shè)置HTML元素的文本。 除了上面的兩個屬性，HTMLElement還定義了一個lazy屬性asHTML。這個屬性引用了一個閉包，將name和text組合成HTML字符串片段。該屬性是() -> String類型，就是“沒有參數(shù)，返回String的函數(shù)”。 默認(rèn)將閉包賦值給了asHTML屬性，這個閉包返回一個代表HTML標(biāo)簽的字符串。如果text值存在，該標(biāo)簽就包含可選值text；或者不包含文本。對于段落，根據(jù)text是"some text"還是nil，閉包會返回"<p>some text</p>"或者"<p />"。 可以像實例方法那樣去命名、使用asHTML。然而，因為asHTML終究是閉包而不是實例方法，如果你像改變特定元素的HTML處理的話，可以用定制的閉包來取代默認(rèn)值。

?閉包使用了self（引用了self.name和self.text），因此閉包占有了self，這意味著閉包又反過來持有了HTMLElement實例的強(qiáng)引用。這樣就產(chǎn)生了強(qiáng)引用環(huán)

?

　　避免閉包產(chǎn)生的強(qiáng)引用循環(huán)

在定義閉包時同時定義捕獲列表作為閉包的一部分，可以解決閉包和類實例之間的強(qiáng)引用環(huán)。捕獲列表定義了閉包內(nèi)占有一個或者多個引用類型的規(guī)則。和解決兩個類實例間的強(qiáng)引用環(huán)一樣，聲明每個占有的引用為弱引用或非持有引用，而不是強(qiáng)引用。根據(jù)代碼關(guān)系來決定使用弱引用還是非持有引用。 注意：Swift有如下約束：只要在閉包內(nèi)使用self的成員，就要用self.someProperty或者self.someMethod（而非只是someProperty或someMethod）。這可以提醒你可能會不小心就占有了self。

?

?　　定義捕獲列表

?

捕獲列表中的每個元素都是由weak或者unowned關(guān)鍵字和實例的引用(如self或someInstance)組成。每一對都在花括號中，通過逗號分開。 捕獲列表放置在閉包參數(shù)列表和返回類型之前： lazy var someClosure: (Int, String) -> String = { [unowned self] (index: Int, stringToProcess: String) -> String in // closure body goes here }

?

?如果閉包沒有指定參數(shù)列表或者返回類型（可以通過上下文推斷），那么占有列表放在閉包開始的地方，跟著是關(guān)鍵字in：

lazy var someClosure: () -> String = { [unowned self] in // closure body goes here }

?前面提到的HTMLElement例子中，非持有引用是正確的解決強(qiáng)引用的方法。這樣編碼HTMLElement類來避免強(qiáng)引用環(huán)：

class HTMLElement { 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 { println("\(name) is being deinitialized") } }

?

上面的HTMLElement實現(xiàn)和之前的實現(xiàn)相同，只是多了占有列表。這里，占有列表是[unowned self]，代表“用無主引用而不是強(qiáng)引用來占有self”。 和之前一樣，我們可以創(chuàng)建并打印HTMLElement實例： var paragraph: HTMLElement? = HTMLElement(name: "p", text: "hello, world") println(paragraph!.asTHML()) // 打印"<p>hello, world</p>"

?引用關(guān)系如下圖

這一次，閉包以無主引用的形式占有self，并不會持有HTMLElement實例的強(qiáng)引用。如果賦值paragraph為nil，HTMLElement實例將會被銷毀，并能看到它的deinitializer打印的消息。　　 paragraph = nil // 打印"p is being deinitialized"

?

轉(zhuǎn)載于:https://www.cnblogs.com/salam/p/5465317.html

總結(jié)

以上是生活随笔為你收集整理的【Swift学习】Swift编程之旅---ARC（二十）的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。