Swift5.x-开篇(中文文档)

3,742 阅读22分钟

引言

今天,开始系统学习Swift,以前都是零零散散的看看的let和var的区别、泛型,只知道它是一个面向协议且类型安全的语言,性能比OC好多了,也没有去实践过,感觉很空虚(内心感受,不要想歪)!开发了那么久才开始加入Swift,感觉落后了好多(T_T)... 好了,往事不提,从今天开始把它捡起来就好了。觉得对于我而言,最有效的学习方法是:一边学习官方文档,一边来翻译一遍,印象会更深刻一点(好吧,我承认,这是最没效率的一种方式T_T,奈何我的记性不是很好,只能用这种方法了)。在学习过程中,也终于搞清楚了Swift里特有的一些功能的用法,比如元组可选值和解包:?和!泛型If let和If var等等,说明学习一门语言,还要做从官方文档开始(个人见解,不喜勿喷)!接下来,让我们一起去探索Swift的奇妙之处吧!Fighting~

如果你已经大概了解Swift的基本知识点,那么请参阅下一章节:基础

欢迎来到SWIFT

1 关于Swift

Swift是一个编写软件的好方式,无论是手机、桌面、服务器还是其他运行代码的软件。它是一种安全、快速、交互性强的编程语言,融合了现代语言思维的精华和苹果工程文化的智慧,以及苹果开源社区的各种贡献。编译器针对性能进行了优化,语言针对开发进行了优化,两者都没有妥协。

Swift对新程序员很友好。它是一种工业质量的编程语言,与脚本语言一样具有表现力和趣味性。在playground上编写Swift代码可以让你体验代码并立即看到结果,而不用承担构建和运行应用程序的开销。

Swift通过采用现代编程模式定义了大量的常见编程错误:

  • 变量在使用之前总是要初始化。
  • 检查数组索引是否有越界错误。
  • 检查整数是否溢出。
  • 可选的变量确保显式地处理nil值。
  • 自动管理内存
  • 错误处理允许从意外错误中控制恢复。

Swift代码是编译和优化过的,以获得最大限度的现代硬件。语法和标准库是基于这样的指导原则设计的:显而易见的编写代码的方法也应该具有最好的性能。它的安全和速度的结合使Swift成为一个优秀的选择,从“Hello, world!”到整个操作系统。

Swift将强大的类型推断和模式匹配与现代的轻量级语法结合在一起,允许以清晰而简洁的方式表达复杂的思想。因此,代码不仅更容易编写,而且更容易阅读和维护。

Swift已经酝酿了数年,并不断发展新的特性和功能。我们对Swift的目标是雄心勃勃的。我们迫不及待地想看看你用它创造了什么。

2 版本兼容性

本书描述了Xcode 11.4中包含的Swift默认版本Swift 5.2。您可以使用Xcode 11.4来构建用Swift 5.2、Swift 4.2或Swift 4来编写targets。

当你用Xcode11.4构建Swift 4和Swift 4.2代码时,大多数Swift 5.2的功能也可以用。也就是说,以下更改仅适用于使用Swift 5.2或更高版本的代码:

  • 返回不透明类型的函数需要Swift 5.1运行时。
  • 试一试?表达式没有给已经返回可选的表达式引入额外的可选的级别。
  • 大整数文字的初始化表达式被推断为正确的整数类型。例如,UInt64(0xffff_ffff_ffff_ffff)会计算出正确的值,而不是溢出。

用Swift 5.2编写的target可以依赖于Swift 4.2或Swift 4编写的target,反之亦然。这意味着,如果您有一个被划分为多个框架的大型项目,您可以一次将代码从Swift 4迁移到Swift 5.2。

3 Swift之旅

根据传统,用一种新语言编写的第一个程序应该打印“Hello, world!”“在屏幕上。在Swift中,这可以在一行中完成:

print("Hello, world!")
// Prints "Hello, world!"

