Swift中的可选值是什么？

Question

从Apple的文档中：

您可以使用if和let一起使用可能缺少的值。这些值表示为可选值。可选值包含一个值或包含nil一个指示该值丢失的值。?在值的类型后写一个问号（），以将该值标记为可选。

为什么要使用可选值？

Answer 1

Swift中的可选类型是可以保存值或不保存值的类型。通过将a附加?到任何类型来编写可选内容：

var name: String? = "Bertie"

可选（以及泛型）是最难理解的Swift概念之一。由于它们是如何编写和使用的，很容易对它们是什么有一个错误的认识。比较上面的可选内容与创建普通的String：

var name: String = "Bertie" // No "?" after String

从语法上看，可选字符串与普通字符串非常相似。不是。可选字符串不是打开了某些“可选”设置的字符串。它不是String的特殊种类。字符串和可选字符串是完全不同的类型。

这是要了解的最重要的事情：可选容器是一种容器。可选的String是一个可能包含String的容器。可选的Int是可能包含Int的容器。将可选件视为一种包裹。在您打开它（或用可选语言“解开”）之前，您将不会知道它是否包含某些东西或什么都不包含。

您可以通过在任何Swift文件中键入“
Optional”并在其上单击来查看Swift标准库中如何实现可选。这是定义的重要部分：

enum Optional<Wrapped> {
    case none
    case some(Wrapped)
}

可选只是enum，可以是以下两种情况之一：.none或.some。如果为.some，则存在一个关联的值，在上面的示例中为String“
Hello”。可选使用泛型为关联值赋予类型。该类型的可选字符串的不是String，它的Optional，或者更精确Optional<String>。

Swift使用可选选项所做的所有事情都是神奇的，它使读写代码更加流畅。不幸的是，这掩盖了它的实际工作方式。稍后我将介绍一些技巧。

注意： 我会谈论很多可选变量，但是也可以创建可选常量。我用其类型标记所有变量，以使其更容易理解所创建的类型类型，但是您不必在自己的代码中。

如何创建可选

要创建可选内容，请?在要包装的类型后面附加一个。任何类型都可以是可选的，甚至是您自己的自定义类型。类型和之间不能有空格?。

var name: String? = "Bob" // Create an optional String that contains "Bob"
var peter: Person? = Person() // An optional "Person" (custom type)

// A class with a String and an optional String property
class Car {
var modelName: String // must exist
var internalName: String? // may or may not exist
}

使用可选

您可以比较可选参数以nil查看其是否具有值：

var name: String? = "Bob"
name = nil // Set name to nil, the absence of a value
if name != nil {
    print("There is a name")
}
if name == nil { // Could also use an "else"
    print("Name has no value")
}

这有点令人困惑。这意味着一个可选的东西是一回事。要么为零，要么为“鲍勃”。这是不正确的，可选内容不会转换为其他内容。将其与nil比较是使代码更易于阅读的技巧。如果可选值等于nil，则仅意味着该枚举当前设置为.none。

只有可选参数可以为nil

如果尝试将非可选变量设置为nil，则会出现错误。

var red: String = "Red"
red = nil // error: nil cannot be assigned to type 'String'

查看可选变量的另一种方法是对普通Swift变量的补充。它们与保证具有值的变量相对应。斯威夫特（Swift）是一种小心翼翼的语言，讨厌歧义。大多数变量被定义为非可选变量，但是有时这是不可能的。例如，假设一个视图控制器从缓存或网络加载图像。创建视图控制器时，它可能有也可能没有该图像。无法保证image变量的值。在这种情况下，您必须将其设为可选。它nil在检索图像时启动，可选参数获得一个值。

使用可选内容可以显示程序员的意图。与Objective-C相比，其中任何对象都可能为零，Swift需要您清楚何时可以缺少值以及何时保证它存在。

要使用可选选项，请“解开”它

可选项String不能代替实际的String。要在可选内容中使用包装的值，您必须将其解包。解开可选项的最简单方法是!在可选名后添加a
。这称为“力展开”。它返回可选值内的值（作为原始类型），但是如果可选值是nil，则会导致运行时崩溃。在展开之前，您应该确保有一个值。

var name: String? = "Bob"
let unwrappedName: String = name!
print("Unwrapped name: \(unwrappedName)")

name = nil
let nilName: String = name! // Runtime crash. Unexpected nil.

检查并使用可选

因为在展开和使用可选选项之前应始终检查nil，所以这是一种常见模式：

