Swift 导览

Swift 导览

探索 Swift 的特性和语法。

按照传统,编程语言教程的第一个程序应该是在屏幕上打印出“Hello, world!”。在 Swift 中,这可以用一行代码实现:

print("Hello, world!")
// 打印“Hello, world!”

如果你了解其他编程语言,那么你应该很熟悉这种写法——在 Swift 中,这行代码就是一个完整的程序。你不需要为了输出文本或处理字符串而导入一个单独的库。全局作用域中的代码会被当做程序的入口点,因此你不需要 main() 函数。你也不需要在每条语句的末尾添加分号。

本导览会通过一系列编程例子来提供给你足够的信息,让你能够开始使用 Swift 编程。如果你有什么不理解的地方也不要担心——本导览中介绍的所有内容都会在本书的后续章节中进行详细地讲解。

简单值

使用 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 = 94
let widthLabel = label + String(width)

练习: 尝试移除最后一行中的 String 类型转换。会显示什么错误?

有一种更简单的方法可以在字符串中包含值:将值写在括号中,并在括号前加上反斜杠(``)。例如:

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

练习: 使用 \() 将一个浮点计算包含在字符串中,并在一句问候语中包含某人的名字。

对于占用多行的字符串,使用三个双引号(""")来表示。每行开头的缩进只要与结尾引号的缩进相匹配,都会被移除。例如:

let quotation = """
        Even though there's whitespace to the left,
        the actual lines aren't indented.
            Except for this line.
        Double quotes (") can appear without being escaped.

        I still have \(apples + oranges) pieces of fruit.
        """

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

var fruits = ["strawberries", "limes", "tangerines"]
fruits[1] = "grapes"

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

数组在添加元素时会自动变大。

fruits.append("blueberries")
print(fruits)
// 打印“["strawberries", "grapes", "tangerines", "blueberries"]”

你也可以使用方括号来表示空数组或空字典。对于数组,使用 [];对于字典,使用 [:]

fruits = []
occupations = [:]

如果你要将一个空数组或空字典赋值给一个新变量,或者赋值到没有任何类型信息的地方,那么你需要显式指定类型。

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

控制流

使用 ifswitch 来创建条件语句,使用 for-inwhilerepeat-while 来创建循环。包裹条件或循环变量的圆括号是可选的,但包裹代码块的花括号是必须的。

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

if 语句中,条件必须是一个布尔表达式——这意味着像 if score { ... } 这样的代码是错误的,而不是隐式地将 score 与零进行比较。

你可以在赋值操作符(=)或 return 之后使用 ifswitch,以根据条件选择一个值。

let scoreDecoration = if teamScore > 10 {
    "🎉"
} else {
    ""
}
print("Score:", teamScore, scoreDecoration)
// 打印“Score: 11 🎉”

你可以将 iflet 结合使用,来处理值可能缺失的情况。这些值用可选值来表示。一个可选值要么包含一个值,要么包含 nil 来表示值缺失。在一个值的类型后面加一个问号(?)来标记该值是可选值。

var optionalString: String? = "Hello"
print(optionalString == nil)
// 打印“false”

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

练习: 将 optionalName 的值设置为 nilgreeting 会是什么?添加一个 else 分支,当 optionalNamenil 时,给 greeting 赋一个不同的值。

如果可选值是 nil,条件会判断为 false,花括号中的代码将被跳过。如果不是 nil,会将值解包并赋给 let 后面的常量,这样代码块中就可以使用这个解包后的值了。

另一种处理可选值的方法是使用 ?? 运算符提供一个默认值。如果可选值缺失的话,则使用默认值来代替。

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

你可以使用更简洁的写法来解包一个值,解包后的值用同样的名字来表示。

if let nickname {
    print("Hey, \(nickname)")
}
// 不会打印任何东西,因为 nickname 为 nil 。

switch 语句支持任意类型的数据和多种比较操作——不仅限于整数和等值比较。

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.")
}
// 打印“Is it a spicy red pepper?”

练习: 删除 default 分支,会显示什么错误?

注意 let 在上述例子的匹配模式中是如何使用的,它将匹配到的值赋给常量 x

运行 switch 中匹配到的 case 语句之后,程序会退出 switch 语句,并不会继续向下运行,所以不需要在每个子句结尾写 break

你可以使用 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 (_, numbers) in interestingNumbers {
    for number in numbers {
        if number > largest {
            largest = number
        }
    }
}
print(largest)
// 打印“25”

练习: 将 _ 替换成变量名,以便记录最大的数字是属于哪一类的。

使用 while 来重复运行一段代码,直到条件改变。循环条件也可以放在末尾,以确保至少循环一次。

var n = 2
while n < 100 {
    n *= 2
}
print(n)
// 打印“128”

var m = 2
repeat {
    m *= 2
} while m < 100
print(m)
// 打印“128”

练习: 将条件从 m < 100 改为 m < 0,以观察 whilerepeat-while 在循环条件一开始就为假时的区别。

你可以在循环中使用 ..< 来创建一个索引范围。

var total = 0
for i in 0..<4 {
    total += i
}
print(total)
// 打印“6”

使用 ..< 创建不包含上限值的范围,使用 ... 创建包含上限值的范围。

函数和闭包

使用 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)
// 打印“120”
print(statistics.2)
// 打印“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)

函数实际上是一种特殊的闭包:它是能在之后被调用的代码块。闭包中的代码能访问闭包作用域中的变量和函数,即使闭包在执行时处于不同的作用域中——你在嵌套函数的例子中已经见过这种情况。你可以使用({})来创建一个匿名闭包。使用 in 将参数和返回类型与代码主体分隔开。

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

练习: 重写闭包,使其对所有奇数返回零。

你有多种方法可以更简洁地编写闭包。当闭包的类型已知时,比如作为代理的回调函数,你可以省略参数类型、返回类型,或者两者都省略。对于单个语句的闭包,它会隐式返回该语句的值。

let mappedNumbers = numbers.map({ number in 3 * number })
print(mappedNumbers)
// 打印“[60, 57, 21, 36]”

你可以通过编号而不是名称来引用参数——这种方式在非常简短的闭包中特别有用。如果闭包是函数的最后一个参数,它可以直接写在括号后面。当闭包是函数的唯一参数时,甚至可以省略括号。

let sortedNumbers = numbers.sorted { $0 > $1 }
print(sortedNumbers)
// 打印“[20, 19, 12, 7]”

对象和类

使用 class 和类名来创建一个类。类中属性的声明方式与常量或变量相同,只不过是在类的上下文中。同样,方法的声明方式也与函数相同。

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 来创建一个析构函数。

子类的定义方法是在它们的类名后面加上父类的名字,用冒号分割。创建类的时候并不需要一个标准的根类,因此你可以根据需要选择是否指定父类。

在子类中重写父类的方法时需要使用 override 进行标记——如果不小心重写了方法但没有使用 override,编译器会报错。如果使用了 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)
// 打印“9.3”
triangle.perimeter = 9.9
print(triangle.sideLength)
// 打印“3.3000000000000003”

perimeter 的 setter 中,新值有一个默认的名字 newValue。你可以在 set 后的括号中显式地指定一个名字。

注意 EquilateralTriangle 类的构造器执行了三步:

  1. 设置子类中声明的属性值。
  2. 调用父类的构造器。
  3. 修改父类中定义的属性值。其他的工作比如调用方法、getters 和 setters 也可以在这个阶段完成。

如果你不需要计算属性,但仍然需要在设置新值前后执行一些代码,可以使用 willSetdidSet。这些代码会在属性值发生变化时运行,但不包含构造器中发生值改变的情况。比如,下面的类确保其三角形的边长始终与正方形的边长相同。

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)
// 打印“10.0”
print(triangleAndSquare.triangle.sideLength)
// 打印“10.0”
triangleAndSquare.square = Square(sideLength: 50, name: "larger square")
print(triangleAndSquare.triangle.sideLength)
// 打印“50.0”

处理可选值时,可以在方法、属性或下标操作前加上 ?。如果 ? 前的值是 nil,那么 ? 后的所有操作都会被忽略,整个表达式的结果为 nil。否则,可选值会被解包,? 后的操作会作用于解包后的值。在这两种情况下,整个表达式的值仍然是一个可选值。

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

枚举和结构体

使用 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

练习: 写一个函数,通过比较它们的原始值来比较两个 Rank 值。

默认情况下,Swift 按照从 0 开始每次加 1 的方式为原始值进行赋值,不过你可以通过显式赋值进行改变。在上面的例子中,Ace 被显式赋值为 1,剩下的原始值会按照顺序进行赋值。你也可以使用字符串或者浮点数作为枚举的原始值。使用 rawValue 属性来访问一个枚举成员的原始值。

要根据原始值创建枚举实例,可以使用 init?(rawValue:) 构造器。它会返回与该原始值匹配的枚举成员,如果没有匹配的 Rank 则返回 nil

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

枚举值是实际值,并不是原始值的另一种表达方法。实际上,如果原始值没有意义,你就不需要提供原始值。

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()

练习: 给 Suit 添加一个 color() 方法,对 spades 和 clubs 返回“black”,对 hearts 和 diamonds 返回“red”。

注意在上面的例子中用了两种方式引用 hearts 枚举成员:给 hearts 常量赋值时,由于没有显式指定常量的类型,因此使用了枚举成员的全名 Suit.hearts 来引用。在 switch 语句中,由于 self 的类型已经被确定为 Suit,因此枚举成员可以使用缩写 .hearts 来引用。只要值的类型已经明确就可以使用缩写。

如果枚举成员有原始值,那么这些值是在声明的时候就已经确定了,这意味着每个枚举实例的枚举成员总是具有相同的原始值。我们也可以为枚举成员设定关联值——这些值是在创建实例时确定的,这样同一枚举成员在不同实例的关联值可以不相同。你可以将关联值理解为枚举成员实例的存储属性。例如,在从服务器请求日出和日落时间时,服务器可能会返回所请求的日出和日落时间,或者返回一个描述错误的消息。

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)")
}
// 打印“Sunrise is at 6:00 am and sunset is at 8:09 pm.”

练习: 给 ServerResponse 和 switch 添加第三种情况。

注意在 switch 语句中匹配 ServerResponse 值时,是如何提取出日出和日落时间的。

使用 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()

练习: 写一个函数,返回一个的数组,数组中包含拥有所有花色和点数的整副扑克牌。

并发性

使用 async 标记异步运行的函数。

func fetchUserID(from server: String) async -> Int {
    if server == "primary" {
        return 97
    }
    return 501
}

你可以通过在函数名前添加 await 来标记对异步函数的调用。

func fetchUsername(from server: String) async -> String {
    let userID = await fetchUserID(from: server)
    if userID == 501 {
        return "John Appleseed"
    }
    return "Guest"
}

使用 async let 来调用异步函数,并让它与其它异步函数并行运行。如果要使用该异步函数的返回值,需要写上 await

func connectUser(to server: String) async {
    async let userID = fetchUserID(from: server)
    async let username = fetchUsername(from: server)
    let greeting = await "Hello \(username), user ID \(userID)"
    print(greeting)
}

使用 Task 从同步代码中调用异步函数且不等待它们的返回结果。

Task {
    await connectUser(to: "primary")
}
// 打印“Hello Guest, user ID 97”

使用任务组可以更好地组织并发代码。

let userIDs = await withTaskGroup(of: Int.self) { group in
    for server in ["primary", "secondary", "development"] {
        group.addTask {
            return await fetchUserID(from: server)
        }
    }

    var results: [Int] = []
    for await result in group {
        results.append(result)
    }
    return results
}

actor 和类很相似,但它可以确保同一时刻不同的异步函数可以安全地与同一个 actor 的实例交互。

actor ServerConnection {
    var server: String = "primary"
    private var activeUsers: [Int] = []
    func connect() async -> Int {
        let userID = await fetchUserID(from: server)
        // ... 和服务器通讯 ...
        activeUsers.append(userID)
        return userID
    }
}

当调用一个 actor 实例的方法或访问其属性时,用 await 来表示可能需要等待已经在 actor 实例中运行的其他代码完成。

let server = ServerConnection()
let userID = await server.connect()

协议和扩展

使用 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 增加一个要求。你需要怎么修改 SimpleClassSimpleStructure 才能保证它们仍旧遵循这个协议?

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

可以使用 extension 为已有的类型添加新功能,比如新的方法和计算属性。扩展(extension)还可以为在其他地方声明的类型添加需要遵循的协议,包括那些从库或框架中导入的类型。

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

练习: 给 Double 类型写一个扩展,添加一个 absoluteValue 属性。

你可以像使用其他命名类型一样使用协议名——例如,创建一个有不同类型但是都遵循同一个协议的对象集合。当你处理的是一个封装的协议类型时,协议外定义的方法不可用。

let protocolValue: any ExampleProtocol = a
print(protocolValue.simpleDescription)
// 打印“A very simple class.  Now 100% adjusted.”
// print(protocolValue.anotherProperty)  // 去掉注释可以看到错误

尽管变量 protocolValue 的运行时类型是 SimpleClass,但编译器还是会将其视为 ExampleProtocol 类型。这意味着你不能访问在协议之外的方法或者属性。

错误处理

你可以使用任何遵循 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 代码块中,除非你另外命名,否则错误会被默认命名为 error

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

练习: 将 printer name 改为 "Never Has Toner",使 send(job:toPrinter:) 函数抛出错误。

可以提供多个 catch 块来处理特定的错误。和 switch 中 case 的写法一样,在 catch 后写匹配模式。

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)
}
// 打印“Job sent”

练习: 在 do 代码块中添加抛出错误的代码。你需要抛出哪种错误使其被第一个 catch 块处理?对于第二个和第三个 catch 块,又需要抛出哪种错误呢?

另一种处理错误的方式是使用 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
}
if fridgeContains("banana") {
    print("Found a banana")
}
print(fridgeIsOpen)
// 打印“false”

泛型

在尖括号里写一个名字来创建一个泛型函数或者泛型类型。

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 标准库中的可选类型
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` 的写法是等价的。

Beta Software:

This documentation contains preliminary information about an API or technology in development. This information is subject to change, and software implemented according to this documentation should be tested with final operating system software.

Learn more about using Apple's beta software.

← 返回目录