diff --git a/source/chapter2/04_Collection_Types.md b/source/chapter2/04_Collection_Types.md index 718cfb1c..21db0b85 100755 --- a/source/chapter2/04_Collection_Types.md +++ b/source/chapter2/04_Collection_Types.md @@ -1,42 +1,99 @@ -> 翻译：[zqp](https://github.com/zqp) -> 校对：[shinyzhu](https://github.com/shinyzhu), [stanzhai](https://github.com/stanzhai), [feiin](https://github.com/feiin) +> 翻译：[zqp](https://github.com/zqp), [JackAlan](https://github.com/AlanMelody) +> 校对：[shinyzhu](https://github.com/shinyzhu), [stanzhai](https://github.com/stanzhai), [feiin](https://github.com/feiin), [JackAlan](https://github.com/AlanMelody) # 集合类型 (Collection Types) ----------------- 本页包含内容： +- [集合的可变性（Mutability of Collections）](#mutability_of_collections) - [数组（Arrays）](#arrays) - [集合（Sets）](#sets) - [字典（Dictionaries）](#dictionaries) -- [集合的可变性（Mutability of Collections）](#mutability_of_collections) -Swift 语言提供经典的数组和字典两种集合类型来存储集合数据。数组用来按顺序存储相同类型的数据。字典虽然无序存储相同类型数据值但是需要由独有的标识符引用和寻址（就是键值对）。 +Swift 语言提供`Arrays`、`Sets`和`Dictionaries`三种基本的集合类型用来存储集合数据。数组是有序数据的集。集合是无序无重复数据的集。字典是无序的键值对的集。 -Swift 语言里的数组和字典中存储的数据值类型必须明确。 这意味着我们不能把不正确的数据类型插入其中。 同时这也说明我们完全可以对获取出的值类型非常自信。 Swift 对显式类型集合的使用确保了我们的代码对工作所需要的类型非常清楚，也让我们在开发中可以早早地找到任何的类型不匹配错误。 +![](https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Art/CollectionTypes_intro_2x.png) + +Swift 语言中的`Arrays`、`Sets`和`Dictionaries`中存储的数据值类型必须明确。这意味着我们不能把不正确的数据类型插入其中。同时这也说明我们完全可以对取回值的类型非常自信。 > 注意： -Swift 的数组结构在被声明成常量和变量或者被传入函数与方法中时会相对于其他类型展现出不同的特性。 获取更多信息请参见[集合的可变性](#mutability_of_collections)与[集合在赋值和复制中的行为](09_Classes_and_Structures.html#assignment_and_copy_behavior_for_collection_types)章节。 +Swift 的`Arrays`、`Sets`和`Dictionaries`类型被实现为泛型集合。更多关于泛型类型和集合，参见 [泛型](23_Generics.html)章节。 + + +## 集合的可变性 + +如果创建一个`Arrays`、`Sets`或`Dictionaries`并且把它分配成一个变量，这个集合将会是可变的。这意味着我们可以在创建之后添加更多或移除已存在的数据项来改变这个集合的大小。如果我们把`Arrays`、`Sets`或`Dictionaries`分配成常量，那么它就是不可变的，它的大小不能被改变。 + +> 注意： + 在我们不需要改变集合大小的时候创建不可变集合是很好的习惯。如此 Swift 编译器可以优化我们创建的集合。 -## 数组 +## 数组(Arrays) 数组使用有序列表存储同一类型的多个值。相同的值可以多次出现在一个数组的不同位置中。 -Swift 数组特定于它所存储元素的类型。这与 Objective-C 的 NSArray 和 NSMutableArray 不同，这两个类可以存储任意类型的对象，并且不提供所返回对象的任何特别信息。在 Swift 中，数据值在被存储进入某个数组之前类型必须明确，方法是通过显式的类型标注或类型推断，而且不是必须是`class`类型。例如： 如果我们创建了一个`Int`值类型的数组，我们不能往其中插入任何不是`Int`类型的数据。 Swift 中的数组是类型安全的，并且它们中包含的类型必须明确。 +> 注意: + Swift 的`Array`类型被桥接到`Foundation`中的`NSArray`类。 + 更多关于在`Foundation`和`Cocoa`中使用`Array`的信息，参见 *Using Swift with Cocoa and Obejective-C* 一书。 ### 数组的简单语法 -写 Swift 数组应该遵循像`Array`这样的形式，其中`SomeType`是这个数组中唯一允许存在的数据类型。 我们也可以使用像`[SomeType]`这样的简单语法。 尽管两种形式在功能上是一样的，但是推荐较短的那种，而且在本文中都会使用这种形式来使用数组。 +写 Swift 数组应该遵循像`Array`这样的形式，其中`T`是这个数组中唯一允许存在的数据类型。我们也可以使用像`[T]`这样的简单语法。尽管两种形式在功能上是一样的，但是推荐较短的那种，而且在本文中都会使用这种形式来使用数组。 - -### 数组构造语句 + +###创建一个空数组 + +我们可以使用构造语法来创建一个由特定数据类型构成的空数组： + +```swift +var someInts = [Int]() +print("someInts is of type [Int] with \(someInts.count) items。") +// 打印 "someInts is of type [Int] with 0 items。" +``` + +注意 通过构造函数的类型，`someInts`的值类型被推断为`[Int]`。 + +或者，如果代码上下文中已经提供了类型信息，例如一个函数参数或者一个已经定义好类型的常量或者变量，我们可以使用空数组语句创建一个空数组，它的写法很简单：`[]`（一对空方括号）： + +```swift +someInts.append(3) +// someInts 现在包含一个Int值 +someInts = [] +// someInts 现在是空数组，但是仍然是[Int]类型的。 +``` + + +###创建一个带有默认值的数组 + +Swift 中的`Array`类型还提供一个可以创建特定大小并且所有数据都被默认的构造方法。我们可以把准备加入新数组的数据项数量（`count`）和适当类型的初始值（`repeatedValue`）传入数组构造函数： + +```swift +var threeDoubles = [Double](count: 3, repeatedValue:0.0) +// threeDoubles 是一种 [Double]数组, 等于 [0.0, 0.0, 0.0] +``` + + +###通过两个数组相加创建一个数组 + +我们可以使用加法操作符（`+`）来组合两种已存在的相同类型数组。新数组的数据类型会被从两个数组的数据类型中推断出来： + +```swift +var anotherThreeDoubles = Array(count: 3, repeatedValue: 2.5) +// anotherThreeDoubles is inferred as [Double], and equals [2.5, 2.5, 2.5] + +var sixDoubles = threeDoubles + anotherThreeDoubles +// sixDoubles 被推断为 [Double], 等于 [0.0, 0.0, 0.0, 2.5, 2.5, 2.5] +``` + + +### 用字面量构造数组 我们可以使用字面量来进行数组构造，这是一种用一个或者多个数值构造数组的简单方法。字面量是一系列由逗号分割并由方括号包含的数值。 `[value 1, value 2, value 3]`。 -下面这个例子创建了一个叫做`shoppingList`并且存储字符串的数组： +下面这个例子创建了一个叫做`shoppingList`并且存储`String`的数组： ```swift var shoppingList: [String] = ["Eggs", "Milk"] @@ -65,7 +122,7 @@ var shoppingList = ["Eggs", "Milk"] 还可以使用数组的只读属性`count`来获取数组中的数据项数量。 ```swift -println("The shopping list contains \(shoppingList.count) items.") +print("The shopping list contains \(shoppingList.count) items.") // 输出"The shopping list contains 2 items."（这个数组有2个项） ``` @@ -73,9 +130,9 @@ println("The shopping list contains \(shoppingList.count) items.") ```swift if shoppingList.isEmpty { - println("The shopping list is empty.") + print("The shopping list is empty.") } else { - println("The shopping list is not empty.") + print("The shopping list is not empty.") } // 打印 "The shopping list is not empty."（shoppinglist不是空的） ``` @@ -120,9 +177,10 @@ shoppingList[4...6] = ["Bananas", "Apples"] ``` > 注意： ->我们不能使用下标语法在数组尾部添加新项。如果我们试着用这种方法对索引越界的数据进行检索或者设置新值的操作，我们会引发一个运行期错误。我们可以使用索引值和数组的`count`属性进行比较来在使用某个索引之前先检验是否有效。除了当`count`等于 0 时（说明这是个空数组），最大索引值一直是`count - 1`，因为数组都是零起索引。 +> 不可以用下表访问的形式去在数组尾部添加新项。 -调用数组的`insert(atIndex:)`方法来在某个具体索引值之前添加数据项： + +调用数组的`insert(_:atIndex:)`方法来在某个具体索引值之前添加数据项： ```swift shoppingList.insert("Maple Syrup", atIndex: 0) @@ -140,6 +198,8 @@ let mapleSyrup = shoppingList.removeAtIndex(0) // shoppingList 现在只有6项，而且不包括Maple Syrup // mapleSyrup常量的值等于被移除数据项的值 "Maple Syrup" ``` +> 注意： +> 如果我们试着对索引越界的数据进行检索或者设置新值的操作，会引发一个运行期错误。我们可以使用索引值和数组的`count`属性进行比较来在使用某个索引之前先检验是否有效。除了当`count`等于 0 时（说明这是个空数组），最大索引值一直是`count - 1`，因为数组都是零起索引。 数据项被移除后数组中的空出项会被自动填补，所以现在索引值为`0`的数据项的值再次等于`"Six eggs"`: @@ -148,7 +208,7 @@ firstItem = shoppingList[0] // firstItem 现在等于 "Six eggs" ``` -如果我们只想把数组中的最后一项移除，可以使用`removeLast`方法而不是`removeAtIndex`方法来避免我们需要获取数组的`count`属性。就像后者一样，前者也会返回被移除的数据项： +如果我们只想把数组中的最后一项移除，可以使用`removeLast`方法而不是`removeAtIndex(_:)`方法来避免我们需要获取数组的`count`属性。就像后者一样，前者也会返回被移除的数据项： ```swift let apples = shoppingList.removeLast() @@ -164,7 +224,7 @@ let apples = shoppingList.removeLast() ```swift for item in shoppingList { - println(item) + print(item) } // Six eggs // Milk @@ -173,11 +233,11 @@ for item in shoppingList { // Bananas ``` -如果我们同时需要每个数据项的值和索引值，可以使用全局`enumerate`函数来进行数组遍历。`enumerate`返回一个由每一个数据项索引值和数据值组成的元组。我们可以把这个元组分解成临时常量或者变量来进行遍历： +如果我们同时需要每个数据项的值和索引值，可以使用`enumerate()`方法来进行数组遍历。`enumerate()`返回一个由每一个数据项索引值和数据值组成的元组。我们可以把这个元组分解成临时常量或者变量来进行遍历： ```swift -for (index, value) in enumerate(shoppingList) { - println("Item \(String(index + 1)): \(value)") +for (index, value) in shoppingList.enumerate() { + print("Item \(String(index + 1)): \(value)") } // Item 1: Six eggs // Item 2: Milk @@ -188,146 +248,122 @@ for (index, value) in enumerate(shoppingList) { 更多关于`for-in`循环的介绍请参见[for 循环](05_Control_Flow.html#for_loops)。 - -### 创建并且构造一个数组 - -我们可以使用构造语法来创建一个由特定数据类型构成的空数组： - -```swift -var someInts = [Int]() -println("someInts is of type [Int] with \(someInts.count) items。") -// 打印 "someInts is of type [Int] with 0 items。"（someInts是0数据项的Int[]数组） -``` - -注意`someInts`被设置为一个`[Int]`构造函数的输出所以它的变量类型被定义为`[Int]`。 - -除此之外，如果代码上下文中提供了类型信息， 例如一个函数参数或者一个已经定义好类型的常量或者变量，我们可以使用空数组语句创建一个空数组，它的写法很简单：`[]`（一对空方括号）： - -```swift -someInts.append(3) -// someInts 现在包含一个INT值 -someInts = [] -// someInts 现在是空数组，但是仍然是[Int]类型的。 -``` - -Swift 中的`Array`类型还提供一个可以创建特定大小并且所有数据都被默认的构造方法。我们可以把准备加入新数组的数据项数量（`count`）和适当类型的初始值（`repeatedValue`）传入数组构造函数： - -```swift -var threeDoubles = [Double](count: 3, repeatedValue:0.0) -// threeDoubles 是一种 [Double]数组, 等于 [0.0, 0.0, 0.0] -``` - -因为类型推断的存在，我们使用这种构造方法的时候不需要特别指定数组中存储的数据类型，因为类型可以从默认值推断出来： - -```swift -var anotherThreeDoubles = Array(count: 3, repeatedValue: 2.5) -// anotherThreeDoubles is inferred as [Double], and equals [2.5, 2.5, 2.5] -``` - -最后，我们可以使用加法操作符（`+`）来组合两种已存在的相同类型数组。新数组的数据类型会被从两个数组的数据类型中推断出来： - -```swift -var sixDoubles = threeDoubles + anotherThreeDoubles -// sixDoubles 被推断为 [Double], 等于 [0.0, 0.0, 0.0, 2.5, 2.5, 2.5] -``` ## 集合 -集合用来存储相同类型并且没有确定顺序的值。当集合元素顺序不重要时或者希望确保每个元素只出现一次时可以把集合当做是数组另一形式。 +集合(Set)用来存储相同类型并且没有确定顺序的值。当集合元素顺序不重要时或者希望确保每个元素只出现一次时可以把集合当做是数组另一形式。 > 注意： -> Swift的Set类型被桥接到Fundation中的NSSet类 -> 关于使用Fundation和Cocoa中集合的知识，请看Swift与Cocoa和Objective-C使用 +> Swift的`Set`类型被桥接到`Fundation`中的`NSSet`类。 +> 关于使用`Fundation`和`Cocoa`中`Set`的知识，请看 *Using Swift with Cocoa and Objective-C*。 + + +#### Set类型的哈希值 + +为了存储在集合中，该类型必须是可哈希化的-也就是说，该类型必须提供一个方法来计算它的哈希值。一个哈希值是```Int```类型的，它和其他的对象相同，其被用来比较相等与否，比如```a==b```,它遵循的是```a.hashValue == b.hashValue```。 + +Swift 的所有基本类型(比如```String```,```Int```,```Double```和```Bool```)默认都是可哈希化的，它可以作为集合的值或者字典的键值类型。没有关联值的枚举成员值(在[枚举部分](08_Enumerations.html)有讲述)默认也是可哈希化的。 + +> 注意： +> 你可以使用你自定义的类型作为集合的值或者是字典的键值类型，但你需要使你的自定义类型服从Swift标准库中的`Hashable`协议。服从`Hashable`协议的类型需要提供一个类型为`Int`的取值访问器属性`hashValue`。这个由类型的`hashValue`返回的值不需要在同一程序的不同执行周期或者不同程序之间保持相同。 +> 因为`hashable`协议服从于`Equatable`协议，所以遵循该协议的类型也必须提供一个"是否等"运算符(`==`)的实现。这个`Equatable`协议需要任何遵循的`==`的实现都是一种相等的关系。也就是说，对于`a,b,c`三个值来说，`==`的实现必须满足下面三种情况： + +* ```a==a```(自反性) +* ```a==b```意味着```b==a```(对称性) +* ```a==b&&b==c```意味着```a==c```(传递性) + +关于协议遵循的更多信息，请看[协议](22_Protocols.html) ### Set类型语法 -Swift中的Set类型被写为```Set```,这里的```SomeType```表示```Set```中允许存储的类型，和数组不同的是，集合没有等价的简化形式。 +Swift中的`Set`类型被写为`Set`, 这里的`T`表示`Set`中允许存储的类型，和数组不同的是，集合没有等价的简化形式。 - -### 创建和构造一个Set + +### 创建和构造一个空的Set 你可以通过构造器语法创建一个特定类型的空集合： ```swift var letters = Set() -println("letters is of type Set with \(letters.count) items.") +print("letters is of type Set with \(letters.count) items.") // 打印 "letters is of type Set with 0 items." ``` -注意这里的```letters```变量的类型来自于构造器的类型，其为```Set```。 +> 注意： +> 通过构造器，这里的`letters`变量的类型被推断为`Set`。 -另外，如果上下文提供了类型信息，比如作为函数的参数或者已知类型的变量或常量，你可以通过一个空的数组字面量创建一个空的```Set```： +此外，如果上下文提供了类型信息，比如作为函数的参数或者已知类型的变量或常量，我们可以通过一个空的数组字面量创建一个空的`Set`： ```swift letters.insert("a") -// letters现在含有1个Character类型的值 +// letters 现在含有1个Character类型的值 letters = [] -// letters现在是一个空的Set, 但是它依然是Set类型 +// letters 现在是一个空的Set, 但是它依然是 Set 类型 ``` - -### 集合与数组字面量 + +### 用数组字面量创建集合 -你可以使用一个数组字面量来构造一个集合，并且可以使用简化形式写一个或者多个值作为集合元素。 +你可以使用数组字面量来构造集合，并且可以使用简化形式写一个或者多个值作为集合元素。 -下面的例子创建一个称之为```favoriteGenres```的集合来存储```String```类型的值： +下面的例子创建一个称之为`favoriteGenres`的集合来存储`String`类型的值： ```swift var favoriteGenres: Set = ["Rock", "Classical", "Hip hop"] // favoriteGenres被构造成含有三个初始值的集合 ``` -这个```favoriteGenres```变量被声明为“一个```String```值的集合”，写为```Set```。由于这个特定的集合含有指定```String```类型的值，所以它只允许存储```String```类型值。这里的```favoriteGenres```变量有三个```String```类型的初始值("```Rock```","```Classical```"和"```Hip hop```"),并以数组字面量的方式出现。 +这个`favoriteGenres`变量被声明为“一个`String`值的集合”，写为`Set`。由于这个特定的集合含有指定`String`类型的值，所以它只允许存储`String`类型值。这里的`favoriteGenres`变量有三个`String`类型的初始值("`Rock`","`Classical`"和"`Hip hop`")，并以数组字面量的方式出现。 > 注意： -> ```favoriteGenres```被声明为一个变量(拥有```var```标示符)而不是一个常量(拥有```let```标示符),因为它里面的元素将会在下面的例子中被增加或者移除。 +> `favoriteGenres`被声明为一个变量(拥有`var`标示符)而不是一个常量(拥有`let`标示符),因为它里面的元素将会在下面的例子中被增加或者移除。 -一个```Set```类型不能从数组中字面量中独立地被推断出来，因此```Set```类型必须显式声明。然而，由于Swift的类型推导功能，如果你想使用一个数组字面量构造一个Set并且该数组字面量中的所有元素类型相同，那么你无须写出```Set```的具体类型。```favoriteGenres```的构造形式可以采用简化的方式代替： +一个`Set`类型不能从数组中字面量中独立地被推断出来，因此`Set`类型必须显式声明。然而，由于Swift的类型推导功能，如果你想使用一个数组字面量构造一个Set并且该数组字面量中的所有元素类型相同，那么你无须写出`Set`的具体类型。`favoriteGenres`的构造形式可以采用简化的方式代替： ```swift var favoriteGenres: Set = ["Rock", "Classical", "Hip hop"] ``` -由于数组字面量中的所有元素类型相同，Swift可以推断出```Set```作为```favoriteGenres```变量的正确类型。 +由于数组字面量中的所有元素类型相同，Swift可以推断出`Set`作为`favoriteGenres`变量的正确类型。 ### 访问和修改一个Set -你可以通过```Set```的属性和方法来访问和修改一个```Set```. +你可以通过`Set`的属性和方法来访问和修改一个`Set`. -为了找出一个```Set```中元素的数量，可以使用其只读属性```count```: +为了找出一个`Set`中元素的数量，可以使用其只读属性`count`: ```swift -println("I have \(favoriteGenres.count) favorite music genres.") -// 打印 ""I have 3 favorite music genres."" +print("I have \(favoriteGenres.count) favorite music genres.") +// 打印 "I have 3 favorite music genres." ``` -使用布尔属性```isEmpty```作为一个缩写形式去检查```count```属性是否为```0```: +使用布尔属性`isEmpty`作为一个缩写形式去检查`count`属性是否为`0`: ```swift if favoriteGenres.isEmpty { - println("As far as music goes, I'm not picky.") + print("As far as music goes, I'm not picky.") } else { - println("I have particular music preferences.") + print("I have particular music preferences.") } // 打印 "I have particular music preferences." ``` -你可以通过调用```Set```的``` insert(_:) ```方法添加一个新的元素： +你可以通过调用`Set`的` insert(_:) `方法来添加一个新元素： ```swift favoriteGenres.insert("Jazz") // favoriteGenres 现在包含4个元素 ``` -你可以通过调用```Set```的```remove(_:)```方法去删除一个元素，如果该值是该```Set```的一个元素则删除该元素并且返回被删除的元素值，否认如果该```Set```不包含该值，则返回```nil```。另外，```Set```中的所有元素可以通过它的```removeAll()```方法删除。 +你可以通过调用`Set`的`remove(_:)`方法去删除一个元素，如果该值是该`Set`的一个元素则删除该元素并且返回被删除的元素值，否认如果该`Set`不包含该值，则返回`nil`。另外，`Set`中的所有元素可以通过它的`removeAll()`方法删除。 ```swift if let removedGenre = favoriteGenres.remove("Rock") { - println("\(removedValue)? I'm over it.") + print("\(removedValue)? I'm over it.") } else { - println("I never much cared for that.") + print("I never much cared for that.") } // 打印 "Rock? I'm over it." ``` @@ -336,9 +372,9 @@ if let removedGenre = favoriteGenres.remove("Rock") { ```swift if favoriteGenres.contains("Funk") { - println("I get up on the good foot.") + print("I get up on the good foot.") } else { - println("It's too funky in here.") + print("It's too funky in here.") } // 打印 "It's too funky in here." ``` @@ -350,20 +386,20 @@ if favoriteGenres.contains("Funk") { ```swift for genre in favoriteGenres { - println("\(genre)") + print("\(genre)") } // Classical // Jazz // Hip hop ``` -更多关于```for-in```循环信息，请看For循环 +更多关于`for-in`循环信息，参见[For循环](05_Control_Flow.html#for_loops)。 -Swift的```Set```类型没有确定的顺序，为了按照特定顺序来遍历一个```Set```中值可以使用全局```sorted```函数，它将根据提供的序列返回一个排序的集合. +Swift 的`Set`类型没有确定的顺序，为了按照特定顺序来遍历一个`Set`中值可以使用`sorted()`方法，它将根据提供的序列返回一个排序的集合. ```swift --> for genre in sorted(favoriteGenres) { - println("\(genre)") +for genre in sorted(favoriteGenres) { + print("\(genre)") } // prints "Classical" // prints "Hip hop" @@ -373,19 +409,19 @@ Swift的```Set```类型没有确定的顺序，为了按照特定顺序来遍历 ### 完成集合操作 -你可以高效的完成```Set```的一些基本操作，比如把两个集合组合到一起，判断两个集合共有元素，或者判断两个集合是否全包含，部分包含或者不相交。 +你可以高效的完成`Set`的一些基本操作，比如把两个集合组合到一起，判断两个集合共有元素，或者判断两个集合是否全包含，部分包含或者不相交。 - -#### 构造集合 + +#### 基本集合操作 -下面的插图描述了两个集合-```a```和```b```-以及通过阴影部分的区域显示集合各种操作的结果。 +下面的插图描述了两个集合-`a`和`b`-以及通过阴影部分的区域显示集合各种操作的结果。 ![](https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Art/setVennDiagram_2x.png) -* 使用```union(_:)```方法根据两个集合的值创建一个新的集合。 -* 使用```subtract(_:)```方法根据不在该集合中的值创建一个新的集合。 -* 使用```intersect(_:)```方法根据两个集合中都包含的值创建的一个新的集合。 -* 使用```exclusiveOr(_:)```方法根据值在一个集合中但不在两个集合中的值创建一个新的集合。 +* 使用`intersect(_:)`方法根据两个集合中都包含的值创建的一个新的集合。 +* 使用`exclusiveOr(_:)`方法根据值在一个集合中但不在两个集合中的值创建一个新的集合。 +* 使用`union(_:)`方法根据两个集合的值创建一个新的集合。 +* 使用`subtract(_:)`方法根据不在该集合中的值创建一个新的集合。 ```swift let oddDigits: Set = [1, 3, 5, 7, 9] @@ -401,18 +437,18 @@ sorted(oddDigits.exclusiveOr(singleDigitPrimeNumbers)) // [1, 2, 9] ``` - -#### 集合比较 + +#### 集合成员关系和相等 -下面的插图描述了三个集合-```a```,```b```和```c```,以及通过悬浮区域表述集合间共享的元素。Set ```a```是Set ```b```的父集合，因为```a```包含了```b```中所有的元素，相反的，Set ```b```是```a```的子集合，因为属于```b```的元素也被```a```包含。Set ```b```和Set ```c```彼此不关联，因为它们之间没有共同的元素。 +下面的插图描述了三个集合-`a`,`b`和`c`,以及通过悬浮区域表述集合间共享的元素。Set `a`是Set`b`的父集合，因为`a`包含了`b`中所有的元素，相反的，Set `b`是`a`的子集合，因为属于`b`的元素也被`a`包含。Set `b`和Set `c`彼此不关联，因为它们之间没有共同的元素。 ![](https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Art/setEulerDiagram_2x.png) -* 使用“是否等”运算符(```==```)来判断两个集合是否包含相同的值。 -* 使用```isSubsetOf(_:)```方法来判断一个集合中的值是否也被包含在另外一个集合中。 -* 使用```isSupersetOf(_:)```方法来判断一个集合中包含的值是另一个集合中所有的值。 -* 使用```isStrictSubsetOf(_:)```或者```isStrictSupersetOf(_:)```方法来判断一个集合是否是另外一个集合的子集合或者父集合并且和特定集合不相等。 -* 使用```isDisjointWith(_:)```方法来判断两个结合是否不含有相同的值。 +* 使用“是否等”运算符(`==`)来判断两个集合是否包含全部相同的值。 +* 使用`isSubsetOf(_:)`方法来判断一个集合中的值是否也被包含在另外一个集合中。 +* 使用`isSupersetOf(_:)`方法来判断一个集合中包含的值是另一个集合中所有的值。 +* 使用`isStrictSubsetOf(_:)`或者`isStrictSupersetOf(_:)`方法来判断一个集合是否是另外一个集合的子集合或者父集合并且和特定集合不相等。 +* 使用`isDisjointWith(_:)`方法来判断两个结合是否不含有相同的值。 ```swift let houseAnimals: Set = ["🐶", "🐱"] @@ -426,22 +462,6 @@ farmAnimals.isDisjointWith(cityAnimals) // true ``` - -#### Set类型的哈希值 - -为了存储在集合中，该类型必须是可哈希化的-也就是说，该类型必须提供一个方法来计算它的哈希值。一个哈希值是```Int```类型的，它和其他的对象相同，其被用来比较相等与否，比如```a==b```,它遵循的是``` a.hashValue == b.hashValue```。 - -Swift的所有基本类型(比如```String```,```Int```,```Double```和```Bool```)默认都是可哈希化的，它可以作为集合的值或者字典的键值类型。没有关联值的枚举成员值(在[枚举部分](https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Enumerations.html#//apple_ref/doc/uid/TP40014097-CH12-ID145)有讲述)默认也是可哈希化的。 - ->注意 ->你可以使用你自定义的类型作为集合的值或者是字典的键值类型，但你需要使你的自定义类型服从Swift标准库中的```Hashable```协议。服从```Hashable```协议的类型需要提供一个类型为```Int```的取值访问器属性```hashValue```。这个由类型的```hashValue```返回的值不需要在同一程序的不同执行周期或者不同程序之间保持相同。 ->因为```hashable```协议服从于```Equatable```协议，所以遵循该协议的类型也必须提供一个"是否等"运算符(```==```)的实现。这个```Equatable```协议需要任何遵循的```==```的实现都是一种相等的关系。也就是说，对于```a,b,c```三个值来说，```==```的实现必须满足下面三种情况： - -* ```a==a```(自反性) -* ```a==b```意味着```b==a```(对称性) -* ```a==b&&b==c```意味着```a==c```(传递性) - -关于协议遵循的更多信息，请看[协议](https://developer.apple.com/library/prerelease/ios/documentation/Swift/Conceptual/Swift_Programming_Language/Protocols.html#//apple_ref/doc/uid/TP40014097-CH25-ID267) @@ -449,18 +469,54 @@ Swift的所有基本类型(比如```String```,```Int```,```Double```和```Bool`` 字典是一种存储多个相同类型的值的容器。每个值（value）都关联唯一的键（key），键作为字典中的这个值数据的标识符。和数组中的数据项不同，字典中的数据项并没有具体顺序。我们在需要通过标识符（键）访问数据的时候使用字典，这种方法很大程度上和我们在现实世界中使用字典查字义的方法一样。 +> 注意： +> Swiftly 的`Dictionary` 类型被桥接到Foundation的`NSDictionary`类。 +> 更多关于在`Foundation`和`Cocoa`中使用`Dictionary`类型的信息，参见 *Using Swift with Cocoa and Obejective-C* 一书。 + + +## 字典类型快捷语法 + +Swift 的字典使用`Dictionary`定义，其中`Key`是字典中键的数据类型，`Value`是字典中对应于这些键所存储值的数据类型。 -Swift 的字典使用`Dictionary`定义,其中`KeyType`是字典中键的数据类型，`ValueType`是字典中对应于这些键所存储值的数据类型。 +> 注意： +> 一个字典的`Key`类型必须遵循`Hashable`协议，就像`Set`的值类型。 +我们也可以用`[Key: Value]`这样快捷的形式去创建一个字典类型。虽然这俩种形式功能上相同，但是后者是首选，并且这本指导书涉及到字典类型时通篇采用后者。 + + + + +### 创建一个空字典 + +我们可以像数组一样使用构造语法创建一个拥有确定类型的空字典： + +```swift +var namesOfIntegers = [Int: String] +// namesOfIntegers 是一个空的 [Int: String] 字典 +``` + +这个例子创建了一个`[Int: String]`类型的空字典来储存英语对整数的命名。它的键是`Int`型，值是`String`型。 + +如果上下文已经提供了信息类型，我们可以使用空字典字面量来创建一个空字典，记作`[:]`（中括号中放一个冒号）： + +```swift +namesOfIntegers[16] = "sixteen" +// namesOfIntegers 现在包含一个键值对 +namesOfIntegers = [:] +// namesOfIntegers 又成为了一个 Int, String类型的空字典 +``` + + - ## 字典字面量 -我们可以使用字典字面量来构造字典，它们和我们刚才介绍过的数组字面量拥有相似语法。一个字典字面量是一个定义拥有一个或者多个键值对的字典集合的简单语句。 +我们可以使用字典字面量来构造字典，这和我们刚才介绍过的数组字面量拥有相似语法。字典字面量是一种将写一个或多个键值对作`Dictionary`集合的快捷途径。 -一个键值对是一个`key`和一个`value`的结合体。在字典字面量中，每一个键值对的键和值都由冒号分割。这些键值对构成一个列表，其中这些键值对由方括号包含并且由逗号分割： +一个键值对是一个`key`和一个`value`的结合体。在字典字面量中，每一个键值对的键和值都由冒号分割。这些键值对构成一个列表，其中这些键值对由方括号包含、由逗号分割： ```swift [key 1: value 1, key 2: value 2, key 3: value 3] @@ -469,48 +525,51 @@ Swift 的字典使用`Dictionary`定义,其中`KeyType`是 下面的例子创建了一个存储国际机场名称的字典。在这个字典中键是三个字母的国际航空运输相关代码，值是机场名称： ```swift -var airports: [String:String] = ["TYO": "Tokyo", "DUB": "Dublin"] +var airports: [String: String] = ["YYZ": "Toronto Pearson", "DUB": "Dublin"] ``` -`airports`字典被定义为一种 `[String: String]`,它意味着这个字典的键和值都是`String`类型。 +`airports`字典被声明为一种 `[String: String]`类型，这意味着这个字典的键和值都是`String`类型。 > 注意： > `airports`字典被声明为变量（用`var`关键字）而不是常量（`let`关键字）因为后来更多的机场信息会被添加到这个示例字典中。 -`airports`字典使用字典字面量初始化，包含两个键值对。第一对的键是`TYO`，值是`Tokyo`。第二对的键是`DUB`，值是`Dublin`。 +`airports`字典使用字典字面量初始化，包含两个键值对。第一对的键是`YYZ`，值是`Toronto Pearson`。第二对的键是`DUB`，值是`Dublin`。 -这个字典语句包含了两个`String: String`类型的键值对。它们对应`airports`变量声明的类型（一个只有`String`键和`String`值的字典）所以这个字典字面量是构造两个初始数据项的`airport`字典。 +这个字典语句包含了两个`String: String`类型的键值对。它们对应`airports`变量声明的类型（一个只有`String`键和`String`值的字典）所以这个字典字面量的任务是构造拥有两个初始数据项的`airport`字典。 -和数组一样，如果我们使用字面量构造字典就不用把类型定义清楚。`airports`的也可以用这种方法简短定义： +和数组一样，我们在用字典字面量构造字典时，如果它的键和值都有各自一致的类型，那么就不必写出字典的类型。 +`airports`的也可以用这种方法简短定义： ```swift -var airports = ["TYO": "Tokyo", "DUB": "Dublin"] +var airports = ["YYZ": "Toronto Pearson", "DUB": "Dublin"] ``` -因为这个语句中所有的键和值都分别是相同的数据类型，Swift 可以推断出`Dictionary`是`airports`字典的正确类型。 +因为这个语句中所有的键和值都各自拥有相同的数据类型，Swift 可以推断出`Dictionary`是`airports`字典的正确类型。 ### 读取和修改字典 -我们可以通过字典的方法和属性来读取和修改字典，或者使用下标语法。和数组一样，我们可以通过字典的只读属性`count`来获取某个字典的数据项数量： +我们可以通过字典的方法和属性来读取和修改字典，或者通过使用下标语法。 + +和数组一样，我们可以通过字典的只读属性`count`来获取某个字典的数据项数量： ```swift -println("The dictionary of airports contains \(airports.count) items.") +print("The dictionary of airports contains \(airports.count) items.") // 打印 "The dictionary of airports contains 2 items."（这个字典有两个数据项） ``` -可以使用布尔属性`isEmpty`来快捷的检查字典的`count`属性是否等于0。 +使用布尔属性`isEmpty`来快捷的检查字典的`count`属性是否等于0。 ```swift if airports.isEmpty { - println("The airports dictionary is empty.") + print("The airports dictionary is empty.") } else { - println("The airports dictionary is not empty.") + print("The airports dictionary is not empty.") } -// 打印 "The airports dictionary is not empty.(这个字典不为空)" +// 打印 "The airports dictionary is not empty." ``` -我们也可以在字典中使用下标语法来添加新的数据项。可以使用一个合适类型的 key 作为下标索引，并且分配新的合适类型的值： +我们也可以在字典中使用下标语法来添加新的数据项。可以使用一个合适类型的键值作为下标索引，并且分配新的合适类型的值： ```swift airports["LHR"] = "London" @@ -524,26 +583,28 @@ airports["LHR"] = "London Heathrow" // "LHR"对应的值 被改为 "London Heathrow ``` -作为另一种下标方法，字典的`updateValue(forKey:)`方法可以设置或者更新特定键对应的值。就像上面所示的示例，`updateValue(forKey:)`方法在这个键不存在对应值的时候设置值或者在存在时更新已存在的值。和上面的下标方法不一样，这个方法返回更新值之前的原值。这样方便我们检查更新是否成功。 +作为另一种下标方法，字典的`updateValue(_:forKey:)`方法可以设置或者更新特定键对应的值。就像上面所示的下标示例，`updateValue(_:forKey:)`方法在这个键不存在对应值的时候会设置新值或者在存在时更新已存在的值。和上面的下标方法不同的，`updateValue(_:forKey:)`这个方法返回更新值之前的原值。这样使得我们可以检查更新是否成功。 -`updateValue(forKey:)`函数会返回包含一个字典值类型的可选值。举例来说：对于存储`String`值的字典，这个函数会返回一个`String?`或者“可选 `String`”类型的值。如果值存在，则这个可选值值等于被替换的值，否则将会是`nil`。 +`updateValue(_:forKey:)`函数会返回包含一个字典值类型的可选值。举例来说：对于存储`String`值的字典，这个函数会返回一个`String?`或者“可选 `String`”类型的值。 + +如果有值存在于更新前，则这个可选值包含了旧值，否则它将会是`nil`。 ```swift -if let oldValue = airports.updateValue("Dublin Internation", forKey: "DUB") { - println("The old value for DUB was \(oldValue).") +if let oldValue = airports.updateValue("Dublin Airport", forKey: "DUB") { + print("The old value for DUB was \(oldValue).") } -// 输出 "The old value for DUB was Dublin."（DUB原值是dublin） +// 输出 "The old value for DUB was Dublin." ``` -我们也可以使用下标语法来在字典中检索特定键对应的值。由于使用一个没有值的键这种情况是有可能发生的，可选类型返回这个键存在的相关值，否则就返回`nil`： +我们也可以使用下标语法来在字典中检索特定键对应的值。因为有可能请求的键没有对应的值存在，字典的下标访问会返回一个字典值类型的可选值。如果这个字典包含请求键所对应的值，下标会返回一个包含这个存在值的可选值，否则将返回`nil`： ```swift if let airportName = airports["DUB"] { - println("The name of the airport is \(airportName).") + print("The name of the airport is \(airportName).") } else { - println("That airport is not in the airports dictionary.") + print("That airport is not in the airports dictionary.") } -// 打印 "The name of the airport is Dublin Internation."（机场的名字是都柏林国际） +// 打印 "The name of the airport is Dublin Airport." ``` 我们还可以使用下标语法来通过给某个键的对应值赋值为`nil`来从字典里移除一个键值对： @@ -555,45 +616,45 @@ airports["APL"] = nil // APL现在被移除了 ``` -另外，`removeValueForKey`方法也可以用来在字典中移除键值对。这个方法在键值对存在的情况下会移除该键值对并且返回被移除的value或者在没有值的情况下返回`nil`： +此外，`removeValueForKey(_:)`方法也可以用来在字典中移除键值对。这个方法在键值对存在的情况下会移除该键值对并且返回被移除的值或者在没有值的情况下返回`nil`： ```swift if let removedValue = airports.removeValueForKey("DUB") { - println("The removed airport's name is \(removedValue).") + print("The removed airport's name is \(removedValue).") } else { - println("The airports dictionary does not contain a value for DUB.") + print("The airports dictionary does not contain a value for DUB.") } -// prints "The removed airport's name is Dublin International." +// prints "The removed airport's name is Dublin Airport." ``` ### 字典遍历 -我们可以使用`for-in`循环来遍历某个字典中的键值对。每一个字典中的数据项都由`(key, value)`元组形式返回，并且我们可以使用临时常量或者变量来分解这些元组： +我们可以使用`for-in`循环来遍历某个字典中的键值对。每一个字典中的数据项都以`(key, value)`元组形式返回，并且我们可以使用临时常量或者变量来分解这些元组： ```swift for (airportCode, airportName) in airports { - println("\(airportCode): \(airportName)") + print("\(airportCode): \(airportName)") } -// TYO: Tokyo +// YYZ: Toronto Pearson // LHR: London Heathrow ``` -`for-in`循环请参见[For 循环](05_Control_Flow.html#for_loops)。 +更多关于`for-in`循环的信息，参见[For 循环](05_Control_Flow.html#for_loops)。 -我们也可以通过访问它的`keys`或者`values`属性（都是可遍历集合）检索一个字典的键或者值： +通过访问`keys`或者`values`属性，我们也可以遍历字典的键或者值。 ```swift for airportCode in airports.keys { - println("Airport code: \(airportCode)") + print("Airport code: \(airportCode)") } -// Airport code: TYO +// Airport code: YYZ // Airport code: LHR for airportName in airports.values { - println("Airport name: \(airportName)") + print("Airport name: \(airportName)") } -// Airport name: Tokyo +// Airport name: Toronto Pearson // Airport name: London Heathrow ``` @@ -601,47 +662,10 @@ for airportName in airports.values { ```swift let airportCodes = Array(airports.keys) -// airportCodes is ["TYO", "LHR"] +// airportCodes is ["YYZ", "LHR"] let airportNames = Array(airports.values) -// airportNames is ["Tokyo", "London Heathrow"] +// airportNames is ["Toronto Pearson", "London Heathrow"] ``` -> 注意： -> Swift 的字典类型是无序集合类型。其中字典键，值，键值对在遍历的时候会重新排列，而且其中顺序是不固定的。 - - -### 创建一个空字典 - -我们可以像数组一样使用构造语法创建一个空字典： - -```swift -var namesOfIntegers = Dictionary() -// namesOfIntegers 是一个空的 Dictionary -``` - -这个例子创建了一个`Int, String`类型的空字典来储存英语对整数的命名。它的键是`Int`型，值是`String`型。 - -如果上下文已经提供了信息类型，我们可以使用空字典字面量来创建一个空字典，记作`[:]`（中括号中放一个冒号）： - -```swift -namesOfIntegers[16] = "sixteen" -// namesOfIntegers 现在包含一个键值对 -namesOfIntegers = [:] -// namesOfIntegers 又成为了一个 Int, String类型的空字典 -``` - -> 注意： -> 在后台，Swift 的数组和字典都是由泛型集合来实现的，想了解更多泛型和集合信息请参见[泛型](22_Generics.html)。 - - -## 集合的可变性 - -数组和字典都是在单个集合中存储可变值。如果我们创建一个数组或者字典并且把它分配成一个变量，这个集合将会是可变的。这意味着我们可以在创建之后添加更多或移除已存在的数据项来改变这个集合的大小。与此相反，如果我们把数组或字典分配成常量，那么它就是不可变的，它的大小不能被改变。 - -相反，如果你给常量赋值一个数组、集合或者字典，那它就是不可变的，大小和内容都不能修改。 - -Swift 数组的可变性行为同时影响了数组实例如何被分配和修改，想获取更多信息，请参见[集合在赋值和复制中的行为](09_Classes_and_Structures.html#assignment_and_copy_behavior_for_collection_types)。 - -> 注意： -> 在我们不需要改变数组大小的时候创建不可变数组是很好的习惯。如此 Swift 编译器可以优化我们创建的集合。 +Swift 的字典类型是无序集合类型。为了以特定的顺序遍历字典的键或值，可以对字典的`keys`或`values`属性使用`sort()`方法。