你的位置:首页 > 操作系统

[操作系统]04_Swift2基础之类型安全和类型推测+字面量+类型别名


1. 类型安全和类型推测

 1> 类型安全  

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

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

  当你要处理不同类型的值时,类型检查可以帮你避免错误。然而,这并不是说你每次声明常量和变量的时候都需要显式指定类型。

 2> 类型推测

  如果你没有显式指定类型,Swift 会使用 _类型推测(type inference)_ 来选择合适的类型。有了类型推测,编译器可以在编译代码的时候自动推测出表达式的类型。原理很简单,只要检查你赋的值即可。

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

  当你声明常量或者变量并赋初值的时候类型推测非常有用。当你在声明常量或者变量的时候赋给它们一个_字面量(literal value 或 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`类型。

2. 数值型字面量

 1> 整数字面量可以被写作:

  * 一个十进制数(decimal),没有前缀

  * 一个二进制数(binary),前缀是`0b`

  * 一个八进制数(octal),前缀是`0o`

  * 一个十六进制数(hexadecimal),前缀是`0x`

  例: 下面的所有整数字面量的十进制值都是`17`:

1   let decimalInteger = 172 3   let binaryInteger = 0b10001    // 二进制的174 5   let octalInteger = 0o21      // 八进制的176 7   let hexadecimalInteger = 0x11   // 十六进制的17

 

 2> 浮点数字面量

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

  ② 浮点字面量还有一个可选的 _指数(exponent)_ ,在十进制浮点数中通过大写或者小写的`e`来指定,在十六进制浮点数中通过大写或者小写的`p`来指定。

   如果一个十进制数的指数为`exp`,那这个数相当于 基数和$10^{exp}$的乘积:

    * `1.25e2` 表示 $1.25 × 10^{2}$,等于 `125.0`。

    * `1.25e-2` 表示 $1.25 × 10^{-2}$,等于 `0.0125`。

   如果一个十六进制数的指数为`exp`,那这个数相当于 基数和$2^{exp}$的乘积:

    * `0xFp2` 表示 $15 × 2^{2}$,等于 `60.0`。

    * `0xFp-2` 表示 $15 × 2^{-2}$,等于 `3.75`。

   例: 下面的这些浮点字面量都等于十进制的`12.1875`:

      let decimalDouble = 12.1875

      let exponentDouble = 1.21875e1

      let hexadecimalDouble = 0xC.3p0

 3> 额外的格式

  数值类字面量可以包括额外的格式来增强可读性。整数和浮点数都可以添加额外的零并且包含下划线,并不会影响字面量:

   let paddedDouble = 000123.456

   let oneMillion = 1_000_000

   let justOverOneMillion = 1_000_000.000_000_1

3. 类型别名

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

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

  typealias AudioSample = UInt16

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

  var maxAmplitudeFound = AudioSample.min

  // maxAmplitudeFound 现在是 0

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