zoukankan      html  css  js  c++  java
  • 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 = 17
    2 
    3   let binaryInteger = 0b10001       // 二进制的17
    4 
    5   let octalInteger = 0o21           // 八进制的17
    6 
    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`。

  • 相关阅读:
    LeetCode 83. Remove Duplicates from Sorted List (从有序链表中去除重复项)
    LeetCode 21. Merge Two Sorted Lists (合并两个有序链表)
    LeetCode 720. Longest Word in Dictionary (字典里最长的单词)
    LeetCode 690. Employee Importance (职员的重要值)
    LeetCode 645. Set Mismatch (集合不匹配)
    LeetCode 500. Keyboard Row (键盘行)
    LeetCode 463. Island Perimeter (岛的周长)
    115.Distinct Subsequences
    55.Jump Game
    124.Binary Tree Maximum Path Sum
  • 原文地址:https://www.cnblogs.com/gfxxbk/p/5450614.html
Copyright © 2011-2022 走看看