swift - 用于在 Swift 中解开可选值的 if let 语句的第一行转换为什么

Question

我很清楚什么是 optional 以及为什么需要它们。但我很好奇在解开可选值的 if let 语句的第一行中到底发生了什么。这是一些代码:

var optionalInt : Int?

if let optionalInt = optionalInt {
    print("I have an integer value.")
} else {
    print{"I have a nil value")
}

现在我知道第一行相当于“如果 optionalInt 包含一个值，则执行此代码块”，但我的问题是代码是如何表示的。当编译器读取 if let 语句的第一行时到底会发生什么？

Answer 1

Optional<T>是一个有两种情况的枚举:

enum Optional<T> {
    case .none // a.k.a. nil
    case .some(wrapped)
}

它的工作方式有点像 (isPresent: Bool, wrapped: T) 类型的元组。当您有条件地展开像这样的 optional 时，isPresent检查 bool 标志。如果这是真的，那么wrapped绑定(bind)到您提供的任何变量名称。否则，else案例被调用。