Files
the-swift-programming-langu…/source/chapter2/17_Optional_Chaining.md
2015-07-22 21:32:53 +08:00

30 KiB
Executable File
Raw Blame History

Optional Chaining

<<<<<<< Updated upstream

本页包含内容:

可选链Optional Chaining是一种可以请求和调用属性、方法及下标脚本的过程它的可选性体现于请求或调用的目标当前可能为空nil)。如果可选的目标有值,那么调用就会成功;相反,如果选择的目标为空(nil),则这种调用将返回空(nil)。多次请求或调用可以被链接在一起形成一个链,如果任何一个节点为空(nil)将导致整个链失效。

注意:
Swift 的可选链和 Objective-C 中的消息为空有些相像,但是 Swift 可以使用在任意类型中,并且失败与否可以被检测到。

可选链可替代强制解析

通过在想调用的属性、方法、或下标脚本的可选值(optional value)(非空)后面放一个问号,可以定义一个可选链。这一点很像在可选值后面放一个叹号来强制拆得其封包内的值。它们的主要的区别在于当可选值为空时可选链即刻失败,然而一般的强制解析将会引发运行时错误。

为了反映可选链可以调用空(nil不论你调用的属性、方法、下标脚本等返回的值是不是可选值它的返回结果都是一个可选值。你可以利用这个返回值来检测你的可选链是否调用成功有返回值即成功返回nil则失败。

调用可选链的返回结果与原本的返回结果具有相同的类型,但是原本的返回结果被包装成了一个可选值,当可选链调用成功时,一个应该返回Int的属性将会返回Int?

下面几段代码将解释可选链和强制解析的不同。

首先定义两个类PersonResidence

class Person {
    var residence: Residence?
}

class Residence {
    var numberOfRooms = 1
}

Residence具有一个Int类型的numberOfRooms,其值为 1。Person具有一个可选residence属性,它的类型是Residence

如果你创建一个新的Person实例,它的residence属性由于是被定义为可选型的,此属性将默认初始化为空:

let john = Person()

如果你想使用感叹号(!)强制解析获得这个人residence属性numberOfRooms属性值,将会引发运行时错误,因为这时没有可以供解析的residence值。

let roomCount = john.residence!.numberOfRooms
//将导致运行时错误

john.residence不是nil时,会运行通过,且会将roomCount 设置为一个int类型的合理值。然而,如上所述,当residence为空时,这个代码将会导致运行时错误。

可选链提供了一种另一种获得numberOfRooms的方法。利用可选链,使用问号来代替原来!的位置:

if let roomCount = john.residence?.numberOfRooms {
    print("John's residence has \(roomCount) room(s).")
} else {
	print("Unable to retrieve the number of rooms.")
}
// 打印 "Unable to retrieve the number of rooms.

这告诉 Swift 来链接可选residence?属性,如果residence存在则取回numberOfRooms的值。

因为这种尝试获得numberOfRooms的操作有可能失败,可选链会返回Int?类型值,或者称作“可选Int”。当residence是空的时候(上例),选择Int将会为空,因此会出现无法访问numberOfRooms的情况。

要注意的是即使numberOfRooms是非可选IntInt?)时这一点也成立。只要是通过可选链的请求就意味着最后numberOfRooms总是返回一个Int?而不是Int

你可以自己定义一个Residence实例给john.residence,这样它就不再为空了:

john.residence = Residence()

john.residence 现在有了实际存在的实例而不是nil了。如果你想使用和前面一样的可选链来获得numberOfRoooms,它将返回一个包含默认值 1 的Int?

if let roomCount = john.residence?.numberOfRooms {
    print("John's residence has \(roomCount) room(s).")
} else {
    print("Unable to retrieve the number of rooms.")
}
// 打印 "John's residence has 1 room(s)"。

##为可选链定义模型类

你可以使用可选链来多层调用属性,方法,和下标脚本。这让你可以利用它们之间的复杂模型来获取更底层的属性,并检查是否可以成功获取此类底层属性。

后面的代码定义了四个将在后面使用的模型类,其中包括多层可选链。这些类是由上面的PersonResidence模型通过添加一个Room和一个Address类拓展来。

Person类定义与之前相同。

