Swift编程语言学习4.2—— 条件语句

条件语句

根据特定的条件执行特定的代码通常是十分有用的，例如：当错误发生时，你可能想运行额外的代码；或者，当输入的值太大或太小时，向用户显示一条消息等。要实现这些功能，你就需要使用条件语句。

 

Swift 提供两种类型的条件语句：if语句和switch语句。通常，当条件较为简单且可能的情况很少时，使用if语句。而switch语句更适用于条件较复杂、可能情况较多且需要用到模式匹配（pattern-matching）的情境。

 

 

If

if语句最简单的形式就是只包含一个条件，当且仅当该条件为true时，才执行相关代码：

 

var temperatureInFahrenheit = 30
if temperatureInFahrenheit <= 32 {
   println("It's very cold. Consider wearing a scarf.")
}
// 输出 "It's verycold. Consider wearing a scarf."

上面的例子会判断温度是否小于等于 32 华氏度（水的冰点）。如果是，则打印一条消息；否则，不打印任何消息，继续执行if块后面的代码。

 

当然，if语句允许二选一，也就是当条件为false时，执行 else 语句：

 

temperatureInFahrenheit = 40
if temperatureInFahrenheit <= 32 {
   println("It's very cold. Consider wearing a scarf.")
} else {
   println("It's not that cold. Wear a t-shirt.")
}
// 输出 "It's notthat cold. Wear a t-shirt."

显然，这两条分支中总有一条会被执行。由于温度已升至 40 华氏度，不算太冷，没必要再围围巾——因此，else分支就被触发了。

 

你可以把多个if语句链接在一起，像下面这样：

 

temperatureInFahrenheit = 90
if temperatureInFahrenheit <= 32 {
   println("It's very cold. Consider wearing a scarf.")
} else if temperatureInFahrenheit >= 86{
   println("It's really warm. Don't forget to wear sunscreen.")
} else {
   println("It's not that cold. Wear a t-shirt.")
}
// 输出 "It's reallywarm. Don't forget to wear sunscreen."

在上面的例子中，额外的if语句用于判断是不是特别热。而最后的else语句被保留了下来，用于打印既不冷也不热时的消息。

 

实际上，最后的else语句是可选的：

 

temperatureInFahrenheit = 72
if temperatureInFahrenheit <= 32 {
   println("It's very cold. Consider wearing a scarf.")
} else if temperatureInFahrenheit >= 86{
   println("It's really warm. Don't forget to wear sunscreen.")
}

在这个例子中，由于既不冷也不热，所以不会触发if或else if分支，也就不会打印任何消息。

 

 

Switch

switch语句会尝试把某个值与若干个模式（pattern）进行匹配。根据第一个匹配成功的模式，switch语句会执行对应的代码。当有可能的情况较多时，通常用switch语句替换if语句。

 

switch语句最简单的形式就是把某个值与一个或若干个相同类型的值作比较：

 

switch `some value to consider` {
case `value 1`:
   `respond to value 1`
case `value 2`,
`value 3`:
   `respond to value 2 or 3`
default:
   `otherwise, do something else`
}

switch语句都由多个 case 构成。为了匹配某些更特定的值，Swift 提供了几种更复杂的匹配模式，这些模式将在本节的稍后部分提到。

 

每一个 case 都是代码执行的一条分支，这与if语句类似。与之不同的是，switch语句会决定哪一条分支应该被执行。

 

switch语句必须是完备的。这就是说，每一个可能的值都必须至少有一个 case 分支与之对应。在某些不可能涵盖所有值的情况下，你可以使用默认（default）分支满足该要求，这个默认分支必须在switch语句的最后面。

 

下面的例子使用switch语句来匹配一个名为someCharacter的小写字符：

 

let someCharacter: Character ="e"
switch someCharacter {
case "a", "e","i", "o", "u":
   println("\(someCharacter) is a vowel")
case "b", "c","d", "f", "g", "h", "j","k", "l", "m",
"n", "p","q", "r", "s", "t", "v","w", "x", "y", "z":
   println("\(someCharacter) is a consonant")
default:
   println("\(someCharacter) is not a vowel or a consonant")
}
// 输出 "e is avowel"

在这个例子中，第一个 case 分支用于匹配五个元音，第二个 case 分支用于匹配所有的辅音。

 

由于为其它可能的字符写 case 分支没有实际的意义，因此在这个例子中使用了默认分支来处理剩下的既不是元音也不是辅音的字符——这就保证了switch语句的完备性。

 

 

不存在隐式的贯穿（No Implicit Fallthrough）

 

与 C 语言和 Objective-C 中的switch语句不同，在 Swift 中，当匹配的 case 分支中的代码执行完毕后，程序会终止switch语句，而不会继续执行下一个 case 分支。这也就是说，不需要在 case 分支中显式地使用break语句。这使得switch语句更安全、更易用，也避免了因忘记写break语句而产生的错误。

 

注意：

 

你依然可以在 case 分支中的代码执行完毕前跳出，详情请参考Switch 语句中的 break。

每一个 case 分支都必须包含至少一条语句。像下面这样书写代码是无效的，因为第一个 case 分支是空的：

 

let anotherCharacter: Character ="a"
switch anotherCharacter {
case "a":
case "A":
   println("The letter A")
default:
   println("Not the letter A")
}
// this will report a compile-time error

不像 C 语言里的switch语句，在 Swift 中，switch语句不会同时匹配"a"和"A"。相反的，上面的代码会引起编译期错误：case "a": does not contain any executable statements——这就避免了意外地从一个case 分支贯穿到另外一个，使得代码更安全、也更直观。

 