如果你用C或Objective-C编写代码,这种语法对你来说很熟悉——在Swift中,这行代码是一个完整的程序。对于输入/输出或字符串处理等功能,不需要导入单独的库。在全局作用域编写的代码用作程序的入口点,因此不需要main()函数。您也不需要在每条语句的末尾写上分号。

通过展示如何完成各种编程任务,本指南为您提供了足够的信息来开始使用Swift编写代码。如果你有不懂的地方,也不用担心——本书后面的部分会详细解释这一旅程中介绍的所有内容。

请注意 为了获得最好的体验,在Xcode中将本章作为playground打开。Playgrounds允许您编辑代码并立即看到结果。 Download Playground

3.1 简单的值

使用let创建常量,使用var创建变量。一个常量的值不需要在编译时被知道,但是必须精确地一次为它赋值。这意味着您可以使用常量来命名一次确定但在许多地方使用的值。

var myVariable = 42
myVariable = 50
let myConstant = 42

常量或变量的类型必须与要赋值的类型相同。但是,不必总是显式地编写类型。在创建常量或变量时提供一个值,使编译器可以推断其类型。在上面的例子中,编译器推断myVariable是一个整数,因为它的初始值是一个整数。

如果初始值没有提供足够的信息(或者没有初始值),通过将其写入变量后面,用冒号分隔,指定类型。

let implicitInteger = 70
let implicitDouble = 70.0
let explicitDouble: Double = 70

实验 创建一个具有显式Float类型和值4的常量。

值永远不会隐式转换为另一种类型。如果需要将一个值转换为另一种类型,请显式地创建所需类型的实例。

let label = "The width is "
let width = 50
let labelWidth = label + String(width)

实验 尝试从最后一行删除转换字符串。误差是多少?

在字符串中包含值还有一种更简单的方法:将值写在圆括号中,然后在圆括号前写一个反斜杠()。例如:

let apples = 3
let oranges = 5
let appleSummary = "I have \(apples) apples. "
let fruitSummary = "I have \(apples + oranges) pieces of fruit."

实验 使用\ ()在字符串中包含浮点计算,并在问候语中包含某人的名字。

