本頁包含內(nèi)容：

[TOC]

下標可以定義在類、結(jié)構(gòu)體和枚舉中，是訪問集合、列表和序列中元素的快捷方式，可以使用下標的索引，設(shè)置和獲取值，而不需要再調(diào)用對應(yīng)的存取方法。舉例來說，用下標訪問一個Array實例中的元素可以寫作someArray[index]，訪問Dictionary實例中的元素可以寫作someDictionary[key]。

一個類型可以定義多個下標，通過不同索引類型進行重載。下標不限于一維，你可以定義具有多個入?yún)⒌南聵藵M足自定義類型的需求。

下標語法

下標允許你通過在實例名稱后面的方括號中傳入一個或者多個索引值類對實例進行存取。語法類似實例方法和計算型語法的混合。與定義實例方法類似，定義下標使用subscript關(guān)鍵字，指定一個或多個輸入?yún)?shù)和返回類型；與實例方法不同的使，下標可以設(shè)定為讀寫或只讀。這種行為由getter和setter實現(xiàn)，有點類似計算型屬性：

subscript(index: Int) -> Int {
    get {
        // 返回一個適當?shù)腎nt類型值
    }
    set(newValue) {
        // 執(zhí)行適當?shù)馁x值操作
    }
}

newValue的類型和下標的返回類型相同，如同計算型屬性，可以不指定setter的參數(shù)，如果不指定參數(shù)，setter會提供一個名為newValue的默認參數(shù)。

如同只讀計算型屬性，可以省略只讀下標的get關(guān)鍵字：

subscript(index: Int) -> Int {
    // 返回一個適當?shù)腎nt類型的值
}

下面的代碼演示了只讀下標的實現(xiàn)，這里定義了一個TimesTable結(jié)構(gòu)體，用來表示傳入整數(shù)的乘法表：

struct TimesTable {
    let multiplier: Int
    subscript(index: Int) -> Int {
        return multiplier * index
    }
}

let threeTimesTable = TimesTable(multiplier: 3)
print("six times three is \(threeTimesTable[6])")
// 輸出 "six times three is 18"

在上例中，創(chuàng)建了一個TimesTable實例，用來表示整數(shù)3的乘法表。數(shù)值3被傳遞給結(jié)構(gòu)體的構(gòu)造函數(shù)，作為實例成員multiplier的值。

你可以通過下標訪問threeTimesTable實例，例如上面演示的threeTimesTable[6]。這條語句查詢了3的乘法表中的第六個元素，返回3的6倍即18。

注意：TimesTable例子基于一個固定的數(shù)學公式，對threeTimesTable[someIndex]進行賦值操作并不合適，因此下標定義為只讀的。

下標用法

下標的確切含義取決于使用場景。下標通常作為訪問集合、列表和序列中元素的快捷方式。你可以針對自己特定的類或者結(jié)構(gòu)體的功能來自由地義最恰當?shù)姆绞綄崿F(xiàn)下標。

例如，Swift的Dictionary類型實現(xiàn)下標用于對其實例中存儲的值進行存取操作。為字典設(shè)置值時，在下標中使用和字典的鍵類型相同的鍵，并把一個和字典的值類型的值賦給這個下標：

var numberOfLegs = ["spider": 8, "ant": 6, "cat": 4]
numberOfLegs["bird"] = 2

上例定義一個名為numberOfLegs的變量，并用一個包含三對鍵值的字典字面量初始化它。numberOfLegs字典的類型被推斷為[String: Int]。字典創(chuàng)建完成后，該例子通過下標將String類型的鍵bird和Int類型的值2添加到字典中。

注意：Swift的Dictionary類型的下標接受并返回可選類型的值。上例中的numberOfLegs字典通過下標返回的是一個Int?或者說“可選的int”。Dictionary類型之所以如此實現(xiàn)下標，是因為不是每個鍵都有個對應(yīng)的值，同時這也提供了一種通過鍵刪除對應(yīng)值的方式，只需將鍵對應(yīng)的值賦值為nil即可。

下標選項

下標可以接受任意數(shù)量的入?yún)?，并且這些入?yún)⒖梢允侨我忸愋汀Ｏ聵说姆祷刂狄部梢允侨我忸愋?。下標也可以使用變量參?shù)可變參數(shù)，但不能使用輸入輸出參數(shù)，也不能給參數(shù)設(shè)置默認值。

一個類或結(jié)構(gòu)體可以根據(jù)自身需要提供多個下標實現(xiàn)，使用下標時將通過入?yún)⒌臄?shù)量和類型進行區(qū)分，自動匹配合適的下標，這就是下標的重載。

雖然接受單一入?yún)⒌南聵藭r最常見的，但也可以根據(jù)情況定義接受多個入?yún)⒌南聵恕?/p>

例如下例定義了一個Matrix結(jié)構(gòu)體，用于表示一個Double類型的二維矩陣。Matrix結(jié)構(gòu)體的下標接受兩個整型參數(shù)：

struct Matrix {
    let rows: Int, columns: Int
    var grid: [Double]
    init(rows: Int, columns: Int) {
        self.rows = rows
        self.columns = columns
        grid = Array(repeating: 0.0, count: rows * columns)
    }
    func indexIsValid(row: Int, column: Int) -> Bool {
        return row >=0 && row < rows && column >=0 && column <  columns
    }
    subscript(row: Int, column: Int) -> Double {
        set {
            assert(indexIsValid(row: row, column: column), "Index out of range")
            grid[(row * columns) + column] = newValue
        }
        get {
            assert(indexIsValid(row: row, column: column), "Index out of range")
            return grid[(row * columns) + column]
 
        }
    }
}

Matrix提供了一個接受兩個入?yún)⒌臉?gòu)造方法，入?yún)⒎謩e是rows和columns，創(chuàng)建了一個足夠容納rows * columns個Double類型的值的數(shù)組。通過傳入數(shù)組長度和初始值0.0到數(shù)組的構(gòu)造器，將矩陣中每個位置的值初始化為0.0。

你可以通過傳入合適的row和column的數(shù)量來構(gòu)造一個新的Matrix實例：

var matrix = Matrix(rows: 2, columns: 2)

上例中創(chuàng)建了一個Matrix實例來表示兩行兩列的矩陣。該Matrix實例的grid數(shù)組按照從左上到右下的閱讀順序?qū)⒕仃嚤馄交鎯Γ?/p>

[圖片上傳失敗...(image-bed4b2-1520405596285)]

將row和column的值傳入下標來為矩陣設(shè)值，下標的入?yún)⑹褂枚禾柗指簦?/p>

matrix[0, 1] = 1.5
matrix[1, 0] = 3.2

上面兩條語句分別調(diào)用下標的 setter 將矩陣右上角位置（即row為0、column為1的位置）的值設(shè)置為1.5，將矩陣左下角位置（即row為1、column為0的位置）的值設(shè)置為3.2：

[圖片上傳失敗...(image-c75ac0-1520405596285)]

Matrix下標的 getter 和 setter 中都含有斷言，用來檢查下標入?yún)?code>row和column的值是否有效。為了方便進行斷言，Matrix包含了一個名為indexIsValid(row:column:)的便利方法，用來檢查入?yún)?code>row和column的值是否在矩陣范圍內(nèi)：

func indexIsValid(row: Int, column: Int) -> Bool {
    return row >= 0 && row < rows && column >= 0 && column < columns
}

斷言在下標越界時觸發(fā)：

let someValue = matrix[2, 2]
// 斷言將會觸發(fā)，因為 [2, 2] 已經(jīng)超過了 matrix 的范圍