类型
基本类型
- Int
- Double
- Float
- Character
- String
- Bool
- SubString
集合类型
- Array
- Set
- Dictionary
高级类型
- tuple
- 区间类型
- 可选类型
- Any
...
Swifi是一种类型安全的语言
定义变量
- 常量使用
let - 变量使用
var
类型注释
使用类型注释来告知被存储的变量(常量)是什么类型
var welcomeMessage:String
整型边界
let minValue = UInt8.min //minValue的值为0 ,这是8位无符号数的最小值
let maxValue = UInt8.max // maxValue为255
类型安全和类型推测
Swift是类型安全的语言,不允许隐式类型转换.
数字进制
- 十进制数字,没有前缀
- 二进制数字,前缀
0b - 八进制数字,前缀
0o - 十六进制数字,前缀
0x
使用科学计数法
- 十进制:1.25e2 表示
- 十六进制: 0xFp2 表示
,即十进制数60
分隔符
可以使用_用作数字的分隔符
let oneMillion = 1_000_000
类型别名
使用关键字typealias定义类型别名
typealias AudioSample = UInt16
可选类型
在值可能为空的地方使用可选类型
可选类型表示两种可能:有值或者为空
在C语言和OC中没有可选类型的概念,在Objective-C中最接近可选类型的是使用一个nil来表示一个对象,但是Objective-C中的nil只能表示对象,不能表示基本类型
下面有个例子来演示可选类型如何应对缺失值
将一个string转化成int 如果是''123''就没有问题,但是如果是"Hello"这样的值就没有办法
let possibleNumber = "123"
let convertedNumber = Int(possibleNumber)
// covertedNumber 被推断为是"Int?"类型的
因为赋值转化可能会失败,所以返回的是可选类型
nil
可以给可选类型赋值为nil代表空
注意:不能吧nil赋值给非可选类型变量,如果一个变量可能为空,在定义的时候,使用可选类型
如果在定义可选类型的时候没有使用默认值,那么这个值就会被置为nil
swift中的
nil和Objective-C中的nil不同,Objective-C中的nil只能表示不存在的对象.在Swift中nil不是表示一个指针.是表示可选类型具体值的缺失
可选绑定
使用可选绑定确定一个可选类型的值是否有值.如果有值,将值赋予一个常量,该常量的类型是可选类型非空的值的类型
if let constantName = someOptional {
statements
}
隐式解析可选类型
如上所述，可选暗示了常量或者变量可以“没有值”。可选可以通过if语句来判断是否有值，如果有值的话可以通过可选绑定来解析值。
有时候在程序中，第一次被赋值之后，可以确定一个可选总会有值。在这种情况下，每次都要判断和解析可选值是非常低效的，因为可以确定它总会有值。
这种类型的可选被定义为隐式解析可选（implicitly unwrapped optionals）。把想要用作可选的类型的后面的问号（String?）改成感叹号（String!）来声明一个隐式解析可选。
当可选被第一次赋值之后就可以确定之后一直有值的时候，隐式解析可选非常有用
let possibleString: String? ="An optional string."
println(possibleString!)// 需要惊叹号来获取值
也就是说,在可选类型后面使用!之后,可选类型的值就被强制取出来了,而不用进行显式的可选绑定操作.当你十分确定一个可选类型有值的时候,使用这个方法
异常处理
在程序执行阶段，你可以使用错误处理机制来为错误状况负责。
相比于可选项的通过值是否缺失来判断程序的执行正确与否，而错误处理机制能允许你判断错误的形成原因，在必要的情况下，还能将你的代码中的错误传递到程序的其他地方。
通过在函数声明过程当中加入 throws 关键字来表明这个函数会抛出一个错误。当你调用了一个可以抛出错误的函数时，需要在表达式前预置 try 关键字.
func canThrowAnError() throws {
// this function may or may not throw an error
}
Swift 会自动将错误传递到它们的生效范围之外，直到它们被 catch 分句处理。
do{
try canThrowAnError()
//无异常抛出
} catch{
//异常抛出
}
断言和先决条件
使用assert(_:_:)函数来写断言,当该函数的第一个参数为false时,断言被触发,程序终止,显示第二个参数的信息
let age = -3
assert(age >= 0,"年龄不能小于0")
断言信息也可以省略
assert(age >= 0)
如果代码已经进行了条件检查,那么可以使用assertionFailure(_:file:line:)来标明断言失败
if(age >=0 ){
}else {
assertionFailure("年龄不能小于0")
}
强制先决条件
在你代码中任何条件可能潜在为假但必须肯定为真才能继续执行的地方使用先决条件。比如说，使用先决条件来检测下标没有越界，或者检测函数是否收到了一个合法的值。
你可以通过调用 precondition(::file:line:) 函数来写先决条件。给这个函数传入表达式计算为 true 或false ，如果条件的结果是 false 信息就会显示出来。比如说：
precondition(index >0,"下标必须大于0")
你可以调用 preconditionFailure(_:file:line:) 函数来标明错误发生了——比如说，如果 switch 的默认情况被选中，但所有的合法输入数据应该被其他 switch 的情况处理。
断言和先决条件的区别
从语言设计层面来说，这两个函数扮演不同的角色：
assert：检查内部的错误代码。
precondition：检查客户端给你的参数是否有效。
两者的区别很大，第二个要求有公共文档，第一个不需要。
例如：在 Swift 的标准库中，我们保证永远不会出现内存错误，除非你调用 (Obj)C 代码或者使用一个明确地标着「unsafe」的结构。我们需要去检验客户端参数，为了避免给了非法的参数引起内存泄露，我们要在参数中文档化这些需求作为前置条件，并且使用（等价的）precondition() 去检验它。我们还有一系列的内部合理检查，用以确定我们代码假定的正确性，而类型系统还不能保证这个代码的假定。由于这些原因，我们使用（等价的）assert()，因为我们不想降低你的代码性能（使用合理的检查）。
