1.0 翻譯:zqp 校對(duì):shinyzhu, stanzhai, feiin
2.0 翻譯+校對(duì):JackAlan
2.1 校對(duì):shanks
2.2 校對(duì):SketchK 2016-05-11
3.0 校對(duì):shanks ,2016-10-09 3.0.1,shanks,2016-11-12
4.1 翻譯+校對(duì):mylittleswift
本頁(yè)包含內(nèi)容:
Swift 語(yǔ)言提供 Arrays
、Sets
和 Dictionaries
三種基本的集合類型用來(lái)存儲(chǔ)集合數(shù)據(jù)。數(shù)組(Arrays)是有序數(shù)據(jù)的集。集合(Sets)是無(wú)序無(wú)重復(fù)數(shù)據(jù)的集。字典(Dictionaries)是無(wú)序的鍵值對(duì)的集。
Swift 語(yǔ)言中的 Arrays
、Sets
和 Dictionaries
中存儲(chǔ)的數(shù)據(jù)值類型必須明確。這意味著我們不能把錯(cuò)誤的數(shù)據(jù)類型插入其中。同時(shí)這也說(shuō)明你完全可以對(duì)取回值的類型非常放心。
注意
Swift 的
Arrays
、Sets
和Dictionaries
類型被實(shí)現(xiàn)為泛型集合。更多關(guān)于泛型類型和集合,參見(jiàn) 泛型章節(jié)。
如果創(chuàng)建一個(gè) Arrays
、Sets
或 Dictionaries
并且把它分配成一個(gè)變量,這個(gè)集合將會(huì)是可變的。這意味著你可以在創(chuàng)建之后添加更多或移除已存在的數(shù)據(jù)項(xiàng),或者改變集合中的數(shù)據(jù)項(xiàng)。如果我們把 Arrays
、Sets
或 Dictionaries
分配成常量,那么它就是不可變的,它的大小和內(nèi)容都不能被改變。
注意
在我們不需要改變集合的時(shí)候創(chuàng)建不可變集合是很好的實(shí)踐。如此 Swift 編譯器可以優(yōu)化我們創(chuàng)建的集合。
數(shù)組使用有序列表存儲(chǔ)同一類型的多個(gè)值。相同的值可以多次出現(xiàn)在一個(gè)數(shù)組的不同位置中。
注意
Swift 的
Array
類型被橋接到Foundation
中的NSArray
類。更多關(guān)于在Foundation
和Cocoa
中使用Array
的信息,參見(jiàn) Using Swift with Cocoa and Obejective-C(Swift 4.1) 中使用 Cocoa 數(shù)據(jù)類型部分。
寫 Swift 數(shù)組應(yīng)該遵循像 Array<Element>
這樣的形式,其中 Element
是這個(gè)數(shù)組中唯一允許存在的數(shù)據(jù)類型。我們也可以使用像 [Element]
這樣的簡(jiǎn)單語(yǔ)法。盡管兩種形式在功能上是一樣的,但是推薦較短的那種,而且在本文中都會(huì)使用這種形式來(lái)使用數(shù)組。
我們可以使用構(gòu)造語(yǔ)法來(lái)創(chuàng)建一個(gè)由特定數(shù)據(jù)類型構(gòu)成的空數(shù)組:
var someInts = [Int]()
print("someInts is of type [Int] with \(someInts.count) items.")
// 打印 "someInts is of type [Int] with 0 items."
注意,通過(guò)構(gòu)造函數(shù)的類型,someInts
的值類型被推斷為 [Int]
。
或者,如果代碼上下文中已經(jīng)提供了類型信息,例如一個(gè)函數(shù)參數(shù)或者一個(gè)已經(jīng)定義好類型的常量或者變量,我們可以使用空數(shù)組語(yǔ)句創(chuàng)建一個(gè)空數(shù)組,它的寫法很簡(jiǎn)單:[]
(一對(duì)空方括號(hào)):
someInts.append(3)
// someInts 現(xiàn)在包含一個(gè) Int 值
someInts = []
// someInts 現(xiàn)在是空數(shù)組,但是仍然是 [Int] 類型的。
Swift 中的 Array
類型還提供一個(gè)可以創(chuàng)建特定大小并且所有數(shù)據(jù)都被默認(rèn)的構(gòu)造方法。我們可以把準(zhǔn)備加入新數(shù)組的數(shù)據(jù)項(xiàng)數(shù)量(count
)和適當(dāng)類型的初始值(repeating
)傳入數(shù)組構(gòu)造函數(shù):
var threeDoubles = Array(repeating: 0.0, count: 3)
// threeDoubles 是一種 [Double] 數(shù)組,等價(jià)于 [0.0, 0.0, 0.0]
我們可以使用加法操作符(+
)來(lái)組合兩種已存在的相同類型數(shù)組。新數(shù)組的數(shù)據(jù)類型會(huì)被從兩個(gè)數(shù)組的數(shù)據(jù)類型中推斷出來(lái):
var anotherThreeDoubles = Array(repeating: 2.5, count: 3)
// anotherThreeDoubles 被推斷為 [Double],等價(jià)于 [2.5, 2.5, 2.5]
var sixDoubles = threeDoubles + anotherThreeDoubles
// sixDoubles 被推斷為 [Double],等價(jià)于 [0.0, 0.0, 0.0, 2.5, 2.5, 2.5]
我們可以使用數(shù)組字面量來(lái)進(jìn)行數(shù)組構(gòu)造,這是一種用一個(gè)或者多個(gè)數(shù)值構(gòu)造數(shù)組的簡(jiǎn)單方法。數(shù)組字面量是一系列由逗號(hào)分割并由方括號(hào)包含的數(shù)值:
[value 1, value 2, value 3]
。
下面這個(gè)例子創(chuàng)建了一個(gè)叫做 shoppingList
并且存儲(chǔ) String
的數(shù)組:
var shoppingList: [String] = ["Eggs", "Milk"]
// shoppingList 已經(jīng)被構(gòu)造并且擁有兩個(gè)初始項(xiàng)。
shoppingList
變量被聲明為“字符串值類型的數(shù)組“,記作 [String]
。 因?yàn)檫@個(gè)數(shù)組被規(guī)定只有 String
一種數(shù)據(jù)結(jié)構(gòu),所以只有 String
類型可以在其中被存取。 在這里,shoppingList
數(shù)組由兩個(gè) String
值("Eggs"
和 "Milk"
)構(gòu)造,并且由數(shù)組字面量定義。
注意
shoppingList
數(shù)組被聲明為變量(var
關(guān)鍵字創(chuàng)建)而不是常量(let
創(chuàng)建)是因?yàn)橐院罂赡軙?huì)有更多的數(shù)據(jù)項(xiàng)被插入其中。
在這個(gè)例子中,字面量?jī)H僅包含兩個(gè) String
值。匹配了該數(shù)組的變量聲明(只能包含 String
的數(shù)組),所以這個(gè)字面量的分配過(guò)程可以作為用兩個(gè)初始項(xiàng)來(lái)構(gòu)造 shoppingList
的一種方式。
由于 Swift 的類型推斷機(jī)制,當(dāng)我們用字面量構(gòu)造只擁有相同類型值數(shù)組的時(shí)候,我們不必把數(shù)組的類型定義清楚。shoppingList
的構(gòu)造也可以這樣寫:
var shoppingList = ["Eggs", "Milk"]
因?yàn)樗袛?shù)組字面量中的值都是相同的類型,Swift 可以推斷出 [String]
是 shoppingList
中變量的正確類型。
我們可以通過(guò)數(shù)組的方法和屬性來(lái)訪問(wèn)和修改數(shù)組,或者使用下標(biāo)語(yǔ)法。
可以使用數(shù)組的只讀屬性 count
來(lái)獲取數(shù)組中的數(shù)據(jù)項(xiàng)數(shù)量:
print("The shopping list contains \(shoppingList.count) items.")
// 輸出 "The shopping list contains 2 items."(這個(gè)數(shù)組有2個(gè)項(xiàng))
使用布爾屬性 isEmpty
作為一個(gè)縮寫形式去檢查 count
屬性是否為 0
:
if shoppingList.isEmpty {
print("The shopping list is empty.")
} else {
print("The shopping list is not empty.")
}
// 打印 "The shopping list is not empty."(shoppinglist 不是空的)
也可以使用 append(_:)
方法在數(shù)組后面添加新的數(shù)據(jù)項(xiàng):
shoppingList.append("Flour")
// shoppingList 現(xiàn)在有3個(gè)數(shù)據(jù)項(xiàng),有人在攤煎餅
除此之外,使用加法賦值運(yùn)算符(+=
)也可以直接在數(shù)組后面添加一個(gè)或多個(gè)擁有相同類型的數(shù)據(jù)項(xiàng):
shoppingList += ["Baking Powder"]
// shoppingList 現(xiàn)在有四項(xiàng)了
shoppingList += ["Chocolate Spread", "Cheese", "Butter"]
// shoppingList 現(xiàn)在有七項(xiàng)了
可以直接使用下標(biāo)語(yǔ)法來(lái)獲取數(shù)組中的數(shù)據(jù)項(xiàng),把我們需要的數(shù)據(jù)項(xiàng)的索引值放在直接放在數(shù)組名稱的方括號(hào)中:
var firstItem = shoppingList[0]
// 第一項(xiàng)是 "Eggs"
注意
第一項(xiàng)在數(shù)組中的索引值是
0
而不是1
。 Swift 中的數(shù)組索引總是從零開(kāi)始。
我們也可以用下標(biāo)來(lái)改變某個(gè)已有索引值對(duì)應(yīng)的數(shù)據(jù)值:
shoppingList[0] = "Six eggs"
// 其中的第一項(xiàng)現(xiàn)在是 "Six eggs" 而不是 "Eggs"
還可以利用下標(biāo)來(lái)一次改變一系列數(shù)據(jù)值,即使新數(shù)據(jù)和原有數(shù)據(jù)的數(shù)量是不一樣的。下面的例子把 "Chocolate Spread"
、"Cheese"
和 "Butter"
替換為 "Bananas"
和 "Apples"
:
shoppingList[4...6] = ["Bananas", "Apples"]
// shoppingList 現(xiàn)在有6項(xiàng)
注意
不可以用下標(biāo)訪問(wèn)的形式去在數(shù)組尾部添加新項(xiàng)。
調(diào)用數(shù)組的 insert(_:at:)
方法來(lái)在某個(gè)具體索引值之前添加數(shù)據(jù)項(xiàng):
shoppingList.insert("Maple Syrup", at: 0)
// shoppingList 現(xiàn)在有7項(xiàng)
// "Maple Syrup" 現(xiàn)在是這個(gè)列表中的第一項(xiàng)
這次 insert(_:at:)
方法調(diào)用把值為 "Maple Syrup"
的新數(shù)據(jù)項(xiàng)插入列表的最開(kāi)始位置,并且使用 0
作為索引值。
類似的我們可以使用 remove(at:)
方法來(lái)移除數(shù)組中的某一項(xiàng)。這個(gè)方法把數(shù)組在特定索引值中存儲(chǔ)的數(shù)據(jù)項(xiàng)移除并且返回這個(gè)被移除的數(shù)據(jù)項(xiàng)(我們不需要的時(shí)候就可以無(wú)視它):
let mapleSyrup = shoppingList.remove(at: 0)
// 索引值為0的數(shù)據(jù)項(xiàng)被移除
// shoppingList 現(xiàn)在只有6項(xiàng),而且不包括 Maple Syrup
// mapleSyrup 常量的值等于被移除數(shù)據(jù)項(xiàng)的值 "Maple Syrup"
注意
如果我們?cè)囍鴮?duì)索引越界的數(shù)據(jù)進(jìn)行檢索或者設(shè)置新值的操作,會(huì)引發(fā)一個(gè)運(yùn)行期錯(cuò)誤。我們可以使用索引值和數(shù)組的
count
屬性進(jìn)行比較來(lái)在使用某個(gè)索引之前先檢驗(yàn)是否有效。除了當(dāng)count
等于 0 時(shí)(說(shuō)明這是個(gè)空數(shù)組),最大索引值一直是count - 1
,因?yàn)閿?shù)組都是零起索引。
數(shù)據(jù)項(xiàng)被移除后數(shù)組中的空出項(xiàng)會(huì)被自動(dòng)填補(bǔ),所以現(xiàn)在索引值為 0
的數(shù)據(jù)項(xiàng)的值再次等于 "Six eggs"
:
firstItem = shoppingList[0]
// firstItem 現(xiàn)在等于 "Six eggs"
如果我們只想把數(shù)組中的最后一項(xiàng)移除,可以使用 removeLast()
方法而不是 remove(at:)
方法來(lái)避免我們需要獲取數(shù)組的 count
屬性。就像后者一樣,前者也會(huì)返回被移除的數(shù)據(jù)項(xiàng):
let apples = shoppingList.removeLast()
// 數(shù)組的最后一項(xiàng)被移除了
// shoppingList 現(xiàn)在只有5項(xiàng),不包括 Apples
// apples 常量的值現(xiàn)在等于 "Apples" 字符串
我們可以使用 for-in
循環(huán)來(lái)遍歷所有數(shù)組中的數(shù)據(jù)項(xiàng):
for item in shoppingList {
print(item)
}
// Six eggs
// Milk
// Flour
// Baking Powder
// Bananas
如果我們同時(shí)需要每個(gè)數(shù)據(jù)項(xiàng)的值和索引值,可以使用 enumerated()
方法來(lái)進(jìn)行數(shù)組遍歷。enumerated()
返回一個(gè)由每一個(gè)數(shù)據(jù)項(xiàng)索引值和數(shù)據(jù)值組成的元組。我們可以把這個(gè)元組分解成臨時(shí)常量或者變量來(lái)進(jìn)行遍歷:
for (index, value) in shoppingList. enumerated() {
print("Item \(String(index + 1)): \(value)")
}
// Item 1: Six eggs
// Item 2: Milk
// Item 3: Flour
// Item 4: Baking Powder
// Item 5: Bananas
更多關(guān)于 for-in
循環(huán)的介紹請(qǐng)參見(jiàn)for 循環(huán)。
集合(Set)用來(lái)存儲(chǔ)相同類型并且沒(méi)有確定順序的值。當(dāng)集合元素順序不重要時(shí)或者希望確保每個(gè)元素只出現(xiàn)一次時(shí)可以使用集合而不是數(shù)組。
注意 Swift 的
Set
類型被橋接到Foundation
中的NSSet
類。關(guān)于使用
Foundation
和Cocoa
中Set
的知識(shí),參見(jiàn) Using Swift with Cocoa and Obejective-C(Swift 4.1) 中使用 Cocoa 數(shù)據(jù)類型部分。
一個(gè)類型為了存儲(chǔ)在集合中,該類型必須是可哈?;?/em>的--也就是說(shuō),該類型必須提供一個(gè)方法來(lái)計(jì)算它的哈希值。一個(gè)哈希值是 Int
類型的,相等的對(duì)象哈希值必須相同,比如 a==b
,因此必須 a.hashValue == b.hashValue
。
Swift 的所有基本類型(比如 String
,Int
,Double
和 Bool
)默認(rèn)都是可哈希化的,可以作為集合的值的類型或者字典的鍵的類型。沒(méi)有關(guān)聯(lián)值的枚舉成員值(在枚舉有講述)默認(rèn)也是可哈希化的。
注意
你可以使用你自定義的類型作為集合的值的類型或者是字典的鍵的類型,但你需要使你的自定義類型符合 Swift 標(biāo)準(zhǔn)庫(kù)中的
Hashable
協(xié)議。符合Hashable
協(xié)議的類型需要提供一個(gè)類型為Int
的可讀屬性hashValue
。由類型的hashValue
屬性返回的值不需要在同一程序的不同執(zhí)行周期或者不同程序之間保持相同。因?yàn)?
Hashable
協(xié)議符合Equatable
協(xié)議,所以遵循該協(xié)議的類型也必須提供一個(gè)“是否相等”運(yùn)算符(==
)的實(shí)現(xiàn)。這個(gè)Equatable
協(xié)議要求任何符合==
實(shí)現(xiàn)的實(shí)例間都是一種相等的關(guān)系。也就是說(shuō),對(duì)于a,b,c
三個(gè)值來(lái)說(shuō),==
的實(shí)現(xiàn)必須滿足下面三種情況:
a == a
(自反性)a == b
意味著b == a
(對(duì)稱性)a == b && b == c
意味著a == c
(傳遞性)
關(guān)于遵循協(xié)議的更多信息,請(qǐng)看協(xié)議。
Swift 中的 Set
類型被寫為 Set<Element>
,這里的 Element
表示 Set
中允許存儲(chǔ)的類型,和數(shù)組不同的是,集合沒(méi)有等價(jià)的簡(jiǎn)化形式。
你可以通過(guò)構(gòu)造器語(yǔ)法創(chuàng)建一個(gè)特定類型的空集合:
var letters = Set<Character>()
print("letters is of type Set<Character> with \(letters.count) items.")
// 打印 "letters is of type Set<Character> with 0 items."
注意
通過(guò)構(gòu)造器,這里的
letters
變量的類型被推斷為Set<Character>
。
此外,如果上下文提供了類型信息,比如作為函數(shù)的參數(shù)或者已知類型的變量或常量,我們可以通過(guò)一個(gè)空的數(shù)組字面量創(chuàng)建一個(gè)空的 Set
:
letters.insert("a")
// letters 現(xiàn)在含有1個(gè) Character 類型的值
letters = []
// letters 現(xiàn)在是一個(gè)空的 Set, 但是它依然是 Set<Character> 類型
你可以使用數(shù)組字面量來(lái)構(gòu)造集合,并且可以使用簡(jiǎn)化形式寫一個(gè)或者多個(gè)值作為集合元素。
下面的例子創(chuàng)建一個(gè)稱之為 favoriteGenres
的集合來(lái)存儲(chǔ) String
類型的值:
var favoriteGenres: Set<String> = ["Rock", "Classical", "Hip hop"]
// favoriteGenres 被構(gòu)造成含有三個(gè)初始值的集合
這個(gè) favoriteGenres
變量被聲明為“一個(gè) String
值的集合”,寫為 Set<String>
。由于這個(gè)特定的集合含有指定 String
類型的值,所以它只允許存儲(chǔ) String
類型值。這里的 favoriteGenres
變量有三個(gè) String
類型的初始值("Rock"
,"Classical"
和 "Hip hop"
),并以數(shù)組字面量的方式出現(xiàn)。
注意
favoriteGenres
被聲明為一個(gè)變量(擁有var
標(biāo)示符)而不是一個(gè)常量(擁有let
標(biāo)示符),因?yàn)樗锩娴脑貙?huì)在下面的例子中被增加或者移除。
一個(gè) Set
類型不能從數(shù)組字面量中被單獨(dú)推斷出來(lái),因此 Set
類型必須顯式聲明。然而,由于 Swift 的類型推斷功能,如果你想使用一個(gè)數(shù)組字面量構(gòu)造一個(gè) Set
并且該數(shù)組字面量中的所有元素類型相同,那么你無(wú)須寫出 Set
的具體類型。favoriteGenres
的構(gòu)造形式可以采用簡(jiǎn)化的方式代替:
var favoriteGenres: Set = ["Rock", "Classical", "Hip hop"]
由于數(shù)組字面量中的所有元素類型相同,Swift 可以推斷出 Set<String>
作為 favoriteGenres
變量的正確類型。
你可以通過(guò) Set
的屬性和方法來(lái)訪問(wèn)和修改一個(gè) Set
。
為了找出一個(gè) Set
中元素的數(shù)量,可以使用其只讀屬性 count
:
print("I have \(favoriteGenres.count) favorite music genres.")
// 打印 "I have 3 favorite music genres."
使用布爾屬性 isEmpty
作為一個(gè)縮寫形式去檢查 count
屬性是否為 0
:
if favoriteGenres.isEmpty {
print("As far as music goes, I'm not picky.")
} else {
print("I have particular music preferences.")
}
// 打印 "I have particular music preferences."
你可以通過(guò)調(diào)用 Set
的 insert(_:)
方法來(lái)添加一個(gè)新元素:
favoriteGenres.insert("Jazz")
// favoriteGenres 現(xiàn)在包含4個(gè)元素
你可以通過(guò)調(diào)用 Set
的 remove(_:)
方法去刪除一個(gè)元素,如果該值是該 Set
的一個(gè)元素則刪除該元素并且返回被刪除的元素值,否則如果該 Set
不包含該值,則返回 nil
。另外,Set
中的所有元素可以通過(guò)它的 removeAll()
方法刪除。
if let removedGenre = favoriteGenres.remove("Rock") {
print("\(removedGenre)? I'm over it.")
} else {
print("I never much cared for that.")
}
// 打印 "Rock? I'm over it."
使用 contains(_:)
方法去檢查 Set
中是否包含一個(gè)特定的值:
if favoriteGenres.contains("Funk") {
print("I get up on the good foot.")
} else {
print("It's too funky in here.")
}
// 打印 "It's too funky in here."
你可以在一個(gè) for-in
循環(huán)中遍歷一個(gè) Set
中的所有值。
for genre in favoriteGenres {
print("\(genre)")
}
// Classical
// Jazz
// Hip hop
更多關(guān)于 for-in
循環(huán)的信息,參見(jiàn)For 循環(huán)。
Swift 的 Set
類型沒(méi)有確定的順序,為了按照特定順序來(lái)遍歷一個(gè) Set
中的值可以使用 sorted()
方法,它將返回一個(gè)有序數(shù)組,這個(gè)數(shù)組的元素排列順序由操作符'<'對(duì)元素進(jìn)行比較的結(jié)果來(lái)確定。
for genre in favoriteGenres.sorted() {
print("\(genre)")
}
// prints "Classical"
// prints "Hip hop"
// prints "Jazz
你可以高效地完成 Set
的一些基本操作,比如把兩個(gè)集合組合到一起,判斷兩個(gè)集合共有元素,或者判斷兩個(gè)集合是否全包含,部分包含或者不相交。
下面的插圖描述了兩個(gè)集合-a
和 b
-以及通過(guò)陰影部分的區(qū)域顯示集合各種操作的結(jié)果。
intersection(_:)
方法根據(jù)兩個(gè)集合中都包含的值創(chuàng)建的一個(gè)新的集合。symmetricDifference(_:)
方法根據(jù)在一個(gè)集合中但不在兩個(gè)集合中的值創(chuàng)建一個(gè)新的集合。union(_:)
方法根據(jù)兩個(gè)集合的值創(chuàng)建一個(gè)新的集合。subtracting(_:)
方法根據(jù)不在該集合中的值創(chuàng)建一個(gè)新的集合。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).sorted()
// [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]
下面的插圖描述了三個(gè)集合-a
,b
和 c
,以及通過(guò)重疊區(qū)域表述集合間共享的元素。集合 a
是集合 b
的父集合,因?yàn)?a
包含了 b
中所有的元素,相反的,集合 b
是集合 a
的子集合,因?yàn)閷儆?b
的元素也被 a
包含。集合 b
和集合 c
彼此不關(guān)聯(lián),因?yàn)樗鼈冎g沒(méi)有共同的元素。
==
)來(lái)判斷兩個(gè)集合是否包含全部相同的值。isSubset(of:)
方法來(lái)判斷一個(gè)集合中的值是否也被包含在另外一個(gè)集合中。isSuperset(of:)
方法來(lái)判斷一個(gè)集合中包含另一個(gè)集合中所有的值。isStrictSubset(of:)
或者 isStrictSuperset(of:)
方法來(lái)判斷一個(gè)集合是否是另外一個(gè)集合的子集合或者父集合并且兩個(gè)集合并不相等。isDisjoint(with:)
方法來(lái)判斷兩個(gè)集合是否不含有相同的值(是否沒(méi)有交集)。let houseAnimals: Set = ["