错误处理

使用任何采用Error协议的类型表示错误。

enum PrinterError: Error {
    case outOfPaper
    case noToner
    case onFire
}

使用throw来抛出一个错误，使用throws来标记函数可以抛出错误。如果函数中抛出错误，函数将立即返回，调用该函数的代码来处理抛出的错误。

func send(job: Int, toPrinter printerName: String) throws -> String {
    if printerName == "Never Has Toner" {
        throw PrinterError.noToner
    }
    return "Job sent"
}

有几种方法来处理错误。 一种方法是使用do-catch。 在do模块里面，你可以通过在它前面写try来标记抛出错误的代码。 在catch模块内，会自动给出错误名称，除非你给它一个不同的名称。

练习：将printerName改成“Never Has Toner”，那么send(job:toPrinter:)将抛出错误。

do {
    let printerResponse = try send (job: 1040, toPrinter: "Never Has Toner")
    print(printerResponse)
    
} catch {
    print(error)
}

可以提供处理特定错误的多个catch块。 你在catch后写一个模式，就像在switch后的case一样。

do {
    let printerResponse = try send(job: 1440, toPrinter: "Gutenberg")
    print(printerResponse)
} catch PrinterError.onFire {
    print("I'll just put this over here, with the rest of the fire.")
} catch let printerError as PrinterError {
    print("Printer error: \(printerError).")
} catch {
    print(error)
}

练习：在do块中添加代码抛出一个错误。 你需要抛出什么样的错误，使错误让第一个catch块处理？ 让第二和第三catch块处理错误又该怎么做呢？

do {
    let printerResponse = try send(job: 1440, toPrinter: "onFire")
    if printerResponse == "Job sent" {
        throw PrinterError.onFire
    }
    print(printerResponse)
} catch PrinterError.onFire {
    print("I'll just put this over here, with the rest of the fire.")
} catch let printerError as PrinterError {
    print("Printer error: \(printerError).")
} catch {
    print(error)
}

另一种处理错误的方法是使用try?将结果转换为可选。 如果函数抛出错误，则丢弃特定错误，结果为nil。 否则，结果是一个可选的，包含函数返回的值。

let printerSuccess = try? send(job: 1884, toPrinter: "Mergenthaler")
let printerFailure = try? send(job: 1885, toPrinter: "Never Has Toner")

使用defer来写一个代码块，该代码块在函数中的所有其他代码之后，仅在函数返回之前执行该代码块。 无论函数是否抛出错误，都会执行该代码块。 您可以使用defer将设置(setup)和清除(cleanup)代码写在一起，即使它们需要在不同的时间执行。

var fridgeIsOpen = false
let fridgeContent = ["milk", "eggs", "leftovers"]

func fridgeContains(_ food: String) -> Bool {
    fridgeIsOpen = true
    defer {
        fridgeIsOpen = false
    }
    
    let result = fridgeContent.contains(food)
    return result
}
fridgeContains("banana")
print(fridgeIsOpen)

泛型

在尖括号中写入一个名称来创建泛型函数或者泛型类型。

func makeArray<Item>(repeating item: Item, numberOfTimes: Int) -> [Item] {
    var result = [Item]()
    for _ in 0..<numberOfTimes  {
        result.append(item)
    }
    return result
}
makeArray(repeating: "knock", numberOfTimes: 4)

你可以为函数、方法、类、枚举以及结构体创建泛型。

//重新实现 Swift 标准库中的可选类型（optional type）
enum OptionalValue<Wrapped> {
    case none
    case some(Wrapped)
}
var possibleInteger: OptionalValue<Int> = .none
print(possibleInteger)
possibleInteger = .some(100)
print(possibleInteger)

var possibleString: OptionalValue<String> = .none
possibleString = .some("ha")

在类型名称后使用where来指明一系列的要求。比如，要求类型遵守某个协议，要求两种类型相同，或者要求一个类有一个指定的超类。

func anyCommonElements<T: Sequence, U: Sequence>(_ lhs: T, _ rhs: U) -> Bool
    where T.Iterator.Element: Equatable, T.Iterator.Element == U.Iterator.Element {
        for lhsItem in lhs {
            for rhsItem in rhs {
                if lhsItem == rhsItem {
                    return true
                }
            }
        }
    
    return false
}
anyCommonElements([1, 2, 3], [5])
anyCommonElements([1, 2, 3], [3])

练习：修改anyCommonElements函数，让它返回传入的两个队列中相同元素组成的数组。

func anyCommonElements<T: Sequence, U: Sequence>(_ lhs: T, _ rhs: U) -> Array<Any>
    where T.Iterator.Element: Equatable, T.Iterator.Element == U.Iterator.Element {
//        var commonArray = Array<Any>()
        var commonArray = [Any]()
        
        for lhsItem in lhs {
            for rhsItem in rhs {
                if lhsItem == rhsItem {
                    commonArray.append(lhsItem)
                }
            }
        }
        
        return commonArray
}
anyCommonElements([1, 3, 6, 8], [3, 5, 1])

在简单的情况下，你可以忽略where，只需要在冒号后面指明协议或者类。 <T: Equatable>和 <T where T: Equatable>是等价的。