Int
表示整型值; Double
和 Float
表示浮点型值; Bool
是布尔型值;String
是文本型数据。 Swift 还提供了三个基本的集合类型,Array
、Set
和 Dictionary
,详见 集合类型。nil
,但是它可以用在任何类型上,不仅仅是类。可选类型比 Objective-C 中的 nil
指针更加安全也更具表现力,它是 Swift 许多强大特性的重要组成部分。String
,类型安全会阻止你不小心传入一个 Int
。同样的,如果你的代码需要一个 String
,类型安全会阻止你意外传入一个可选的 String
。类型安全可以帮助你在开发阶段尽早发现并修正错误。maximumNumberOfLoginAttempts
或者 welcomeMessage
)和一个指定类型的值(比如数字 10
或者字符串 "Hello"
)关联起来。常量的值一旦设定就不能改变,而变量的值可以随意更改。let
来声明常量,用 var
来声明变量。下面的例子展示了如何用常量和变量来记录用户尝试登录的次数:maximumNumberOfLoginAttempts
的新常量,并给它一个值 10
。然后,声明一个名字是 currentLoginAttempt
的变量并将它的值初始化为 0
。”注意如果你的代码中有不需要改变的值,请使用let
关键字将它声明为常量。只将需要改变的值声明为变量。
welcomeMessage
变量添加了类型注解,表示这个变量可以存储 String
类型的值:String
,名字为 welcomeMessage
的变量。”String
”的意思是“可以存储任意 String
类型的值。”welcomeMessage
变量现在可以被设置成任意字符串:注意一般来说你很少需要写类型注解。如果你在声明常量或者变量的时候赋了一个初始值,Swift 可以推断出这个常量或者变量的类型,请参考 类型安全和类型推断。在上面的例子中,没有给welcomeMessage
赋初始值,所以变量welcomeMessage
的类型是通过一个类型注解指定的,而不是通过初始值推断的。
注意如果你需要使用与 Swift 保留关键字相同的名称作为常量或者变量名,你可以使用反引号(`)将关键字包围的方式将其作为名字使用。无论如何,你应当避免使用关键字作为常量或变量名,除非你别无选择。
friendlyWelcome
的值从 "Hello!"
改为了 "Bonjour!"
:print(_:separator:terminator:)
函数来输出当前常量或变量的值:print(_:separator:terminator:)
是一个用来输出一个或多个值到适当输出区的全局函数。如果你用 Xcode,print(_:separator:terminator:)
将会输出内容到“console”面板上。separator
和 terminator
参数具有默认值,因此你调用这个函数的时候可以忽略它们。默认情况下,该函数通过添加换行符来结束当前行。如果不想换行,可以传递一个空字符串给 terminator
参数--例如,print(someValue, terminator:"")
。关于参数默认值的更多信息,请参考 默认参数值。注意
//
)作为起始标记:/*
),终止标记为一个星号后跟随单个正斜杠(*/
):;
),当然,你也可以按照你自己的习惯添加分号。有一种情况下必须要用分号,即你打算在同一行内写多条独立的语句:42
和 -23
。整数可以是 有符号
(正、负、零)或者 无符号
(正、零)。UInt8
,32位有符号整数类型是 Int32
。就像 Swift 的其他类型一样,整数类型采用大写命名法。min
和 max
属性来获取对应类型的最小值和最大值:min
和 max
所传回值的类型,正是其所对的整数类型(如上例 UInt8, 所传回的类型是 UInt8),可用在表达式中相同类型值旁。Int
,长度与当前平台的原生字长相同:Int
和 Int32
长度相同。Int
和 Int64
长度相同。Int
就够了。这可以提高代码一致性和可复用性。即使是在32位平台上,Int
可以存储的整数范围也可以达到 -2,147,483,648
~ 2,147,483,647
,大多数时候这已经足够大了。UInt
,长度与当前平台的原生字长相同:UInt
和 UInt32
长度相同。UInt
和 UInt64
长度相同。注意尽量不要使用UInt
,除非你真的需要存储一个和当前平台原生字长相同的无符号整数。除了这种情况,最好使用Int
,即使你要存储的值已知是非负的。统一使用Int
可以提高代码的可复用性,避免不同类型数字之间的转换,并且匹配数字的类型推断,请参考 类型安全和类型推断。
3.14159
、0.1
和 -273.15
。Int
类型更大或者更小的数字。Swift 提供了两种有符号浮点数类型:Double
表示64位浮点数。当你需要存储很大或者很高精度的浮点数时请使用此类型。Float
表示32位浮点数。精度要求不高的话可以使用此类型。注意Double
精确度很高,至少有 15 位小数,而Float
只有 6 位小数。选择哪个类型取决于你的代码需要处理的值的范围,在两种类型都匹配的情况下,将优先选择Double
。
String
,你绝对不可能不小心传进去一个 Int
。42
和 3.14159
。)42
并且没有标明类型,Swift 可以推断出常量类型是 Int
,因为你给它赋的初始值看起来像一个整数:Double
:Double
而不是 Float
。Double
类型:3
没有显式声明类型,而表达式中出现了一个浮点字面量,所以表达式会被推断为 Double
类型。0b
0o
0x
17
:0x
)。小数点两边必须有至少一个十进制数字(或者是十六进制的数字)。十进制浮点数也可以有一个可选的指数(exponent),通过大写或者小写的 e
来指定;十六进制浮点数必须有一个指数,通过大写或者小写的 p
来指定。exp
,那这个数相当于基数和10^exp 的乘积:1.25e2
表示 1.25 × 10^2,等于 125.0
。1.25e-2
表示 1.25 × 10^-2,等于 0.0125
。exp
,那这个数相当于基数和2^exp 的乘积:0xFp2
表示 15 × 2^2,等于 60.0
。0xFp-2
表示 15 × 2^-2,等于 3.75
。12.1875
:Int
类型。总是使用默认的整数类型可以保证你的整数常量和变量可以直接被复用并且可以匹配整数类字面量的类型推断。Int8
类型的常量或者变量可以存储的数字范围是 -128
~127
,而 UInt8
类型的常量或者变量能存储的数字范围是 0
~255
。如果数字超出了常量或者变量可存储的范围,编译的时候会报错:twoThousand
是 UInt16
类型,然而常量 one
是 UInt8
类型。它们不能直接相加,因为它们类型不同。所以要调用 UInt16(one)
来创建一个新的 UInt16
数字并用 one
的值来初始化,然后使用这个新数字来计算:UInt16
,可以进行相加。目标常量 twoThousandAndOne
的类型被推断为 UInt16
,因为它是两个 UInt16
值的和。SomeType(ofInitialValue)
是调用 Swift 构造器并传入一个初始值的默认方法。在语言内部,UInt16
有一个构造器,可以接受一个 UInt8
类型的值,所以这个构造器可以用现有的 UInt8
来创建一个新的 UInt16
。注意,你并不能传入任意类型的值,只能传入 UInt16
内部有对应构造器的值。不过你可以扩展现有的类型来让它可以接收其他类型的值(包括自定义类型),请参考 扩展。three
的值被用来创建一个 Double
类型的值,所以加号两边的数类型须相同。如果不进行转换,两者无法相加。Double
或者 Float
类型来初始化:4.75
会变成 4
,-3.9
会变成 -3
。注意结合数字类常量和变量不同于结合数字类字面量。字面量3
可以直接和字面量0.14159
相加,因为数字字面量本身没有明确的类型。它们的类型只在编译器需要求值的时候被推测。
typealias
关键字来定义类型别名。AudioSample
被定义为 UInt16
的一个别名。因为它是别名,AudioSample.min
实际上是 UInt16.min
,所以会给 maxAmplitudeFound
赋一个初值 0
。Bool
。布尔值指逻辑上的值,因为它们只能是真或者假。Swift 有两个布尔常量,true
和 false
:orangesAreOrange
和 turnipsAreDelicious
的类型会被推断为 Bool
,因为它们的初值是布尔字面量。就像之前提到的 Int
和 Double
一样,如果你创建变量的时候给它们赋值 true
或者 false
,那你不需要将常量或者变量声明为 Bool
类型。初始化常量或者变量的时候如果所赋的值类型已知,就可以触发类型推断,这让 Swift 代码更加简洁并且可读性更高。if
语句的时候,布尔值非常有用:Bool
类型的地方使用了非布尔值,Swift 的类型安全机制会报错。下面的例子会报告一个编译时错误:(404, "Not Found")
是一个描述 HTTP 状态码(HTTP status code)的元组。HTTP 状态码是当你请求网页的时候 web 服务器返回的一个特殊值。如果你请求的网页不存在就会返回一个 404 Not Found
状态码。(404, "Not Found")
元组把一个 Int
值和一个 String
值组合起来表示 HTTP 状态码的两个部分:一个数字和一个人类可读的描述。这个元组可以被描述为“一个类型为 (Int, String)
的元组”。(Int, Int, Int)
或者 (String, Bool)
或者其他任何你想要的组合的元组。_
)标记:(Int, String)
元组来描述是否获取成功。和只能返回一个类型的值比较起来,一个包含两个不同类型值的元组可以让函数的返回信息更有用。请参考 函数参数与返回值。注意
注意C 和 Objective-C 中并没有可选类型这个概念。最接近的是 Objective-C 中的一个特性,一个方法要不返回一个对象要不返回nil
,nil
表示“缺少一个合法的对象”。然而,这只对对象起作用——对于结构体,基本的 C 类型或者枚举类型不起作用。对于这些类型,Objective-C 方法一般会返回一个特殊值(比如NSNotFound
)来暗示值缺失。这种方法假设方法的调用者知道并记得对特殊值进行判断。然而,Swift 的可选类型可以让你暗示任意类型的值缺失,并不需要一个特殊值。
Int
类型有一种构造器,作用是将一个 String
值转换成一个 Int
值。然而,并不是所有的字符串都可以转换成一个整数。字符串 "123"
可以被转换成数字 123
,但是字符串 "hello, world"
不行。String
转换成 Int
:Int
,而不是一个 Int
。一个可选的 Int
被写作 Int?
而不是 Int
。问号暗示包含的值是可选类型,也就是说可能包含 Int
值也可能不包含值。(不能包含其他任何值比如 Bool
值或者 String
值。只能是 Int
或者什么都没有。)nil
来表示它没有值:注意nil
不能用于非可选的常量和变量。如果你的代码中有常量或者变量需要处理值缺失的情况,请把它们声明成对应的可选类型。
nil
:注意Swift 的nil
和 Objective-C 中的nil
并不一样。在 Objective-C 中,nil
是一个指向不存在对象的指针。在 Swift 中,nil
不是指针——它是一个确定的值,用来表示值缺失。任何类型的可选状态都可以被设置为nil
,不只是对象类型。
if
语句和 nil
比较来判断一个可选值是否包含值。你可以使用“相等”(==
)或“不等”(!=
)来执行比较。nil
:!
)来获取值。这个惊叹号表示“我知道这个可选有值,请使用它。”这被称为可选值的强制解析(forced unwrapping):注意使用!
来获取一个不存在的可选值会导致运行时错误。使用!
来强制解析值之前,一定要确定可选包含一个非nil
的值。
if
和 while
语句中,这条语句不仅可以用来判断可选类型中是否有值,同时可以将可选类型中的值赋给一个常量或者变量。if
和 while
语句,请参考 控制流。if
语句中写一个可选绑定:Int(possibleNumber)
返回的可选 Int
包含一个值,创建一个叫做 actualNumber
的新常量并将可选包含的值赋给它。”actualNumber
常量可以在 if
语句的第一个分支中使用。它已经被可选类型 包含的 值初始化过,所以不需要再使用 !
后缀来获取它的值。在这个例子中,actualNumber
只被用来输出转换结果。if
语句的第一个分支中操作 actualNumber
的值,你可以改成 if var actualNumber
,这样可选类型包含的值就会被赋给一个变量而非常量。if
语句中,只要使用逗号分开就行。只要有任意一个可选绑定的值为 nil
,或者任意一个布尔条件为 false
,则整个 if
条件判断为 false
。下面的两个 if
语句是等价的:注意在if
条件语句中使用常量和变量来创建一个可选绑定,仅在if
语句的句中(body
)中才能获取到值。相反,在guard
语句中使用常量和变量来创建一个可选绑定,仅在guard
语句外且在语句后才能获取到值,请参考 提前退出。
if
语句来判断是否有值,如果有值的话可以通过可选绑定来解析值。String?
)改成感叹号(String!
)来声明一个隐式解析可选类型。与其在使用时把感叹号放在可选类型的名称的后面,你可以在定义它时,直接把感叹号放在可选类型的后面。String
和隐式解析可选类型 String
之间的区别:assumedString
在把自己的值赋给 implicitString
之前会被强制解析,原因是 implicitString
本身的类型是非可选类型的 String
。在下面的代码中,optionalString
并没有显式的数据类型。那么根据类型推断,它就是一个普通的可选类型。注意如果一个变量之后可能变成nil
的话请不要使用隐式解析可选类型。如果你需要在变量的生命周期中判断是否是nil
的话,请使用普通可选类型。
throws
关键词来抛出错误消息。当你的函数能抛出错误消息时,你应该在表达式中前置 try
关键词。do
语句创建了一个新的包含作用域,使得错误能被传播到一个或多个 catch
从句。makeASandwich()
(做一个三明治)函数会抛出一个错误消息如果没有干净的盘子或者某个原料缺失。因为 makeASandwich()
抛出错误,函数调用被包裹在 try
表达式中。将函数包裹在一个 do
语句中,任何被抛出的错误会被传播到提供的 catch
从句中。eatASandwich()
函数会被调用。如果一个匹配 SandwichError.outOfCleanDishes
的错误被抛出,washDishes()
函数会被调用。如果一个匹配 SandwichError.missingIngredients
的错误被抛出,buyGroceries(_:)
函数会被调用,并且使用 catch
所捕捉到的关联值 [String]
作为参数。assert(_:_:file:line:)
函数来写一个断言。向这个函数传入一个结果为 true
或者 false
的表达式以及一条信息,当表达式的结果为 false
的时候这条信息会被显示:age >= 0
为 true
时,即 age
的值非负的时候,代码才会继续执行。如果 age
的值是负数,就像代码中那样,age >= 0
为 false
,断言被触发,终止应用。assertionFailure(_:file:line:)
函数来表明断言失败了,例如:precondition(_:_:file:line:)
函数来写一个先决条件。向这个函数传入一个结果为 true
或者 false
的表达式以及一条信息,当表达式的结果为 false
的时候这条信息会被显示:preconditionFailure(_:file:line:)
方法来表明出现了一个错误,例如,switch 进入了 default 分支,但是所有的有效值应该被任意一个其他分支(非 default 分支)处理。注意如果你使用 unchecked 模式(-Ounchecked)编译代码,先决条件将不会进行检查。编译器假设所有的先决条件总是为 true(真),他将优化你的代码。然而,fatalError(_:file:line:)
函数总是中断执行,无论你怎么进行优化设定。你能使用fatalError(_:file:line:)
函数在设计原型和早期开发阶段,这个阶段只有方法的声明,但是没有具体实现,你可以在方法体中写上 fatalError("Unimplemented")作为具体实现。因为 fatalError 不会像断言和先决条件那样被优化掉,所以你可以确保当代码执行到一个没有被实现的方法时,程序会被中断。