下標腳本（Subscripts）
本頁包含內容：
下標腳本 可以定義在類別（Class）、結構（structure）和列舉（enumeration）這些目標中，可以認為是存取物件、集合或序列的快捷方式，不需要再呼叫實例的特定的賦值和存取方法。舉例來說，用下標腳本存取一個陣列(Array)實例中的元素可以這樣寫 someArray[index] ，存取字典(Dictionary)實例中的元素可以這樣寫 someDictionary[key]。
對於同一個目標可以定義多個下標腳本，通過索引值型別的不同來進行重載，而且索引值的個數可以是多個。
譯者：這裡附屬腳本重載在本小節中原文並沒有任何演示
下標腳本語法
下標腳本允許你通過在實例後面的方括號中傳入一個或者多個的索引值來對實例進行存取和賦值。語法類似於實例方法和計算型屬性的混合。與定義實例方法類似，定義下標腳本使用subscript關鍵字，顯式宣告入參（一個或多個）和回傳型別。與實例方法不同的是下標腳本可以設定為讀寫或唯讀。這種方式又有點像計算型屬性的getter和setter：
subscript(index: Int) -> Int {
get {
// 回傳與入參匹配的Int型別的值
}
set(newValue) {
// 執行賦值操作
}
}
newValue的型別必須和下標腳本定義的回傳型別相同。與計算型屬性相同的是set的入參宣告newValue就算不寫，在set程式碼區塊中依然可以使用預設的newValue這個變數來存取新賦的值。
與唯讀計算型屬性一樣，可以直接將原本應該寫在get程式碼區塊中的程式碼寫在subscript中：
subscript(index: Int) -> Int {
// 回傳與入參匹配的Int型別的值
}
下面程式碼演示了一個在TimesTable結構中使用唯讀下標腳本的用法，該結構用來展示傳入整數的n倍。
struct TimesTable {
let multiplier: Int
subscript(index: Int) -> Int {
return multiplier * index
}
}
let threeTimesTable = TimesTable(multiplier: 3)
println("3的6倍是\(threeTimesTable[6])")
// 輸出 "3的6倍是18"
在上例中，通過TimesTable結構創建了一個用來表示索引值三倍的實例。數值3作為結構建構函式入參初始化實例成員multiplier。
你可以通過下標腳本來得到結果，比如threeTimesTable[6]。這條語句存取了threeTimesTable的第六個元素，回傳6的3倍即18。
注意：
TimesTable範例是基於一個固定的數學公式。它並不適合開放寫權限來對threeTimesTable[someIndex]進行賦值操作，這也是為什麼附屬腳本只定義為唯讀的原因。
下標腳本用法
根據使用場景不同下標腳本也具有不同的含義。通常下標腳本是用來存取集合（collection），列表（list）或序列（sequence）中元素的快捷方式。你可以在你自己特定的類別或結構中自由的實作下標腳本來提供合適的功能。
例如，Swift 的字典（Dictionary）實作了通過下標腳本來對其實例中存放的值進行存取操作。在下標腳本中使用和字典索引相同型別的值，並且把一個字典值型別的值賦值給這個下標腳本來為字典設值：
var numberOfLegs = ["spider": 8, "ant": 6, "cat": 4]
numberOfLegs["bird"] = 2
上例定義一個名為numberOfLegs的變數並用一個字典字面量初始化出了包含三對鍵值的字典實例。numberOfLegs的字典存放值型別推斷為Dictionary<String, Int>。字典實例創建完成之後通過下標腳本的方式將整型值2賦值到字典實例的索引為bird的位置中。
更多關於字典（Dictionary）下標腳本的資訊請參考讀取和修改字典
注意：
Swift 中字典的附屬腳本實作中，在get部分回傳值是Int?，上例中的numberOfLegs字典通過附屬腳本回傳的是一個Int?或者說「可選的int」，不是每個字典的索引都能得到一個整型值，對於沒有設過值的索引的存取回傳的結果就是nil；同樣想要從字典實例中刪除某個索引下的值也只需要給這個索引賦值為nil即可。
下標腳本選項
下標腳本允許任意數量的入參索引，並且每個入參型別也沒有限制。下標腳本的回傳值也可以是任何型別。下標腳本可以使用變數參數和可變參數，但使用寫入讀出（in-out）參數或給參數設置預設值都是不允許的。
一個類別或結構可以根據自身需要提供多個下標腳本實作，在定義下標腳本時通過入參個型別進行區分，使用下標腳本時會自動匹配合適的下標腳本實作執行，這就是下標腳本的重載。
一個下標腳本入參是最常見的情況，但只要有合適的場景也可以定義多個下標腳本入參。如下例定義了一個Matrix結構，將呈現一個Double型別的二維矩陣。Matrix結構的下標腳本需要兩個整型參數：
struct Matrix {
let rows: Int, columns: Int
var grid: Double[]
init(rows: Int, columns: Int) {
self.rows = rows
self.columns = columns
grid = Array(count: rows * columns, repeatedValue: 0.0)
}
func indexIsValidForRow(row: Int, column: Int) -> Bool {
return row >= 0 && row < rows && column >= 0 && column < columns
}
subscript(row: Int, column: Int) -> Double {
get {
assert(indexIsValidForRow(row, column: column), "Index out of range")
return grid[(row * columns) + column]
}
set {
assert(indexIsValidForRow(row, column: column), "Index out of range")
grid[(row * columns) + columns] = newValue
}
}
}
Matrix提供了一個兩個入參的建構方法，入參分別是rows和columns，創建了一個足夠容納rows * columns個數的Double型別陣列。為了儲存，將陣列的大小和陣列每個元素初始值0.0，都傳入陣列的建構方法中來創建一個正確大小的新陣列。關於陣列的建構方法和析構方法請參考創建並且建構一個陣列。
你可以通過傳入合適的row和column的數量來建構一個新的Matrix實例：
var matrix = Matrix(rows: 2, columns: 2)
上例中創建了一個新的兩行兩列的Matrix實例。在閱讀順序從左上到右下的Matrix實例中的陣列實例grid是矩陣二維陣列的扁平化儲存：
// 示意圖
grid = [0.0, 0.0, 0.0, 0.0]
col0 col1
row0 [0.0, 0.0,
row1 0.0, 0.0]
將值賦給帶有row和column下標腳本的matrix實例表達式可以完成賦值操作，下標腳本入參使用逗號分割
matrix[0, 1] = 1.5
matrix[1, 0] = 3.2
上面兩條語句分別讓matrix的右上值為 1.5，坐下值為 3.2：
[0.0, 1.5,
3.2, 0.0]
Matrix下標腳本的getter和setter中同時呼叫了下標腳本入參的row和column是否有效的判斷。為了方便進行斷言，Matrix包含了一個名為indexIsValid的成員方法，用來確認入參的row或column值是否會造成陣列越界：
func indexIsValidForRow(row: Int, column: Int) -> Bool {
return row >= 0 && row < rows && column >= 0 && column < columns
}
斷言在下標腳本越界時觸發：
let someValue = matrix[2, 2]
// 斷言將會觸發，因為 [2, 2] 已經超過了matrix的最大長度