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时这条信息会被显示。