var mealPreference: String? = "Vegetarian"
if mealPreference != nil {
    let unwrappedMealPreference: String = mealPreference!
    print("Meal: \(unwrappedMealPreference)") // or do something useful
}

在此模式中，您检查是否存在值，然后在确定存在该值时，将其强制展开为要使用的临时常量。因为这是很常见的事情，所以Swift提供了一个使用“ if
let”的快捷方式。这称为“可选绑定”。

var mealPreference: String? = "Vegetarian"
if let unwrappedMealPreference: String = mealPreference {
    print("Meal: \(unwrappedMealPreference)") 
}

这会创建一个临时常量（如果替换let为var，则为变量），其范围仅在if括号内。由于必须使用诸如“
unwrappedMealPreference”或“
realMealPreference”之类的名称，因此Swift允许您重用原始变量名，从而在括号范围内创建一个临时名称。

var mealPreference: String? = "Vegetarian"
if let mealPreference: String = mealPreference {
    print("Meal: \(mealPreference)") // separate from the other mealPreference
}

这是一些代码来演示使用其他变量：

var mealPreference: String? = "Vegetarian"
if var mealPreference: String = mealPreference {
    print("Meal: \(mealPreference)") // mealPreference is a String, not a String?
    mealPreference = "Beef" // No effect on original
}
// This is the original mealPreference
print("Meal: \(mealPreference)") // Prints "Meal: Optional("Vegetarian")"

可选绑定通过检查可选值是否等于nil来工作。如果不是，它将可选项解包到提供的常量中并执行该块。在Xcode 8.3和更高版本（Swift
3.1）中，尝试打印这样的可选内容将导致无用的警告。使用可选的选项将debugDescription其静音：

print("\(mealPreference.debugDescription)")

可选件有什么用？

可选项目有两个用例：

1. 可能失败的事情（本来是我期待的东西，但我一无所获）
2. 现在什么都不是，但以后可能会发生（反之亦然）

一些具体的例子：

• 它可以是有或没有在那里，就像一个属性middleName或spouse在Person类
• 一种可以返回值或不返回任何值的方法，例如在数组中搜索匹配项
• 一种可以返回结果或获取错误但不返回任何内容的方法，例如尝试读取文件的内容（通常会返回文件的数据）但该文件不存在
• 委托属性，通常不必在初始化后进行设置
• 对于weak类中的属性。他们指出，可以设置为东西nil在任何时间
• 可能必须释放大量资源才能回收内存
• 当您需要一种方法来知道何时设置值（尚未加载的数据>数据），而不是使用单独的dataLoaded Boolean

可选在Objective-
C中不存在，但是有一个等效的概念，返回nil。可以返回对象的方法可以返回nil。这被认为是“缺少有效的对象”，通常用来表示出了点问题。它仅适用于Objective-
C对象，不适用于基元或基本C类型（枚举，结构）。Objective-
C通常具有专门的类型来表示这些值的缺失（NSNotFound实际上是NSIntegerMax，kCLLocationCoordinate2DInvalid表示无效的坐标，-1或者也使用某些负值）。编码人员必须了解这些特殊值，因此必须对每种情况进行记录和学习。如果方法不能nil作为参数，则必须记录下来。在Objective-
C中nil就像所有对象都定义为指针一样，它nil是一个指针，但是指向一个特定的（零）地址。在Swift中，nil是一个文字，表示没有某种类型。

比较 nil

您以前可以将任何可选选项用作Boolean：

let leatherTrim: CarExtras? = nil
if leatherTrim {
    price = price + 1000
}

在较新的Swift版本中，您必须使用leatherTrim != nil。为什么是这样？问题在于a
Boolean可以包装在一个可选中。如果您有Boolean这样的话：

var ambiguous: Boolean? = false

它有两种“假”，一种是无值，另一种是有值，而值是false。Swift讨厌模棱两可，因此现在您必须始终对进行检查nil。

您可能想知道可选项的意义Boolean是什么？与其他可选项目一样，.none状态可能表明该值尚未确定。网络通话的另一端可能有一些内容需要花费一些时间进行轮询。可选的布尔值也称为“ 三值布尔值 ”

迅速的把戏

Swift使用一些技巧来允许可选项起作用。考虑一下这三行看起来很普通的可选代码；

var religiousAffiliation: String? = "Rastafarian"
religiousAffiliation = nil
if religiousAffiliation != nil { ... }

这些行都不应该编译。

• 第一行使用两种不同的String文字设置可选的String。即使这是一种String类型也不同
• 第二行将可选的String设置为nil，这是两种不同的类型
• 第三行将可选字符串与nil（两种不同类型）进行比较

