以不同方式创建数组时，反初始化顺序不同

Question

TL;DR：为什么，当数组与初始值一起创建时，值会立即取消初始化，但在创建数组后填充数组值会产生不同的行为？

---

我在 JavaScript 之后学习 Swift，它有 GC，所以 ARC 和反初始化的概念对我来说有点新手。为了更深入地理解它，我编写了以下代码，基于example from the official documentation：

// definitions; see the next two snippets for usage
class Bank {
    static var coins: Int = 100 {
        didSet {
            let diff = coins - oldValue
            let sign = diff < 0 ? "-" : "+"

            print("Bank: \(oldValue) \(sign) \(diff.magnitude) = \(coins)")
        }
    }

    static func give(_ amount: Int, to user: User) {
        guard amount <= coins else {
            print("[ERROR] The bank does not have enough coins; requested \(amount - coins) more coins than available")
            return
        }

        user.purse += amount
        coins -= amount
    }

    static func take(_ amount: Int, from user: User) {
        user.purse -= amount
        coins += amount
    }
}

class User {
    private static var count = 0

    let id: Int

    var purse = 0

    init() {
        User.count += 1

        id = User.count
    }

    deinit {
        print("User #\(id) perished")

        Bank.take(purse, from: self)
    }
}

当我使用现有用户实例 (array = [value, value]) 创建数组时，在分配给 nil (array[0] = nil) 之后立即发生反初始化：

var users: [User?] = [
    User(),
    User(),
]

Bank.give(90, to: users[0]!)
users[0] = nil
Bank.give(50, to: users[1]!) // works

//  Bank: 100 - 90 = 10
//  User #1 perished
//  Bank: 10 + 90 = 100
//  Bank: 100 - 50 = 50

...但是当我首先创建一个空数组然后用值填充它时 (array = []; array[0] = value; array[1] = value)，稍后会在某个随机点发生反初始化：

var users = [User?](repeating: nil, count: 2)

users[0] = User()
users[1] = User()

Bank.give(90, to: users[0]!)
users[0] = nil
Bank.give(50, to: users[1]!) // fails

//  Bank: 100 - 90 = 10
//  [ERROR] The bank does not have enough coins; requested 40 more coins than available
//  User #1 perished
//  Bank: 10 + 90 = 100

从编译器的角度来看有什么区别？造成这种差异的原因是什么？

Answer 1

TL;DR 不要依赖解除分配/取消初始化时间。

准确地确定何时解除分配，以及紧接在之前发生的反初始化，是一个非常重要的过程。

线程（几乎每个应用程序都是多线程的，即使它不直接使用线程）、编译器临时、传递值等都有助于准确地混淆对对象的最后一个引用何时消失。

除此之外，由于其工作方式，Swift Playground 本身可能会保留对对象的非显而易见的引用，这似乎就是这里发生的事情。将您的代码放入 Swift 命令行应用程序对我们有用，但是 YMMV！

HTH