swift1-基础

Swift包含了C和Objective-C上所有基础数据类型，Int表示整型值、Double和Float表示浮点型值、Bool是布尔型值、String是文本型数据。Swift还提供了三个基本的集合类型：Array、Set和Dictionary。

Swift还提供了OC中没有的高阶数据类型比如元组Tuple。元组可以让你创建或者传递一组数据，元组的数据类型不必一致。

Swift还增加了可选（Optional）类型，用于处理值缺失的情况。可选表示一个变量可以有一个值或者没有值。

Swift是一种类型安全的语言，Swift可以让你清楚地知道值的类型。如果你的代码期望得到一个String，类型安全会阻止你不小心传入一个Int。同样的，如果你的代码期望得到一个String，类型安全会阻止意外传入一个可选的String。类型安全帮助在开发阶段尽早发现错误。

常量和变量：

常量和变量把一个名字和一个指定类型的值关联起来。常量的值一旦设定就不能改变，而变量的值可以随意更改。

声明常量和变量：

常量和变量必须在使用前声明，用let声明常量，用var声明变量。

类型标注：

当声明常量或者变量的时候可以加上类型标注（type annotation），说明常量或者变量中要存出的值得类型。var a:Int=1

可以在一行中定义多个同样类型的变量，用逗号分隔，并在最后一个变量名之后添加类型标注。

var a,b,c:String

常量和变量的命名：

可以用任何你喜欢的字符作为常量和变量名，包括Unicode字符。

常量与变量名不能包含数学符号，箭头，保留的（或者非法的）Unicode码位，连线与制表符。也不能以数字开头，但是可以在常量与变量名的其它地方包含数字。

一旦将常量或者变量声明为确定的类型，就不能使用相同的名字再次声明，或者改变其存储的值的类型。同时，不能将常量与变量进行互转。

输出常量和变量：

可以用print(_:, separator:, terminator: )函数来输出当前常量或变量的值。

separator和terminator参数具有默认值，因此调用这个函数的时候可以忽略它们。默认情况下，该函数通过添加换行符来结束当前行。如果不想换行，可以传递一个空字符串给terminator参数，例如print(a,terminator:" ")。

Swift使用字符串插值（string interpolation）的方式把常量名或者变量名当做占位符加入到长字符串中，Swift会用当前常量或变量的值替换这些占位符。将常量或变量名放入圆括号中，并在括号前使用反斜杠将其转义：

var b:String="from a \(a)"

注释：

Swift中的注释与C语言的注释非常相似。单行注释以双正斜杠（//）作为起始标记。

也可以用/*和*/来注释一大段内容。

注释可嵌套。

分号：

Swift并不强制要求在每条语句的结尾处使用分号（；），不过也可以添加。

有一种情况必须使用分号，即打算在同一行内写多条独立的语句：var a=1;var b="cjj"

整数：

整数就是没有小数部分的数字，42、-53。整数可以有符号（正负零）或者无符号（正零）。

Swift提供了8、16、32和64位的有符号和无符号整数类型。这些整数类型和C语言的命名方式很像，比如8位无符号整数类型是UInt8，32位有符号整数类型是Int32。

整数范围：

可以访问不同整数类型的min和max属性来获取对应类型的最小值和最大值。

let a=UInt8.min

let b=UInt8.max

min和max所传回值的类型，正是其所对应的整数类型，可用在表达式中相同类型值旁。

Int：

一般来说不需要专门指定整数的长度。Swift提供了一个特殊的整数类型Int，长度与当前平台的原生字长相同：

在32位平台上，Int和Int32长度相同。

在64位平台上，Int和Int64长度相同。

UInt：

与Int对应的无符号整数。

浮点数：

有小数部分的数字。

Double表示64位浮点数。Float表示32位浮点数。

类型安全和类型推断：

Swift是一个类型安全的语言（type safe）。类型安全的语言可以让你清楚地知道代码要处理的值的类型。如果代码需要一个String，传入Int会编译出错。

类型检查（type checks）在编译时期进行，并把不匹配的类型标记为错误。

如果在声明常量和变量时未显式指定类型，Swift会使用类型推断（type inference）来选择合适的类型。

当声明常量或者变量的时候赋给一个字面量（literal value或literal）即可触发类型推断。

类型推断的浮点数默认是Double。

数值型字面量：

整数字面量可以被写作：

一个十进制数，没有前缀；一个二进制数，前缀是0b；一个八进制数，前缀是0o；一个十六进制数，前缀是0x。

浮点字面量可以是十进制（没有前缀）或者是十六进制（前缀是0x）。小数点两边必须有至少一个十进制数字（或者是十六进制的数字）。

var a:Double=0x98.34p0　　//十六进制表示的浮点数字面量必须有p，且0x在开头。

