Swift 控制流

前言

• 指令的执行顺序在程序结构中，我们称之为控制流。控制流，也称为控制结构，通常包括：顺序结构、条件结构、循环结构、转向结构。

1、条件分支结构

1.1 if 语句

• 1）if 语句

  • Swift 中的 if-else 和结构和 C 语言以及 OC 中的结构相似，只不过判断语句不需要写在小括号中。

    if condition {
        statements 1
    } else {
        statements 2
    }
    

• 2）if-let 语句，值绑定

  • if-let 语句是 Swift 提供的一种更安全的可选型解包方式 “可选绑定” 语句。

    if let 常量 = 可选型变量 {
        statements 1
    }
    statements 2
    

    if var 常量 = 可选型变量 {
        statements 1
    }
    statements 2
    

  • 如果 “可选型变量” 有值，即不为 nil 时，对 “可选型变量” 解包并给其一个 “别名”（语句中的常量/变量），在 if 后的大括号对中 “别名” 才有效果。

  • 如果 “可选型变量” 无值，即为 nil 时，那么大括号对中的代码不会执行，使可选解包程序不会崩溃。

1.2 guard 语句

• 1）guard-else 语句

  • 在 Swift 2.0 中引入了用来进行判断的关键字 guard，与 if 类似，不过与 if-else 不同的是，guard-else 结构先处理不符合 guard 中判断条件的情况，最后处理条件为真时的操作。

    guard condition else {
        statements 1
        return
    }
    statements 2
    

  • guard 的引入是因为当需要判断多个条件的时候，if-else 结构只能通过嵌套的方式排列所有的判断条件，而使用 guard 后可以使嵌套结构变成顺序执行的结构。

  • 当判断条件为假时必须在大括号中使用 return 或者 break 提前终止代码。

• 2）guard-let-else 语句，值绑定

  • guard-let-else 语句是 Swift 提供的一种更安全的可选型解包方式 “可选绑定” 语句。

    guard let 常量 = 可选型变量 else {
        statements 1
        return
    }
    statements 2
    

    guard var 变量 = 可选型变量 else {
        statements 1
        return
    }
    statements 2
    

  • guard-let-else 首先处理 “可选型变量” 为 nil 时的情况，在此种情况下必须在大括号中使用 return 或者 break 提前终止代码。

  • 如果 “可选型变量” 有值，那么 “可选型变量” 的值也会被保存在 “别名”（语句中的常量/变量）中，不管有多少个 guard-let-else，“别名” 的作用域都在最外层。

1.3 switch 语句

• 1）switch 语句

  • switch 语句会把需要检验的值与若干中情况进行匹配，一旦匹配就会执行这种情况下的代码。

    switch value {
        case value1:
            statements 1
        case value2:
            statements 2
        default:
            statements 3
    }
    

  • 和 OC 中的 switch 语句不同，在 switch 语言中你不需要在 case 块中显式的使用 break 语句跳出 switch，当匹配到的 case 块中的代码块中的代码执行完毕后，程序会终止 switch 语句，而不会继续执行下一个 case 块。

  • 可以使用 fallthrough 在 switch 语句中使代码继续执行到下一个 case 中的代码，而不会检查它下一个将会落入执行的 case 中的条件是否匹配，从而达到和 C 语言标准中 switch 语句特性一样的效果。fallthrough 不能用在下一个 case 中有变量的情况，如 case 中出现 let。

  • switch 语句允许多个 case 匹配同一个值，不过如果存在多个可匹配分支的时候，只会执行第一个被匹配到的 case 块。

  • 在 switch 语言中每一个 case 块都必须包含至少一条语句。

  • 如果 case 能够包含 switch 中的所有情况，那么没有 default 也是可以的。

  • 在 switch 语言中每个 case 块后的匹配条件可以有多个，也可以是范围，每个匹配条件之间用逗号隔开。switch 语句不会同时匹配大些字母和小写字母。 如：case 1, 2, 3, 4, 5,

    let a = 85
    switch a {
        case 1..<80:
            print("bad")
        case 80..<90:
            print("good")
        default:
            print("OK")
    }
    

  • 可以使用元组在同一个 switch 语句中匹配多个值，元组中的元素可以是值，也可以是范围。

    let a = (1, 1)
    switch a {
        case (0, 0):
            print("00 坐标")
        case (0, 1):
            print("01 坐标")
        default:
            print("OK")
    }
    

2、循环结构

2.1 for 循环语句

• 1）for-in 语句

  • 在 Swift 中最常使用的 for 循环是 for-in 结构，并且可以和范围（... 和 ..<）配合使用。

    for 循环变量 in <范围，集合，队列...> {
        statements
    }
    

  • 当不需要使用范围内的每一项的值时，可以使用下划线 _ 作为循环变量名来忽略对值的访问。

  • 遍历字典时，字典的每项元素会以 (key, value) 元组的形式返回。

  • 循环变量不需要使用 var 声明。

    for num in 0...10 {
        print(num)
    }
    

• 2）for 语句

  • 在 Swift 3.0 中 C 语言样式的 for 循环语句被废弃。Range、Array、Dictionary 都可以使用 for-in 循环。

    for initialization; condation; increment {
        statements
    }
    

  • initialization：初始化表达式，condation：循环条件，increment：改变循环条件的表达式。

2.2 while 循环语句

• 1）while 语句

  • while 循环语句除了作为传统的控制流，还可以用在对可选型的解包以及模式匹配中。

    while expression {
        statements
    }
    

• 2）repeat-while 语句

  • 在 Swift 3.0 中 C 语言样式的 do-while 循环语句被废弃，使用 repeat-while 循环语句代替。

    repeat {
        statements
    } while expression
    

3、控制转向语句

• continue：会通知一个循环体立即停止本次循环，直接回到循环条件判断，重新开始下次循环。

• break：会立即中断该循环体，然后跳转到表示循环体结束的大括号后的第一行代码，即跳出本层循环体。可以在 switch 和循环结构中使用。

• fallthrough：在 switch 语句中使代码继续执行到下一个 case 中的代码，而不会检查它下一个将会落入执行的 case 中的条件是否匹配，从而达到和 C 语言标准中 switch 语句特性一样的效果。

• 标签语句：Swift 语言提供了更强大的跳出机制，你可以显式的指出需要跳出的是哪一层循环或 switch 结构。为了实现这个目的，我们可以使用标签来为循环体或者 switch 代码打上标记，当需要使用 break 或者 continue 时，带上这个标签就可以控制跳出或中断的是哪一个循环或 switch 结构。

  labelName: for number in sArray {
      statements
  }
  
  // 跳出 loopName 循环
  break labelName