对于占用多个行的字符串,使用三个双引号(""")。只要它与结束引号的缩进一致,就可以删除每个引用行开始的缩进。例如:

let quotation = """
I said "I have \(apples) apples."
And then I said "I have \(apples + oranges) pieces of fruit."
"""

使用方括号([])创建数组和字典,并通过在方括号中写入索引或键来访问它们的元素。最后一个元素后面允许有逗号。

var shoppingList = ["catfish", "water", "tulips"]
shoppingList[1] = "bottle of water"

var occupations = [
    "Malcolm": "Captain",
    "Kaylee": "Mechanic",
]
occupations["Jayne"] = "Public Relations"

数组会随着添加元素而自动增长。

shoppingList.append("blue paint")
print(shoppingList)

要创建空数组或字典,请使用初始化语法。

let emptyArray = [String]()
let emptyDictionary = [String: Float]()

如果可以推断类型信息,则可以将空数组写成[],将空字典写成[:]——例如,在为变量设置新值或向函数传递参数时。

shoppingList = []
occupations = [:]

3.2 控制流

使用if和switch来生成条件语句,使用for-in、while和repeat-while来生成循环。条件或循环变量周围的圆括号是可选的。需要在body周围带支架。

let individualScores = [75, 43, 103, 87, 12]
var teamScore = 0
for score in individualScores {
    if score > 50 {
        teamScore += 3
    } else {
        teamScore += 1
    }
}
print(teamScore)
// Prints "11"

在if语句中,条件语句必须是布尔表达式——这意味着代码如if score{…}是一个错误,而不是隐含的对零的比较。

可以使用if和let一起处理可能丢失的值。这些值表示为可选。可选值要么包含值,要么包含nil,以表示缺少值。在值的类型后面写一个问号(?)来标记该值为可选值。

var optionalString: String? = "Hello"
print(optionalString == nil)
// Prints "false"

var optionalName: String? = "John Appleseed"
var greeting = "Hello!"
if let name = optionalName {
    greeting = "Hello, \(name)"
}

实验 更改optionalName为nil。你收到了什么问候?如果optionalName为nil,添加一个else子句来设置不同的问候语。

如果可选值为nil,则条件为false,并跳过大括号中的代码。否则,可选值将被解包并赋给let之后的常量,这使得解包值在代码块中可用。

处理可选值的另一种方法是使用??操作符。如果缺少可选值,则使用默认值。

let nickName: String? = nil
let fullName: String = "John Appleseed"
let informalGreeting = "Hi \(nickName ?? fullName)"

Switches支持任何类型的数据和各种比较操作—它们不限于整数和是否相等的测试。

let vegetable = "red pepper"
switch vegetable {
case "celery":
    print("Add some raisins and make ants on a log.")
case "cucumber", "watercress":
    print("That would make a good tea sandwich.")
case let x where x.hasSuffix("pepper"):
    print("Is it a spicy \(x)?")
default:
    print("Everything tastes good in soup.")
}
// Prints "Is it a spicy red pepper?"

实验 移除default看看会有这么错误

结果:会报错补充:在枚举里,没有default又不会报错`

请注意在模式中如何使用let将与模式匹配的值分配给一个常量。

在执行匹配的switch case中的代码之后,程序从switch语句中退出。执行不会继续到下一个case,因此不需要在每个case的代码末尾显式地中断switch。

通过为每个键值对提供一对名称,可以使用for-in迭代字典中的项。字典是一个无序的集合,因此它们的键和值将以任意顺序迭代。

let interestingNumbers = [
    "Prime": [2, 3, 5, 7, 11, 13],
    "Fibonacci": [1, 1, 2, 3, 5, 8],
    "Square": [1, 4, 9, 16, 25],
]
var largest = 0
for (kind, numbers) in interestingNumbers {
    for number in numbers {
        if number > largest {
            largest = number
        }
    }
}
print(largest)
// Prints "25"

实验 添加另一个变量来跟踪哪种数字是最大的,以及最大的数字是什么。

使用while重复代码块,直到条件发生变化。循环的条件可以放在末尾,以确保循环至少运行一次。

var n = 2
while n < 100 {
    n *= 2
}
print(n)
// Prints "128"

var m = 2
repeat {
    m *= 2
} while m < 100
print(m)
// Prints "128"

您可以使用..在循环中保存索引,以生成索引范围。

var total = 0
for i in 0..<4 {
    total += i
}
print(total)
// Prints "6"

使用. .<创建一个忽略其上值的范围,并使用…生成包含这两个值的范围。

var total = 0
for i in 0...4 {
    total += i
}
print(total)
// Prints "10"

3.3 函数和闭包

使用func来声明一个函数。通过在函数名后面加上圆括号中的参数列表来调用函数。使用->将参数名称和类型与函数的返回类型分开。

func greet(person: String, day: String) -> String {
    return "Hello \(person), today is \(day)."
}
greet(person: "Bob", day: "Tuesday")

实验 删除day参数。添加一个参数,将今天的特别午餐包含在问候中。

默认情况下,函数使用它们的参数名作为参数的标签。在参数名前写一个自定义参数标签,或写_来不使用参数标签。

func greet(_ person: String, on day: String) -> String {
    return "Hello \(person), today is \(day)."
}
greet("John", on: "Wednesday")

使用元组生成复合值——例如,从函数返回多个值。元组的元素可以通过名称或数字引用。

func calculateStatistics(scores: [Int]) -> (min: Int, max: Int, sum: Int) {
    var min = scores[0]
    var max = scores[0]
    var sum = 0

    for score in scores {
        if score > max {
            max = score
        } else if score < min {
            min = score
        }
        sum += score
    }

    return (min, max, sum)
}
let statistics = calculateStatistics(scores: [5, 3, 100, 3, 9])
print(statistics.sum)
// Prints "120"
print(statistics.2)
// Prints "120"

函数可以嵌套。嵌套函数可以访问在外部函数中声明的变量。可以使用嵌套函数将代码组织到一个长或复杂的函数中。

func returnFifteen() -> Int {
    var y = 10
    func add() {
        y += 5
    }
    add()
    return y
}
returnFifteen()

函数是一类类型。这意味着一个函数可以返回另一个函数作为它的值。

func makeIncrementer() -> ((Int) -> Int) {
    func addOne(number: Int) -> Int {
        return 1 + number
    }
    return addOne
}
var increment = makeIncrementer()
increment(7)

一个函数可以接受另一个函数作为它的参数之一。

func hasAnyMatches(list: [Int], condition: (Int) -> Bool) -> Bool {
    for item in list {
        if condition(item) {
            return true
        }
    }
    return false
}
func lessThanTen(number: Int) -> Bool {
    return number < 10
}
var numbers = [20, 19, 7, 12]
hasAnyMatches(list: numbers, condition: lessThanTen)

函数实际上是闭包的一种特殊情况:后面可以调用的代码块。闭包中的代码可以访问在创建闭包的作用域中可用的变量和函数,即使闭包在执行时处于不同的作用域中—您已经在嵌套函数中看到了这样的示例。通过在代码周围使用大括号({}),可以编写没有名称的闭包。用于将参数和返回类型与主体分隔开。

numbers.map({ (number: Int) -> Int in
    let result = 3 * number
    return result
})

实验 重写闭包以对所有奇数返回零。

numbers.map({ (number: Int) -> Int in
     if number % 2 != 0 {
          return 0
     }
     return number
})

有几种方法可以更简洁地编写闭包。如果已经知道闭包的类型(比如委托的回调),则可以省略其参数的类型、返回类型或两者都省略。单语句闭包隐式地返回它们唯一语句的值。

let mappedNumbers = numbers.map({ number in 3 * number })
print(mappedNumbers)
// Prints "[60, 57, 21, 36]"

可以通过数字而不是名称引用参数——这种方法在非常短的闭包中特别有用。作为函数最后一个参数传递的闭包可以立即出现在括号之后。当闭包是函数的唯一参数时,可以完全省略括号。

let sortedNumbers = numbers.sorted { $0 > $1 }
print(sortedNumbers)
// Prints "[20, 19, 12, 7]"

3.4 对象和类

使用类后跟类名创建类。类中的属性声明与常量或变量声明的编写方式相同,只是它是在类的上下文中。同样,方法和函数声明也以同样的方式编写。

class Shape {
    var numberOfSides = 0
    func simpleDescription() -> String {
        return "A shape with \(numberOfSides) sides."
    }
}

实验 用let添加一个常量属性,并添加另一个接受参数的方法。

通过在类名后面加上括号来创建类的实例。使用点语法访问实例的属性和方法。

var shape = Shape()
shape.numberOfSides = 7
var shapeDescription = shape.simpleDescription()

这个版本的Shape类缺少一些重要的东西:创建实例时用于设置类的初始化器。使用init创建一个。

class NamedShape {
    var numberOfSides: Int = 0
    var name: String

    init(name: String) {
        self.name = name
    }

    func simpleDescription() -> String {
        return "A shape with \(numberOfSides) sides."
    }
}

请注意如何使用self来区分name属性和初始化器的name参数。在创建类的实例时,初始化器的参数像函数调用一样传递。每个属性都需要分配一个值——要么在其声明中(如numberOfSides),要么在初始化器中(如name)。

如果需要在释放对象之前执行一些清理,请使用deinit创建一个deinitializer。

子类包括它们的父类名在它们的类名之后,用冒号分隔。类不需要子类化任何标准根类,因此可以根据需要包含或省略父类。

重写父类实现的子类上的方法标记为重写—意外重写方法,如果不重写,编译器将检测为错误。编译器还会检测带有override的方法,这些方法实际上没有覆盖父类中的任何方法。

class Square: NamedShape {
    var sideLength: Double

    init(sideLength: Double, name: String) {
        self.sideLength = sideLength
        super.init(name: name)
        numberOfSides = 4
    }

    func area() -> Double {
        return sideLength * sideLength
    }

    override func simpleDescription() -> String {
        return "A square with sides of length \(sideLength)."
    }
}
let test = Square(sideLength: 5.2, name: "my test square")
test.area()
test.simpleDescription()

实验 创建NamedShape的另一个子类Circle,它接受半径和名称作为初始化器的参数。在Circle类上实现area()和simpleDescription()方法。

除了存储的简单属性外,属性还可以有getter和setter。

class EquilateralTriangle: NamedShape {
    var sideLength: Double = 0.0

    init(sideLength: Double, name: String) {
        self.sideLength = sideLength
        super.init(name: name)
        numberOfSides = 3
    }

    var perimeter: Double {
        get {
            return 3.0 * sideLength
        }
        set {
            sideLength = newValue / 3.0
        }
    }

    override func simpleDescription() -> String {
        return "An equilateral triangle with sides of length \(sideLength)."
    }
}
var triangle = EquilateralTriangle(sideLength: 3.1, name: "a triangle")
print(triangle.perimeter)
// Prints "9.3"
triangle.perimeter = 9.9
print(triangle.sideLength)
// Prints "3.3000000000000003"

在setter中的perimeter,新值的隐式名称为newValue。可以在set后面的圆括号中提供显式名称。如:

set(value) {  //setter的显式名称value
   sideLength = value / 3.0
}

注意EquilateralTriangle类的初始化器有三个不同的步骤:

  1. 设置子类声明的属性的值。
  2. 调用父类的初始化方法。
  3. 更改父类定义的属性的值。使用方法、getter或setter的任何其他设置工作也可以在此时完成。

如果您不需要计算属性,但仍然需要提供在设置新值之前和之后运行的代码,请使用willSet和didSet。只要值在初始化器之外发生更改,就会运行您提供的代码。例如,下面的类确保三角形的边长始终与正方形的边长相同。

class TriangleAndSquare {
    var triangle: EquilateralTriangle {
        willSet {
            square.sideLength = newValue.sideLength
        }
    }
    var square: Square {
        willSet {
            triangle.sideLength = newValue.sideLength
        }
    }
    init(size: Double, name: String) {
        square = Square(sideLength: size, name: name)
        triangle = EquilateralTriangle(sideLength: size, name: name)
    }
}
var triangleAndSquare = TriangleAndSquare(size: 10, name: "another test shape")
print(triangleAndSquare.square.sideLength)
// Prints "10.0"
print(triangleAndSquare.triangle.sideLength)
// Prints "10.0"
triangleAndSquare.square = Square(sideLength: 50, name: "larger square")
print(triangleAndSquare.triangle.sideLength)
// Prints "50.0"

当使用可选值时,您可以在方法、属性和下标等操作之前写?。如果?前面的值是nil,?后面的每个东西和整个表达式的值都为nil。否则,可选值将被解包装,而?作用于未包装的值。在这两种情况下,整个表达式的值都是可选值。

let optionalSquare: Square? = Square(sideLength: 2.5, name: "optional square")
let sideLength = optionalSquare?.sideLength

3.5 枚举和结构体

使用enum创建枚举。与类和所有其他命名类型一样,枚举可以有与之关联的方法。

enum Rank: Int {
    case ace = 1
    case two, three, four, five, six, seven, eight, nine, ten
    case jack, queen, king

    func simpleDescription() -> String {
        switch self {
        case .ace:
            return "ace"
        case .jack:
            return "jack"
        case .queen:
            return "queen"
        case .king:
            return "king"
        default:
            return String(self.rawValue)
        }
    }
}
let ace = Rank.ace
let aceRawValue = ace.rawValue

实验 写一个函数,比较两个秩值的原始值。

默认情况下,Swift从0开始分配原始值,每次递增1,但您可以通过显式指定值来改变这种行为。在上面的示例中,Ace被显式地赋予一个原始值1,其余的原始值是按顺序分配的。还可以使用字符串或浮点数作为枚举的原始类型。使用rawValue属性访问枚举用例的原始值。

使用init?(rawValue:)初始化器从原始值生成枚举的实例。它返回与原始值匹配的枚举用例,如果没有匹配的Rank,则返回nil。

if let convertedRank = Rank(rawValue: 3) {
    let threeDescription = convertedRank.simpleDescription()
}

枚举的case值是实际值,而不仅仅是编写原始值的另一种方式。事实上,在没有有意义的原始值的情况下,您不必提供。

enum Suit {
    case spades, hearts, diamonds, clubs

    func simpleDescription() -> String {
        switch self {
        case .spades:
            return "spades"
        case .hearts:
            return "hearts"
        case .diamonds:
            return "diamonds"
        case .clubs:
            return "clubs"
        }
    }
}
let hearts = Suit.hearts
let heartsDescription = hearts.simpleDescription()

实验 添加一个color()方法,使其对黑桃和梅花返回“黑色”,对红心和方块返回“红色”。

代码如下:

enum CardColor {
    case Heitao, Meihua, Fangkuai, Hongxin
    
    func color() -> String {
        switch self {
        case .Heitao:
            return "black"
        case .Meihua:
            return "black"
        case .Fangkuai:
            return "red"
        case .Hongxin:
            return "red"
        }
    }
}

请注意上面引用枚举的hearts case的两种方式:当为hearts常量赋值时,由于该常量没有明确指定类型,所以引用枚举case的Suit.hearts全名。在switch内部,枚举case通过缩写形式.hearts来引用,因为self的值已经知道是一个suit。只要值的类型已知,就可以使用缩写形式。

如果枚举具有原始值,则这些值将作为声明的一部分,这意味着特定枚举case的每个实例始终具有相同的原始值。枚举cases的另一种选择是拥有与该case相关联的值——这些值是在创建实例时确定的,对于枚举case的每个实例,它们可以是不同的。可以将关联值看作类似于枚举case实例的存储属性。例如,考虑从服务器请求日出和日落时间的情况。服务器要么响应请求的信息,要么响应错误的描述。

enum ServerResponse {
    case result(String, String)
    case failure(String)
}

let success = ServerResponse.result("6:00 am", "8:09 pm")
let failure = ServerResponse.failure("Out of cheese.")

switch success {
case let .result(sunrise, sunset):
    print("Sunrise is at \(sunrise) and sunset is at \(sunset).")
case let .failure(message):
    print("Failure...  \(message)")
}
// Prints "Sunrise is at 6:00 am and sunset is at 8:09 pm."

实验 添加第三个case到ServerResponse和switch

请注意,日出和日落时间是如何从ServerResponse值中提取的,作为与switch cases匹配值的一部分。

使用struct创建结构体。结构体支持许多与类相同的行为,包括方法和初始化器。结构体和类之间最重要的区别之一是,当结构体在代码中传递时,它们总是复制的(值传递),而类是通过引用传递的(引用传递)。

struct Card {
    var rank: Rank
    var suit: Suit
    func simpleDescription() -> String {
        return "The \(rank.simpleDescription()) of \(suit.simpleDescription())"
    }
}
let threeOfSpades = Card(rank: .three, suit: .spades)
let threeOfSpadesDescription = threeOfSpades.simpleDescription()

实验 编写一个函数返回一个数组,该数组包含一副牌,每副牌的等级和花色组合各一张牌。

3.6 协议和扩展

使用protocol定义协议

protocol ExampleProtocol {
    var simpleDescription: String { get }
    mutating func adjust()
}

类、枚举和结构都可以采用协议。

class SimpleClass: ExampleProtocol {
    var simpleDescription: String = "A very simple class."
    var anotherProperty: Int = 69105
    func adjust() {
        simpleDescription += "  Now 100% adjusted."
    }
}
var a = SimpleClass()
a.adjust()
let aDescription = a.simpleDescription

struct SimpleStructure: ExampleProtocol {
    var simpleDescription: String = "A simple structure"
    mutating func adjust() {
        simpleDescription += " (adjusted)"
    }
}
var b = SimpleStructure()
b.adjust()
let bDescription = b.simpleDescription

实验 向ExampleProtocol添加另一个需求。您需要对SimpleClass和SimpleStructure做哪些更改,以使它们仍然符合协议?

注意,在SimpleStructure的声明中使用了mutating关键字来标记修改结构体的方法。SimpleClass的声明不需要将其任何方法标记为mutating,因为类上的方法总是可以修改类。

使用extension向现有类型添加功能,如新方法和计算属性。可以使用扩展将协议一致性添加到别处声明的类型,甚至添加到从库或框架导入的类型。

extension Int: ExampleProtocol {
    var simpleDescription: String {
        return "The number \(self)"
    }
    mutating func adjust() {
        self += 42
    }
}
print(7.simpleDescription)
// Prints "The number 7"

实验 为Double类型编写扩展,以添加absoluteValue属性。

您可以像使用任何其他命名类型一样使用协议名称—例如,创建具有不同类型但都符合单一协议的对象集合。当处理其类型为协议类型的值时,协议定义之外的方法不可用。

let protocolValue: ExampleProtocol = a
print(protocolValue.simpleDescription)
// Prints "A very simple class.  Now 100% adjusted."
// print(protocolValue.anotherProperty)  // Uncomment to see the error

即使可变protocolValue的运行时类型是SimpleClass,编译器也会将其视为给定类型的ExampleProtocol。这意味着您不能意外地访问类实现的方法或属性,而不仅仅是其协议一致性。

3.7 错误处理

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

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块中,除非您给它起了一个不同的名字,否则错误将自动被命名为错误。

do {
    let printerResponse = try send(job: 1040, toPrinter: "Bi Sheng")
    print(printerResponse)
} catch {
    print(error)
}
// Prints "Job sent"

实验 将打印机名称改为“Never have Toner”,使send(job:toPrinter:)函数抛出一个错误。

您可以提供多个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)
}
// Prints "Job sent"

实验 添加在do块中抛出错误的代码。为了让第一个catch块处理错误,您需要抛出什么类型的错误?第二和第三个blocks怎么样?

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

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

使用defer编写一个代码块,该代码块在函数中所有其他代码之后执行,就在函数返回之前执行。无论函数是否抛出错误,代码都将执行。您可以使用defer相邻地编写设置和清理代码,即使它们需要在不同的时间执行。

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)
// Prints "false"

3.8 泛型

在尖括号内编写名称,使其成为泛型函数或类型。

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)

您可以创建泛型形式的函数和方法,以及类、枚举和结构。

// Reimplement the Swift standard library's optional type
enum OptionalValue<Wrapped> {
    case none
    case some(Wrapped)
}
var possibleInteger: OptionalValue<Int> = .none
possibleInteger = .some(100)

在类型名后面使用where关键字可以定义一个限制列表,例如,限制类型实现某一协议,或者要求两个类型相同,或者要求类继承某个父类.

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

实验 修改anyCommonElements(_ :_ :)函数,使其返回任意两个序列共有的元素数组。

在上面的例子中,你可以忽略 where ,在冒号后面只写协议名或者类名。写法 <T: Equatable>与写法作用是相同的.

下一章节:基础

参考文档:Swift - WELCOME TO SWIFT