翻译自官方文档:https://docs.swift.org/swift-book/documentation/the-swift-programming-language/guidedtour
传统上,用新语言编写的第一个程序应该在屏幕上打印“Hello, world!”。在 Swift 中,这只需一行代码即可完成:
print("Hello, world!")
// Prints "Hello, world!"
如果您了解其他语言,此语法应该看起来很熟悉 – 在 Swift 中,这行代码是一个完整的程序。您无需导入单独的库来实现输出文本或处理字符串等功能。在全局范围内编写的代码用作程序的入口点,因此您不需要函数main()
。您也不需要在每个语句末尾写分号。
本教程通过向您展示如何完成各种编程任务,为您提供了足够的信息来开始使用 Swift 编写代码。如果您不理解某些内容,请不要担心 – 本教程中介绍的所有内容都会在本书的其余部分详细解释。
简单值
用于let
创建常量和var
创建变量。常量的值在编译时不需要知道,但必须为其赋值一次。这意味着您可以使用常量来命名您确定一次但在很多地方使用的值。
var myVariable = 42
myVariable = 50
let myConstant = 42
常量或变量必须具有与要分配给它的值相同的类型。但是,您并不总是必须明确写出类型。在创建常量或变量时提供一个值可以让编译器推断其类型。在上面的例子中,编译器推断出它是一个整数,因为它的初始值是一个整数。
如果初始值没有提供足够的信息(或者没有初始值),请在变量后面写上类型并以冒号分隔来指定类型。
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)
// Prints "["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)
// Prints "11"
在if
语句中,条件必须是布尔表达式,而不是与零的隐式比较——这意味着这样的代码if score { ... }
是错误的。
您可以在赋值的等号= 后面写if
或switch
语句,以根据条件选择一个值return。
let scoreDecoration = if teamScore > 10 {
"🎉"
} else {
""
}
print("Score:", teamScore, scoreDecoration)
// Prints "Score: 11 🎉"
您可以将if
和let
一起使用来处理可能缺失的值。这些值表示为Optional。Optional值要么包含一个值,要么包含nil
以指示缺少某个值。在值的类型后写一个问号 ? 以将该值标记为Optional。
var optionalString: String? = "Hello"
print(optionalString == nil)
// Prints "false"
var optionalName: String? = "John Appleseed"
var greeting = "Hello!"
if let name = optionalName {
greeting = "Hello, \(name)"
}
如果Optional值为nil
,则条件为 false
,并跳过括号内的代码。否则,Optional值将被解包并赋值给 let
后的常量,这使得解包后的值在代码块内可用。
处理可选值的另一种方法是使用??
运算符提供默认值。如果可选值缺失,则使用默认值。
let nickname: String? = nil
let fullName: String = "John Appleseed"
let informalGreeting = "Hi \(nickname ?? fullName)"
您可以使用更短的拼写来解开一个值,并对该解开的值使用相同的名称。
if let nickname {
print("Hey, \(nickname)")
}
// Doesn't print anything, because nickname is 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.")
}
// Prints "Is it a spicy red pepper?"
动手试试
尝试删除默认情况。您会得到什么错误?
注意如何在模式中使用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 (_, 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"
动手试试
将条件从m < 100 更改为m < 0,查看当while循环条件已为假时和repeat-while 的行为有何不同。
您可以使用..<
创建一系列索引来将索引保持在循环中。
var total = 0
for i in 0..<4 {
total += i
}
print(total)
// Prints "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)
// 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)
函数实际上是闭包的一个特例:可以稍后调用的代码块。闭包中的代码可以访问创建闭包的作用域中可用的变量和函数等内容,即使闭包在执行时处于不同的作用域中 – 您已经看到了嵌套函数的示例。您可以通过用括号 {}
括住代码来编写没有名称的闭包。in
用于将参数和返回类型与主体分开。
numbers.map({ (number: Int) -> Int in
let result = 3 * number
return result
})
动手试试
重写闭包以对所有奇数返回零。
有多种方式可以更简洁地编写闭包。当闭包的类型已知时(例如委托的回调),您可以省略其参数的类型、返回类型或两者。单语句闭包隐式返回其唯一语句的值。
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]"
对象和类
使用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
参数。创建类的实例时,初始化器的参数像函数调用一样传递。每个属性都需要分配一个值 — 要么在其声明中(如 numberOfSidesname
),要么在初始化器中(如 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()
动手试试
创建called的另一个子类,以半径和名称作为其初始化程序的参数。在该类上实现和方法。NamedShapeCirclearea()simpleDescription()Circle
除了存储的简单属性之外,属性还可以具有 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"
在 perimeter
的设置器中,新值具有隐式名称 newValue
。您可以在 set 后的括号中提供显式名称
请注意,该类的初始化程序有三个不同的步骤:
- 设置子类声明的属性的值。
- 调用超类的初始化程序。
- 更改超类定义的属性的值。此时还可以完成使用方法、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
枚举和结构
用于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()
}
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()
动手试试
给Suit
添加一个color()
方法,对黑桃和梅花返回“黑色”,对红心和方块返回“红色”。
请注意上面引用枚举值hearts
的两种情况:当为hearts
常量赋值时,枚举情况用其全名引用,因为常量没有指定显式类型。在 switch 中,枚举情况用缩写形式引用,因为self的值已知为 Suit。只要值的类型已知,就可以随时使用缩写形式。
如果枚举具有原始值,则这些值将作为声明的一部分确定,这意味着特定枚举案例的每个实例始终具有相同的原始值。枚举案例的另一种选择是具有与案例关联的值 – 这些值是在创建实例时确定的,并且对于枚举案例的每个实例,它们可能不同。您可以将关联值视为枚举案例实例的存储属性。例如,考虑从服务器请求日出和日落时间的情况。服务器要么响应请求的信息,要么响应出错的描述。
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."
动手试试
在 switch 中添加第三个ServerResponse
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")
}
// Prints "Hello Guest, user ID 97"
使用TaskGroup来构建并发代码。
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 ServerConnection {
var server: String = "primary"
private var activeUsers: [Int] = []
func connect() async -> Int {
let userID = await fetchUserID(from: server)
// ... communicate with server ...
activeUsers.append(userID)
return userID
}
}
当你调用某个Actor的方法或访问其某个属性时,你会用await
标记该代码,以表明它可能必须等待该参与者上已在运行的其他代码完成。
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
的声明不需要将其任何方法标记为可变,因为类上的方法始终可以修改类。
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: any ExampleProtocol = a
print(protocolValue.simpleDescription)
// Prints "A very simple class. Now 100% adjusted."
// print(protocolValue.anotherProperty) // Uncomment to see the error
即使变量protocolValue
的运行时类型为SimpleClass
,编译器也会将其视为ExampleProtocol
的类型。这意味着除了协议一致性之外,您不能意外访问该类实现的方法或属性。
错误处理
您可以使用任何采用该Error
协议的类型来表示错误。
enum PrinterError: Error {
case outOfPaper
case noToner
case onFire
}
throw
s用于标记可以抛出错误的函数,throw
用于在函数中抛出错误。如果在函数中抛出错误,该函数将立即返回,并且调用该函数的代码将处理该错误。
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)
}
// Prints "Job sent"
动手试试
将打印机名称更改为"Never Has Toner"
,以便函数send(job:toPrinter:)
抛出错误。
您可以提供多个catch
块来处理特定错误。您可以在catch
后面写入模式,就像case
在 switch 中一样。
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
块处理该错误?第二和第三个块呢?
处理错误的另一种方法是使用try?
将结果转换为Optional。如果函数抛出错误,则丢弃特定错误,结果为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)
// Prints "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)
您可以创建函数和方法的通用形式,以及类、枚举和结构。
// 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(_:_:)
函数,使其成为返回任意两个序列所共有元素的数组的函数。
写作<T: Equatable>
和<T> ... where T: Equatable
一样。