为什么在 firestore 中 if let 语句会更改文档变量的类型？

Question

我只是希望得到一个解释：下面发生了什么。 在第一个 if let 语句中，其中 document = document flatmap 不再是 DocumentSnapshot 的成员，而在第二个 if let 中，我显然能够在 if let 语句中调用文档上的 flatmap。我只是不太明白为什么会这样。

我检查了类型，它们都是 DocumentSnapshots，唯一的区别是一个是可选的。

谢谢。

 var docref:DocumentReference?
 docref = db.collection("users").document(uid)
 docref?.getDocument { (document, error) in

      if let document = document{

       //document.flatmap won't work
       //value of DocumentSnapshot has no member flatmap

      }         

      if let profile = document.flatMap({$0.data()})
      {

         self.model.currentLoggedInUser?.id = profile["id"] as! String

      }

Answer 1

if let document = document 解开之前的document，并将其绑定到一个新的常量document，这会在{ ... } 中隐藏之前的document。

如果document 之前有T? 类型，则新的阴影document 有T 类型。

类似于常规的变量阴影：

let a = 1

if true {
    let a = 2 //shadows the outer `a`
    print(a) // => 2
}

总而言之，这段代码的行为类似于：

let document: Document? = MaybeReturnADocument()

if document != nil { // Illustrative only, don't do this!
    let document: Document = document! // shadows the outer document of type `Document?`
    ...
}