class Person {
    var residence: Residence?
}

Residence类比之前复杂些。这次,它定义了一个变量 rooms,它被初始化为一个Room[]类型的空数组:

class Residence {
    var rooms = [Room]()
    var numberOfRooms: Int {
    return rooms.count
    }
    subscript(i: Int) -> Room {
        return rooms[i]
    }
    func printNumberOfRooms() {
        print("The number of rooms is \(numberOfRooms)")
    }
    var address: Address?
}

因为Residence存储了一个Room实例的数组,它的numberOfRooms属性值不是一个固定的存储值,而是通过计算而来的。numberOfRooms属性值是由返回rooms数组的count属性值得到的。

为了能快速访问rooms数组,Residence定义了一个只读的下标脚本,通过插入数组的元素角标就可以成功调用。如果该角标存在,下标脚本则将该元素返回。

Residence中也提供了一个printNumberOfRooms的方法,即简单的打印房间个数。

最后,Residence定义了一个可选属性叫addressaddress?)。Address类的属性将在后面定义。 用于rooms数组的Room类是一个很简单的类,它只有一个name属性和一个设定room名的初始化器。

class Room {
    let name: String
    init(name: String) { self.name = name }
}

这个模型中的最终类叫做Address。它有三个类型是String?的可选属性。前面两个可选属性buildingNamebuildingNumber作为地址的一部分,是定义某个建筑物的两种方式。第三个属性street,用于命名地址的街道名:

class Address {
    var buildingName: String?
    var buildingNumber: String?
    var street: String?
    func buildingIdentifier() -> String? {
        if buildingName {
            return buildingName
        } else if buildingNumber {
            return buildingNumber
        } else {
            return nil
        }
    }
}

Address类还提供了一个buildingIdentifier的方法,它的返回值类型为String?。这个方法检查buildingNamebuildingNumber的属性,如果buildingName有值则将其返回,或者如果buildingNumber有值则将其返回,再或如果没有一个属性有值,返回空。

##通过可选链调用属性

正如上面“ 可选链可替代强制解析”中所述,你可以利用可选链的可选值获取属性,并且检查属性是否获取成功。然而,你不能使用可选链为属性赋值。

使用上述定义的类来创建一个人实例,并再次尝试后去它的numberOfRooms属性:

let john = Person()
if let roomCount = john.residence?.numberOfRooms {
    print("John's residence has \(roomCount) room(s).")
} else {
    print("Unable to retrieve the number of rooms.")
}
// 打印 "Unable to retrieve the number of rooms。

由于john.residence是空,所以这个可选链和之前一样失败了,但是没有运行时错误。

##通过可选链调用方法

你可以使用可选链的来调用可选值的方法并检查方法调用是否成功。即使这个方法没有返回值,你依然可以使用可选链来达成这一目的。

ResidenceprintNumberOfRooms方法会打印numberOfRooms的当前值。方法如下:

func printNumberOfRooms(){
	print(The number of rooms is \(numberOfRooms))
}

这个方法没有返回值。但是,没有返回值类型的函数和方法有一个隐式的返回值类型Void参见Function Without Return Values

如果你利用可选链调用此方法,这个方法的返回值类型将是Void?,而不是Void因为当通过可选链调用方法时返回值总是可选类型optional type。即使这个方法本身没有定义返回值你也可以使用if语句来检查是否能成功调用printNumberOfRooms方法:如果方法通过可选链调用成功,printNumberOfRooms的隐式返回值将会是Void,如果没有成功,将返回nil

if john.residence?.printNumberOfRooms?() {
    print("It was possible to print the number of rooms.")
} else {
    print("It was not possible to print the number of rooms.")
}
// 打印 "It was not possible to print the number of rooms."。

##使用可选链调用下标脚本

你可以使用可选链来尝试从下标脚本获取值并检查下标脚本的调用是否成功,然而,你不能通过可选链来设置下标脚本。

注意:
当你使用可选链来获取下标脚本的时候,你应该将问号放在下标脚本括号的前面而不是后面。可选链的问号一般直接跟在表达语句的后面。

下面这个例子用在Residence类中定义的下标脚本来获取john.residence数组中第一个房间的名字。因为john.residence现在是nil,下标脚本的调用失败了。

