常量和变量
Swift语言是一种强类型的语言(和C、Java等一样),常量和变量在使用前都必须先声明。用let关键字声明常量,var关键字声明变量。常量的值一旦设定就不能再改变,而变量的值可以随意更改。这里有一个原则,如果确定一个值不需要改变,那么尽量将其声明为常量。
let maximumNumberOfLoginAttempts = 10
var currentLoginAttempt = 0
类型标注
可能大家会比较疑惑,上面的例子中,只是指定了某个值是常量还是变量,但并没有指定类型,到底这个值是Int型还是Long型呢。这里就引出了Swift中一个特性,如果你在声明常量或者变量的时候赋了一个初始值,Swift可以推断出这个常量或者变量的类型,因此类型就不需要标注了。上面的例子中,常量和变量在声明时分别赋予了值10和0,Swift可以推断出类型为Int。
大多数情况如此,但在某些情况下,我们没有为常量和变量赋予初始值,这种情况下就需要类型标注来显式声明常量或者变量中要存储的值的类型,具体做法是在常量或者变量名后面加上一个冒号和空格,然后加上类型名称。
var welcomeMessage: String
welcomeMessage = "Hello"
整数类型
Swift提供了8,16,32和64位的有符号和无符号整数类型,命名和C语言的整数类型十分相像。
Int8 Int16 Int32 Int64 有符号的8,16,32和64位整数类型
UInt8 UInt16 UInt32 UInt64 无符号的8,16,32和64位整数类型
但通常在使用中,不需要专门指定整数的长度。Swift 提供了两个特殊的整数类型Int和UInt,长度与当前平台的原生字长相同。另外尽量也不要使用UInt,统一使用Int可以提高代码的可复用性,避免不同类型数字之间的转换。即使在32位平台上,Int可以存储的整数范围也可以达到-2,147,483,648~2,147,483,647,大多数时候这已经足够用了。
浮点数类型
和Java类似,Swift 提供了两种有符号浮点数类型,Double和Float,分别表示64位浮点数和32位浮点数,在大多数情况下,优先使用Double类型。在前文所说的类型推断中,Swift在推断浮点数的类型时,也总是会选择Double而不是Float。
数值类型转换
不同数值类型的数字是不能运算的,需要显式进行数值类型转换,SomeType(ofInitialValue)是调用Swift构造器并传入一个初始值的默认方法。
let twoThousand: UInt16 = 2000
let one: UInt8 = 1
let twoThousandAndOne = twoThousand + UInt16(one)
let three = 3
let pointOneFourOneFiveNine = 0.14159
let pi = Double(three) + pointOneFourOneFiveNine
浮点数类型也可以转换为整数类型,但小数点后面的数字会被截断处理。
布尔值
Swift用Bool表示布尔值,有两个布尔常量,true和false。和Java中的布尔值类型基本一致。
元组
元组(tuples)把多个值组合成一个复合值。元组内的值可以是任意类型,并不要求是相同类型。
let http404Error = (404, "Not Found")
// http404Error 的类型是 (Int, String),值是 (404, "Not Found")
可以将一个元组的内容分解成单独的常量和变量,然后就可以正常使用它们了。
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 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"
在作为函数返回值时,元组非常有用,但并不适合创建复杂的数据结构。
可选类型
Swift 的可选类型可以让你暗示任意类型的值缺失,表示有确定的值或没有值(用nil表示)。
来看一个例子。Swift的Int类型有一种构造器,作用是将一个String值转换成一个Int值。然而,并不是所有的字符串都可以转换成一个整数。字符串"123"可以被转换成数字123,但是字符串"hello, world"不行。
let possibleNumber = "123"
let convertedNumber = Int(possibleNumber)
// convertedNumber 被推测为类型 "Int?", 或者类型 "optional Int"
因为该构造器可能会失败,所以它返回一个可选类型(optional)Int,而不是一个Int。一个可选的Int被写作Int?而不是Int。问号暗示包含的值是可选类型,也就是说可能包含Int值也可能不包含值。(不能包含其他任何值比如Bool值或者String值。只能是Int或者什么都没有。)
这样看来,可选类型就像是在普通类型的基础上做了一个包装层,让其支持值缺失的情况。当确定某可选类型有值时,就可以在可选值名字后面加一个 ! 来获取值,这个操作叫做可选值的强制解析。但使用 ! 来获取一个不存在的可选值会导致运行时错误。因此使用 ! 进行强制解析并不保险,就如同在Java中,有时我们忘记了一些判空操作导致出现NullPointerException。
可选绑定
Swift提供了一种模板化的形式来使用可选类型,称之为可选绑定,大多数情况下都采用这种模板化的写法而不是使用 ! 进行强制解析,来避免导致运行时错误。可选绑定可以用在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的新常量并将可选包含的值赋给它。如果转换成功,actualNumber常量可以在if语句的第一个分支中使用。它已经被可选类型包含的值初始化过,所以不需要再使用!后缀来获取它的值。
隐式解析可选类型
可选绑定可以让我们以模板化的形式安全的使用可选类型,但在某些情况下,可选类型在第一次被赋值之后,可以确定总会有值。每次都要判断和解析可选值是非常低效的,因为可以确定它总会有值。在这种情况下,可以使用隐式解析可选类型。把想要用作可选的类型的后面的问号(String?)改成感叹号(String!)来声明一个隐式解析可选类型。一个隐式解析可选类型其实就是一个普通的可选类型,但是可以被当做非可选类型来使用,并不需要每次都使用解析来获取可选值。可以把隐式解析可选类型当做一个可以自动解析的可选类型。要做的只是声明的时候把感叹号放到类型的结尾,而不是每次取值的可选名字的结尾。
let possibleString: String? = "An optional string."
let forcedString: String = possibleString! // 需要感叹号来获取值
let assumedString: String! = "An implicitly unwrapped optional string."
let implicitString: String = assumedString // 不需要感叹号
今天就先到这里,明天的下篇文章继续。