語句 · The Swift Programming Language 中文版

> 1.0 翻譯：[coverxit](https://github.com/coverxit)?校對：[numbbbbb](https://github.com/numbbbbb),?[coverxit](https://github.com/coverxit),?[stanzhai](https://github.com/stanzhai), > > 2.0 翻譯+校對：[littledogboy](https://github.com/littledogboy) 本頁包含內容： [TOC=2] 在 Swift 中，有兩種類型的語句：簡單語句和控制流語句。簡單語句是最常見的，用于構造表達式或者聲明。控制流語句則用于控制程序執行的流程，Swift 中有三種類型的控制流語句：循環語句、分支語句和控制傳遞語句。循環語句用于重復執行代碼塊；分支語句用于執行滿足特定條件的代碼塊；控制傳遞語句則用于修改代碼的執行順序。在稍后的敘述中，將會詳細地介紹每一種類型的控制流語句。是否將分號（`;`）添加到語句的結尾處是可選的。但若要在同一行內寫多條獨立語句，請務必使用分號。 > 語句語法 > _語句_?→?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression)?;?_可選_ > _語句_?→?[_聲明_](http://wiki.jikexueyuan.com/project/swift/chapter3/05_Declarations.html#declaration)?;?_可選_ > _語句_?→?[_循環語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#loop_statement)?;?_可選_ > _語句_?→?[_分支語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#branch_statement)?;?_可選_ > _語句_?→?[_標記語句(Labeled Statement)_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#labeled_statement) > _語句_?→?[_控制轉移語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#control_transfer_statement)?;?_可選_ > _語句_?→?[_XXX語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#control_transfer_statement)?;?_可選_ > _多條語句(Statements)_?→?[_語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#statement)?[_多條語句(Statements)_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#statements)?_可選_ ## 循環語句取決于特定的循環條件，循環語句允許重復執行代碼塊。Swift 提供四種類型的循環語句：`for`語句、`for-in`語句、`while`語句和`do-while`語句。通過`break`語句和`continue`語句可以改變循環語句的控制流。有關這兩條語句，詳情參見?[Break 語句](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#break_statement)和?[Continue 語句](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#continue_statement)。 > 循環語句語法 > _循環語句_?→?[_for語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#for_statement) > _循環語句_?→?[_for-in語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#for_in_statement) > _循環語句_?→?[_while語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#wheetatype類型ile_statement) > _循環語句_?→?[_do-while語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#do_while_statement) ### For 語句 `for`語句只有在循環條件為真時重復執行代碼塊，此時計數器遞增。 `for`語句的形式如下： > for?`initialzation`;?`condition`;?`increment`?{ > `statements` > } _initialzation_、_condition_?和?_increment_?之間的分號，以及包圍循環體?_statements_?的大括號都是不可省略的。 `for`語句的執行流程如下： 1. _initialzation_?_循環變量_?只會被執行一次，通常用于聲明和初始化在接下來的循環中需要使用的變量。 2. 判斷?_condition_?循環條件：如果為`true`，_statements_?_循環體_?將會被執行，然后轉到第3步。如果為`false`，_statements_?和?_increment_?_循環增量_?都不會被執行，`for`至此執行完畢。 3. 計算?_increment_?表達式，然后轉到第2步。在?_initialzation_?中定義的變量僅在`for`循環的作用域內有效。_condition_?表達式的值的類型必須遵循`BooleanType`協議。 > For 循環語法 > _for語句_?→?for?[_for初始條件_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#for_init)?_可選_?;?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression)?_可選_?;?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression)?_可選_?[_代碼塊_](http://wiki.jikexueyuan.com/project/swift/chapter3/05_Declarations.html#code_block) > _for語句_?→?for?(?[_for初始條件_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#for_init)?_可選_?;?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression)?_可選_?;?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression)?_可選_?)?[_代碼塊_](http://wiki.jikexueyuan.com/project/swift/chapter3/05_Declarations.html#code_block) > _for初始條件_?→?[_變量聲明_](http://wiki.jikexueyuan.com/project/swift/chapter3/05_Declarations.html#variable_declaration)?|?[_表達式列表_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression_list) ### For-In 語句 `for-in`語句允許在重復執行代碼塊的同時，迭代集合（或遵循`Sequence`協議的任意類型）中的每一項。 `for-in`語句的形式如下： > for?`item`?in?`collection`?{ > `statements` > } `for-in`語句在循環開始前會調用?_collection_?表達式的`generate`方法來獲取一個生成器類型（這是一個遵循`Generator`協議的類型）的值。接下來循環開始，調用?_collection_?表達式的`next`方法。如果其返回值不是`None`，它將會被賦給_item_，然后執行?_statements_，執行完畢后回到循環開始處；否則，將不會賦值給?_item_?也不會執行?_statements_，`for-in`至此執行完畢。 > For-In 循環語法 > _for-in語句_?→?for?[_模式_](http://wiki.jikexueyuan.com/project/swift/chapter3/07_Patterns.html#pattern)?in?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression)?[_代碼塊_](http://wiki.jikexueyuan.com/project/swift/chapter3/05_Declarations.html#code_block) ### While 語句 `while`語句當循環條件為真時，允許重復執行代碼塊。 `while`語句的形式如下： > while?`condition`?{ > `statements` > } `while`語句的執行流程如下： 1. 計算?_condition_?表達式：如果為真`true`，轉到第2步。如果為`false`，`while`至此執行完畢。 2. 執行?_statements_?，然后轉到第1步。由于?_condition_?的值在?_statements_?執行前就已計算出，因此`while`語句中的?_statements_?可能會被執行若干次，也可能不會被執行。 _condition_?表達式的值的類型必須遵循`BooleanType`協議。同時，_condition_?表達式也可以使用可選綁定，詳情參見[可選綁定](http://wiki.jikexueyuan.com/project/swift/chapter2/01_The_Basics.html#optional_binding)。 > While 循環語法 > _while語句_?→?while?[_while條件_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#while_condition)?[_代碼塊_](http://wiki.jikexueyuan.com/project/swift/chapter3/05_Declarations.html#code_block) > _條件_?→?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression)?|?[_聲明_](http://wiki.jikexueyuan.com/project/swift/chapter3/05_Declarations.html#declaration) > _條件_?→?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression) > _條件_?→?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression)?|?[_條件列表_](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO) > _條件_?→?[_可用條件_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statement.html#availability)?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression) > _條件列表_?→?[_條件條件_](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?[_條件列表_](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO) > _條件_?→?[_可用條件_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statement.html#availability)?[可選綁定條件](http://wiki.jikexueyuan.com/project/swift/chapter2/01_The_Basics.html#optional_binding) > _case條件_?→?case?[_模式_](http://wiki.jikexueyuan.com/project/swift/chapter3/07_Patterns.html#pattern)?[構造器](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?[where](http://wiki.jikexueyuan.com/project/swift/chapter3/DOTO) > _可選綁定條件_?→?[可選綁定頭](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?[持續可選綁定](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?[持續可選綁定列表](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO) > _可選綁定頭_?→?let?[_模式_](http://wiki.jikexueyuan.com/project/swift/chapter3/07_Patterns.html#pattern)?[構造器](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?var?[_模式_](http://wiki.jikexueyuan.com/project/swift/chapter3/07_Patterns.html#pattern)?[構造器](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO) > _可持續綁定列表_?→?[_模式_](http://wiki.jikexueyuan.com/project/swift/chapter3/07_Patterns.html#pattern)?|?[構造器](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?[可選綁定頭](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO) ### Repeat-While 語句 `repeat-while`語句允許代碼塊被執行一次或多次。 `repeat-while`語句的形式如下： > repeat { > `statements` > } while?`condition` `repeat-while`語句的執行流程如下： 1. 執行?_statements_，然后轉到第2步。 2. 計算?_condition_?表達式：如果為`true`，轉到第1步。如果為`false`，`repeat-while`至此執行完畢。由于?_condition_?表達式的值是在?_statements_?執行后才計算出，因此`repeat-while`語句中的?_statements_?至少會被執行一次。 _condition_?表達式的值的類型必須遵循`BooleanType`協議。同時，_condition_?表達式也可以使用可選綁定，詳情參見[可選綁定](http://wiki.jikexueyuan.com/project/swift/chapter2/01_The_Basics.html#optional_binding)。 > Repeat-While 循環語法 > > * repeat-while語句_?→?repeat?[_代碼塊_](../chapter3/05_Declarations.html#code_block)?while[_while條件*](../chapter3/10_Statements.html#while_condition) ## 分支語句取決于一個或者多個條件的值，分支語句允許程序執行指定部分的代碼。顯然，分支語句中條件的值將會決定如何分支以及執行哪一塊代碼。Swift 提供兩種類型的分支語句：`if`語句和`switch`語句。 `switch`語句中的控制流可以用`break`語句修改，詳情請見[Break 語句](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#break_statement)。 > 分支語句語法 > _分支語句_?→?[_if語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#if_statement) > _分支語句_?→?[_switch語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#switch_statement) ### If 語句取決于一個或多個條件的值，`if`語句將決定執行哪一塊代碼。 `if`語句有兩種標準形式，在這兩種形式里都必須有大括號。第一種形式是當且僅當條件為真時執行代碼，像下面這樣： > if?`condition`?{ > `statements` > } 第二種形式是在第一種形式的基礎上添加?_else 語句_，當只有一個 else 語句時，像下面這樣： > if?`condition`?{ > `statements to execute if condition is true` > } else { > `statements to execute if condition is false` > } 同時，else 語句也可包含`if`語句，從而形成一條鏈來測試更多的條件，像下面這樣： > if?`condition 1`?{ > `statements to execute if condition 1 is true` > } else if?`condition 2`?{ > `statements to execute if condition 2 is true` > } > else { > `statements to execute if both conditions are false` > } `if`語句中條件的值的類型必須遵循`LogicValue`協議。同時，條件也可以使用可選綁定，詳情參見[可選綁定](http://wiki.jikexueyuan.com/project/swift/chapter2/01_The_Basics.html#optional_binding)。 > If語句語法 > _if語句_?→?if?[_if條件_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#if_condition)?[_代碼塊_](http://wiki.jikexueyuan.com/project/swift/chapter3/05_Declarations.html#code_block)?[_else(Clause)_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#else_clause)?_可選_ > _if條件_?→?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression)?|?[_聲明_](http://wiki.jikexueyuan.com/project/swift/chapter3/05_Declarations.html#declaration) > _else(Clause)_?→?else?[_代碼塊_](http://wiki.jikexueyuan.com/project/swift/chapter3/05_Declarations.html#code_block)?|?else?[_if語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#if_statement) ### Guard 語句 `guard`?語句用來轉移程序控制出其作用域，如果一個或者多個條件不成立。?`guard`?語句的格式如下： > guard?`condition`?else { > `statements` > } `guard`語句中條件值的類型必須遵循`LogicValue`協議。且條件可以使用可選綁定，詳情參見[可選綁定](http://wiki.jikexueyuan.com/project/swift/chapter2/01_The_Basics.html#optional_binding)。在`guard`語句中聲明的常量或者變量，可用范圍從聲明開始到作用域結束,常量和變量的值從可選綁定聲明中分配。 `guard`語句需要有`else`子句，并且必須調用被`noreturn`屬性標記的函數,或者使用下面的語句把程序執行轉移到guard語句的作用域外。 * `return` * `break` * `continue` * `throw` 執行轉移語句詳情參見[控制傳遞語句](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO) ### Switch 語句取決于`switch`語句的_控制表達式（control expression）_，`switch`語句將決定執行哪一塊代碼。 `switch`語句的形式如下： > switch?`control expression`?{ > case?`pattern 1`: > `statements` > case?`pattern 2`?where?`condition`: > `statements` > case?`pattern 3`?where?`condition`, > `pattern 4`?where?`condition`: > `statements` > default: > `statements` > } `switch`語句的_控制表達式（control expression）_會首先被計算，然后與每一個 case 的模式（pattern）進行匹配。如果匹配成功，程序將會執行對應的 case 分支里的?_statements_。另外，每一個 case 分支都不能為空，也就是說在每一個 case 分支中至少有一條語句。如果你不想在匹配到的 case 分支中執行代碼，只需在該分支里寫一條`break`語句即可。可以用作控制表達式的值是十分靈活的，除了標量類型(scalar types，如`Int`、`Character`)外，你可以使用任何類型的值，包括浮點數、字符串、元組、自定義類的實例和可選（optional）類型，甚至是枚舉類型中的成員值和指定的范圍(range)等。關于在`switch`語句中使用這些類型，詳情參見[控制流](http://wiki.jikexueyuan.com/project/swift/chapter2/05_Control_Flow.html)一章的?[Switch](http://wiki.jikexueyuan.com/project/swift/chapter2/05_Control_Flow.html#switch)。你可以在模式后面添加一個起保護作用的表達式(guard expression)。_起保護作用的表達式_是這樣構成的：關鍵字`where`后面跟著一個作為額外測試條件的表達式。因此，當且僅當_控制表達式_匹配一個_case_的某個模式且起保護作用的表達式為真時，對應 case 分支中的?_statements_?才會被執行。在下面的例子中，_控制表達式_只會匹配含兩個相等元素的元組，如`(1, 1)`： ~~~ case let (x, y) where x == y: ~~~ 正如上面這個例子，也可以在模式中使用`let`（或`var`）語句來綁定常量（或變量）。這些常量（或變量）可以在其對應的起保護作用的表達式和其對應的_case_塊里的代碼中引用。但是，如果 case 中有多個模式匹配控制表達式，那么這些模式都不能綁定常量（或變量）。 `switch`語句也可以包含默認（`default`）分支，只有其它 case 分支都無法匹配控制表達式時，默認分支中的代碼才會被執行。一個`switch`語句只能有一個默認分支，而且必須在`switch`語句的最后面。盡管模式匹配操作實際的執行順序，特別是模式的計算順序是不可知的，但是 Swift 規定`switch`語句中的模式匹配的順序和書寫源代碼的順序保持一致。因此，當多個模式含有相同的值且能夠匹配控制表達式時，程序只會執行源代碼中第一個匹配的 case 分支中的代碼。 #### Switch 語句必須是完備的在 Swift 中，`switch`語句中控制表達式的每一個可能的值都必須至少有一個 case 分支與之對應。在某些情況下（例如，表達式的類型是`Int`），你可以使用默認塊滿足該要求。 #### 不存在隱式的貫穿(fall through) 當匹配的 case 分支中的代碼執行完畢后，程序會終止`switch`語句，而不會繼續執行下一個 case 分支。這就意味著，如果你想執行下一個 case 分支，需要顯式地在你需要的 case 分支里使用`fallthrough`語句。關于`fallthrough`語句的更多信息，詳情參見?[Fallthrough 語句](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#fallthrough_statement)。 > Switch語句語法 > _switch語句_?→?switch?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression)?{?[_SwitchCase列表_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#switch_cases)?_可選_?} > _SwitchCase列表_?→?[_SwitchCase_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#switch_case)?[_SwitchCase列表_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#switch_cases)?_可選_ > _SwitchCase_?→?[_case標簽_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#case_label)?[_多條語句(Statements)_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#statements)?|?[_default標簽_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#default_label)?[_多條語句(Statements)_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#statements) > _SwitchCase_?→?[_case標簽_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#case_label)?;?|?[_default標簽_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#default_label)?; > _case標簽_?→?case?[_case項列表_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#case_item_list)?: > _case項列表_?→?[_模式_](http://wiki.jikexueyuan.com/project/swift/chapter3/07_Patterns.html#pattern)?[_guard-clause_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#guard_clause)?_可選_?|?[_模式_](http://wiki.jikexueyuan.com/project/swift/chapter3/07_Patterns.html#pattern)?[_guard-clause_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#guard_clause)?_可選_?,?[_case項列表_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#case_item_list) > _default標簽_?→?default?: > _where-clause_?→?where?[_guard-expression_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#guard) > _where-expression_?→?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression) ## 帶標簽的語句你可以在循環語句或`switch`語句前面加上_標簽_，它由標簽名和緊隨其后的冒號(:)組成。在`break`和`continue`后面跟上標簽名可以顯式地在循環語句或`switch`語句中更改控制流，把控制權傳遞給指定標簽標記的語句。關于這兩條語句用法，詳情參見?[Break 語句](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#break_statement)和?[Continue 語句](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#continue_statement)。標簽的作用域是該標簽所標記的語句之后的所有語句。你可以不使用帶標簽的語句，但只要使用它，標簽名就必唯一。關于使用帶標簽的語句的例子，詳情參見[控制流](http://wiki.jikexueyuan.com/project/swift/chapter2/05_Control_Flow.html)一章的[帶標簽的語句](http://wiki.jikexueyuan.com/project/swift/chapter2/05_Control_Flow.html#labeled_statements)。 > 標記語句語法 > _標記語句(Labeled Statement)_?→?[_語句標簽_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#statement_label)?[_循環語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#loop_statement)?|?[_語句標簽_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#statement_label)?[_switch語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#switch_statement) > _語句標簽_?→?[_標簽名稱_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#label_name)?: > _標簽名稱_?→?[_標識符_](http://wiki.jikexueyuan.com/project/swift/chapter3/02_Lexical_Structure.html#identifier) ## 控制傳遞語句通過無條件地把控制權從一片代碼傳遞到另一片代碼，控制傳遞語句能夠改變代碼執行的順序。Swift 提供四種類型的控制傳遞語句：`break`語句、`continue`語句、`fallthrough`語句和`return`語句。 > 控制傳遞語句(Control Transfer Statement) 語法 > _控制傳遞語句_?→?[_break語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#break_statement) > _控制傳遞語句_?→?[_continue語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#continue_statement) > _控制傳遞語句_?→?[_fallthrough語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#fallthrough_statement) > _控制傳遞語句_?→?[_return語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#return_statement) > _控制傳遞語句_?→?[_throw語句_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#throw_statement) ### Break 語句 `break`語句用于終止循環或`switch`語句的執行。使用`break`語句時，可以只寫`break`這個關鍵詞，也可以在`break`后面跟上標簽名（label name），像下面這樣： > break > break?`label name` 當`break`語句后面帶標簽名時，可用于終止由這個標簽標記的循環或`switch`語句的執行。而當只寫`break`時，則會終止`switch`語句或上下文中包含`break`語句的最內層循環的執行。在這兩種情況下，控制權都會被傳遞給循環或`switch`語句外面的第一行語句。關于使用`break`語句的例子，詳情參見[控制流](http://wiki.jikexueyuan.com/project/swift/chapter2/05_Control_Flow.html)一章的?[Break](http://wiki.jikexueyuan.com/project/swift/chapter2/05_Control_Flow.html#break)?和[帶標簽的語句](http://wiki.jikexueyuan.com/project/swift/chapter2/05_Control_Flow.html#labeled_statements)。 > Break 語句語法 > _break語句_?→?break?[_標簽名稱_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#label_name)?_可選_ ### Continue 語句 `continue`語句用于終止循環中當前迭代的執行，但不會終止該循環的執行。使用`continue`語句時，可以只寫`continue`這個關鍵詞，也可以在`continue`后面跟上標簽名（label name），像下面這樣： > continue > continue?`label name` 當`continue`語句后面帶標簽名時，可用于終止由這個標簽標記的循環中當前迭代的執行。而當只寫`break`時，可用于終止上下文中包含`continue`語句的最內層循環中當前迭代的執行。在這兩種情況下，控制權都會被傳遞給循環外面的第一行語句。在`for`語句中，`continue`語句執行后，_increment_?表達式還是會被計算，這是因為每次循環體執行完畢后?_increment_表達式都會被計算。關于使用`continue`語句的例子，詳情參見[控制流](http://wiki.jikexueyuan.com/project/swift/chapter2/05_Control_Flow.html)一章的?[Continue](http://wiki.jikexueyuan.com/project/swift/chapter2/05_Control_Flow.html#continue)?和[帶標簽的語句](http://wiki.jikexueyuan.com/project/swift/chapter2/05_Control_Flow.html#labeled_statements)。 > Continue 語句語法 > _continue語句_?→?continue?[_標簽名稱_](http://wiki.jikexueyuan.com/project/swift/chapter3/10_Statements.html#label_name)?_可選_ ### Fallthrough 語句 `fallthrough`語句用于在`switch`語句中傳遞控制權。`fallthrough`語句會把控制權從`switch`語句中的一個 case 傳遞給下一個 case 。這種傳遞是無條件的，即使下一個 case 的模式與`switch`語句的控制表達式的值不匹配。 `fallthrough`語句可出現在`switch`語句中的任意 case 里，但不能出現在最后一個 case 分支中。同時，`fallthrough`語句也不能把控制權傳遞給使用了可選綁定的 case 分支。關于在`switch`語句中使用`fallthrough`語句的例子，詳情參見[控制流](http://wiki.jikexueyuan.com/project/swift/chapter2/05_Control_Flow.html)一章的[控制傳遞語句](http://wiki.jikexueyuan.com/project/swift/chapter2/05_Control_Flow.html#control_transfer_statements)。 > Fallthrough 語句語法 > _fallthrough語句_?→?fallthrough ### Return 語句 `return`語句用于在函數或方法的實現中將控制權傳遞給調用者，接著程序將會從調用者的位置繼續向下執行。使用`return`語句時，可以只寫`return`這個關鍵詞，也可以在`return`后面跟上表達式，像下面這樣： > return > return?`expression` 當`return`語句后面帶表達式時，表達式的值將會返回給調用者。如果表達式值的類型與調用者期望的類型不匹配，Swift 則會在返回表達式的值之前將表達式值的類型轉換為調用者期望的類型。而當只寫`return`時，僅僅是將控制權從該函數或方法傳遞給調用者，而不返回一個值。（這就是說，該函數或方法的返回類型為`Void`或`()`） > Return 語句語法 > _return語句_?→?return?[_表達式_](http://wiki.jikexueyuan.com/project/swift/chapter3/04_Expressions.html#expression)?_可選_ ### Availability 語句可用性條件，被當做`if`?，`while`?語句的條件，并且?`guard`?語句在運行時會基于特定的語法格式查詢接口的可用性。 avaliability 語句的形式如下： > if #available(`platform name version`,`...`, *) { > `statements to execute if the APIs are available` > } else { > `fallback statements to execute if the APIs are unavailable` > } 可用性條件執行一個代碼塊時，取決于在運行時想要使用的接口是否可用。當編譯器檢查到代碼塊中的接口是可用的，則從可用性條件中獲取相應信息。可用性條件使用逗號分隔平臺名稱和版本列表。使用`iOS`，`OSX`，以及`watchOS`為平臺名稱，包括相應的版本號。*參數是必需的。在任何平臺上代碼塊主體都被可用性條件保護起來，由滿足最低部署條件的目標設備運行。與布爾類型條件不同，不能用邏輯運算符?&&?和?||?合并可用性條件。 > 可用性條件語法 > _可用性條件_?→?#available?(?[availability-arguments-](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?) > _可用性條件_?→?[availability-argument-](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?|?[availability-argument](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)- ,-?[availability-arguments-](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO) > _可用性條件_?→?[平臺名稱](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?[版本號](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO) > _可用性條件_?→?* > _平臺名稱_?→?iOS?|?iOSApplicationExtension > _平臺名稱_?→?OSX?|?OSXApplicationExtension- > _平臺名稱_?→?watchOS > _版本號_?→?[十進制數字](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO) > _版本號_?→?[十進制數字](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?.?[十進制數字](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO) > _版本號_?→?[十進制數字](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?.?[十進制數字](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?.?[十進制數字](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO) ### Throw 語句 `throw`語句出現在拋出函數或者拋出方法體內，或者類型被`throws`關鍵字標記的表達式體內。 `throw`語句使程序結束執行當前的作用域，并在封閉作用域中傳播錯誤。拋出的錯誤會一直傳播，直到被`do`語句的`catch`子句處理掉。 `throw`語句由`throw`關鍵字跟一個表達式組成，如下所示。 > throw?`expression` 表達式值的類型必須遵循?`LogicValue`協議關于如何使用`throw`語句的例子，詳情參見[錯誤處理](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)一章的[拋出錯誤](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)。 > throw 語句語法 > _拋出語句_?→?throw?_[表達式-](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)_ ### Defer 語句 `defer`?語句用于轉移程序控制出延遲語句作用域之前執行代碼。在?`defer`?語句中的語句無論程序控制如何轉移都會執行。這意味著?`defer`?語句可以被使用在以下這些情況，像手動得執行資源管理，關閉文件描述，或者即使拋出了錯誤也需要去實現執行一些動作。如果多個?`defer`?語句出現在同一范圍內，那么它們執行的順序與出現的順序相反。給定作用域中的第一個`defer`?語句，會在最后執行，這意味著最后執行的延遲語句中的語句涉及的資源可以被其他?`defer`語句清理掉。 > 1 func f( ) { > 2 defer { print("First") } > 3 defer { print("Second") } > 4 defer { print("Third") } > 5 } > 6 f() > 7 // prints "Third" > 8 // prints "Second" > 9 // prints "First" `defer`?語句中的語句無法轉移程序控制出延遲語句。 > defer 語句語法 > _延遲語句_?→?defer?_[代碼塊](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)_ ### Do 語句 `do`?語句用于引入一個新的作用域,該作用域中可以含有一個或多個`catch`子句,catch子句中定義了一些匹配錯誤情況的模式。`do`?語句作用域內定義的常量和變量，只能在do語句作用域內訪問。 swift 中的 do 語句與C 中限定代碼塊界限的大括號（{}）很相似，并且在程序運行的時候并不會造成系統開銷。 > do { > try?`expression` > `statements` > } catch?`pattern 1`?{ > `statements` > } catch?`pattern 2`?where condition { > `statements` > } 如同`switch`語句,編譯器會判斷`catch`子句是否被遺漏。如果catch沒有被遺漏，則認為錯誤被處理。否則，錯誤會自動傳播出包含作用域,被一個封閉的`catch`語句或拋出函數處理掉，包含函數必須以`throws`關鍵字聲明。為了確保錯誤已經被處理，使用一個匹配所有錯誤的`catch`子句，如通配符模式（_）。如果一個`catch`子句不指定一種模式，`catch`子句會匹配和約束任何局部變量命名的`error`。有關在`catch`子句中使用模式的更多信息，詳見[模式](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)。關于在一些`catch`子句中如何使用`do`語句的例子，詳情參見[錯誤處理](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)一章的[拋出錯誤](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)。 > do 語句語法 →?do?[ _代碼塊_ ](../chapter3/05_Declarations.html#code_block)?[catch](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO) > catch →?_[catch子句](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)?[catch子句](http://wiki.jikexueyuan.com/project/swift/chapter3/TODO)_ > catch →?catch?_[_模式*](../chapter3/07_Patterns.html#pattern)*可選的_?[_where_]()? _可選的_ ?[ _代碼塊*](../chapter3/05_Declarations.html#code_block)