if let firstRoomName = john.residence?[0].name {
    print("The first room name is \(firstRoomName).")
} else {
    print("Unable to retrieve the first room name.")
}
// 打印 "Unable to retrieve the first room name."。

在下标脚本调用中可选链的问号直接跟在john.residence的后面,在下标脚本括号的前面,因为john.residence是可选链试图获得的可选值。

如果你创建一个Residence实例给john.residence,且在他的rooms数组中有一个或多个Room实例,那么你可以使用可选链通过Residence下标脚本来获取在rooms数组中的实例了:

let johnsHouse = Residence()
johnsHouse.rooms += Room(name: "Living Room")
johnsHouse.rooms += Room(name: "Kitchen")
john.residence = johnsHouse

if let firstRoomName = john.residence?[0].name {
    print("The first room name is \(firstRoomName).")
} else {
    print("Unable to retrieve the first room name.")
}
// 打印 "The first room name is Living Room."。

##连接多层链接

你可以将多层可选链连接在一起,可以掘取模型内更下层的属性方法和下标脚本。然而多层可选链不能再添加比已经返回的可选值更多的层。 也就是说:

如果你试图获得的类型不是可选类型,由于使用了可选链它将变成可选类型。 如果你试图获得的类型已经是可选类型,由于可选链它也不会提高可选性。

因此:

如果你试图通过可选链获得Int值,不论使用了多少层链接返回的总是Int?。 相似的,如果你试图通过可选链获得Int?值,不论使用了多少层链接返回的总是Int?

下面的例子试图获取johnresidence属性里的addressstreet属性。这里使用了两层可选链来联系residenceaddress属性,它们两者都是可选类型:

if let johnsStreet = john.residence?.address?.street {
    print("John's street name is \(johnsStreet).")
} else {
    print("Unable to retrieve the address.")
}
// 打印 "Unable to retrieve the address.”。

john.residence的值现在包含一个Residence实例,然而john.residence.address现在是nil,因此john.residence?.address?.street调用失败。

从上面的例子发现,你试图获得street属性值。这个属性的类型是String?。因此尽管在可选类型属性前使用了两层可选链,john.residence?.address?.street的返回值类型也是String?

如果你为Address设定一个实例来作为john.residence.address的值,并为addressstreet属性设定一个实际值,你可以通过多层可选链来得到这个属性值。

let johnsAddress = Address()
johnsAddress.buildingName = "The Larches"
johnsAddress.street = "Laurel Street"
john.residence!.address = johnsAddress
if let johnsStreet = john.residence?.address?.street {
    print("John's street name is \(johnsStreet).")
} else {
    print("Unable to retrieve the address.")
}
// 打印 "John's street name is Laurel Street."。

值得注意的是,“!”符号在给john.residence.address分配address实例时的使用。john.residence属性是一个可选类型,因此你需要在它获取address属性之前使用!解析以获得它的实际值。

##链接可选返回值的方法

前面的例子解释了如何通过可选链来获得可选类型属性值。你也可以通过可选链调用一个返回可选类型值的方法并按需链接该方法的返回值。

下面的例子通过可选链调用了Address类中的buildingIdentifier 方法。这个方法的返回值类型是String?。如上所述,这个方法在可选链调用后最终的返回值类型依然是String?

if let buildingIdentifier = john.residence?.address?.buildingIdentifier() {
    print("John's building identifier is \(buildingIdentifier).")
}
// 打印 "John's building identifier is The Larches."。

如果你还想进一步对方法返回值执行可选链,将可选链问号符放在方法括号的后面:

if let upper = john.residence?.address?.buildingIdentifier()?.uppercaseString {
    print("John's uppercase building identifier is \(upper).")
}
// 打印 "John's uppercase building identifier is THE LARCHES."。

注意:
在上面的例子中,你将可选链问号符放在括号后面是因为你想要链接的可选值是buildingIdentifier方法的返回值,不是buildingIdentifier方法本身。 =======


可空链式调用Optional Chaining是一种可以请求和调用属性、方法及下标的过程它的可空性体现于请求或调用的目标当前可能为空nil。如果可空的目标有值那么调用就会成功如果选择的目标为空nil那么这种调用将返回空nil。多个连续的调用可以被链接在一起形成一个调用链如果其中任何一个节点为空nil将导致整个链调用失败。

