这里的教程为Swift官方教程中文版。

析构过程(Deinitialization)


1.0 翻译:bruce0505 校对:fd5788

2.0 翻译+校对:chenmingbiao

2.1 校对:shanks,2015-10-31

本页包含内容:

析构器只适用于类类型,当一个类的实例被释放之前,析构器会被立即调用。析构器用关键字deinit来标示,类似于构造器要用init来标示。

析构过程原理

Swift 会自动释放不再需要的实例以释放资源。如自动引用计数章节中所讲述,Swift 通过自动引用计数(ARC)处理实例的内存管理。通常当你的实例被释放时不需要手动地去清理。但是,当使用自己的资源时,你可能需要进行一些额外的清理。例如,如果创建了一个自定义的类来打开一个文件,并写入一些数据,你可能需要在类实例被释放之前手动去关闭该文件。

在类的定义中,每个类最多只能有一个析构器,而且析构器不带任何参数,如下所示:

deinit {
    // 执行析构过程
}

析构器是在实例释放发生前被自动调用。析构器是不允许被主动调用的。子类继承了父类的析构器,并且在子类析构器实现的最后,父类的析构器会被自动调用。即使子类没有提供自己的析构器,父类的析构器也同样会被调用。

因为直到实例的析构器被调用时,实例才会被释放,所以析构器可以访问所有请求实例的属性,并且根据那些属性可以修改它的行为(比如查找一个需要被关闭的文件)。

析构器操作

这是一个析构器操作的例子。这个例子描述了一个简单的游戏,这里定义了两种新类型,分别是BankPlayerBank结构体管理一个虚拟货币的流通,在这个流通中我们设定Bank永远不可能拥有超过 10,000 的硬币,而且在游戏中有且只能有一个Bank存在,因此Bank结构体在实现时会带有静态属性和静态方法来存储和管理其当前的状态。

struct Bank {
    static var coinsInBank = 10_000
    static func vendCoins(var numberOfCoinsToVend: Int) -> Int {
          numberOfCoinsToVend = min(numberOfCoinsToVend, coinsInBank)
          coinsInBank -= numberOfCoinsToVend
         return numberOfCoinsToVend
    }
    static func receiveCoins(coins: Int) {
        coinsInBank += coins
    }
}

Bank根据它的coinsInBank属性来跟踪当前它拥有的硬币数量。Bank还提供两个方法——vendCoins(_:)receiveCoins(_:),分别用来处理硬币的分发和收集。

vendCoins(_:)方法在bank对象分发硬币之前检查是否有足够的硬币。如果没有足够多的硬币,Bank会返回一个比请求时要小的数字(如果没有硬币留在bank对象中就返回 0)。vendCoins方法声明numberOfCoinsToVend为一个变量参数,这样就可以在方法体的内部修改数字,而不需要定义一个新的变量。vendCoins方法返回一个整型值,表明了提供的硬币的实际数目。

receiveCoins方法只是将bank对象的硬币存储和接收到的硬币数目相加,再保存回bank对象。

Player类描述了游戏中的一个玩家。每一个 player 在任何时刻都有一定数量的硬币存储在他们的钱包中。这通过 player 的coinsInPurse属性来体现:

class Player {
    var coinsInPurse: Int
    init(coins: Int) {
        coinsInPurse = Bank.vendCoins(coins)
    }
    func winCoins(coins: Int) {
        coinsInPurse += Bank.vendCoins(coins)
    }
    deinit {
        Bank.receiveCoins(coinsInPurse)
    }
}

每个Player实例构造时都会设定由硬币组成的启动额度值,这些硬币在bank对象初始化的过程中得到。如果在bank对象中没有足够的硬币可用,Player实例可能收到比指定数目少的硬币。

Player类定义了一个winCoins(_:)方法,该方法从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实例被创建时会设定有 100 个硬币(如果bank对象中硬币的数目足够)。这个Player实例存储在一个名为playerOne的可选Player变量中。这里使用一个可选变量,是因为玩家可以随时离开游戏。设置为可选使得你可以跟踪当前是否有玩家在游戏中。

因为playerOne是可选的,所以用一个感叹号(!)作为修饰符,每当其winCoins(_:)方法被调用时,coinsInPurse属性就会被访问并打印出它的默认硬币数目。

playerOne!.winCoins(2_000)
print("PlayerOne won 2000 coins & now has \(playerOne!.coinsInPurse) coins")
// 输出 "PlayerOne won 2000 coins & now has 2100 coins"
print("The bank now only has \(Bank.coinsInBank) coins left")
// 输出 "The bank now only has 7900 coins left"

这里,player 已经赢得了 2,000 硬币,所以player 的钱包现在有 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实例,因此为了清空它占用的内存从而释放它。在这发生前,其析构器会被自动调用,从而使其硬币被返回到bank对象中。

◀ 构造过程 自动引用计数 ▶