作者刘文涛
转载请注明出处
前言
Swift 包含了 C 和 Objective-C 上所有基础数据类型,int
表示整型值;Double
和 Float
表示浮点型的值。Bool
是布尔型值; String
是文本型数据。Swift还提供了三个基本的集合类型,Array
, Set
和 Dictionary
,详见集合类型。
就像 C 语言一样,Swift使用变量来进行存储并通过变量名来关联值。在Swift中,广泛的使用着值不可变的变量,它们就是常量,而且比 C 的语言常量更强大。在Swift中,如果你要处理的值不需要改变,那使用常量可以让你的代码更加安全并且更清晰的表达你的意图。
除了我们熟悉的类型,Swift还增加了 OC 中没有的高阶数据类型比如元组(Tuple)。元组可以让你创建或者传递一组数据,比如作为函数的返回值时,你可以用一个元组可以返回多个值。
Swift还增加了可选(Optional)类型,用于处理值缺失的情况。可选表示“那有一个值,并且它等于 x”或者“那没有值”。可选有点像在 OC 中使用 nil,但是它可以用在任何类型上,不仅仅是类。可选类型对比 OC 中的 nil 指针更加安全也更具表现力,它是 Swift 许多强大特性的重要组成部分。
Swift 是一门类型安全的语言,这意味着 Swift 可以让你清除的知道值的类型。如果你的代码期望得到一个 String
,类型安全会阻止你不小心传入一个 Int
。同样的,如果你的代码期望得到一个 String
,类型安全会阻止你意外传入一个可选的String
。类型安全可以帮助你在开发阶段尽早发现并修正错误。
常量和变量
常量和变量把一个名字和一个指定类型的值关联起来。常量的值一旦设定就不能改变,而变量的值可以随意更改。
声明常量和变量
常量和变量必须在使用前声明,用let
来声明常量,用var
来声明变量。下面的例子展示了如何用常量和变量来记录用户尝试登陆的次数:
|
|
这两行代码可以被理解为:
“声明一个名字是 maximumNumberOfLoginAttempts
的新常量,并给它一个值 10 。然后,声明一个名字是 rrentLoginAttempt
的变量并将它的值初始化为 0 。”
在这个例子中,允许最大尝试登陆次数被声明为一个常量,因为这个值不会改变。当前尝试登陆次数被声明为一个变量,因为每次尝试登陆失败的时候都需要增加这个值。
你可以在一行中声明多个常量或者多个变量,使用逗号隔开:
|
|
注意:如果你的代码中有不需要改变的值,请使用let
关键字将它声明为常量。只将需要改变的值声明为变量。
类型标注
当你声明常量或者变量的时候可以加上类型标注(type annotation),说明常量或者变量中要存储的值的类型。如果要添加类型标注,需要在常量或者变量名后面加上一个冒号和空格,然后加上类型名称。
这个例子给welcomeMessage
变量添加了类型标注,表示这个变量可以存储String
类型的值:
|
|
声明中的冒号代表着”是…类型“,所以这行代码可以被理解为:
”声明一个类型为String
,名字为welcomeMessage
的变量。“
类型为String
的意思是”可以存储任意String
类型的值。“welcomeMessage
变量现在可以被设置成任意字符串:
|
|
你可以在一行中定义多个同样类型的变量,用逗号分割,并在最后一个变量名之后添加类型标注:
|
|
注意:一般来说你很少需要写类型标注。如果你在声明常量或者变量的时候赋了一个初始值,Swift可以推断出这个常量或者变量的类型。在上面的例子中,没有给 welcomeMessage
赋初始 值,所以变量 welcomeMessage
的类型是通过一个类型标注指定的,而不是通过初始值推断的。
常量和变量的命名
你可以用任何你喜欢的字符作为常量和变量名,包括 Unicode 字符:
|
|
常量和变量名不能包含数学符号,箭头,保留的(或者非法的)Unicode 码位,连线与制表符。也不能以数字开头,但是可以在常量与变量名的其他地方包含数字。
一旦你将常量或者变量声明为确定的类型,你就不能使用相同的名字再次进行声明,或者改变其存储的值的类型。同时,你也不能将常量与变量进行互转。
注意:如果你需要使用与Swift保留关键字相同的名称作为常量或者变量名,你可以使用反引号(`)将关键字包围的方式将其作为名字使用。无论如何,你应当避免使用关键字作为常量或变量名,除非你别无选择。
你可以更改现有的变量值为其他同类型的值,在下面的例子中,friendlyWelcome
的值从 "Hello!"
改为了 "Bonjour!"
|
|
与变量不同,常量的值一旦被确定就不能更改了。尝试这样做会导致编译器报错:
|
|
输出常量和变量
你可以用print()
函数来输出当前常量或变量的值:
|
|
Swift 用字符串插值(string interpolation)的方式把常量名或者变量名当做占位符加入到长字符串中,Swift会用当前常量或者变量的值替换这些占位符。将常量或变量名放入圆括号中,并在开括号前使用反斜杠将其转义:
|
|
注释
请将你的代码中的非执行文本注释成提示或者笔记以方便你将来阅读。
Swift的注释与 C 语言的注释非常相似。单行注释以双正斜杠(//
)作为起始标记:
|
|
你也可以进行多行注释,其起始标记为单个正斜杠后跟随一个星号( /*
),终止标记为一个星号后跟随单个正斜 杠(*/
):
|
|
与C语言多行注释不同,Swift的多行注释可以嵌套在其它的多行注释之中。你可以先生成一个多行注释块,然后在这个注释块之中在嵌套成第二个多行注释。终止注释时先插入第二个注释块的终止标记,然后再插入第一个注释块的终止标记:
|
|
通过运用嵌套多行注释,你可以快捷方便的注释掉一大段代码,即使这段代码之中已经含有了多行注释块。
分号
与其他大部分编程语言不同,Swift并不强制要求你在每条语句的结尾处使用分号(;
),当然你也可以按照你自己的习惯添加分号。有一种情况下必须要使用分号,即你打算在同一行内写多条独立的语句:
|
|
整数
整数就是没有小数部分的数字,比如 42
,-23
。这些整数类型和 C 语言的命名方式很像,比如8位无符号整数类型是 UInt8
,32位有符号整数类型是 Int32
。就像Swift的其他类型一样,整数类型采用大写命名法。
整数范围
你可以访问不同整数类型的 min
和 max
属性来获取对应类型的最小值和最大值:
|
|
min
和 max
所传回值的类型,正是其所对的整数类型(如上例UInt8, 所传回的类型是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
长度相同。
注意:尽量不要使用UInt,除非你真的需要存储一个和当前平台原生字长相同的无符号整数。除了这种情况,最好使用 Int ,即使你要存储的值已知是非负的。同意使用 Int 可以提高代码的可复用性,避免不同类型数字之间的转换,并且匹配数字的类型推断。
浮点数
浮点数是有小数部分的数字,比如:3.1415,0.1 和 -273.15。
浮点类型比整数类型表示的范围更大,可以存储比 Int 类型更大或者更小的数字。Swift提供了两种有符号浮点数类型:Double
表示64位浮点数。当你需要存储很大或者很高精度的浮点数时请使用此类型。Float
表示32位浮点数。精度要求不高的话可以使用此类型。
注意:Double 精确度很高,至少有15位数字,而Float只有6位数字。选择哪个类型取决于你的代码需要处理的值的范围,在两种类型都匹配的情况下,将优先选择 Double。
类型安全和类型推断
Swift是一个类型安全(type safe)的语言。类型安全的语言可以让你清楚地知道代码要处理的值的类型。如果你的代码需要一个String,你绝对不可能不小心传进去一个Int。
由于Swift是类型安全的,所以它会在编译你的代码时进行类型检查(type checks),并把不匹配的类型标记为错误,这可以让你在开发的时候尽早发现并修复错误。
当你要处理不同的类型的值时,类型检查可以帮你避免错误。然而,这并不是说你每次声明常量和变量的时候都需要显式指定类型。如果你没有显式指定类型,Swift会使用类型推断(type inference)来选择合适的类型。有了类型推断,编译器可以在编译代码的时候自动推断出表达式的类型。原理很简单,只要检查你赋的值即可。
因为有类型的推断,和C或者OC比起来Swift很少需要声明类型。常量和变量虽然需要明确类型,但是大部分工作并不需要你自己来完成。
当你声明常量或者变量并赋初值的时候类型推断非常有用。例如,如果你给一个新常量赋值 42 并且没有标明类型,Swift可以推断出常量类型是Int,因为你给它赋的初始值看起来像一个整数。同理,如果你没有给浮点字面量标明类型,Swift会推断你想要的是Double。
如果表达式中同时出现了整数和浮点数,会被推断为 Double 类型。
|
|