注意: Swift 的可空链式调用和 Objective-C 中的消息为空有些相像,但是 Swift 可以使用在任意类型中,并且能够检查调用是否成功。

##可空链式调用作为强制展开的另一个方案 通过在想调用非空的属性、方法、或下标的可空值optional value后面放一个问号可以定义一个可空链。这一点很像在可空值后面放一个叹号来强制展开其中值。它们的主要的区别在于当可空值为空时可空链式只是调用失败然而强制展开将会触发运行时错误。

为了反映可空链式调用可以在空对象nil上调用不论这个调用的属性、方法、下标等返回的值是不是可空值它的返回结果都是一个可空值。你可以利用这个返回值来判断你的可空链式调用是否调用成功如果调用有返回值则说明调用成功返回nil则说明调用失败。

特别地可空链式调用的返回结果与原本的返回结果具有相同的类型但是被包装成了一个可空类型值。当可空链式调用成功时一个本应该返回Int的类型的结果将会返回Int?类型。

下面几段代码将解释可空链式调用和强制展开的不同。 首先定义两个类Person和Residence。

class Person {
var residence: Residence?
}
class Residence {
var numberOfRooms = 1
}

Residence有一个Int类型的属性numberOfRooms其默认值为1。Person具有一个可空的residence属性其类型为Residence

如果创建一个新的Person实例因为它的residence属性是可空的john属性将初始化为nil

let john = Person()

如果使用叹号强制展开获得这个john的residence属性中的numberOfRooms值会触发运行时错误因为这时没有可以展开的residence

let roomCount = john.residence!.numberOfRooms
// this triggers a runtime error

john.residence非空的时候上面的调用成功并且把roomCount设置为Int类型的房间数量。正如上面说到的当residence为空的时候上面这段代码会触发运行时错误。

可空链式调用提供了一种另一种访问numberOfRooms的方法使用问号来代替原来叹号的位置

if let roomCount = john.residence?.numberOfRooms {
    print("John's residence has \(roomCount) room(s).")
} else {
    print("Unable to retrieve the number of rooms.")
}
// prints "Unable to retrieve the number of rooms."

在residence后面添加问号之后Swift就会在residence不为空的情况下访问numberOfRooms。

因为访问numberOfRooms有可能失败可空链式调用会返回Int?类型或称为“可空的Int”。如上例所示当residence为nil的时候可空的Int将会为nil表明无法访问numberOfRooms。

要注意的是即使numberOfRooms是不可空的Int时这一点也成立。只要是通过可空链式调用就意味着最后numberOfRooms返回一个Int而不是Int。

通过赋给john.residence一个Residence的实例变量

john.residence = Residence()

这样john.residence不为nil了。现在就可以正常访问john.residence.numberOfRooms其值为默认的1类型为Int?

if let roomCount = john.residence?.numberOfRooms {
print("John's residence has \(roomCount) room(s).")
} else {
print("Unable to retrieve the number of rooms.")
}
// prints "John's residence has 1 room(s)."

##为可空链式调用定义模型类 通过使用可空链式调用可以调用多层属性,方法,和下标。这样可以通过各种模型向下访问各种子属性。并且判断能否访问子属性的属性,方法或下标。

下面这段代码定义了四个模型类这些例子包括多层可空链式调用。为了方便说明在Person和Residence的基础上增加了Room和Address以及相关的属性方法以及下标。

Person类定义基本保持不变

class Person {
    var residence: Residence?
}

Residence类比之前复杂些增加了一个Room类型的空数组room

class Residence {
    var rooms = [Room]()
    var numberOfRooms: Int {
        return rooms.count
    }
    subscript(i: Int) -> Room {
        get {
            return rooms[i]
        }
        set {
            rooms[i] = newValue
        }
    }
    func printNumberOfRooms() {
        print("The number of rooms is \(numberOfRooms)")
    }
    var address: Address?
}