我将介绍一些可选的实现细节，以使这些行起作用。

创建一个可选的

使用?创建可选的语法糖，由斯威夫特编译器启用。如果您想长远地做下去，可以创建一个如下的可选：

var name: Optional<String> = Optional("Bob")

这会调用Optional的第一个初始值设定项，public init(_ some: Wrapped)后者从括号内使用的类型推断出可选的相关类型。

创建和设置可选的甚至更长的方法：

var serialNumber:String? = Optional.none
serialNumber = Optional.some("1234")
print("\(serialNumber.debugDescription)")

设置为 nil

您可以创建一个没有初始值的可选内容，也可以创建一个具有初始值的nil（两者都有相同的结果）。

var name: String?
var name: String? = nil

nil协议ExpressibleByNilLiteral（以前称为NilLiteralConvertible）启用了允许相等的可选内容。可选的是使用Optional的第二个初始化程序创建的public init(nilLiteral: ())。文档说，ExpressibleByNilLiteral除了可选参数之外，您不应该使用其他任何东西，因为这会改变代码中nil的含义，但是可以这样做：

class Clint: ExpressibleByNilLiteral {
    var name: String?
    required init(nilLiteral: ()) {
        name = "The Man with No Name"
    }
}

let clint: Clint = nil // Would normally give an error
print("\(clint.name)")

使用相同的协议，您可以将已经创建的可选设置设置为nil。尽管不建议这样做，但是您可以直接使用nil文字初始化程序：

var name: Optional<String> = Optional(nilLiteral: ())

比较可选 nil

可选定义两个特殊的“
==”和“！=”运算符，您可以在Optional定义中看到它们。第一个==允许您检查是否有任何可选的值等于nil。如果关联的类型相同，则设置为.none的两个不同的可选选项将始终相等。当您与nil比较时，Swift会在后台创建一个具有相同关联类型的可选类型，设置为.none，然后将其用于比较。

// How Swift actually compares to nil
var tuxedoRequired: String? = nil
let temp: Optional<String> = Optional.none
if tuxedoRequired == temp { // equivalent to if tuxedoRequired == nil
    print("tuxedoRequired is nil")
}

第二个==运算符允许您比较两个可选项。两者必须是相同的类型，并且必须符合该类型Equatable（该协议允许与常规“
==”运算符进行比较）。Swift（大概）解包了这两个值并直接比较它们。它还处理一个或两个可选选项为的情况.none。注意比较与nil文字之间的区别。

此外，它允许您将任何Equatable类型与该类型的可选包装进行比较：

let numberToFind: Int = 23
let numberFromString: Int? = Int("23") // Optional(23)
if numberToFind == numberFromString {
    print("It's a match!") // Prints "It's a match!"
}

在幕后，Swift在比较之前将非可选包装为可选。它也适用于文字（if 23 == numberFromString {）

我说过有两个==运算符，但实际上有第三个运算符可以让您放在nil比较的左侧

if nil == name { ... }

命名可选

没有Swift约定来命名可选类型和非可选类型。人们避免在名称中添加任何东西来表明它是可选的（例如“ optionalMiddleName”或“
possibleNumberAsString”），而让声明表明它是可选的类型。当您想命名某个名称以保留可选值时，这将变得很困难。名称“
middleName”表示它是一个字符串类型，因此从中提取字符串值时，通常经常会以“ actualMiddleName”或“
unwrappedMiddleName”或“ realMiddleName”之类的名称结尾。使用可选的绑定并重新使用变量名来解决此问题。

官方定义

来自Swift编程语言的“基础知识”：

Swift还引入了可选类型，用于处理缺少值的情况。可选的选项是“有一个值，它等于x”或“根本没有值”。可选与在Objective-
C中使用带指针的nil相似，但是它们适用于任何类型，而不仅仅是类。与Objective-
C中的零指针相比，可选选项更安全，更具表达力，并且是Swift最强大功能的核心。

可选的例子说明了Swift是一种类型安全的语言。Swift可以帮助您弄清楚代码可以使用的值的类型。如果代码的一部分需要一个字符串，则类型安全性可防止您误将其传递给Int。这使您能够在开发过程中尽早发现并修复错误。

最后，这是1899年关于可选内容的诗：

昨天在楼梯上，
我遇到了一个
不在那儿的人。今天
我希望再不在那儿。我希望他能走开
Antigonish

更多资源：

• Swift编程指南
• Swift（中）中的可选
• WWDC会议402“ Swift简介”（从14:15开始）
• 更多可选的提示和技巧