Swift 可选类型语法

Question

根据 Apple 的 Swift 指南，当您拥有以下 Array 和以下函数来搜索 Array 时：

let namesArray = ["John", "Lisa", "Bill", "Jennifer"]

// Note this function is set-up to return an OPTIONAL Int:
func findName (personName:String, arrayToSearchIn:String[]) -> Int? {
    for (indexOfName, nameValue) in enumerate(arrayToSearchIn) {
       if nameValue == personName {
          return indexOfName
       }
    }
    return nil
}

...因此您可以捕获此函数返回的 Optional Int - 然后检查其是否为 nil - 以下列方式：

let nameIndex: Int? = findName("Lisa", arrayToSearchIn: namesArray)
if nameIndex {
    println("found \(namesArray[nameIndex!])")
}
else {
    println("NOT found")
}

这一切都很好 - 但他们的下一个示例，他们通过将 2 个语句合并为一个来简化代码 - 让我感到困惑，因为他们突然放弃了可选的“？”和 ”！”从他们的语法来看：

if let nameIndex = findName("Lisa", arrayToSearchIn: namesArray) {
   println("found \(namesArray[nameIndex])")
}

而且效果很好。

那么为什么在第一个示例中nameIndex 被声明为“？” - 像这样：

nameIndex:Int?

并且使用“！”进行强制解包

[nameIndex!]

但在第二个示例中，“？”都不是。或者 ”！”一个在语法中使用？

Answer 1

if let 中声明的处理是特殊的；应该将其视为自己的语言结构（而不​​是if 和let 的简单组合）。在

if let nameIndex = findName("Lisa", arrayToSearchIn: namesArray) {
   println("found \(namesArray[nameIndex]")
}

nameIndex的类型不需要表达，因为可以推断为findName()的返回类型Int?。在if let ... 的主体中，nameIndex 的值未绑定到 可选，因此不需要展开 - 值将是 Int。

下面是如何处理if let 绑定的示例。请注意，类型的显式声明基本上被忽略了：

> func test () -> Int? { return 111 }
> if let x : Int? = test () { return x }
$R6: Int? = 111
> if let x : Int = test () { return x }
$R7: Int = 111
> if let x = test () { return x }
$R8: Int = 111

但如果您尝试在 if let 之外变得如此“灵活”，则会从编译器中得出错误：

> let y : Int = test ()
<REPL>:33:15: error: value of optional type 'Int?' not unwrapped; 
   did you mean to use '!' or '?'?

Answer 2

? 是显式声明可选类型的运算符。 ! 是强制解包可选的运算符。示例中的语法是一种特殊的 Swift 简写，用于在一个简洁的行中检查和展开。它说，“将nameIndex 分配给findName(...) 的结果，如果不是nil，则运行以下代码：...”