deinit 末尾的 Defer 语句会产生警告

Question

由于 Xcode 10.2 (Swift 5) 在 deinit 范围末尾的 defer 语句产生：

作用域结束前的'defer'语句总是立即执行；替换为“do”语句以消除此警告

我们来看看这个例子：

var foo: String {
    didSet {
        // smt
    }
}

deinit {
    defer { <--- Warning
        foo = bar
    }
}

• 当然可以通过将代码从观察者移动到方法并显式调用它来消除此警告，但是……

此警告的意义何在？ - 在 deinit 中包含 defer 语句是否合理？ （例如，能够触发属性的观察者）.

Answer 1

警告是正确的，因为这里使用defer 不会改变程序的执行顺序，而这正是该语句的设计目的。然而不幸的是，建议的替换会改变程序的行为（提交了一个错误：SR-10207）。

值得注意的是，使用defer 来触发属性观察器有点小技巧，只有在类型检查器认为它是与deinit 主体不同的上下文时才会起作用。您也可以使用闭包表达式实现相同的结果：

  deinit {
    { foo = bar }()
  }

理想情况下，应该有某种形式的语法让您告诉 Swift“不要在此处执行直接存储访问”，这样就不需要这种变通方法，但目前还没有。

一个不那么棘手的解决方法是将反初始化器的所需逻辑提取到一个单独的方法中，该方法将逻辑置于属性访问正常完成的上下文中：

class C {
  var bar = ""

  var foo: String {
    didSet {
      // smt
    }
  }

  init(foo: String) { self.foo = foo }

  private func doDeinit() {
    foo = bar
  }

  deinit {
    doDeinit()
  }
}