swift 语言提供 Arrays\sets 和 Dictionaries 三种基本的集合类型用来存储集合数据。数组(Arrays)是有序数据的集合。集合(Sets)是无序无重复数据的集。字典(Dictionaries)是无序的键值对的集。
swift 语言中的 Arrays\Sets 和 Dictionaries 中存储的数据值类型必须明确。这意味着我们不能把不正确的数据类型插入其中。同时这也说明我们完全可以对取回值的类型非常自信。
注意:
swift 的 Arrays\Sets 和 Dictionaries 类型被实现为泛型集合。
集合的可变性
如果创建一个 Arrays\Sets或Dictionaries 并且把它分配成一个变量,这个集合将会是可变的。这意味着我们可以在创建之后添加更多或移除已存在的数据项,或者改变集合中的数据项。如果我们把 Arrays\sets或 DictIonaries 分配成常量,那么它就是不可变的,它的大小和内容都不能被改变。
注意:
在我们不需要改变集合的时候创建不可变集合是很好的实践。如此swift 编译器可以优化我们创建的集合。
数组(Arrays)
数组使用有序列表存储同一类型的多个值。相同的值可以多次出现在一个数组的不同位置中。
注意:
swift 的 Array 类型被桥接到 Foundation 中的 NSArray 类。
数组的简单语法
写 swift 数组应该遵循像 Array<Element> 这样的形式,其中 Element 是这个数组中唯一允许存在的数据类型。我们也可以使用像 [Element] 这样的简单语法。尽管两种形式在功能上是一样的,但是推荐较短的那种,而且在本文中都会使用这种形式来使用数组。
创建一个空数组
可以使用构造语法来创建一个由特定数据类型构成的空数组:
var someInts = [Int]()
print("someInts is of type [Int] with \(someInts.cout) items.")
注意:
通过构造函数的类型,someInts 的值类型被推断为 [Int]。
或者,如果代码上下文中提供了类型信息,例如一个函数参数或者一个已经定义好的常量或者变量,我们可以使用空数组语句创建一个空数组,它的写法很简单:[] (一对空方括号):
someInts.append(3) // someInts 现在包含一个 Int 值
someInts = [] // someInts 现在是空数组,但是仍然是 [Int] 类型的
创建一个带有默认值的数组
swift 中的 Array 类型还提供一个可以创建特定大小并且所有数据都被默认的构造方法。可以把准备加入新数组的数据项数量(count)和适当类型的初始值(repeating)传入数组构造函数:
var threeDoubles = Array(repeating:0.0, count: 3) // threeDoubles 是一种 [Double] 数组,等价于 [0.0, 0.0, 0.0]
通过两个数组相加创建一个数组
可以使用加法操作符(+)来组合两种已存在的相同类型数组。新数组的数据类型会被从两个数组的数据类型中推断出来:
var anotherThreeDoubles = Array(repeating: 2.5, count: 3)
var sixDoubles = threeDoubles + anotherThreeDoubles
用数组字面量构造数组
可以使用数组字面量来进行数组构造,这是一种用一个或者多个数值构造数组的简单方法。数组字面量是一系列由逗号分割并由方括号包含的数值。
[value1, value2, value3]
下面这个例子创建了一个叫做 shoppingList 并且存储 String 的数组:
var shoppingList: [String] = ["Eggs", "Milk"] // shoppingList 已经被构造并且拥有两个初始项
shoppingList 变量被声明为 “字符串值类型的数组”,记作[String]。因为这个数组被规定只有 String 一种数据结构,所以只有String 类型可以在其中被存取。在这里,shoppingList 数组由两个 String 值(“Eggs” 和 “Milk”)构造,并且由数组字面量定义。
注意:
shoppingList 数组被声明为变量(var 关键字创建)而不是常量(let 创建)是因为以后可能会有更多的数据项被插入其中。
在这个例子中,字面量仅仅包含两个 String 值。匹配了该数组的变量声明(只能包含 String 的数组),所以这个字面量的分配过程可以作为用两个初始项来构造 shoppingList 的一种方式。
由于 swift 的类型推断机制,当我们用字面量构造只拥有相同类型数组的时候,我们不必把数组的类型定义清楚。shoppingList 的构造也可以这样写:
var shoppingList = ["Eggs", "Milk"]
因为所有数组字面量中的值都是相同的类型,swift 可以推断出 [string] 是 shoppingList 中变量的正确类型。
访问和修改数组
可以通过数组的方法和属性来访问和修改数组,或者使用下标语法
可以使用数组的只读属性 count 来获取数组中的数据项数量:
print("The shopping list contains \(shoppingList.count) items.")
使用布尔属性 isEmpty 作为一个缩写形式去检查 count 属性是否为 0:
if shoppingList.isEmpty {
print("The shopping list is empty.")
} else {
print("The shopping list is not empty.");
}
也可以使用 append(_:) 方法在数组后面添加新的数据项:
shoppingList.append("Flour")
除此之外,使用加法赋值运算符(+=)也可以直接在数组后面添加一个或多个拥有相同类型的数据项:
shoppingList += ["Baking Powder"]
shoppingList += ["Chocolate Spread", "Cheese", "Butter"]
可以直接使用下标语法来获取数组中的数据项,把我们需要的数据项的索引值直接放在数组名称的方括号中:
var firstItem = shoppingLIst[0]
注意:
第一项在数组中的索引值是0 而不是 1。swift中的数组索引总是从零开始。
也可以用下标来改变某个已有索引值对应的数据值:
shoppingList[0] = "Six eggs"
// 其中的第一项现在是 “Six egge” 而不是 “Eggs”
还可以利用下标来一次改变一系列数据值,即使新数据和原有数据的数量是不一样的。下面的例子把 “Chocolate Spread”, “Chese” 和 "Butter" 替换为 “Bananas” 和 “Apples”:
shoppingList[4..6] = ["Bananas", "Apples"]
// shoppingList 现在有 6 项
注意:
不可以用下标访问的形式去在数组尾部添加新项。
调用数组的 insert(_:at:) 方法来在某个具体索引值之前添加数据项:
shoppingList.insert("Maple Syrup", at: 0)
// shoppingList 现在有 7 项, “Maple Syrup” 现在是这个列表中的第一项
这次 insert(_:at:) 方法调用把值为 "Maple Syrup" 的新数据项插入列表的最开始位置,并且使用 0 作为索引值。
类似的我们可以使用 remove(at:) 方法来移除数组中的某一项。这个方法把数组在特定索引值中存储的数据项移除并且返回这个被移除的数据项(不需要的时候就可以无视它):
let mapleSyrup = remove(at:0)
// 索引值为 0 的数据项被移除
// shoppingList 现在只有 6 项,而且不包括 Mapple Syrup
// mapleSyrup 常量的值等于被移除数据项的值 “Maple Syrup”
注意:
如果我们试着对索引越界的数据进行检索或者设置新值的操作,会引发一个运行期错误。我们可以使用索引值和数组的 count 属性进行比较来在使用某个索引之前先检验是否有效。除了当 count 等于 0 时(说明这是个空数组),最大索引值一直是 count - 1 ,因为数组都是零起索引。
数据项被移除后数组中的空出项会被自动填补,所以现在索引值为 0 的数据项的值再次等于 “Six eggs”:
firstItem = shoppList[0]
如果我们只是想把数组中的最后一项移除,可以使用 removeLast() 方法而不是 remove(at:) 方法来避免我们需要获取数组的 count 属性。就像后者一样,前者也会返回被移除的数据项:
let apples = shoppList.removeLast()
// 数组的最后一项被移除了
// shoppingList 现在只有 5 项,不包括 Apples
// apples 常量的值现在等于 “Apples” 字符串
数组的遍历
可以使用 for-in 循环来遍历所有数组中的数据项:
for item in shoppingList {
print(item)
}
如果我们同时需要每个数据项的值和索引值,可以使用 enumerated() 方法来进行数组遍历。enumerated() 返回一个由每一个数据项索引值和数据值组成的元组。我们可以把这个元组分解成临时常量或者变量来进行遍历:
for (index, value) in shoppingList.enumerated() {
print("Item \(String(index + 1)): \(value)")
}
集合(Sets)
集合(set)用来存储相同类型并且没有确定顺序的值。当集合元素顺序不重要时或者希望确保每个元素只出现一次时可以使用集合而不是数组。
注意:
swift 的 set 类型被桥接到 Foundation 中的 NSSet 类。
集合类型的哈希值
一个类型为了存储在集合中,该类型必须是可哈希化的--也就是说,该类型必须提供一个方法来计算它的哈希值。一个哈希值是 Int 类型的,相等的对象哈希值必须相同,比如 a == b, 因此必须 a.hashValue == b.hashValue。
swift 的所有基本类型(比如:String, Int,Double 和 Bool)默认都是可哈希化的,可以作为集合的值的类型或者字典的键的类型。没有关联值的枚举成员值默认也是可哈希化的。
注意:
可以使用你自定义的类型作为集合的值的类型或者字典的键的类型,但你需要使你的自定义类型符合 Swift 标准库中的 Hashable 协议。符合 Hashable 协议的类型需要提供一个类型为 Int 的可读属性 hashValue。由类型的 hashValue 属性返回的值不需要在同一程序的不同执行周期或者不同程序之间保持相同。
因为 Hashable 协议符合 Equatable 协议,所以遵循该协议的类型也必须提供一个 “是否相等” 运算符 (==)的实现。这个 Equatable 协议要求任何符合 == 实现的实例间都是一种相等的关系。也就是说,对于 a,b,c 三个值来说, == 的实现必须满足下面三种情况:
a == a (自反性)
a == b 意味着 b == a (对称性)
a == b && b == c 意味着 a == c (传递性)
集合类型语法
swift 中的 set 类型被写为 set<Element>, 这里的 Element 表示 Set 中允许存储的类型,和数组不同的是,集合没有等价的简化形式。
创建和构造一个空的集合
可以通过构造器语法创建一个特定类型的空集合:
var letters = Set<Character>
注意:
通过构造器,这里的 letters 变量的类型被推断为 set<Character>。
此外,如果上下文提供了类型信息,比如作为函数的参数或者已知类型的变量或常量,我们可以通过一个空的数组字面量创建一个空的 set:
letters.insert("a")
// letters 现在含有 1个 Character 类型的值
letters = []
// letters 现在是一个空的 set,但是它依然是 Set<Character> 类型
用数组字面量创建集合
可以使用数组字面量来构造集合,并且可以使用简化形式写一个或者多个值作为集合元素。
下面的例子创建一个称之为 favoriteGenres 的集合来存储 String 类型的值:
var favoriteGenres: Set<String> = ["Rock", "Classical", "Hip hop"]
这个 favoriteGenres 变量被声明为 ”一个String 值的集合“ ,写为 Set<String>。 由于这个特定的集合含有指定 String 类型的值,所以它只允许存储 String 类型值。这里的 favoriteGenres 变量有三个 String 类型的初始值(“Rock”, "Classical" 和 “Hip pop”),并以数组字面量的方式出现。
注意:
favoriteGenres 被声明为一个变量(拥有 var 标示符)而不是一个常量(拥有 let 标示符),因为它里面的元素将会在下面的例子中被增加或者移除。
一个 set 类型不能从数组字面量中被单独推断出来,因此 Set 类型必须显式声明。然而,由于 Swift 的类型推断功能,如果你想使用一个数组字面量构造一个 Set 并且该数组字面量中的所有元素类型相同,那么你无须写出 Set 的具体类型。favoriteGenres 的构造形式可以采用简化的方式代替:
var favoriteGenres: Set = ["Rock", "Classical", "Hip hop"]
由于数组字面量中的所有元素类型相同,swift 可以推断出 Set<String> 作为 favoriteGenres 变量的正确类型。
访问和修改一个集合:
可以通过 Set 的属性和方法来访问和修改一个 set。
为了找出一个 set 中的元素的数量,可以使用其只读属性 count。
使用布尔属性 isEmpty 作为一个缩写形式去检查 count 属性是否为0:
可以通过调用 Set 的 insert(_:) 方法来添加一个新元素:
favoriteGenres.insert("Jazz")
可以通过调用 Set 的 remove(_:) 方法去删除一个元素,如果该值该 Set 的一个元素则删除该元素并且返回被删除的元素值,否则如果该 set 不包含该值,则返回 nil。另外,Set 中的所有元素可以通过它的 removeAll() 方法删除。
if let removedGenre = favoriteGenres.remove("Rock") {
print("\(removedGenre)? I'm over it.")
} else {
print("I never much cared for that.")
}
使用 contains(_:) 方法去检查 Set 中是否包含一个特定的值:
if favoriteGenres.contains("Funk") {
print("I get up on the good foot.")
} else {
print("It's too funky in here.")
}
遍历一个集合
可以在一个 for-in 循环中遍历一个 set 中的所有值。
for genre in favoriteGenres {
print("\(genre)")
}
swift 的 Set 类型没有确定的顺序,为了按照特定顺序来遍历一个 Set 中的值可以使用 sorted() 方法,它将返回一个有序数组,这个数组的元素排列顺序由操作符 “<” 对元素进行比较的结果来确定。
for genre in favoriteGenres.sorted() {
print("\(genre)")
}
集合操作
可以高效的完成 Set 的一些基本操作,比如把两个集合组合到一起,判断两个集合共有元素,或者判断两个集合是否全包含,部分包含或者不相交。
基本集合操作
使用 intersection(_:) 方法根据两个集合中都包含的值创建的一个新的集合。
使用 symmetricDifference(_:)方法根据在一个集合中但不在两个集合中的值创建一个新的集合。
使用 union(_:) 方法根据两个集合的值创建一个新的集合
使用 subtracting(_:) 方法根据不在该集合中的值创建一个新的集合。
let oddDigits: Set = [1, 3, 5, 7, 9]
let evenDigits: Set = [0, 2, 4, 6, 8]
let singleDigitPrimeNumbers: Set = [2, 3, 5, 7]
oddDigits.union(evenDigits).sort()
// [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
oddDigits.intersection(evenDigits).sorted()
// []
oddDigits.subtracting(singleDigitPrimeNumbers).sorted()
// [1, 9]
oddDigits.symmetricDifference(singleDigitPrimeNumbers).sorted()
// [1, 2, 9]
集合成员关系和相等
三个集合 a, b 和 c , 以及通过重叠区域表示集合间共享的元素。集合 a 是集合 b 的父集合,因为 a 包含了 b 中所有的元素,相反的,集合 b 是 集合 a 的子集合,因为属于 b 的元素也被 a 包含。集合 b 和 集合 c 彼此不关联,因为它们之间没有共同的元素。
使用 “是否相等” 运算符(==)来判断两个集合是否包含全部相同的值。
使用 isSubset(of:) 方法来判断一个集合中的值是否也被包含在另外一个集合中。
使用 isSuperset(of:) 方法来判断一个集合中的包含另一个集合中所有的值。
使用 isStrictSubset(of:) 或者 isStrictSuperset(of:) 方法来判断一个集合是否是另外一个集合的子集合或者父集合并且两个集合不相等。
使用 isDisjoint(with:) 方法来判断两个集合是否不含有相同的值(是否没有交集)。
let houseAnimals: Set = ["?", "?"]
let farmAnimals: Set = ["?", "?", "?", "?", "?"]
let cityAnimals: Set = ["?", "?"]
houseAnimals.isSubset(of:farmAnimals) // true
farmAnimals.isSuperset(of: houseAnimals) // true
farmAnimals.isDisjoint(with:cityAnimals) // true
字典:
字典是一种存储多个相同类型的值的容器。每个值(value)都关联唯一的键(key),键作为字典中的这个值数据的标识符。和数组中的数据项不同,字典中的数据项并没有具体顺序。我们在需要通过标识符(键)访问数据的时候使用字典,这种方法很大程度上和我们在现实世界中使用字典查字义的方法一样。
注意:
swift 的 Dictionary 类型被桥接到 Foundation 的 NSDictionary 类。
字典类型简化语法
swift 的字典使用 Dictionary<Key, Value> 定义,其中 Key 是字典中键的数据类型,value 是字典中对应于这些键所存储值的数据类型。
注意:
一个字典的 key 类型必须遵循 Hashable 协议,就像 Set 的值类型。
我们也可以用 [Key: Value] 这样简化的形式去创建一个字典数据。虽然这两种形式在功能上相同,但是后者是首选,并且这本指导书涉及到字典类型时通常采用后者。
创建一个空字典
我们可以像数组一样使用构造语法创建一个拥有确定类型的空字典:
var namesOfIntegers = Int: String
这个例子创建了一个 [Int: String] 类型的空字典来储存整数的英语命名。它的键是 Int 类型,值是 String 类型。
如果上下文提供了类型信息,我们可以使用空字典字面量来创建一个空字典,记作 [:] (中括号中放一个冒号):
namesOfIntegers[16] = "sixteen"
namesOfIntegers = [:]
用字典字面量创建字典
我们可以使用字典字面量来构造字典,这和我们刚才介绍过的数组字面量拥有相似语法。字典字面量是一种将一个或多个键值对