从Apple的文档中:
您可以使用if和let一起使用可能缺少的值。这些值表示为可选值。可选值包含一个值或包含nil一个指示该值丢失的值。?在值的类型后写一个问号(),以将该值标记为可选。
if
let
nil
?
为什么要使用可选值?
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>。
enum
.none
.some
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,则会出现错误。
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
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其静音:
debugDescription
print("\(mealPreference.debugDescription)")
可选项目有两个用例:
一些具体的例子:
middleName
spouse
Person
weak
Boolean
可选在Objective- C中不存在,但是有一个等效的概念,返回nil。可以返回对象的方法可以返回nil。这被认为是“缺少有效的对象”,通常用来表示出了点问题。它仅适用于Objective- C对象,不适用于基元或基本C类型(枚举,结构)。Objective- C通常具有专门的类型来表示这些值的缺失(NSNotFound实际上是NSIntegerMax,kCLLocationCoordinate2DInvalid表示无效的坐标,-1或者也使用某些负值)。编码人员必须了解这些特殊值,因此必须对每种情况进行记录和学习。如果方法不能nil作为参数,则必须记录下来。在Objective- C中nil就像所有对象都定义为指针一样,它nil是一个指针,但是指向一个特定的(零)地址。在Swift中,nil是一个文字,表示没有某种类型。
NSNotFound
NSIntegerMax
kCLLocationCoordinate2DInvalid
-1
您以前可以将任何可选选项用作Boolean:
let leatherTrim: CarExtras? = nil if leatherTrim { price = price + 1000 }
在较新的Swift版本中,您必须使用leatherTrim != nil。为什么是这样?问题在于a Boolean可以包装在一个可选中。如果您有Boolean这样的话:
leatherTrim != nil
var ambiguous: Boolean? = false
它有两种“假”,一种是无值,另一种是有值,而值是false。Swift讨厌模棱两可,因此现在您必须始终对进行检查nil。
false
您可能想知道可选项的意义Boolean是什么?与其他可选项目一样,.none状态可能表明该值尚未确定。网络通话的另一端可能有一些内容需要花费一些时间进行轮询。可选的布尔值也称为“ 三值布尔值 ”
Swift使用一些技巧来允许可选项起作用。考虑一下这三行看起来很普通的可选代码;
var religiousAffiliation: String? = "Rastafarian" religiousAffiliation = nil if religiousAffiliation != nil { ... }
这些行都不应该编译。
我将介绍一些可选的实现细节,以使这些行起作用。
使用?创建可选的语法糖,由斯威夫特编译器启用。如果您想长远地做下去,可以创建一个如下的可选:
var name: Optional<String> = Optional("Bob")
这会调用Optional的第一个初始值设定项,public init(_ some: Wrapped)后者从括号内使用的类型推断出可选的相关类型。
public init(_ some: Wrapped)
创建和设置可选的甚至更长的方法:
var serialNumber:String? = Optional.none serialNumber = Optional.some("1234") print("\(serialNumber.debugDescription)")
您可以创建一个没有初始值的可选内容,也可以创建一个具有初始值的nil(两者都有相同的结果)。
var name: String? var name: String? = nil
nil协议ExpressibleByNilLiteral(以前称为NilLiteralConvertible)启用了允许相等的可选内容。可选的是使用Optional的第二个初始化程序创建的public init(nilLiteral: ())。文档说,ExpressibleByNilLiteral除了可选参数之外,您不应该使用其他任何东西,因为这会改变代码中nil的含义,但是可以这样做:
ExpressibleByNilLiteral
NilLiteralConvertible
public init(nilLiteral: ())
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: ())
可选定义两个特殊的“ ==”和“!=”运算符,您可以在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
此外,它允许您将任何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 {)
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。这使您能够在开发过程中尽早发现并修复错误。
Swift还引入了可选类型,用于处理缺少值的情况。可选的选项是“有一个值,它等于x”或“根本没有值”。可选与在Objective- C中使用带指针的nil相似,但是它们适用于任何类型,而不仅仅是类。与Objective- C中的零指针相比,可选选项更安全,更具表达力,并且是Swift最强大功能的核心。
可选的例子说明了Swift是一种类型安全的语言。Swift可以帮助您弄清楚代码可以使用的值的类型。如果代码的一部分需要一个字符串,则类型安全性可防止您误将其传递给Int。这使您能够在开发过程中尽早发现并修复错误。
最后,这是1899年关于可选内容的诗:
昨天在楼梯上, 我遇到了一个 不在那儿的人。今天 我希望再不在那儿。我希望他能走开 Antigonish