[翻译]Swift编程语言——析构

析构

析构

当一个类引用被释放，析构方法（deinitializer ）就被调用。使用deinit关键字定义析构方法，和使用init定义构造方法类似。析构方法只对类类型有效。

析构如何工作

当实例不再被需要，Swift会自动释放它们，来释放资源。Swift通过自动引用计数（ARC）来管理实例的内存，就像Automatic Reference Counting描述的一样。在实例不再被需要时多数情况下手动清理。但是当你处理自己的资源，可能会需要自己额外处理一下。比如，创建了一个类来打开一个文件向其中写入一些数据，在这个类被释放前，就需要关闭打开的文件。

对于一个类的清理最多可以有1个析构方法。析构方便不需要带任何参数也不需要写圆括号了：

​deinit​ {
​    ​// perform the deinitialization
​}

析构方法会被自动调用，在实例被释放之前。不允许手工调用析构方法。超类的析构方法会被它的子类继承，并且在子类析构方法的最后超类的析构方法会自动被调用。超类的析构方法总会被调用，尽管子类没有提供它自己的析构方法。

因为直到一个引用的析构函数被调用它才会被回收，一个析构函数可以访问所在实例的所有的属性，可以修改它的基于这些属性的行为（比如查看需要关闭的文件的名字）。

析构方法实战

这里有一个析构方法实战的例子。这个例子定义了两个不同的类型，Bank和Player，表现一个游戏。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属性记录当前硬币的数量。它也提供了两个方法：vendCoins和receiveCoins，用来分配硬币。

vendCoins在分发硬币的时候会检查是否有足够的硬币。如果没有足够的硬币，Bank返回一个小于请求的数量（如果银行没有金币了就返回0）。vendCoins声明numberOfCoinsToVend作为可修改参数，所以这个参数的数字可以在方法体内被修改，这样就不必再定义一个新的变量了。这个方法返回一个整数值，表示实际上提供的硬币数量。

recevieCoins方法只是将收到的硬币数量添加到银行已经存储的硬币数量上。

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实例在初始化的时候都会从银行获得一定量的津贴，尽管一个Player实例可能在银行没有足够硬币的时候获得比指定量少的硬币。

Player类定义了一个winCoins方法，这个方法从银行中获得一定硬币然后添加在自己钱包的余量上。Player类同时实现了一个析构方法，这个方法在这个Player实例被回收前调用。这里，这个析构方法只是将这个实例的玩家的硬币返回给了银行：

​var​ ​playerOne​: ​Player​? = ​Player​(​coins​: ​100​)
​println​(​"A new player has joined the game with ​\(​playerOne​!.​coinsInPurse​)​ coins"​)
​// prints "A new player has joined the game with 100 coins"
​println​(​"There are now ​\(​Bank​.​coinsInBank​)​ coins left in the bank"​)
​// prints "There are now 9900 coins left in the bank"

一个新的Player实例被创建，这个实例请求了100个硬币。这个Player实例被存储在一个可选Player变量叫做playerOne。一个可选变量在这里被使用了，是因为玩家可以在任意时间离开游戏。这个可选类型的使用使得需要随时检查一个玩家的状态。

因为playerOne是一个可选类型，当打印它的默认硬币数量需要访问它的coinsInPurse属性时使用一个叹号（!）（译者：来拆包），一旦它的winCoins被调用：

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

这里，玩家赢得了2000硬币。玩家钱包中有2100个硬币，银行中剩下了7900个硬币。

​playerOne​ = ​nil
​println​(​"PlayerOne has left the game"​)
​// prints "PlayerOne has left the game"
​println​(​"The bank now has ​\(​Bank​.​coinsInBank​)​ coins"​)
​// prints "The bank now has 10000 coins"

那个玩家离开了游戏。这么做是通过将可选的playerOne变量设置为nil，意味着“没有Player实例”。当这些发生时，playerOne变量的指向那个Player实例的引用被破坏了。没有其他属性或者变量仍然指向playerOne实例，所以它会被重新分配以释放内存。在这些发生前，这个实例的析构方法被调用，实例中的硬币被返还给了银行。