Swift-析構過程

優質神經病發表於2018-08-07

前言

析構器只適用於類型別,當一個類的例項被釋放之前,析構器會被立即呼叫。析構器的關鍵字deinit來標示,類似於構造器要用init來標示。

析構過程原理

Swift會自動釋放不再需要的例項以釋放資源。Swift通過自動引入計數處理例項的記憶體管理。通常當你的例項被釋放時不惜要手動去清理。但是,當使用自己的資源時,你可能需要進行一些額外的清理。例如,如果建立了一個自定義的類來開啟一個檔案,並寫入一些資料,你可能需要在類例項被釋放之前手動去關閉該檔案。

在類的定義中,每個類最多隻能有一個析構器馬而且析構器不帶任何引數,如下所示:

deinit {
    // 執行析構過程
}
複製程式碼

析構器實在例項釋放發生前被自動呼叫。你不能主動呼叫析構器。子類繼承了父類的析構器,並且在子類析構器實現的最後,父類的析構器也同樣被呼叫。

因為知道例項的析構器被呼叫,例項才會被釋放,所有析構器可以訪問例項的所有屬性,並且可以根據那些屬性可以修改它的行為。

析構器實踐

這是一個析構器實踐的例子。這個例子描述了一個簡單的遊戲,這裡定義了兩張新型別,分別是BankPlayerBank類管理一種虛擬硬幣,確保流通的硬幣數量永遠不可能超過10,000。在遊戲中有且只能有一個Bank存在,因此Bank用類來實現,並使用型別屬性和類方法來儲存和管理其當前狀態。

class Bank {
    static var coinsInBank = 10_000
    static func distribute(coins numberOfCoinsRequested: Int) -> Int {
        let numberOfCoinsToVend = min(numberOfCoinsRequested, coinsInBank)
        coinsInBank -= numberOfCoinsToVend
        return numberOfCoinsToVend
    }
    static func receive(coins: Int) {
        coinsInBank += coins
    }
}
複製程式碼

Bank使用coinsInBank屬性來跟蹤它當前擁有的硬幣數量。Bank還提供了兩個方法,distribute(coins:)receive(coins:),分別用來處理硬幣的分發和收集。

distribute(coins:)方法在Bank物件分發硬幣之前檢查是否有足夠的硬幣。如果硬幣不足,Bank物件會返回一個比請求時小的數字(如果Bank物件中沒有硬幣了就返回0)。此方法返回一個整形值,表示提供的硬幣的實際數量。

receive(coins:)方法只是將Bank例項接收到的硬幣數目加回硬幣儲存中。

Player類描述了遊戲中的一個玩家。每一個玩家在任意時間都有一定數量的硬幣儲存在他們的錢包中。這通過玩家的coinsInPurse屬性來表示:

class Player {
    var coinsInPurse: Int
    init(coins: Int) {
        coinsInPurse = Bank.distribute(coins: coins)
    }
    func win(coins: Int) {
        coinsInPurse += Bank.distribute(coins: coins)
    }
    deinit {
        Bank.receive(coins: coinsInPurse)
    }
}
複製程式碼

每個Player例項在初始化的過程中,都從Bank物件獲取指定數量的硬幣。如果沒有足夠的硬幣可用,Player例項可能會受到比指定數量少的硬幣。

Player類定義了一個win(coins:)方法,該方法從Bank物件獲取一定數量的硬幣,並把它們新增到玩家的錢包。Player類還實現了一個析構器,這個析構器在Player例項釋放前被呼叫。在這裡,析構器的左右只是將玩家的所有硬幣都返回給Bank物件:

var playerOne: Player? = Player(coins: 100)
print("A new player has joined the game with \(playerOne!.coinsInPurse) coins")
// 列印 "A new player has joined the game with 100 coins"
print("There are now \(Bank.coinsInBank) coins left in the bank")
// 列印 "There are now 9900 coins left in the bank"
複製程式碼

建立一個Player例項的時候,會向Bank物件請求100個硬幣,如果有足夠的硬幣可用的話。這個Player例項儲存在一個名為playerOne的可選型別變數,因為玩家可用隨時離開遊戲,設定為可選使你可以追蹤玩家董昂倩是否在遊戲中。

因為playerOne是可選的,所有訪問其coinsInPurse屬性來列印錢包中的硬幣數量時,使用感嘆號強制解包:

var playerOne: Player? = Player(coins: 100)
print("A new player has joined the game with \(playerOne!.coinsInPurse) coins")
// 列印 "A new player has joined the game with 100 coins"
print("There are now \(Bank.coinsInBank) coins left in the bank")
// 列印 "There are now 9900 coins left in the bank"
複製程式碼

這裡,玩家已經贏得了2,000沒硬幣,所以玩家的錢包中現在有2,100,而Bank物件值剩餘7,900枚硬幣。

playerOne = nil
print("PlayerOne has left the game")
// 列印 "PlayerOne has left the game"
print("The bank now has \(Bank.coinsInBank) coins")
// 列印 "The bank now has 10000 coins"
複製程式碼

玩家現在已經離開了遊戲。這通過將可選型別的playerOne變數設定為nil表示,意味著沒有player例項。當著一切發生時,playerOne變數對Player例項的引用被破壞。沒有其他屬性或者變數引用Player例項,因此該例項會被釋放,以便回收記憶體。在這之前,該例項的析構器會被自動呼叫,玩家的硬幣被返回給銀行。

相關文章