现在Residence有了一个存储Room类型的数组numberOfRooms属性需要计算而不是作为单纯的变量。计算后的numberOfRooms返回rooms数组的count属性值。现在的Residence还提供访问rooms数组的快捷方式 通过可读写的下标来访问指定位置的数组元素。此外还提供printNumberOfRooms方法这个方法的作用就是输出这个房子中房间的数量。最后Residence定义了一个可空属性address其类型为Address?。Address类的定义在下面会说明。

类Room是一个简单类只包含一个属性name以及一个初始化函数

class Room {
    let name: String
    init(name: String) { self.name = name }
}

最后一个类是Address这个类有三个String?类型的可空属性。buildingName以及buildingNumber属性表示建筑的名称和号码用来表示某个特定的建筑。第三个属性表示建筑所在街道的名称

class Address {
    var buildingName: String?
    var buildingNumber: String?
    var street: String?
    func buildingIdentifier() -> String? {
        if buildingName != nil {
            return buildingName
        } else if buildingNumber != nil {
            return buildingNumber
        } else {
            return nil
        }
    }
}

类Address提供buildingIdentifier()方法返回值为String?。 如果buildingName不为空则返回buildingName 如果buildingNumber不为空则返回buildingNumber。如果这两个属性都为空则返回nil。

##通过可空链式调用访问属性 正如[可空链式调用作为强制展开的另一个方案]中所述,可以通过可空链式调用访问属性的可空值,并且判断访问是否成功。

下面的代码创建了一个Person实例然后访问numberOfRooms属性

let john = Person()
if let roomCount = john.residence?.numberOfRooms {
    print("John's residence has \(roomCount) room(s).")
} else {
    print("Unable to retrieve the number of rooms.")
}
// prints "Unable to retrieve the number of rooms."

因为john.residence为nil所以毫无疑问这个可空链式调用失败。

通过可空链式调用来设定属性值:

let someAddress = Address()
someAddress.buildingNumber = "29"
someAddress.street = "Acacia Road"
john.residence?.address = someAddress

在这个例子中通过john.residence来设定address属性也是不行的因为john.residence为nil。

##通过可空链式调用来调用方法 可以通过可空链式调用来调用方法,并判断是否调用成功,即使这个方法没有返回值。 Residence中得printNumberOfRooms()方法输出当前的numberOfRooms值

func printNumberOfRooms() {
    print("The number of rooms is \(numberOfRooms)")
}

这个方法没有返回值。但是没有返回值的方法隐式返回Void类型无返回值函数中所述。这意味着没有返回值的方法也会返回()或者空的元组。

如果在可空值上通过可空链式调用来调用这个方法这个方法的返回类型为Void?而不是Void因为通过可空链式调用得到的返回值都是可空的。这样我们就可以使用if语句来判断能否成功调用printNumberOfRooms()方法即使方法本身没有定义返回值。通过返回值是否为nil可以判断调用是否成功

if john.residence?.printNumberOfRooms() != nil {
    print("It was possible to print the number of rooms.")
} else {
    print("It was not possible to print the number of rooms.")
}
// prints "It was not possible to print the number of rooms."

同样的可以判断通过可空链式调用来给属性赋值是否成功。在上面的例子中我们尝试给john.residence中的address属性赋值即使residence为nil。通过可空链式调用给属性赋值会返回Void?通过判断返回值是否为nil可以知道赋值是否成功

if (john.residence?.address = someAddress) != nil {
print("It was possible to set the address.")
} else {
print("It was not possible to set the address.")
}
// prints "It was not possible to set the address."

##通过可空链式调用来访问下标 通过可空链式调用,我们可以用下标来对可空值进行读取或写入,并且判断下标调用是否成功。

注意: 当通过可空链式调用访问可空值的下标的时候,应该将问号放在下标方括号的前面而不是后面。可空链式调用的问号一般直接跟在可空表达式的后面。

下面这个例子用下标访问john.residence中rooms数组中第一个房间的名称因为john.residence为nil所以下标调用毫无疑问失败了

if let firstRoomName = john.residence?[0].name {
    print("The first room name is \(firstRoomName).")
} else {
    print("Unable to retrieve the first room name.")
}
// prints "Unable to retrieve the first room name."

在这个例子中问号直接放在john.residence的后面并且在方括号的前面因为john.residence是可空值。

