声明:
这里使用的Swift版本为 Swift 5.1 运行环境为Mac OS Catanina 10.15 developerbeta上运行Xcode 11.0版本
本文部分代码来自 gitbook
通常来说,学习一门编程语言第一件事就是学习输出“Hello world!”。在Swift上,可以用一行代码实现:
print(“Hello world!”)
如果你学习过python,你会很熟悉这种形式;但如果之前只学过C或者Java的,对这种形式可能不太熟悉—-在Swift中,这一行代码就是一个完整的程序。你不需要为了输入输出或者字符串处理导入一个单独的库。全局作用域的代码会被自动当作成程序的入口,所以你也不需要main()函数。你同样不需要在每个语句结尾写山分号。
我们先来简单接触一下Swift语言,知识点会在接下来的文章逐个讲解。
简单值
使用let来申明常量,var来申明变量。
一个常量的值,在编译时,并不需要有明确的值(不一定是一个值,可以是文件等其他东西),但是你只能为它赋一次值。这说明你可以用一个常量来命名一个值,一次赋值就可在多处使用。
var Variable=1231
Variable=2000
let Constant=20001231
常量和变量的类型必须和你赋给它的值一致。然而你不用明确地声明它的类型。当你通过一个值来声明变量和常量时,编译器会自动推断其类型。如:在上面的程序中 Variable会被自动推断为整型,因为它的初始值是整型。
如果初始值没有提供足够的信息(或者是没有初始值),那你需要在变量后面声明类型,用冒号分隔(注意格式,和其他的语言不太一样)。
let IsInteger = 70
let IsDouble = 70.0
let ISDouble: Double = 70
值永远不会隐式转换为其他类型。如果你需要吧其他值转为其他类型,必须显示转换。
let Str = "The width is "
let Width = 22
let StrForWidth = Str + string(Width)
还有一种更简单的办法:将值写入括号中,并在括号之前写一个反斜杠/。
let Width = 22
let Str = "The width is /(Width)."
使用一对三个单引号(“””)来包含多行内容,字符串中的内容(包括引号、空格和换行符等)都会保留下来。
let ApplesNumber = 3
let OrangesNumber = 5
let Quotation = """
I said "I have \(Apples) apples."
I said "I have \(Apples + Oranges) pieces of fruit."
"""
使用方括号[]来创建数组和字典,并使用下标和键(key)来访问元素。
最后一个元素后面允许有逗号。
var ShoppingList = ["catfish", "water", "tulips", "blue paint"]
ShoppingList[1] = "bottle of water"
var Occupations = [
"Malcolm": "Captain",
"Kaylee": "Mechanic",
]
Occupations["Jayne"] = "Public Relations"
使用初始化语言来创建一个空数组或者空字典。
var EmptyArray = [String]()
var EmptyDictionary = [String: String]()
如果类型信息可以被推断出来,你可以使用[]和[:]来创建空数组和空字典(就像你声明变量或者给函数传参的时候一样,编译器会自动推断类型)
var ShoppingList = []
var Occupations = [:]
控制流
使用 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)
在 if 语句中,条件必须是一个布尔表达式——这意味着像 if score { ... }这样的代码将报错,而不会隐形地与 0 做对比。
你可以一起使用 if 和 let 一起来处理值缺失的情况。这些值可由可选值来代表。一个可选的值是一个具体的值或者是 nil 以表示值缺失。在类型后面加一个问号(?)来标记这个变量的值是可选的。
var OptionalString: String? = "Hello"
print(OptionalString == nil)
var OptionalName: String? = "John Appleseed"
var Greeting = "Hello!"
if let name = optionalName {
Greeting = "Hello, \(name)"
}
如果变量的可选值是 nil,条件会判断为 false,大括号中的代码会被跳过。如果不是 nil,会将值解包并赋给 let 后面的常量,这样代码块中就可以使用这个值了。 另一种处理可选值的方法是通过使用 ?? 操作符来提供一个默认值。如果可选值缺失的话,可以使用默认值来代替。
var NickName: String?
var FullName: String = "John Appleseed"
let InformalGreeting = "Hi \(NickName ?? FullName)"
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.")
}
注意 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 (Kind, Numbers) in InterestingNumbers {
for Number in Numbers {
if Number > Largest {
Largest = Number
}
}
}
print(Largest)
使用 while 来重复运行一段代码直到条件改变。循环条件也可以在结尾,保证能至少循环一次。
var n = 2
while n < 100 {
n *= 2
}
print(n)
var m = 2
repeat {
m *= 2
} while m < 100
print(m)
你可以在循环中使用 ..< 来表示下标范围。
var Total = 0
for i in 0..<4 {
Total += i
}
print(Total)
使用 ..< 创建的范围不包含上界,如果想包含的话需要使用 ...。
函数和闭包
使用func来声明一个函数,使用名字和参数来调用函数。
使用->来指定函数返回类型。
func Greeting (Person :String ,Day: String) -> String{
return "Hello \(Person), today is \(Day)."
}
print(Greeting(Person:"Bob", Day: "Tuesday”))
默认情况下,函数使用它们的参数名称作为参数标签,在参数名称前可自定义参数标签,或使用_表示不使用参数标签。
func Greeting (_ Person :String ,Tag Day: String) -> String{
return "Hello \(Person), today is \(Day)."
}
print(Greeting("Bob", Tag: "Tuesday”))
使用元组来生成复合值,比如让一个函数来返回多个值。改元组的元素可以用名称和数字来获取。
func CalculateStatics(Sorces: [Int])->(Min:Int,Max:Int,Sum:Int){
var Min = Sorces[0]
var Max = Sorces[0]
var Sum = 0
for sorce in Sorces{
if sorce > Max{
Max = sorce
}
if sorce < Min{
Min = sorce
}
sum += sorce
}
return (Min,Max,Sum)
}
let Ans = CalculatStatics(Sorces:[1,2,3,4,5,6,7,8,9,0])
print(Ans.Sum)
print(Ans.2)
函数可以嵌套。
被嵌套的函数可以访问外侧函数的变量,你可以使用嵌套函数来重构一个太长或者太复杂的函数。
func Fifteen()->Int{
var Number = 10
func AddFive(){
y+=5
}
add()
return y
}
print(Fifteen())
函数是第一等类型,这意味着函数可以作为另一个函数的返回值。
func MakeIncrementer() -> ((Int)->Int){
func AddOne(Number: Int)->Int{
return Number + 1
}
return AddOne
}
var Incrementer=MakeIncrementer()
print(Incrementer(4))
函数也可以当作参数传入另一个函数
func HasAnyMatches(List: [Int],Condition: (Int) ->Bool) -> Bool{
for Itme in List {
if Condition(Itme){
return true
}
}
return false
}
func IsLessTen(Number: Int)->bool{
return Number < 10
}
var Numbers = [1,2,3,4,5,6,7,8,9,10]
print(HasAnyMatches(List: Numbers,Condition: IsLessTen))
函数实际上是一种特殊的闭包:它是一段之后能被调用的代码。闭包中的代码能访问闭包作用域中的变量和函数,即使闭包是在一个不同的作用域执行的 — 这一部分已经在嵌套函数中有了。你可以使用{}来创建一个匿名闭包。使用in将参数和返回值类型的声明与闭包函数体进行分离。
Numbers.map({
(Number: Int)-> Int in
let Result = 3*Number
return Result
})
有很多种创建更简洁的闭包方法。
如果一个闭包的类型已知,比如作为一个代理的回调,你可以忽略参数,返回值,甚至两个都可以忽略。单个语句闭包会把它语句的值当作返回值。
let MappedNumbers = Number.map({Number in 3 * Number})
print(MappedNumbers)
你可以通过参数位置和参数名来引用参数—-这个方法在非常短的闭包中非常有用。当一个闭包作为最后一个参数传给一个函数的时候,它可以直接跟在括号后面。当一个闭包是传给其函数的唯一参数,你可以完全忽略括号。
let SortedNumbers = Number.sorted{$0 > $1}
print (SortedNumbers)
对象和类
使用 class 和类名来创建一个类。类中属性的声明和常量、变量声明一样,唯一的区别就是它们的上下文是类。同样,方法和函数声明也一样。
class Shape {
var numberOfSides = 0
func simpleDescription() -> String {
return "A shape with \(numberOfSides) sides."
}
}
要创建一个类的实例,在类名后面加上括号。使用点语法来访问实例的属性和方法。
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()
除了储存简单的属性之外,属性可以有 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)
triangle.perimeter = 9.9
print(triangle.sideLength)
在 perimeter 的 setter 中,新值的名字是 newValue。你可以在 set 之后显式的设置一个名字。
注意 EquilateralTriangle 类的构造器执行了三步:
1.设置子类声明的属性值
2.调用父类的构造器
3.改变父类定义的属性值。其他的工作比如调用方法、getters 和 setters 也可以在这个阶段完成。
如果你不需要计算属性,但是仍然需要在设置一个新值之前或者之后运行代码,使用 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)
print(triangleAndSquare.triangle.sideLength)
triangleAndSquare.square = Square(sideLength: 50, name: "larger square")
print(triangleAndSquare.triangle.sideLength)
处理变量的可选值时,你可以在操作(比如方法、属性和子脚本)之前加 ?。如果 ? 之前的值是 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
默认情况下,Swift 按照从 0 开始每次加 1 的方式为原始值进行赋值,不过你可以通过显式赋值进行改变。在上面的例子中,Ace 被显式赋值为 1,并且剩下的原始值会按照顺序赋值。你也可以使用字符串或者浮点数作为枚举的原始值。使用 rawValue 属性来访问一个枚举成员的原始值。
使用 init?(rawValue:) 初始化构造器来创建一个带有原始值的枚举成员。如果存在与原始值相应的枚举成员就返回该枚举成员,否则就返回 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()
注意在上面的例子中用了两种方式引用 hearts 枚举成员:给 hearts 常量赋值时,枚举成员 Suit.hearts 需要用全名来引用,因为常量没有显式指定类型。在 switch 里,枚举成员使用缩写 .hearts 来引用,因为 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)")
}
注意日升和日落时间是如何从 ServerResponse 中提取到并与 switch 的 case 相匹配的。
使用 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()
协议和拓展
使用protocol来声明一个协议
protocol ExamplePotocol{
var SimpleDescription: String {get}
mutating func adjust()
}
类、枚举和结构体都可以遵循协议。
class SimpleClass:ExamplePotocol{
var SimpleDiscription: String = "A very simple class."
var AnotherProperty: Int = 69105
func adjust(){
SimpleDiscription += " Now 100% adjusted."
}
}
var a = SimpleClass()
a.adjust()
let ADescription = a.SimpleDiscreption
struct SimpleStructure:ExamplePotocol{
var SimpleDiscreption: String = "A very simple class."
mutating func adjust(){
SimpleDiscription += " Now 100% adjusted."
}
}
var b = SimpleStructure()
b.adjust()
let BDiscreption = b.SimpleDiscreption
注意:在声明SimpleSturcture时,mutating关键字用来标记一个会修改结构体的方法。而在声明SimpleClass时不需要标记任何办法,因为类中的方法通常可以修改类属性(类的性质)。
使用extension来为现有的类添加功能,比如新的方法和计算属性。
你可以使用拓展让某个在别处声明的类来遵守某个协议,这同样适用于从外部库或者框架引入的类型。
extension Int: ExampleProtocol {
var SimpleDescription: String{
return "The number \(self)"
}
mutating func adjust(){
self += 42
}
}
print (7.SimpleDiscreption)
你可以像使用其他命名类型一样使用协议名—例如,创建一个有不同类型但是都实现一个协议的对象集合。当你处理类型是协议的值时,协议外定义的方法不可以用。
let ProtocolValue: ExampleProtocol = a
print(PotocolValue.SimpleDescreption)
即使ProtocolValue变量运行时的类型是SimpleClass,编译器还是会把它的类型当作ExampleProtocol。这表示你不能调用在协议之外的方法或属性。
错误处理
使用采用Error协议的类型来表示错误。
enum PtinterError: Error{
case OutOfPaper
case NoToner
case InFire
}
使用throw来抛出一个错误,使用throws表示一个可以抛出错误的函数。如果在函数中抛出一个错误,这个函数会立刻返回并调用该函数的代码会进行错误处理。
func send(Job: Int , ToPrinter PrinterName: String)throws -> String{
if PrinterName == "Never Has Toner" {
throw PinterError.NoToner
}
return "Job sent"
}
有很多方式可以来进行错误处理。一种方式是使用do-catch。在do代码块中,使用try来标记可以抛出错误的代码。在catch代码块中,除非你另外命名,否则错误会自动命名为error。
do{
let PinterResponse = try send(job: 404,ToPrtinter:"Never Has Toner")
print(PinterResponse)
}catch{
print(error)
}
可以使用多个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)
}
另一种处理错误的方式是使用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)
范型
在尖括号<>里写一个名字来创建一个范型函数或者类型。
func MakeArray <Item> (Repeating AddItem: Item, NUmberOfTimes: Int) -> [Item]{
var result = [Item]()
for _ in 0..<NumberOfTime{
result.append(AddItem)
}
return result
}
你也可以创建泛型函数、方法、类、枚举和结构体。
enum OptionalValue<Wrapped> {
case none
case some(Wrapped)
}
var p=PossibleInteger: OptionalValue<Int> = .none
PossibleInteger = .some(100)
在类型名后面使用 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], [3])
<T: Equatable> 和 <T> ... where T: Equatable> 的写法是等价的。