一个 case 也可以包含多个模式，用逗号把它们分开（如果太长了也可以分行写）：

 

switch `some value to consider` {
case `value 1`,
`value 2`:
   `statements`
}

注意：如果想要贯穿至特定的 case 分支中，请使用fallthrough语句，详情请参考贯穿（Fallthrough）。

 

区间匹配（Range Matching）

 

case 分支的模式也可以是一个值的区间。下面的例子展示了如何使用区间匹配来输出任意数字对应的自然语言格式：

 

let count = 3_000_000_000_000
let countedThings = "stars in theMilky Way"
var naturalCount: String
switch count {
case 0:
   naturalCount = "no"
case 1...3:
   naturalCount = "a few"
case 4...9:
   naturalCount = "several"
case 10...99:
   naturalCount = "tens of"
case 100...999:
   naturalCount = "hundreds of"
case 1000...999_999:
   naturalCount = "thousands of"
default:
   naturalCount = "millions and millions of"
}
println("There are \(naturalCount)\(countedThings).")
// 输出 "There aremillions and millions of stars in the Milky Way."

 

元组（Tuple）

 

你可以使用元组在同一个switch语句中测试多个值。元组中的元素可以是值，也可以是区间。另外，使用下划线（_）来匹配所有可能的值。

 

下面的例子展示了如何使用一个(Int, Int)类型的元组来分类下图中的点(x, y)：

 

let somePoint = (1, 1)
switch somePoint {
case (0, 0):
   println("(0, 0) is at the origin")
case (_, 0):
   println("(\(somePoint.0), 0) is on the x-axis")
case (0, _):
   println("(0, \(somePoint.1)) is on the y-axis")
case (-2...2, -2...2):
   println("(\(somePoint.0), \(somePoint.1)) is inside the box")
default:
   println("(\(somePoint.0), \(somePoint.1)) is outside of thebox")
}
// 输出 "(1, 1) isinside the box"

 

 

在上面的例子中，switch语句会判断某个点是否是原点(0, 0)，是否在红色的x轴上，是否在黄色y轴上，是否在一个以原点为中心的4x4的矩形里，或者在这个矩形外面。

 

不像 C 语言，Swift 允许多个 case 匹配同一个值。实际上，在这个例子中，点(0, 0)可以匹配所有四个 case。但是，如果存在多个匹配，那么只会执行第一个被匹配到的 case 分支。考虑点(0, 0)会首先匹配case (0, 0)，因此剩下的能够匹配(0, 0)的case 分支都会被忽视掉。

 

 

值绑定（Value Bindings）

 

case 分支的模式允许将匹配的值绑定到一个临时的常量或变量，这些常量或变量在该 case 分支里就可以被引用了——这种行为被称为值绑定（value binding）。

 

下面的例子展示了如何在一个(Int, Int)类型的元组中使用值绑定来分类下图中的点(x, y)：

 

let anotherPoint = (2, 0)
switch anotherPoint {
case (let x, 0):
   println("on the x-axis with an x value of \(x)")
case (0, let y):
   println("on the y-axis with a y value of \(y)")
case let (x, y):
   println("somewhere else at (\(x), \(y))")
}
// 输出 "on thex-axis with an x value of 2"

 

 

在上面的例子中，switch语句会判断某个点是否在红色的x轴上，是否在黄色y轴上，或者不在坐标轴上。

 

这三个 case 都声明了常量x和y的占位符，用于临时获取元组anotherPoint的一个或两个值。第一个 case ——case (let x, 0)将匹配一个纵坐标为0的点，并把这个点的横坐标赋给临时的常量x。类似的，第二个 case ——case (0, let y)将匹配一个横坐标为0的点，并把这个点的纵坐标赋给临时的常量y。

 

一旦声明了这些临时的常量，它们就可以在其对应的 case 分支里引用。在这个例子中，它们用于简化println的书写。

 

请注意，这个switch语句不包含默认分支。这是因为最后一个 case ——case let(x, y)声明了一个可以匹配余下所有值的元组。这使得switch语句已经完备了，因此不需要再书写默认分支。

 

在上面的例子中，x和y是常量，这是因为没有必要在其对应的 case 分支中修改它们的值。然而，它们也可以是变量——程序将会创建临时变量，并用相应的值初始化它。修改这些变量只会影响其对应的 case 分支。

 

 

Where

 

case 分支的模式可以使用where语句来判断额外的条件。

 

下面的例子把下图中的点(x, y)进行了分类：

 

let yetAnotherPoint = (1, -1)
switch yetAnotherPoint {
case let (x, y) where x == y:
   println("(\(x), \(y)) is on the line x == y")
case let (x, y) where x == -y:
   println("(\(x), \(y)) is on the line x == -y")
case let (x, y):
   println("(\(x), \(y)) is just some arbitrary point")
}
// 输出 "(1, -1) ison the line x == -y"

 

 

在上面的例子中，switch语句会判断某个点是否在绿色的对角线x == y上，是否在紫色的对角线x == -y上，或者不在对角线上。

 

这三个 case 都声明了常量x和y的占位符，用于临时获取元组yetAnotherPoint的两个值。这些常量被用作where语句的一部分，从而创建一个动态的过滤器(filter)。当且仅当where语句的条件为true时，匹配到的 case 分支才会被执行。

 

就像是值绑定中的例子，由于最后一个 case 分支匹配了余下所有可能的值，switch语句就已经完备了，因此不需要再书写默认分支。