一：类型安全和类型推测

Swift 是一个类型安全(typesafe)的语言。类型安全的语言可以让你清楚地知道代码要处 理的值的类型。如果你的代码需要一个 String，你绝对不可能不小心传进去一个 Int。

由于 Swift 是类型安全的，所以它会在编译你的代码时进行类型检查(type checks)，并把 不匹配的类型标记为错误。这可以让你在开发的时候尽早发现并修复错误。

当你要处理不同类型的值时，类型检查可以帮你避免错误。然而，这并不是说你每次声明 常量和变量的时候都需要显式指定类型。如果你没有显式指定类型，Swift 会使用类型推测(type inference)来选择合适的类型。有了类型推测，编译器可以在编译代码的时候自动 推测出表达式的类型。原理很简单，只要检查你赋的值即可。

因为有类型推测，和 C 或者 Objective-C 比起来 Swift 很少需要声明类型。常量和变量 虽然需要明确类型，但是大部分工作并不需要你自己来完成。

当你声明常量或者变量并赋初值的时候类型推测非常有用。当你在声明常量或者变量的时 候赋给它们一个字面量(literalvalue 或 literal)即可触发类型推测。(字面量就是会直接出现在你代码中的值，比如 42 和 3.14159。)

例如，如果你给一个新常量赋值 42 并且没有标明类型，Swift 可以推测出常量类型是 Int，因为你给它赋的初始值看起来像一个整数:

let meaningOfLife = 42
// meaningOfLife 会被推测为 Int 类型

同理，如果你没有给浮点字面量标明类型，Swift 会推测你想要的是 Double:

let pi = 3.14159
// pi 会被推测为 Double 类型

当推测浮点数的类型时，Swift 总是会选择 Double 而不是 Float。
如果表达式中同时出现了整数和浮点数，会被推测为 Double 类型:

let anotherPi = 3 + 0.14159
// anotherPi 会被推测为 Double 类型

原始值 3 没有显式声明类型，而表达式中出现了一个浮点字面量，所以表达式会被推测为Double 类型。

二：数值型类型转换

通常来讲，即使代码中的整数常量和变量已知非负，也请使用 Int 类型。总是使用默认的整数类型可以保证你的整数常量和变量可以直接被复用并且可以匹配整数类字面量的类型 推测。只有在必要的时候才使用其他整数类型，比如要处理外部的长度明确的数据或者为 了优化性能、内存占用等等。使用显式指定长度的类型可以及时发现值溢出并且可以暗示正在处理特殊数据。

1. 整数转换

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

let cannotBeNegative: UInt8 = - 1
// UInt8 类型不能存储负数，所以会报错
let tooBig: Int8 = Int8.max + 1
// Int8 类型不能存储超过最大值的数，所以会报错

由于每中整数类型都可以存储不同范围的值，所以你必须根据不同情况选择性使用数值型类型转换。这种选择性使用的方式，可以预防隐式转换的错误并让你的代码中的类型转换意图变得清晰。

要将一种数字类型转换成另一种，你要用当前值来初始化一个期望类型的新数字，这个数 字的类型就是你的目标类型。在下面的例子中，常量 twoThousand 是 UInt16 类型，然而 常量 one 是 Uint8 类型。它们不能直接相加，因为它们类型不同。所以要调用 UInt16(one)来创建一个新的 UInt16 数字并用 one 的值来初始化，然后使用这个新数字来计算:

let twoThousand: UInt16 = 2_000
let one: UInt8 = 1
let twoThousandAndOne = twoThousand + UInt16(one)

现在两个数字的类型都是 UInt16，可以进行相加。目标常量 twoThousandAndOne 的类型 被推测为 UInt16，因为它是两个 UInt16 值的和。

SomeType(ofInitialValue)是调用 Swift 构造器并传入一个初始值的默认方法。在语言内 部，UInt16 有一个构造器，可以接受一个 UInt8 类型的值，所以这个构造器可以用现有的UInt8 来创建一个新的 UInt16。注意，你并不能传入任意类型的值，只能传入 UInt16 内部有对应构造器的值。

2. 整数和浮点数转换

整数和浮点数的转换必须显式指定类型:

let three = 3
let pointOneFourOneFiveNine = 0.14159
let pi1 = Double(three) + pointOneFourOneFiveNine
// pi 等于 3.14159，所以被推测为 Double 类型

这个例子中，常量 three 的值被用来创建一个 Double 类型的值，所以加号两边的数类型相 同。如果不进行转换，两者无法相加。
浮点数到整数的反向转换同样行，整数类型可以用 Double 或者 Float 类型来初始化:

// integerPi 等于 3，所以被推测为 Int 类型
let integerPi = Int(pi1)

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

注意:结合数字类常量和变量不同于结合数字类字面量。字面量 3 可以直接和字面量0.14159 相加，因为数字字面量本身没有明确的类型。它们的类型只在编译器需要求值的 时候被推测。

三：类型别名

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

当你想要给现有类型起一个更有意义的名字时，类型别名非常有用。假设你正在处理特定长度的外部资源的数据:

typealias AudioSample = UInt16

定义了一个类型别名之后，你可以在任何使用原始名的地方使用别名:

// maxAmplitudeFound 现在是 0
var maxAmplitudeFound = AudioSample.min

本例中，AudioSample 被定义为 UInt16 的一个别名。因为它是别名，AudioSample.min实际上是 UInt16.min，所以会给 maxAmplitudeFound 赋一个初值 0。