常量和变量
声明常量和变量
用 let
来声明常量,用 var
来声明变量
let maximumNumberOfLoginAttempts = 10
var currentLoginAttempt = 0
可以在一行中声明多个常量或者多个变量,用逗号隔开:
var x = 0.0, y = 0.0, z = 0.0
类型注解
当你声明常量或者变量的时候可以加上类型注解(type annotation),说明常量或者变量中要存储的值的类型。如果要添加类型注解,需要在常量或者变量名后面加上一个冒号和空格,然后加上类型名称。例:
var welcomeMessage: String
声明中的冒号代表着“是...类型”,所以这行代码可以被理解为:
“声明一个类型为 String
,名字为 welcomeMessage
的变量。”
可以在一行中定义多个同样类型的变量,用逗号分割,并在最后一个变量名之后添加类型注解:
var red, green, blue: Double
常量和变量的命名
- 常量和变量名可以包含任何字符,包括 Unicode 字符:
let π = 3.14159
let 你好 = "你好世界"
let 🐶🐮 = "dogcow"
- 常量与变量名不能包含数学符号,箭头,保留的(或者非法的)Unicode 码位,连线与制表符。也不能以数字开头,但是可以在常量与变量名的其他地方包含数字。
- 变量值可以更改,常量的值一旦被确定就不能更改了。
输出常量和变量
你可以用print(_:separator:terminator:)
函数来输出当前常量或变量的值:
注释
单行注释
// 这是一个注释
多行注释
/* 这也是一个注释,
但是是多行的 */
嵌套多行注释
/* 这是第一个多行注释的开头
/* 这是第二个被嵌套的多行注释 */
这是第一个多行注释的结尾 */
分号
一句代码尾部可以省略分号(;),多句代码写到同一行时必须用分号(;)隔开
整数
整数就是没有小数部分的数字,比如 42
和 -23
。整数可以是 有符号(正、负、零)或者 无符号(正、零)。
Swift
提供了8、16、32
和64
位的有符号和无符号整数类型。这些整数类型和 C
语言的命名方式很像,比如8位无符号整数类型是 UInt8
,32
位有符号整数类型是 Int32
。就像 Swift
的其他类型一样,整数类型采用大写命名法。
整数范围
你可以访问不同整数类型的min
和 max
属性来获取对应类型的最小值和最大值:
let minValue = UInt8.min // minValue 为 0,是 UInt8 类型
let maxValue = UInt8.max // maxValue 为 255,是 UInt8 类型
Int
一般来说,你不需要专门指定整数的长度。Swift
提供了一个特殊的整数类型 Int,长度与当前平台的原生字长相同:
在32位平台上,Int
和 Int32
长度相同。
在64位平台上,Int
和 Int64
长度相同。
除非你需要特定长度的整数,一般来说使用 Int
就够了。这可以提高代码一致性和可复用性。即使是在32位平台上,Int
可以存储的整数范围也可以达到 -2,147,483,648 ~ 2,147,483,647
,大多数时候这已经足够大了。
UInt
Swift
也提供了一个特殊的无符号类型 UInt
,长度与当前平台的原生字长相同:
在32
位平台上,UInt
和 UInt32
长度相同。
在64
位平台上,UInt
和 UInt64
长度相同。
浮点数
浮点数是有小数部分的数字,比如 3.14159
、0.1
和 -273.15
。
浮点类型比整数类型表示的范围更大,可以存储比 Int
类型更大或者更小的数字。Swift
提供了两种有符号浮点数类型:
-
Double
表示64位浮点数。当你需要存储很大或者很高精度的浮点数时请使用此类型。 -
Float
表示32位浮点数。精度要求不高的话可以使用此类型。
注意
Double 精确度很高,至少有 15 位小数,而 Float 只有 6 位小数。选择哪个类型取决于你的代码需要处理的值的范围,在两种类型都匹配的情况下,将优先选择 Double。
类型安全和类型推断
Swift
是一个类型安全(type safe)的语言。类型安全的语言可以让你清楚地知道代码要处理的值的类型。如果你的代码需要一个 String
,你绝对不可能不小心传进去一个 Int
。
当你要处理不同类型的值时,类型检查可以帮你避免错误。然而,这并不是说你每次声明常量和变量的时候都需要显式指定类型。如果你没有显式指定类型,Swift
会使用类型推断(type inference)来选择合适的类型。有了类型推断,编译器可以在编译代码的时候自动推断出表达式的类型。原理很简单,只要检查你赋的值即可。
例如,如果你给一个新常量赋值 42 并且没有标明类型,Swift 可以推断出常量类型是 Int ,因为你给它赋的初始值看起来像一个整数。
同理,如果你没有给浮点字面量标明类型,Swift 会推断你想要的是 Double。
当推断浮点数的类型时,Swift
总是会选择 Double
而不是 Float
。
如果表达式中同时出现了整数和浮点数,会被推断为 Double
类型。
数值型字面量
整数字面量可以被写作:
- 一个十进制数,没有前缀
- 一个二进制数,前缀是 0b
- 一个八进制数,前缀是 0o
- 一个十六进制数,前缀是 0x
下面的所有整数字面量的十进制值都是 17:
let decimalInteger = 17
let binaryInteger = 0b10001 // 二进制的17
let octalInteger = 0o21 // 八进制的17
let hexadecimalInteger = 0x11 // 十六进制的17
布尔值
Swift
有一个基本的布尔(Boolean)
类型,叫做 Bool
。布尔值指逻辑上的值,因为它们只能是真或者假。Swift
有两个布尔常量,true
和 false
元组
元组(tuples)
把多个值组合成一个复合值。元组内的值可以是任意类型,并不要求是相同类型。
let http404Error = (404, "Not Found")
print("The status code is \(http404Error.0)")
let (statusCode, statusMessage) = http404Error
print("The status code is \(statusCode)")
// 输出“The status code is 404”
print("The status message is \(statusMessage)")
// 输出“The status message is Not Found”
let (justTheStatusCode, _) = http404Error
print("The status code is \(justTheStatusCode)")
// 输出“The status code is 404”
print("The status code is \(http404Error.0)")
// 输出“The status code is 404”
print("The status message is \(http404Error.1)")
// 输出“The status message is Not Found”
let http200Status = (statusCode: 200, description: "OK")
print("The status code is \(http200Status.statusCode)")
// 输出“The status code is 200”
print("The status message is \(http200Status.description)")
// 输出“The status message is OK”
可选类型
使用可选类型(optionals)
来处理值可能缺失的情况。可选类型表示两种可能: 或者有值, 你可以解析可选类型访问这个值, 或者根本没有值。
nil
你可以给可选变量赋值为 nil
来表示它没有值:
var serverResponseCode: Int? = 404
// serverResponseCode 包含一个可选的 Int 值 404
serverResponseCode = nil
// serverResponseCode 现在不包含值
nil
不能用于非可选的常量和变量。如果你的代码中有常量或者变量需要处理值缺失的情况,请把它们声明成对应的可选类型。
如果你声明一个可选常量或者变量但是没有赋值,它们会自动被设置为 nil:
var surveyAnswer: String?
// surveyAnswer 被自动设置为 nil
if 语句以及强制解析
- 你可以使用
if
语句和nil
比较来判断一个可选值是否包含值。你可以使用“相等”(==)
或“不等”(!=)
来执行比较。
- 当你确定可选类型确实包含值之后,你可以在可选的名字后面加一个感叹号(!)来获取值。
注意
使用!
来获取一个不存在的可选值会导致运行时错误。使用!
来强制解析值之前,一定要确定可选包含一个非nil
的值。
可选绑定
使用可选绑定(optional binding)来判断可选类型是否包含值,如果包含就把值赋给一个临时常量或者变量。可选绑定可以用在if
和 while
语句中,这条语句不仅可以用来判断可选类型中是否有值,同时可以将可选类型中的值赋给一个常量或者变量。
if let constantName = someOptional {
statements
}
if let actualNumber = Int(possibleNumber) {
print("\'\(possibleNumber)\' has an integer value of \(actualNumber)")
} else {
print("\'\(possibleNumber)\' could not be converted to an integer")
}
// 输出“'123' has an integer value of 123”
这段代码可以被理解为:
“如果 Int(possibleNumber) 返回的可选 Int 包含一个值,创建一个叫做 actualNumber 的新常量并将可选包含的值赋给它。”
你可以包含多个可选绑定或多个布尔条件在一个if
语句中,只要使用逗号分开就行。只要有任意一个可选绑定的值为nil
,或者任意一个布尔条件为 false
,则整个 if
条件判断为false
。下面的两个if
语句是等价的:
if let firstNumber = Int("4"), let secondNumber = Int("42"), firstNumber < secondNumber && secondNumber < 100 {
print("\(firstNumber) < \(secondNumber) < 100")
}
// 输出“4 < 42 < 100”
if let firstNumber = Int("4") {
if let secondNumber = Int("42") {
if firstNumber < secondNumber && secondNumber < 100 {
print("\(firstNumber) < \(secondNumber) < 100")
}
}
}
// 输出“4 < 42 < 100”
在
if
条件语句中使用常量和变量来创建一个可选绑定,仅在if
语句的句中(body)
中才能获取到值。相反,在guard
语句中使用常量和变量来创建一个可选绑定,仅在guard
语句外且在语句后才能获取到值
隐式解析可选类型
一个隐式解析可选类型其实就是一个普通的可选类型,但是可以被当做非可选类型来使用,并不需要每次都使用解析来获取可选值。下面的例子展示了可选类型 String 和隐式解析可选类型 String 之间的区别:
let possibleString: String? = "An optional string."
let forcedString: String = possibleString! // 需要感叹号来获取值
let assumedString: String! = "An implicitly unwrapped optional string."
let implicitString: String = assumedString // 不需要感叹号
你可以把隐式解析可选类型当做一个可以自动解析的可选类型。当你使用一个隐式解析可选值时,Swift
首先会把它当作普通的可选值;如果它不能被当成可选类型使用,Swift
会强制解析可选值。在以上的代码中,可选值 assumedString
在把自己的值赋给 implicitString
之前会被强制解析,原因是 implicitString
本身的类型是非可选类型的 String
。在下面的代码中,optionalString
并没有显式的数据类型。那么根据类型推断,它就是一个普通的可选类型。
注意
如果一个变量之后可能变成nil
的话请不要使用隐式解析可选类型。如果你需要在变量的生命周期中判断是否是nil
的话,请使用普通可选类型。
错误处理
do {
try canThrowAnError()
// 没有错误消息抛出
} catch {
// 有一个错误消息抛出
}
func makeASandwich() throws {
// ...
}
do {
try makeASandwich()
eatASandwich()
} catch SandwichError.outOfCleanDishes {
washDishes()
} catch SandwichError.missingIngredients(let ingredients) {
buyGroceries(ingredients)
}
断言和先决条件
断言和先决条件是在运行时所做的检查。你可以用他们来检查在执行后续代码之前是否一个必要的条件已经被满足了。如果断言或者先决条件中的布尔条件评估的结果为 true(真),则代码像往常一样继续执行。如果布尔条件评估结果为 false(假),程序的当前状态是无效的,则代码执行结束,应用程序中止。
断言和先决条件的不同点是,他们什么时候进行状态检测:断言仅在调试环境运行,而先决条件则在调试环境和生产环境中运行。在生产环境中,断言的条件将不会进行评估。这个意味着你可以使用很多断言在你的开发阶段,但是这些断言在生产环境中不会产生任何影响。
使用断言进行调试
let age = -3
assert(age >= 0, "A person's age cannot be less than zero")
// 因为 age < 0,所以断言会触发
如果代码已经检查了条件,你可以使用 assertionFailure(_:file:line:) 函数来表明断言失败了,例如:
if age > 10 {
print("You can ride the roller-coaster or the ferris wheel.")
} else if age > 0 {
print("You can ride the ferris wheel.")
} else {
assertionFailure("A person's age can't be less than zero.")
}
强制执行先决条件
当一个条件可能为假,但是继续执行代码要求条件必须为真的时候,需要使用先决条件。例如使用先决条件来检查是否下标越界,或者来检查是否将一个正确的参数传给函数。
// 在一个下标的实现里...
precondition(index > 0, "Index must be greater than zero.")
网友评论