十进制浮点数也可以有一个可选的指数（exponent），通过大写或者小写的e来指定；十六进制浮点数必须有一个指数，通过大写或者小写的p来指定。

如：0xFp2表示15乘于2的2次方，等于60.0。

0xFp-2表示15乘于2的-2次方，等于12.1875。

整数转换：

不同整数类型的变量和常量可以存储不同范围的数字。Int8类型的常量或者变量可以存储的数字范围是-128~127，而Uint8类型的常量或者变量能存储的数字范围是0~255。如果数字超出了常量或者变量可存储的范围，编译的时候会报错。

整数和浮点数转换必须显式指定类型。var a:Double=Double(10)　　//

当用这种方式来初始化一个新的整数值时，浮点值会被截断。4.75会变成4，-3.9会变成-3。

类型别名：

类型别名（type aliases）就是给现有类型定义另一个名字。可以使用typealias关键字来定义类型别名。

typealias AudioSample=UInt16

var a:AudioSample=10

布尔值：

Swift有一个基本的布尔类型（Boolean），叫做Bool。布尔值指逻辑上的真假。布尔常量有两个true和false。

（Swift中的条件语句需要使用Bool类型表达式，没有0和非0的默认转换Bool）。

元组：

元组（tuples）把多个值组合成一个复合值。元组内的值可以是任意类型，并不要求是相同类型。

如(100,"cjj")是一个(Int,String)类型的元组。

可以把任意顺序的类型组合成一个元组，这个元组可以包含所有类型。

可以将一个元组的内容分解（decompose）成单独的常量和变量，然后可以正常使用了。

可选类型：

使用可选类型（optionals）来处理值可能缺失的情况。可选类型表示：

-有值，等于x

-没有值

在Swift中，字符串可转换为Int，但不是所有字符串都可以成功转换为整数。

var a="123"

var b=Int(a)

b的类型是Int?，问号表示该变量或常量是一个可选类型，也就是说可能包含Int值也可能不包含值。（如“123”可以成功转换，转换后的值是Optional(123)，“123m”不能成功转换，转换后的值是nil）

nil：

可以给可选变量赋值为nil来表示它没有值：

var a:Int?=404

a=nil

如果声明了一个可选常量或者变量但没有赋值，它们会自动被设置为nil：

var a:Int?

if语句以及强制解析：

可以使用if语句和nil比较来判断一个可选值是否包含值。你可以使用“相等”（==）或“不等”（！=）来执行比较。

如果可选类型有值，它将不等于nil。

当确定可选类型确实包含值之后，可以在可选的名字后面加一个感叹号（！）来获取值。这个！表示“我知道这个可选有值，可以使用它。”这被称为可选值的强制解析（forced unwrapping）。

if a != nil{

print("\(a!)")

}

可选绑定：

使用可选绑定（optional binding）来判断可选类型是否包含值，如果包含就把值赋给一个临时常量或者变量。可选绑定可以用在if和while语句中，这条语句不仅可以用来判断可选类型中是否有值，同时可以将可选类型中的值赋给一个常量或者变量。

if let b = a{

...

}　　//a是可选类型，如果其值不是nil，就创建一个临时变量b并将a的值赋给b，执行代码。a的值是nil时不会创建也不会执行。

隐式解析可选类型：

可选类型暗示了常量或者变量可以没有值。

有时候在程序架构中，第一次被赋值之后，可以确定一个可选类型总会有值。在这种情况下，每次都要判断和解析可选值是非常低效的，因为可以确定它总会有值。

这种类型的可选状态被定义为隐式解析可选类型（implicitly unwrapped options）。把想要用作可选的类型的后面的问好（String?）改成感叹号（String!）来声明一个隐式解析可选类型。

let a:String?="cjj"

let b:String=a!　　//需要用感叹号来获取值

let c:String!="xyy"

let d:String=c　　//不需要感叹号

错误处理：

可以使用错误处理（error handling）来应对程序执行中可能会遇到的错误条件。

相对于可选中运行值的存在与缺失来表达函数的成功与失败，错误处理可以推断失败的原因，并传播至程序的其它部分。

当一个函数遇到错误条件，它能报错。调用函数的地方能抛出错误消息并合理处理。

用throw抛出错误，用try执行可能抛出错误的程序，用catch捕获错误。

所有的错误对象继承自Error协议。

断言：

使用断言进行调试：

断言会在运行时判断一个逻辑条件是否为true。从字面意思来说，断言“断言”一个条件是否为真。可以使用断言来保证在运行其它代码之前，某些重要的条件已经被满足。如果条件判断为true，代码运行会继续进行；如果条件判断为false，代码执行结束，程序终止。

使用全局assert(_:,_:,file:,line:)函数来写一个断言。向这个函数传入一个结果为true或者false的表达式以及一条信息，当表达式的结果为false时这条信息会被显示。