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.
"""使用方括号（[]）创建数组和字典，并通过在方括号中写入索引或键来访问它们的元素。最后一个元素后面允许有逗号。
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] = [:]控制流
使用 if 和 switch 进行条件判断，使用 for-in、while 和 repeat-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 { ... } 这样的代码是错误的，它不会隐式地与零比较。
你可以在赋值的等号（=）后面或 return 后面写 if 或 switch，根据条件选择一个值。
let scoreDecoration = if teamScore > 10 {
"🎉"
} else {
""
}
print("Score:", teamScore, scoreDecoration)
// 输出 "Score: 11 🎉"。你可以将 if 和 let 一起使用来处理可能缺失的值。这些值表示为可选类型。可选值要么包含一个值，要么包含 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改为nil。你会得到什么问候语？添加一个else子句，在optionalName为nil时设置不同的问候语。
如果可选值是 nil，条件为 false，花括号中的代码会被跳过。否则，可选值会被解包并赋给 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 如何在模式中使用，将匹配该模式的值赋给一个常量。
执行完匹配的 switch case 中的代码后，程序会退出 switch 语句。执行不会继续到下一个 case，因此你不需要在每个 case 的代码末尾显式地 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，看看当循环条件一开始就为 false 时，while和repeat-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 类的初始化器有三个不同的步骤：
- 设置子类声明的属性的值。
- 调用父类的初始化器。
- 更改父类定义的属性的值。任何使用方法、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)
// 输出 "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 从零开始分配原始值，每次递增一。但你可以通过显式指定值来改变这种行为。在上面的例子中，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()方法，对黑桃和梅花返回”black”，对红桃和方块返回”red”。
注意上面引用枚举 hearts 成员的两种方式：当给 hearts 常量赋值时，使用枚举成员的全名 Suit.hearts，因为常量没有显式指定类型。在 switch 内部，枚举成员使用缩写形式 .hearts，因为 self 的值已知是花色。只要值的类型已知，你就可以使用缩写形式。
如果枚举有原始值，这些值是在声明时确定的，这意味着特定枚举成员的每个实例总是有相同的原始值。枚举成员的另一个选择是有与成员关联的值——这些值是在创建实例时确定的，同一枚举成员的每个实例可以有不同的值。你可以把关联值想象成枚举成员实例的存储属性。例如，考虑从服务器请求日出和日落时间的情况。服务器要么响应请求的信息，要么响应出错的描述。
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 添加第三个 case。
注意日出和日落时间是如何作为匹配 switch case 的一部分从 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添加另一个要求。你需要对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)
// 输出 "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"。实验 将打印机名称更改为
"Never Has 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)
}
// 输出 "Job sent"。实验 在
do块中添加抛出错误的代码。你需要抛出什么类型的错误才能让第一个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(_:_:)函数，创建一个返回两个序列共有元素数组的函数。
<T: Equatable> 的写法与 <T> ... where T: Equatable 相同。