TL;DR:为什么,当数组与初始值一起创建时,值会立即取消初始化,但在创建数组后填充数组值会产生不同的行为?
我在 JavaScript 之后学习 Swift,它有 GC,所以 ARC 和反初始化的概念对我来说有点新手。为了更深入地理解它,我根据官方文档中的示例编写了以下代码:
// 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
从编译器的角度来看有什么区别?这种差异的原因是什么?