iOS陷入实例化依赖而没有失败

Question

如果我有类似的东西

class Foo {
  static shared = Foo()
  init() {
    print("init Foo")
    let _ = Bar.shared
  }
}

class Bar {
  static shared = Bar()
  init() {
    print("init Bar")
    let _ = Foo.shared
  }
}

// somwehere else:
let _ = Foo.shared

然后应用程序卡住了。什么都没发生。我知道这种设计是错误的，但我想知道为什么应用程序没有崩溃、报告错误或至少打印一个循环。以上代码打印

init Foo
init Bar

就是这样，表明它不是循环，而是卡住了。想知道发生了什么？

Answer 1

在 Swift 中，静态类型属性以保证线程安全的方式延迟初始化。

注意Type Properties

存储类型属性在首次访问时被延迟初始化。 它们保证只被初始化一次，即使被 多个线程同时进行，不需要标记 使用惰性修饰符。

这个只有一次功能利用了dispatch_once-like 需要互斥的东西（或者完全是它自己）。

初始化Foo.shared 时，Foo.shared 的锁被锁定。而当它被锁定时，Bar.shared 需要被初始化，所以Bar.shared 的锁被锁定。虽然两者都被锁定，Foo.shared 需要初始化，但它的锁已经被锁定，所以等到锁被释放...

我们称这种情况为死锁。