04_Collection_Types (#959)

* 04_Collection_Types 5.1初版

* 校对以后的更新

* 第二次校对以后的修正
This commit is contained in:
灰s
2019-07-07 11:08:11 +08:00
committed by Zhou Fang
parent ae117bdfbc
commit cc029194be

View File

@ -1,22 +1,22 @@
# 集合类型 # 集合类型
Swift 语言提供 `Arrays``Sets``Dictionaries` 三种基本的*集合类型*用来存储集合数据。数组Arrays是有序数据的集。集合Sets是无序无重复数据的集。字典Dictionaries是无序的键值对的集。 Swift 语言提供数组(Array、集合Set和字典Dictionary三种基本的*集合类型*用来存储集合数据。数组是有序数据的集。集合是无序无重复数据的集。字典是无序的键值对的集。
![](https://docs.swift.org/swift-book/_images/CollectionTypes_intro_2x.png) ![](https://docs.swift.org/swift-book/_images/CollectionTypes_intro_2x.png)
Swift 语言中的 `Arrays``Sets``Dictionaries` 中存储的数据值类型必须明确。这意味着我们不能把错误数据类型插入其中。同时这也说明你完全可以对取回值的类型非常放心 Swift 中的数组、集合和字典必须明确其中保存的键和值类型,这样就可以避免插入一个错误数据类型的值。同理,对于获取到的值你也可以放心,其数据类型是确定的
> 注意 > 注意
> >
> Swift 的 `Arrays`、`Sets` 和 `Dictionaries` 类型被实现为*泛型集合*。更多关于泛型类型和集合,参见 [泛型](./23_Generics.md) 章节。 > Swift 的数组、集合和字典类型被实现为*泛型集合*。更多关于泛型类型和集合,参见 [泛型](./22_Generics.md) 章节。
## 集合的可变性 {#mutability-of-collections} ## 集合的可变性 {#mutability-of-collections}
如果创建一个 `Arrays``Sets``Dictionaries` 并且把它分配成一个变量,这个集合将会是*可变的*。这意味着可以在创建之后添加更多或移除已存在的数据项,或者改变集合中的数据项。如果我们把 `Arrays``Sets``Dictionaries` 分配成常量,那么它就是*不可变的*,它的大小和内容都不能被改变。 如果创建一个数组、集合或字典并且把它分配成一个变量,这个集合将会是*可变的*。这意味着可以在创建之后添加、修改或者删除数据项。如果把数组、集合或字典分配成常量,那么它就是*不可变的*,它的大小和内容都不能被改变。
> 注意 > 注意
> >
> 我们不需要改变集合的时候创建不可变集合是很好的实践。如此 Swift 编译器可以优化我们创建的集合 > 在不需要改变集合的时候创建不可变集合是很好的实践。这样做便于你理解自己的代码,也能让 Swift 编译器优化集合的性能
## 数组Arrays {#arrays} ## 数组Arrays {#arrays}
@ -24,15 +24,17 @@ Swift 语言中的 `Arrays`、`Sets` 和 `Dictionaries` 中存储的数据值类
> 注意 > 注意
> >
> Swift 的 `Array` 类型被桥接到 `Foundation` 中的 `NSArray` 类。更多关于在 `Foundation` 和 `Cocoa` 中使用 `Array` 的信息,参见 [*Using Swift with Cocoa and Obejective-C(Swift 4.1)*](https://developer.apple.com/library/content/documentation/Swift/Conceptual/BuildingCocoaApps/index.html#//apple_ref/doc/uid/TP40014216) 中 [使用 Cocoa 数据类型](https://developer.apple.com/library/content/documentation/Swift/Conceptual/BuildingCocoaApps/WorkingWithCocoaDataTypes.html#//apple_ref/doc/uid/TP40014216-CH6) 部分。 > Swift 的 `Array` 类型被桥接到 Foundation 中的 `NSArray` 类。
>
> 更多关于在 Foundation 和 Cocoa 中使用 `Array` 的信息,参见 [Bridging Between Array and NSArray](https://developer.apple.com/documentation/swift/array#2846730)。
### 数组的简单语法 {#array-type-shorthand-syntax} ### 数组的简单语法 {#array-type-shorthand-syntax}
Swift 数组应该遵循像 `Array<Element>` 这样的形式,其中 `Element` 是这个数组中唯一允许存在的数据类型。我们也可以使用像 `[Element]` 这样的简单语法。尽管两种形式在功能上是一样的,但是推荐较短的那种,而且在本文中都会使用这种形式来使用数组。 Swift 数组的完整写法为 `Array<Element>`,其中 `Element` 是这个数组中唯一允许存在的数据类型。也可以使用像 `[Element]` 这样的简单语法。尽管两种形式在功能上是一样的,但是推荐较短的那种,而且在本文中都会使用这种形式来使用数组。
### 创建一个空数组 {#creating-an-empty-array} ### 创建一个空数组 {#creating-an-empty-array}
我们可以使用构造语法来创建一个由特定数据类型构成的空数组: 可以使用构造语法来创建一个由特定数据类型构成的空数组:
```swift ```swift
var someInts = [Int]() var someInts = [Int]()
@ -42,7 +44,7 @@ print("someInts is of type [Int] with \(someInts.count) items.")
注意,通过构造函数的类型,`someInts` 的值类型被推断为 `[Int]` 注意,通过构造函数的类型,`someInts` 的值类型被推断为 `[Int]`
或者,如果代码上下文中已经提供了类型信息,例如一个函数参数或者一个已经定义好类型的常量或者变量,我们可以使用空数组语句创建一个空数组,它的写法很简单:`[]`(一对空方括号): 或者,如果代码上下文中已经提供了类型信息,例如一个函数参数或者一个已经定义好类型的常量或者变量,可以使用空数组语句创建一个空数组,它的写法很简单:`[]`(一对空方括号):
```swift ```swift
someInts.append(3) someInts.append(3)
@ -53,7 +55,7 @@ someInts = []
### 创建一个带有默认值的数组 {#creating-an-array-with-a-default-value} ### 创建一个带有默认值的数组 {#creating-an-array-with-a-default-value}
Swift 中的 `Array` 类型还提供一个可以创建特定大小并且所有数据都被默认的构造方法。我们可以把准备加入新数组的数据项数量(`count`)和适当类型的初始值(`repeating`)传入数组构造函数: Swift 中的 `Array` 类型还提供一个可以创建特定大小并且所有数据都被默认的构造方法。可以把准备加入新数组的数据项数量(`count`)和适当类型的初始值(`repeating`)传入数组构造函数:
```swift ```swift
var threeDoubles = Array(repeating: 0.0, count: 3) var threeDoubles = Array(repeating: 0.0, count: 3)
@ -62,7 +64,7 @@ var threeDoubles = Array(repeating: 0.0, count: 3)
### 通过两个数组相加创建一个数组 {#creating-an-array-by-adding-two-arrays-together} ### 通过两个数组相加创建一个数组 {#creating-an-array-by-adding-two-arrays-together}
我们可以使用加法操作符(`+`)来组合两已存在的相同类型数组。新数组的数据类型会从两个数组的数据类型中推断出来: 可以使用加法操作符(`+`)来组合两已存在的相同类型数组。新数组的数据类型会从两个数组的数据类型中推断出来:
```swift ```swift
var anotherThreeDoubles = Array(repeating: 2.5, count: 3) var anotherThreeDoubles = Array(repeating: 2.5, count: 3)
@ -74,7 +76,7 @@ var sixDoubles = threeDoubles + anotherThreeDoubles
### 用数组字面量构造数组 {#creating-an-array-with-an-array-literals} ### 用数组字面量构造数组 {#creating-an-array-with-an-array-literals}
我们可以使用*数组字面量*来进行数组构造,这是一种用一个或者多个数值构造数组的简单方法。数组字面量是一系列由逗号分割并由方括号包含的数值: 可以使用*数组字面量*来进行数组构造,这是一种用一个或者多个数值构造数组的简单方法。数组字面量是一系列由逗号分割并由方括号包含的数值:
`[value 1, value 2, value 3]` `[value 1, value 2, value 3]`
@ -85,15 +87,15 @@ var shoppingList: [String] = ["Eggs", "Milk"]
// shoppingList 已经被构造并且拥有两个初始项。 // shoppingList 已经被构造并且拥有两个初始项。
``` ```
`shoppingList` 变量被声明为“字符串值类型的数组“,记作 `[String]` 因为这个数组被规定只有 `String` 一种数据结构,所以只有 `String` 类型可以在其中被存取。 在这里,`shoppingList` 数组由两个 `String` 值(`"Eggs"``"Milk"`)构造,并且由数组字面量定义。 `shoppingList` 变量被声明为“字符串值类型的数组“,记作 `[String]`。因为这个数组被规定只有 `String` 一种数据结构,所以只有 `String` 类型可以在其中被存取。在这里,`shoppingList` 数组由两个 `String` 值(`"Eggs"``"Milk"`)构造,并且由数组字面量定义。
> 注意 > 注意
> >
> `shoppingList` 数组被声明为变量(`var` 关键字创建)而不是常量(`let` 创建)是因为以后可能会有更多的数据项被插入其中。 > `shoppingList` 数组被声明为变量(`var` 关键字创建)而不是常量(`let` 创建)是因为之后会有更多的数据项被插入其中。
在这个例子中,字面量仅仅包含两个 `String` 值。匹配了该数组的变量声明(只能包含 `String` 的数组),所以这个字面量的分配过程可以作为用两个初始项来构造 `shoppingList` 的一种方式。 在这个例子中,字面量仅仅包含两个 `String` 值。匹配了该数组的声明(只能包含 `String` 的数组),所以可以将这个字面量的赋值过程看作用两个初始项来构造 `shoppingList` 的一种方式。
由于 Swift 的类型推断机制,当我们用字面量构造拥有相同类型值数组的时候,我们不必把数组的类型定义清楚。`shoppingList` 的构造也可以这样写: 由于 Swift 的类型推断机制,当用字面量构造拥有相同类型值数组的时候,不必把数组的类型定义清楚。`shoppingList` 的构造也可以这样写:
```swift ```swift
var shoppingList = ["Eggs", "Milk"] var shoppingList = ["Eggs", "Milk"]
@ -103,7 +105,7 @@ var shoppingList = ["Eggs", "Milk"]
### 访问和修改数组 {#accessing-and-modifying-an-array} ### 访问和修改数组 {#accessing-and-modifying-an-array}
我们可以通过数组的方法和属性来访问和修改数组,或者使用下标语法。 可以通过数组的方法和属性来访问和修改数组,或者使用下标语法。
可以使用数组的只读属性 `count` 来获取数组中的数据项数量: 可以使用数组的只读属性 `count` 来获取数组中的数据项数量:
@ -127,10 +129,10 @@ if shoppingList.isEmpty {
```swift ```swift
shoppingList.append("Flour") shoppingList.append("Flour")
// shoppingList 现在有3个数据项有人在摊煎饼 // shoppingList 现在有3个数据项似乎有人在摊煎饼
``` ```
除此之外,使用加法赋值运算符(`+=`也可以直接在数组后面添加一个或多个拥有相同类型的数据项: 除此之外,也可以使用加法赋值运算符(`+=`直接将另一个相同类型数组中的数据添加到该数组后面:
```swift ```swift
shoppingList += ["Baking Powder"] shoppingList += ["Baking Powder"]
@ -139,7 +141,7 @@ shoppingList += ["Chocolate Spread", "Cheese", "Butter"]
// shoppingList 现在有七项了 // shoppingList 现在有七项了
``` ```
可以直接使用下标语法来获取数组中的数据项,把我们需要数据项的索引值放在直接放在数组名称的方括号中: 可以直接使用*下标语法*来获取数组中的数据项,把需要数据项的索引值直接放在数组名称之后的方括号中:
```swift ```swift
var firstItem = shoppingList[0] var firstItem = shoppingList[0]
@ -150,13 +152,15 @@ var firstItem = shoppingList[0]
> >
> 第一项在数组中的索引值是 `0` 而不是 `1`。 Swift 中的数组索引总是从零开始。 > 第一项在数组中的索引值是 `0` 而不是 `1`。 Swift 中的数组索引总是从零开始。
我们也可以用下标来改变某个有索引值对应的数据值: 也可以用下标来改变某个有索引值对应的数据值:
```swift ```swift
shoppingList[0] = "Six eggs" shoppingList[0] = "Six eggs"
// 其中的第一项现在是“Six eggs”而不是“Eggs” // 其中的第一项现在是“Six eggs”而不是“Eggs”
``` ```
当你使用下标语法,所使用的下标必须是有效的。例如,试图通过 `shoppingList[shoppingList.count] = "Salt"` 在数组的最后添加一项,将产生一个运行时错误。
还可以利用下标来一次改变一系列数据值,即使新数据和原有数据的数量是不一样的。下面的例子把 `"Chocolate Spread"``"Cheese"``"Butter"` 替换为 `"Bananas"``"Apples"` 还可以利用下标来一次改变一系列数据值,即使新数据和原有数据的数量是不一样的。下面的例子把 `"Chocolate Spread"``"Cheese"``"Butter"` 替换为 `"Bananas"``"Apples"`
```swift ```swift
@ -164,11 +168,7 @@ shoppingList[4...6] = ["Bananas", "Apples"]
// shoppingList 现在有6项 // shoppingList 现在有6项
``` ```
> 注意 通过调用数组的 `insert(_:at:)` 方法在某个指定索引值之前添加数据项:
>
> 不可以用下标访问的形式去在数组尾部添加新项。
调用数组的 `insert(_:at:)` 方法来在某个具体索引值之前添加数据项:
```swift ```swift
shoppingList.insert("Maple Syrup", at: 0) shoppingList.insert("Maple Syrup", at: 0)
@ -178,18 +178,18 @@ shoppingList.insert("Maple Syrup", at: 0)
这次 `insert(_:at:)` 方法调用把值为 `"Maple Syrup"` 的新数据项插入列表的最开始位置,并且使用 `0` 作为索引值。 这次 `insert(_:at:)` 方法调用把值为 `"Maple Syrup"` 的新数据项插入列表的最开始位置,并且使用 `0` 作为索引值。
类似的我们可以使用 `remove(at:)` 方法来移除数组中的某一项。这个方法把数组在特定索引值中存储的数据项移除并且返回这个被移除的数据项(我们不需要的时候就可以无视它): 类似的可以使用 `remove(at:)` 方法来移除数组中的某一项。这个方法把数组在特定索引值中存储的数据项移除并且返回这个被移除的数据项(不需要的时候就可以无视它):
```swift ```swift
let mapleSyrup = shoppingList.remove(at: 0) let mapleSyrup = shoppingList.remove(at: 0)
// 索引值为0的数据项被移除 // 索引值为0的数据项被移除
// shoppingList 现在只有6项而且不包括 Maple Syrup // shoppingList 现在只有6项而且不包括 Maple Syrup
// mapleSyrup 常量的值等于被移除数据项“Maple Syrup”的值 // mapleSyrup 常量的值等于被移除数据项“Maple Syrup”
``` ```
> 注意 > 注意
> >
> 如果我们试着对索引越界的数据进行检索或者设置新值的操作,会引发一个运行错误。我们可以使用索引值和数组的 `count` 属性进行比较来在使用某个索引之前检验是否有效。除了当 `count` 等于 0 时(说明这是个空数组),最大索引值一直是 `count - 1`,因为数组都是零起索引。 > 如果你试图通过越界索引来执行访问或者修改数据的操作,会引发一个运行错误。此时可以使用索引值和数组的 `count` 属性进行比较来在使用索引之前检验是否有效。除了当 `count` 等于 0 时(说明这是个空数组),最大索引值一直是 `count - 1`,因为数组都是零起索引。
数据项被移除后数组中的空出项会被自动填补,所以现在索引值为 `0` 的数据项的值再次等于 `"Six eggs"` 数据项被移除后数组中的空出项会被自动填补,所以现在索引值为 `0` 的数据项的值再次等于 `"Six eggs"`
@ -198,18 +198,18 @@ firstItem = shoppingList[0]
// firstItem 现在等于“Six eggs” // firstItem 现在等于“Six eggs”
``` ```
如果我们只想把数组中的最后一项移除,可以使用 `removeLast()` 方法而不是 `remove(at:)` 方法来避免我们需要获取数组的 `count` 属性。就像后者一样,前者也会返回被移除的数据项: 如果只想把数组中的最后一项移除,可以使用 `removeLast()` 方法而不是 `remove(at:)` 方法来避免需要获取数组的 `count` 属性。就像后者一样,前者也会返回被移除的数据项:
```swift ```swift
let apples = shoppingList.removeLast() let apples = shoppingList.removeLast()
// 数组的最后一项被移除了 // 数组的最后一项被移除了
// shoppingList 现在只有5项不包括 Apples // shoppingList 现在只有5项不包括 Apples
// apples 常量的值现在等于“Apples”字符串 // apples 常量的值现在等于字符串“Apples”
``` ```
### 数组的遍历 {#iterating-over-an-array} ### 数组的遍历 {#iterating-over-an-array}
我们可以使用 `for-in` 循环来遍历所有数组中的数据项: 可以使用 `for-in` 循环来遍历数组中所有的数据项:
```swift ```swift
for item in shoppingList { for item in shoppingList {
@ -222,7 +222,7 @@ for item in shoppingList {
// Bananas // Bananas
``` ```
如果我们同时需要每个数据项的值和索引值,可以使用 `enumerated()` 方法来进行数组遍历。`enumerated()` 返回一个由每一个数据项索引值和数据值组成的元组。我们可以把这个元组分解成临时常量或者变量来进行遍历: 如果同时需要每个数据项的值和索引值,可以使用 `enumerated()` 方法来进行数组遍历。`enumerated()` 返回一个由索引值和数据值组成的元组数组。索引值从零开始,并且每次增加一;如果枚举一整个数组,索引值将会和数据值一一匹配。你可以把这个元组分解成临时常量或者变量来进行遍历:
```swift ```swift
for (index, value) in shoppingList.enumerated() { for (index, value) in shoppingList.enumerated() {
@ -239,34 +239,34 @@ for (index, value) in shoppingList.enumerated() {
## 集合Sets {#sets} ## 集合Sets {#sets}
*集合Set*用来存储相同类型并且没有确定顺序的值。当集合元素顺序不重要时或者希望确保每个元素只出现一次时可以使用集合而不是数组。 *集合*用来存储相同类型并且没有确定顺序的值。当集合元素顺序不重要时或者希望确保每个元素只出现一次时可以使用集合而不是数组。
> 注意 > 注意
> Swift 的 `Set` 类型被桥接到 `Foundation` 中的 `NSSet` 类。 > Swift 的 `Set` 类型被桥接到 Foundation 中的 `NSSet` 类。
> >
> 关于使用 `Foundation``Cocoa` 中 `Set` 的知识,参见 [*Using Swift with Cocoa and Obejective-C(Swift 4.1)*](https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/BuildingCocoaApps/index.html#//apple_ref/doc/uid/TP40014216) 中[使用 Cocoa 数据类型](https://developer.apple.com/library/content/documentation/Swift/Conceptual/BuildingCocoaApps/WorkingWithCocoaDataTypes.html#//apple_ref/doc/uid/TP40014216-CH6)部分。 > 关于使用 Foundation 和 Cocoa 中 `Set` 的知识,参见 [Bridging Between Set and NSSet](https://developer.apple.com/documentation/swift/set#2845530)
### 集合类型的哈希值 {#hash-values-for-set-types} ### 集合类型的哈希值 {#hash-values-for-set-types}
一个类型为了存储在集合中,该类型必须是*可哈希化*的——也就是说,该类型必须提供一个方法来计算它的*哈希值*。一个哈希值是 `Int` 类型的,相等的对象哈希值必须相同,比如 `a==b`,因此必须 `a.hashValue == b.hashValue` 一个类型为了存储在集合中,该类型必须是*可哈希化*的——也就是说,该类型必须提供一个方法来计算它的*哈希值*。一个哈希值是 `Int` 类型的,相等的对象哈希值必须相同,比如 `a == b`,因此必须 `a.hashValue == b.hashValue`
Swift 的所有基本类型(比如 `String``Int``Double``Bool`)默认都是可哈希化的,可以作为集合值的类型或者字典键的类型。没有关联值的枚举成员值(在 [枚举](./08_Enumerations.md) 有讲述)默认也是可哈希化的。 Swift 的所有基本类型(比如 `String``Int``Double``Bool`)默认都是可哈希化的,可以作为集合值的类型或者字典键的类型。没有关联值的枚举成员值(在 [枚举](./08_Enumerations.md) 有讲述)默认也是可哈希化的。
> 注意 > 注意
> >
> 你可以使用自定义的类型作为集合值的类型或者是字典键的类型,但需要使你的自定义类型遵循 Swift 标准库中的 `Hashable` 协议。遵循 `Hashable` 协议的类型需要提供一个类型为 `Int` 的可读属性 `hashValue`。由类型的 `hashValue` 属性返回的值不需要在同一程序的不同执行周期或者不同程序之间保持相同。 > 你可以使用自定义的类型作为集合值的类型或者是字典键的类型,但需要使自定义类型遵循 Swift 标准库中的 `Hashable` 协议。遵循 `Hashable` 协议的类型需要提供一个类型为 `Int` 的可读属性 `hashValue`。由类型的 `hashValue` 属性返回的值不需要在同一程序的不同执行周期或者不同程序之间保持相同。
> >
> 因为 `Hashable` 协议遵循 `Equatable` 协议,所以遵循该协议的类型也必须提供一个“是否相等”运算符(`==`)的实现。这个 `Equatable` 协议要求任何遵循 `==` 实现的实例间都是一种相等的关系。也就是说,对于 `a,b,c` 三个值来说,`==` 的实现必须满足下面三种情况: > 因为 `Hashable` 协议遵循 `Equatable` 协议,所以遵循该协议的类型也必须提供一个“是否相等”运算符(`==`)的实现。这个 `Equatable` 协议要求任何遵循 `==` 实现的实例间都是一种相等的关系。也就是说,对于 `a,b,c` 三个值来说,`==` 的实现必须满足下面三种情况:
> * `a == a`(自反性) > * `a == a`(自反性)
> * `a == b` 意味着 `b == a`(对称性) > * `a == b` 意味着 `b == a`(对称性)
> * `a == b && b == c` 意味着 `a == c`(传递性) > * `a == b && b == c` 意味着 `a == c`(传递性)
>
关于遵循协议的更多信息,请看 [协议](./22_Protocols.md)。 > 关于遵循协议的更多信息,请看 [协议](./21_Protocols.md)。
### 集合类型语法 {#set-type-syntax} ### 集合类型语法 {#set-type-syntax}
Swift 中的 `Set` 类型被写为 `Set<Element>`,这里的 `Element` 表示 `Set` 中允许存储的类型和数组不同的是,集合没有等价的简化形式。 Swift 中的集合类型被写为 `Set<Element>`,这里的 `Element` 表示集合中允许存储的类型和数组不同的是,集合没有等价的简化形式。
### 创建和构造一个空的集合 {#creating-and-initalizing-an-empty-set} ### 创建和构造一个空的集合 {#creating-and-initalizing-an-empty-set}
@ -280,9 +280,9 @@ print("letters is of type Set<Character> with \(letters.count) items.")
> 注意 > 注意
> >
> 通过构造器,这里 `letters` 变量的类型被推断为 `Set<Character>`。 > 通过构造器,这里 `letters` 变量的类型被推断为 `Set<Character>`。
此外,如果上下文提供了类型信息,比如作为函数的参数或者已知类型的变量或常量,我们可以通过一个空的数组字面量创建一个空的 `Set` 此外,如果上下文提供了类型信息,比如作为函数的参数或者已知类型的变量或常量,可以通过一个空的数组字面量创建一个空的集合
```swift ```swift
letters.insert("a") letters.insert("a")
@ -293,7 +293,7 @@ letters = []
### 用数组字面量创建集合 {#creating-a-set-with-an-array-literal} ### 用数组字面量创建集合 {#creating-a-set-with-an-array-literal}
你可以使用数组字面量来构造集合,并且可以使用简化形式一个或者多个值作为集合元素。 你可以使用数组字面量来构造集合,相当于一种简化形式一个或者多个值作为集合元素。
下面的例子创建一个称之为 `favoriteGenres` 的集合来存储 `String` 类型的值: 下面的例子创建一个称之为 `favoriteGenres` 的集合来存储 `String` 类型的值:
@ -302,13 +302,13 @@ var favoriteGenres: Set<String> = ["Rock", "Classical", "Hip hop"]
// favoriteGenres 被构造成含有三个初始值的集合 // favoriteGenres 被构造成含有三个初始值的集合
``` ```
这个 `favoriteGenres` 变量被声明为“一个 `String` 值的集合”,写为 `Set<String>`。由于这个特定集合含有指定 `String` 类型的值,所以它允许存储 `String` 类型值。这里的 `favoriteGenres` 变量有三个 `String` 类型的初始值(`"Rock"``"Classical"``"Hip hop"`以数组字面量的方式出现 这个 `favoriteGenres` 变量被声明为“一个 `String` 值的集合”,写为 `Set<String>`。由于这个特定集合指定了值为 `String` 类型,所以它*只*允许存储 `String` 类型值。这里的 `favoriteGenres` 变量有三个 `String` 类型的初始值(`"Rock"``"Classical"``"Hip hop"`),以数组字面量的形式书写
> 注意 > 注意
> >
> `favoriteGenres` 被声明为一个变量(拥有 `var` 标示符)而不是一个常量(拥有 `let` 标示符),因为它里面的元素将会在下面的例子中被增加或者移除。 > `favoriteGenres` 被声明为一个变量(拥有 `var` 标示符)而不是一个常量(拥有 `let` 标示符),因为它里面的元素将会在之后的例子中被增加或者移除。
一个 `Set` 类型不能从数组字面量中被单独推断出来,因此 `Set` 类型必须显式声明。然而,由于 Swift 的类型推断功能,如果你想使用一个数组字面量构造一个 `Set` 并且该数组字面量中的所有元素类型相同,那么无须写出 `Set` 的具体类型。`favoriteGenres` 的构造形式可以采用简化的方式代替: 一个集合类型不能从数组字面量中被直接推断出来,因此 `Set` 类型必须显式声明。然而,由于 Swift 的类型推断功能,如果你想使用一个数组字面量构造一个集合并且该数组字面量中的所有元素类型相同,那么无须写出集合的具体类型。`favoriteGenres` 的构造形式可以采用简化的方式代替:
```swift ```swift
var favoriteGenres: Set = ["Rock", "Classical", "Hip hop"] var favoriteGenres: Set = ["Rock", "Classical", "Hip hop"]
@ -318,9 +318,9 @@ var favoriteGenres: Set = ["Rock", "Classical", "Hip hop"]
### 访问和修改一个集合 {#accesing-and-modifying-a-set} ### 访问和修改一个集合 {#accesing-and-modifying-a-set}
你可以通过 `Set` 的属性和方法来访问和修改一个 `Set` 你可以通过集合的属性和方法来对其进行访问和修改。
为了找出一个 `Set` 中元素的数量,可以使用其只读属性 `count` 为了获取一个集合中元素的数量,可以使用其只读属性 `count`
```swift ```swift
print("I have \(favoriteGenres.count) favorite music genres.") print("I have \(favoriteGenres.count) favorite music genres.")
@ -338,14 +338,14 @@ if favoriteGenres.isEmpty {
// 打印“I have particular music preferences.” // 打印“I have particular music preferences.”
``` ```
你可以通过调用 `Set` `insert(_:)` 方法来添加一个新元素: 你可以通过调用集合`insert(_:)` 方法来添加一个新元素:
```swift ```swift
favoriteGenres.insert("Jazz") favoriteGenres.insert("Jazz")
// favoriteGenres 现在包含4个元素 // favoriteGenres 现在包含4个元素
``` ```
你可以通过调用 `Set` `remove(_:)` 方法去删除一个元素,如果该值是该 `Set` 的一个元素则删除该元素并且返回被删除的元素值,否则如果该 `Set` 不包含该值,则返回 `nil`。另外,`Set` 中的所有元素可以通过它的 `removeAll()` 方法删除。 你可以通过调用集合`remove(_:)` 方法去删除一个元素,如果它是该集合的一个元素则删除并且返回它的值,若该集合不包含,则返回 `nil`。另外,集合可以通过 `removeAll()` 方法删除所有元素
```swift ```swift
if let removedGenre = favoriteGenres.remove("Rock") { if let removedGenre = favoriteGenres.remove("Rock") {
@ -356,7 +356,7 @@ if let removedGenre = favoriteGenres.remove("Rock") {
// 打印“Rock? I'm over it.” // 打印“Rock? I'm over it.”
``` ```
使用 `contains(_:)` 方法去检查 `Set` 中是否包含一个特定的值: 使用 `contains(_:)` 方法去检查集合中是否包含一个特定的值:
```swift ```swift
if favoriteGenres.contains("Funk") { if favoriteGenres.contains("Funk") {
@ -369,7 +369,7 @@ if favoriteGenres.contains("Funk") {
### 遍历一个集合 {#iterating-over-a-set} ### 遍历一个集合 {#iterating-over-a-set}
你可以在一个 `for-in` 循环中遍历一个 `Set` 中的所有值。 你可以在一个 `for-in` 循环中遍历一个集合中的所有值。
```swift ```swift
for genre in favoriteGenres { for genre in favoriteGenres {
@ -382,7 +382,7 @@ for genre in favoriteGenres {
更多关于 `for-in` 循环的信息,参见 [For 循环](./05_Control_Flow.md#for_loops)。 更多关于 `for-in` 循环的信息,参见 [For 循环](./05_Control_Flow.md#for_loops)。
Swift 的 `Set` 类型没有确定的顺序,为了按照特定顺序来遍历一个 `Set` 中的值可以使用 `sorted()` 方法,它将返回一个有序数组,这个数组的元素排列顺序由操作符'<'对元素进行比较的结果来确定。 Swift 的 `Set` 类型没有确定的顺序,为了按照特定顺序来遍历一个集合中的值可以使用 `sorted()` 方法,它将返回一个有序数组,这个数组的元素排列顺序由操作符 `<` 对元素进行比较的结果来确定。
```swift ```swift
for genre in favoriteGenres.sorted() { for genre in favoriteGenres.sorted() {
@ -395,7 +395,7 @@ for genre in favoriteGenres.sorted() {
## 集合操作 {#performing-set-operations} ## 集合操作 {#performing-set-operations}
你可以高效地完成 `Set` 的一些基本操作,比如把两个集合组合到一起,判断两个集合共有元素,或者判断两个集合是否全包含,部分包含或者不相交。 你可以高效地完成集合的一些基本操作,比如把两个集合组合到一起,判断两个集合共有元素,或者判断两个集合是否全包含,部分包含或者不相交。
### 基本集合操作 {#fundamental-set-operations} ### 基本集合操作 {#fundamental-set-operations}
@ -403,10 +403,10 @@ for genre in favoriteGenres.sorted() {
![](https://docs.swift.org/swift-book/_images/setVennDiagram_2x.png) ![](https://docs.swift.org/swift-book/_images/setVennDiagram_2x.png)
* 使用 `intersection(_:)` 方法根据两个集合中都包含的值创建一个新的集合。 * 使用 `intersection(_:)` 方法根据两个集合的交集创建一个新的集合。
* 使用 `symmetricDifference(_:)` 方法根据在一个集合中但不在两个集合中的值创建一个新的集合。 * 使用 `symmetricDifference(_:)` 方法根据个集合不相交的值创建一个新的集合。
* 使用 `union(_:)` 方法根据两个集合的值创建一个新的集合。 * 使用 `union(_:)` 方法根据两个集合的所有值创建一个新的集合。
* 使用 `subtracting(_:)` 方法根据不在集合中的值创建一个新的集合。 * 使用 `subtracting(_:)` 方法根据不在另一个集合中的值创建一个新的集合。
```swift ```swift
let oddDigits: Set = [1, 3, 5, 7, 9] let oddDigits: Set = [1, 3, 5, 7, 9]
@ -425,13 +425,13 @@ oddDigits.symmetricDifference(singleDigitPrimeNumbers).sorted()
### 集合成员关系和相等 {#set-membership-and-equality} ### 集合成员关系和相等 {#set-membership-and-equality}
下面的插图描述了三个集合 `a``b``c`,以及通过重叠区域表述集合间共享的元素。集合 `a` 是集合 `b` 的父集合,因为 `a` 包含了 `b` 中所有的元素相反的,集合 `b` 是集合 `a` 的子集合,因为属于 `b` 的元素也被 `a` 包含。集合 `b` 和集合 `c` 彼此不关联,因为它们之间没有共同的元素。 下面的插图描述了三个集合 `a``b``c`以及通过重叠区域表述集合间共享的元素。集合 `a` 是集合 `b`*父集合*,因为 `a` 包含了 `b` 中所有的元素相反的,集合 `b` 是集合 `a`*子集合*,因为属于 `b` 的元素也被 `a` 包含。集合 `b` 和集合 `c` 是*不相交*的,因为它们之间没有共同的元素。
![](https://docs.swift.org/swift-book/_images/setEulerDiagram_2x.png) ![](https://docs.swift.org/swift-book/_images/setEulerDiagram_2x.png)
* 使用“是否相等”运算符(`==`)来判断两个集合是否包含全部相同的值 * 使用“是否相等”运算符(`==`)来判断两个集合包含的值是否全部相同。
* 使用 `isSubset(of:)` 方法来判断一个集合中的值是否也被包含在另外一个集合中。 * 使用 `isSubset(of:)` 方法来判断一个集合中的所有值是否也被包含在另外一个集合中。
* 使用 `isSuperset(of:)` 方法来判断一个集合包含另一个集合中所有的值。 * 使用 `isSuperset(of:)` 方法来判断一个集合是否包含另一个集合中所有的值。
* 使用 `isStrictSubset(of:)` 或者 `isStrictSuperset(of:)` 方法来判断一个集合是否是另外一个集合的子集合或者父集合并且两个集合并不相等。 * 使用 `isStrictSubset(of:)` 或者 `isStrictSuperset(of:)` 方法来判断一个集合是否是另外一个集合的子集合或者父集合并且两个集合并不相等。
* 使用 `isDisjoint(with:)` 方法来判断两个集合是否不含有相同的值(是否没有交集)。 * 使用 `isDisjoint(with:)` 方法来判断两个集合是否不含有相同的值(是否没有交集)。
@ -450,27 +450,27 @@ farmAnimals.isDisjoint(with: cityAnimals)
## 字典 {#dictionaries} ## 字典 {#dictionaries}
*字典*是一种存储多个相同类型的值的容器。每个值value都关联唯一的key键作为字典中这个值数据的标识符。和数组中的数据项不同,字典中的数据项并没有具体顺序。我们在需要通过标识符(键)访问数据的时候使用字典,这种方法很大程度上和我们在现实世界中使用字典查字义的方法一样。 *字典*是一种无序的集合,它存储的是键值对之间的关系,其所有键的值需要是相同类型,所有值的类型也需要相同。每个值value都关联唯一的*键*key键作为字典中这个值数据的标识符。和数组中的数据项不同字典中的数据项并没有具体顺序。在需要通过标识符(键)访问数据的时候使用字典,这种方法很大程度上和在现实世界中使用字典查字义的方法一样。
> 注意 > 注意
> >
> Swift 的 `Dictionary` 类型被桥接到 `Foundation` 的 `NSDictionary` 类。 > Swift 的 `Dictionary` 类型被桥接到 Foundation 的 `NSDictionary` 类。
> >
> 更多关于在 `Foundation``Cocoa` 中使用 `Dictionary` 类型的信息,参见 [*Using Swift with Cocoa and Obejective-C(Swift 4.1)*](https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/BuildingCocoaApps/index.html#//apple_ref/doc/uid/TP40014216) 中 [使用 Cocoa 数据类型](https://developer.apple.com/library/content/documentation/Swift/Conceptual/BuildingCocoaApps/WorkingWithCocoaDataTypes.html#//apple_ref/doc/uid/TP40014216-CH6) 部分 > 更多关于在 Foundation 和 Cocoa 中使用 `Dictionary` 类型的信息,参见 [Bridging Between Dictionary and NSDictionary](https://developer.apple.com/documentation/swift/dictionary#2846239)
### 字典类型简化语法 {#dictionary-type-shorthand-syntax} ### 字典类型简化语法 {#dictionary-type-shorthand-syntax}
Swift 的字典使用 `Dictionary<Key, Value>` 定义,其中 `Key`字典中键的数据类型,`Value` 是字典中对应于这些键所存储值的数据类型。 Swift 的字典使用 `Dictionary<Key, Value>` 定义,其中 `Key`一种可以在字典中被用作键的类型,`Value` 是字典中对应于这些键所存储值的数据类型。
> 注意 > 注意
> >
> 一个字典的 `Key` 类型必须遵循 `Hashable` 协议,就像 `Set` 的值类型。 > 一个字典的 `Key` 类型必须遵循 `Hashable` 协议,就像 `Set` 的值类型。
我们也可以用 `[Key: Value]` 这样简化的形式去创建一个字典类型。虽然这两种形式功能上相同,但是后者是首选,并且这本指导书涉及到字典类型时通篇采用后者。 也可以用 `[Key: Value]` 这样简化的形式去表示字典类型。虽然这两种形式功能上相同,但是后者是首选,并且本教程中涉及到字典类型时通篇采用后者。
### 创建一个空字典 {#creating-an-empty-dictionary} ### 创建一个空字典 {#creating-an-empty-dictionary}
我们可以像数组一样使用构造语法创建一个拥有确定类型的空字典: 可以像数组一样使用构造语法创建一个拥有确定类型的空字典:
```swift ```swift
var namesOfIntegers = [Int: String]() var namesOfIntegers = [Int: String]()
@ -479,7 +479,7 @@ var namesOfIntegers = [Int: String]()
这个例子创建了一个 `[Int: String]` 类型的空字典来储存整数的英语命名。它的键是 `Int` 型,值是 `String` 型。 这个例子创建了一个 `[Int: String]` 类型的空字典来储存整数的英语命名。它的键是 `Int` 型,值是 `String` 型。
如果上下文已经提供了类型信息,我们可以使用空字典字面量来创建一个空字典,记作 `[:]`(中括号中放一个冒号): 如果上下文已经提供了类型信息,可以使用空字典字面量来创建一个空字典,记作 `[:]` (一对方括号中放一个冒号):
```swift ```swift
namesOfIntegers[16] = "sixteen" namesOfIntegers[16] = "sixteen"
@ -490,9 +490,9 @@ namesOfIntegers = [:]
### 用字典字面量创建字典 {#creating-a-dictionary-with-a-dictionary-literal} ### 用字典字面量创建字典 {#creating-a-dictionary-with-a-dictionary-literal}
我们可以使用*字典字面量*来构造字典,这和我们刚才介绍过的数组字面量拥有相似语法。字典字面量是一种将一个或多个键值对写作 `Dictionary` 集合的快捷途径。 可以使用*字典字面量*来构造字典,这和刚才介绍过的数组字面量拥有相似语法。字典字面量是一种将一个或多个键值对写作 `Dictionary` 集合的快捷途径。
一个键值对是一个 `key` 和一个 `value` 的结合体。在字典字面量中,每一个键值对的键和值都由冒号分割。这些键值对构成一个列表,其中这些键值对由方括号包含、由逗号分割: *一个键值对*是一个键和一个值的结合体。在字典字面量中,每一个键值对的键和值都由冒号分割。这些键值对构成一个列表,其中这些键值对由逗号分割、并整体被包裹在一对方括号中
```swift ```swift
[key 1: value 1, key 2: value 2, key 3: value 3] [key 1: value 1, key 2: value 2, key 3: value 3]
@ -508,26 +508,26 @@ var airports: [String: String] = ["YYZ": "Toronto Pearson", "DUB": "Dublin"]
> 注意 > 注意
> >
> `airports` 字典被声明为变量(用 `var` 关键字)而不是常量(`let` 关键字)因为后更多的机场信息被添加到这个示例字典中。 > `airports` 字典被声明为变量(用 `var` 关键字)而不是常量(`let` 关键字)因为后面会有更多的机场信息被添加到这个字典中。
`airports` 字典使用字典字面量初始化,包含两个键值对。第一对的键是 `YYZ`,值是 `Toronto Pearson`。第二对的键是 `DUB`,值是 `Dublin` `airports` 字典使用字典字面量初始化,包含两个键值对。第一对的键是 `YYZ`,值是 `Toronto Pearson`。第二对的键是 `DUB`,值是 `Dublin`
这个字典语句包含了两个 `String: String` 类型的键值对。它们对应 `airports` 变量声明的类型(一个只有 `String` 键和 `String` 值的字典)所以这个字典字面量的任务是构造拥有两个初始数据项的 `airport` 字典。 这个字典语句包含了两个 `String: String` 类型的键值对。它们对应 `airports` 变量声明的类型(一个只有 `String` 键和 `String` 值的字典)所以这个字典字面量的赋值是一种方式用来构造拥有两个初始数据项的 `airport` 字典。
和数组一样,我们在用字典字面量构造字典时,如果它的键和值都有各自一致的类型,那么就不必写出字典的类型。 和数组一样,在用字典字面量构造字典时,如果它的键和值都有各自一致的类型,那么就不必写出字典的类型。
`airports` 字典也可以用这种简短方式定义: `airports` 字典也可以用这种简短方式定义:
```swift ```swift
var airports = ["YYZ": "Toronto Pearson", "DUB": "Dublin"] var airports = ["YYZ": "Toronto Pearson", "DUB": "Dublin"]
``` ```
因为这个语句中所有的键和值都各自拥有相同的数据类型Swift 可以推断出 `Dictionary<String, String>``airports` 字典的正确类型。 因为这个语句中所有的键和值都各自拥有相同的数据类型Swift 可以推断出 `[String: String]``airports` 字典的正确类型。
### 访问和修改字典 {#accessing-and-modifying-a-dictionary} ### 访问和修改字典 {#accessing-and-modifying-a-dictionary}
我们可以通过字典的方法和属性来访问和修改字典,或者通过使用下标语法。 可以通过字典的方法和属性来访问和修改字典,或者通过使用下标语法。
和数组一样,我们可以通过字典的只读属性 `count` 来获取某个字典的数据项数量: 和数组一样,可以通过 `Dictionary` 的只读属性 `count` 来获取字典的数据项数量:
```swift ```swift
print("The dictionary of airports contains \(airports.count) items.") print("The dictionary of airports contains \(airports.count) items.")
@ -545,25 +545,23 @@ if airports.isEmpty {
// 打印“The airports dictionary is not empty.” // 打印“The airports dictionary is not empty.”
``` ```
我们也可以在字典中使用下标语法来添加新的数据项。可以使用一个恰当类型的键作为下标索引,并且分配恰当类型的新值: 你可以通过下标语法来给字典添加新的数据项。可以使用一个恰当类型的键作为下标索引,并且分配恰当类型的新值:
```swift ```swift
airports["LHR"] = "London" airports["LHR"] = "London"
// airports 字典现在有三个数据项 // airports 字典现在有三个数据项
``` ```
我们也可以使用下标语法来改变特定键对应的值: 也可以使用下标语法来改变特定键对应的值:
```swift ```swift
airports["LHR"] = "London Heathrow" airports["LHR"] = "London Heathrow"
// “LHR”对应的值被改为“London Heathrow” // “LHR”对应的值被改为“London Heathrow”
``` ```
作为一种下标方法,字典的 `updateValue(_:forKey:)` 方法可以设置或者更新特定键对应的值。就像上面所示的下标示例,`updateValue(_:forKey:)` 方法在这个键不存在对应值的时候会设置新值或者在存在时更新已存在的值。和上面的下标方法不同`updateValue(_:forKey:)` 这个方法返回更新值之前的原值。这样使得我们可以检查更新是否成功。 作为一种替代下标语法的方式,字典的 `updateValue(_:forKey:)` 方法可以设置或者更新特定键对应的值。就像上面所示的下标示例,`updateValue(_:forKey:)` 方法在这个键不存在对应值的时候会设置新值或者在存在时更新已存在的值。和下标的方式不同,`updateValue(_:forKey:)` 这个方法返回更新值之前的*原值*。这样使得可以检查更新是否成功。
`updateValue(_:forKey:)` 方法会返回对应值类型的可选。举例来说:对于存储 `String` 值的字典,这个函数会返回一个 `String?` 或者“可选 `String`”类型的值。 `updateValue(_:forKey:)` 方法会返回对应值类型的可选类型。举例来说:对于存储 `String` 值的字典,这个函数会返回一个 `String?` 或者“可选 `String`”类型的值。如果有值存在于更新前,则这个可选值包含了旧值,否则它将会是 `nil`
如果有值存在于更新前,则这个可选值包含了旧值,否则它将会是 `nil`
```swift ```swift
if let oldValue = airports.updateValue("Dublin Airport", forKey: "DUB") { if let oldValue = airports.updateValue("Dublin Airport", forKey: "DUB") {
@ -572,7 +570,7 @@ if let oldValue = airports.updateValue("Dublin Airport", forKey: "DUB") {
// 输出“The old value for DUB was Dublin.” // 输出“The old value for DUB was Dublin.”
``` ```
我们也可以使用下标语法来在字典中检索特定键对应的值。因为有可能请求的键没有对应的值存在,字典的下标访问会返回对应值类型的可选。如果这个字典包含请求键所对应的值,下标会返回一个包含这个存在值的可选,否则将返回 `nil` 也可以使用下标语法来在字典中检索特定键对应的值。因为有可能请求的键没有对应的值存在,字典的下标访问会返回对应值类型的可选类型。如果这个字典包含请求键所对应的值,下标会返回一个包含这个存在值的可选类型,否则将返回 `nil`
```swift ```swift
if let airportName = airports["DUB"] { if let airportName = airports["DUB"] {
@ -583,7 +581,7 @@ if let airportName = airports["DUB"] {
// 打印“The name of the airport is Dublin Airport.” // 打印“The name of the airport is Dublin Airport.”
``` ```
我们还可以使用下标语法通过某个键的对应值赋值为 `nil` 来从字典里移除一个键值对: 还可以使用下标语法通过某个键的对应值赋值为 `nil` 来从字典里移除一个键值对:
```swift ```swift
airports["APL"] = "Apple Internation" airports["APL"] = "Apple Internation"
@ -592,7 +590,7 @@ airports["APL"] = nil
// APL 现在被移除了 // APL 现在被移除了
``` ```
此外,`removeValue(forKey:)` 方法也可以用来在字典中移除键值对。这个方法在键值对存在的情况下会移除该键值对并且返回被移除的值或者在没有值的情况下返回 `nil` 此外,`removeValue(forKey:)` 方法也可以用来在字典中移除键值对。这个方法在键值对存在的情况下会移除该键值对并且返回被移除的值或者在没有对应值的情况下返回 `nil`
```swift ```swift
if let removedValue = airports.removeValue(forKey: "DUB") { if let removedValue = airports.removeValue(forKey: "DUB") {
@ -605,7 +603,7 @@ if let removedValue = airports.removeValue(forKey: "DUB") {
### 字典遍历 {#iterating-over-a-dictionary} ### 字典遍历 {#iterating-over-a-dictionary}
我们可以使用 `for-in` 循环来遍历某个字典中的键值对。每一个字典中的数据项都以 `(key, value)` 元组形式返回,并且我们可以使用临时常量或者变量来分解这些元组: 可以使用 `for-in` 循环来遍历某个字典中的键值对。每一个字典中的数据项都以 `(key, value)` 元组形式返回,并且可以使用临时常量或者变量来分解这些元组:
```swift ```swift
for (airportCode, airportName) in airports { for (airportCode, airportName) in airports {
@ -617,7 +615,7 @@ for (airportCode, airportName) in airports {
更多关于 `for-in` 循环的信息,参见 [For 循环](./05_Control_Flow.md#for_loops)。 更多关于 `for-in` 循环的信息,参见 [For 循环](./05_Control_Flow.md#for_loops)。
通过访问 `keys` 或者 `values` 属性,我们也可以遍历字典的键或者值: 通过访问 `keys` 或者 `values` 属性,也可以遍历字典的键或者值:
```swift ```swift
for airportCode in airports.keys { for airportCode in airports.keys {
@ -633,7 +631,7 @@ for airportName in airports.values {
// Airport name: London Heathrow // Airport name: London Heathrow
``` ```
如果我们只是需要使用某个字典的键集合或者值集合来作为某个接受 `Array` 实例的 API 的参数,可以直接使用 `keys` 或者 `values` 属性构造一个新数组: 如果需要使用某个字典的键集合或者值集合来作为某个接受 `Array` 实例的 API 的参数,可以直接使用 `keys` 或者 `values` 属性构造一个新数组:
```swift ```swift
let airportCodes = [String](airports.keys) let airportCodes = [String](airports.keys)
@ -643,4 +641,4 @@ let airportNames = [String](airports.values)
// airportNames 是 ["Toronto Pearson", "London Heathrow"] // airportNames 是 ["Toronto Pearson", "London Heathrow"]
``` ```
Swift 的字典类型是无序集合类型。为了以特定的顺序遍历字典的键或值,可以对字典的 `keys``values` 属性使用 `sorted()` 方法。 Swift 的 `Dictionary` 是无序集合类型。为了以特定的顺序遍历字典的键或值,可以对字典的 `keys``values` 属性使用 `sorted()` 方法。