类似的,可以通过下标,用可空链式调用来赋值:

let johnsHouse = Residence()
johnsHouse.rooms.append(Room(name: "Living Room"))
johnsHouse.rooms.append(Room(name: "Kitchen"))
john.residence = johnsHouse
if let firstRoomName = john.residence?[0].name {
print("The first room name is \(firstRoomName).")
} else {
print("Unable to retrieve the first room name.")
}
// prints "The first room name is Living Room."

##访问可空类型的下标: 如果下标返回可空类型值比如Swift中Dictionary的key下标。可以在下标的闭合括号后面放一个问号来链接下标的可空返回值

var testScores = ["Dave": [86, 82, 84], "Bev": [79, 94, 81]]
testScores["Dave"]?[0] = 91
testScores["Bev"]?[0]++
testScores["Brian"]?[0] = 72
// the "Dave" array is now [91, 82, 84] and the "Bev" array is now [80, 94, 81]

上面的例子中定义了一个testScores数组包含了两个键值对 把String类型的key映射到一个整形数组。这个例子用可空链式调用把“Dave”数组中第一个元素设为91把”Bev”数组的第一个元素+1然后尝试把”Brian”数组中的第一个元素设为72。前两个调用是成功的因为这两个key存在。但是key“Brian”在字典中不存在所以第三个调用失败。

##多层链接 可以通过多个链接多个可空链式调用来向下访问属性,方法以及下标。但是多层可空链式调用不会添加返回值的可空性。

也就是说:

  • 如果你访问的值不是可空的,通过可空链式调用将会放回可空值。
  • 如果你访问的值已经是可空的,通过可空链式调用不会变得“更”可空。

因此:

  • 通过可空链式调用访问一个Int值将会返回Int不过进行了多少次可空链式调用。
  • 类似的通过可空链式调用访问Int?值,并不会变得更加可空。

下面的例子访问john中的residence中的address中的street属性。这里使用了两层可空链式调用residence以及address这两个都是可空值。

if let johnsStreet = john.residence?.address?.street {
    print("John's street name is \(johnsStreet).")
} else {
    print("Unable to retrieve the address.")
}
// prints "Unable to retrieve the address."

john.residence包含Residence实例但是john.residence.address为nil。因此不能访问john.residence?.address?.street。

需要注意的是上面的例子中street的属性为String?。john.residence?.address?.street的返回值也依然是String?,即使已经进行了两次可空的链式调用。

如果把john.residence.address指向一个实例并且为address中的street属性赋值我们就能过通过可空链式调用来访问street属性。

let johnsAddress = Address()
johnsAddress.buildingName = "The Larches"
johnsAddress.street = "Laurel Street"
john.residence?.address = johnsAddress
 
if let johnsStreet = john.residence?.address?.street {
    print("John's street name is \(johnsStreet).")
} else {
    print("Unable to retrieve the address.")
}
// prints "John's street name is Laurel Street."

在上面的例子中因为john.residence是一个可用的Residence实例所以对john.residence的address属性赋值成功。

##对返回可空值的函数进行链接 上面的例子说明了如何通过可空链式调用来获取可空属性值。我们还可以通过可空链式调用来调用返回可空值的方法,并且可以继续对可空值进行链接。

在下面的例子中通过可空链式调用来调用Address的buildingIdentifier()方法。这个方法返回String?类型。正如上面所说通过可空链式调用的方法的最终返回值还是String?

if let buildingIdentifier = john.residence?.address?.buildingIdentifier() {
    print("John's building identifier is \(buildingIdentifier).")
}
// prints "John's building identifier is The Larches."

如果要进一步对方法的返回值进行可空链式调用在方法buildingIdentifier()的圆括号后面加上问号:

if let beginsWithThe =
john.residence?.address?.buildingIdentifier()?.hasPrefix("The") {
if beginsWithThe {
print("John's building identifier begins with \"The\".")
} else {
print("John's building identifier does not begin with \"The\".")
}
}
// prints "John's building identifier begins with "The"."

注意: 在上面的例子中在在方法的圆括号后面加上问号是因为buildingIdentifier()的返回值是可空值,而不是方法本身是可空的。

Stashed changes