For-In声明

甲for- in语句允许的代码块，以一次一个集合（或任何类型的）在一个符合每个项目来执行Sequence协议。

一个for- in语句具有以下形式：

1 for item in collection {
2     statements
3 }

makeIterator()在集合表达式上调用该方法以获取迭代器类型的值，即符合IteratorProtocol协议的类型。程序通过调用next()迭代器上的方法开始执行循环。如果返回的值不是nil，则将其分配给项模式，程序执行语句，然后在循环开始时继续执行。否则，程序不执行赋值或执行语句，并且完成执行for- in语句。

1 GRAMMAR OF A FOR-IN STATEMENT
2 
3 for-in-statement → for caseopt pattern in expression where-clause opt code-block

while语句

一个while语句允许，只要一个条件不再成立时需要重复执行的代码块。

一个while语句具有以下形式：

1 while condition {
2     statements
3 }

一个while语句的执行过程如下：

1. 的条件进行评价。

   如果true，执行继续执行步骤2.如果false，程序完成执行while语句。

2. 程序执行语句，执行返回步骤1。

因为在执行语句之前评估条件的值，所以语句中的语句可以执行零次或多次。while

条件的值必须是Bool桥接的类型或类型Bool。条件也可以是可选的绑定声明，如Optional Binding中所述。

 1 GRAMMAR OF A WHILE STATEMENT
 2 
 3 while-statement → while condition-list code-block
 4 
 5 condition-list → condition | condition , condition-list
 6 
 7 condition → expression | availability-condition | case-condition | optional-binding-condition
 8 
 9 case-condition → case pattern initializer
10 
11 optional-binding-condition → let pattern initializer | var pattern initializer

repeat- while语句

repeat- while语句允许要执行的代码块一次或多次，只要条件保持为真。

一个repeat- while语句具有以下形式：

1 repeat {
2     statements
3 } while condition

一个repeat- while语句的执行过程如下：

1. 程序执行语句，并继续执行步骤2。

2. 的条件进行评价。

   如果true，执行返回到步骤1.如果false，程序完成执行repeat- while语句。

因为值条件后评估语句的执行，报表中repeat- while语句中至少执行一次。

条件的值必须是Bool桥接的类型或类型Bool。条件也可以是可选的绑定声明，如Optional Binding中所述。

1 GRAMMAR OF A REPEAT-WHILE STATEMENT
2 
3 repeat-while-statement → repeat code-block while expression

If语句

if语句用于基于一个或多个条件的计算执行代码。

声明有两种基本形式if。在每种形式中，都需要打开和关闭支撑。

第一种形式允许代码仅在条件为真时执行并具有以下形式：

1 if condition {
2     statements
3 }

第二种形式的if语句提供了一个额外的else子句（由else关键字引入），用于在条件为真时执行代码的一部分，在相同条件为假时用于执行另一部分代码。当存在单个else子句时，if语句具有以下形式：

1 if condition {
2     statements to execute if condition is true
3 } else {
4     statements to execute if condition is false
5 }

if语句的else子句可以包含另一个if语句来测试多个条件。if以这种方式链接在一起的声明具有以下形式：

1 if condition 1 {
2     statements to execute if condition 1 is true
3 } else if condition 2 {
4     statements to execute if condition 2 is true
5 } else {
6     statements to execute if both conditions are false
7 }

if语句中任何条件的值必须是类型Bool或桥接到的类型Bool。条件也可以是可选的绑定声明，如Optional Binding中所述。

1 GRAMMAR OF AN IF STATEMENT
2 
3 if-statement → if condition-list code-block else-clause opt
4 
5 else-clause → else code-block | else if-statement

guard语句

guard语句用于如果一个或多个条件没有满足转移程序控制出范围。

一个guard语句具有以下形式：

1 guard condition else {
2     statements
3 }

guard语句中任何条件的值必须是类型Bool或桥接类型Bool。条件也可以是可选的绑定声明，如Optional Binding中所述。

在guard语句条件中为可选绑定声明赋值的任何常量或变量都可以用于guard语句的封闭范围的其余部分。

语句的else子句guard是必需的，并且必须Never使用以下语句之一调用具有返回类型的函数或在guard语句的封闭范围之外传递程序控制：

• return
• break
• continue
• throw

控制转移语句中讨论的控制转移语句之下。有关Never返回类型的函数的更多信息，请参见永不返回的函数。

1 GRAMMAR OF A GUARD STATEMENT
2 
3 guard-statement → guard condition-list else code-block

switch语句

switch语句允许的代码中的某些块以根据控制表达式的值来执行。

一个switch语句具有以下形式：

 1 switch control expression {
 2 case pattern 1:
 3     statements
 4 case pattern 2 where condition:
 5     statements
 6 case pattern 3 where condition,
 7      pattern 4 where condition:
 8     statements
 9 default:
10     statements
11 }

评估语句的控制表达式，switch然后与每种情况下指定的模式进行比较。如果找到匹配项，程序将执行该案例范围内列出的语句。每个案例的范围不能为空。因此，您必须在:每个案例标签的冒号（）后面至少包含一个语句。break如果您不打算在匹配案例的正文中执行任何代码，请使用单个语句。

代码可以分支的表达式的值非常灵活。例如，除了标量类型的值（例如整数和字符）之外，您的代码还可以分支任何类型的值，包括浮点数，字符串，元组，自定义类的实例和选项。所述的值对照表达甚至可以匹配到一个枚举的情况下的值，并检查包含在值的指定范围。有关如何在使用这些不同类型的值的实例switch说明，请参阅交换机的控制流。

一个switch案例可以选择where在每个模式之后包含一个子句。甲where子句是由所引入的where关键字随后的表达式，用于提供一个附加条件的情况下的图案被认为是前匹配于控制表达。如果存在where子句，则仅当控件表达式的值与案例的某个模式匹配且子句的表达式求值时，才会执行相关案例中的语句。例如，只有当控件表达式是包含两个具有相同值的元素的元组时，控件表达式才匹配下面示例中的情况，例如。wheretrue(1, 1)

case let (x, y) where x == y:

如上例所示，case中的模式也可以使用let关键字绑定常量（它们也可以使用var关键字绑定变量）。然后可以在相应的where子句中以及在案例范围内的其余代码中引用这些常量（或变量）。如果案例包含与控制表达式匹配的多个模式，则所有模式必须包含相同的常量或变量绑定，并且每个绑定变量或常量必须在所有案例的模式中具有相同的类型。

一个switch语句也可以包含一个默认的情况下，通过引入的default关键字。仅当没有其他情况与控制表达式匹配时，才会执行默认情况下的代码。一个switch声明只能包含一个默认的情况下，必须出现在结束switch发言。

虽然模式匹配操作的实际执行顺序，特别是案例中模式的评估顺序未指定，但switch语句中的模式匹配表现得好像评估是按源顺序执行的 - 即它们出现的顺序在源代码中。因此，如果多个案例包含评估为相同值的模式，因此可以匹配控制表达式的值，则程序仅按源顺序执行第一个匹配案例中的代码。

 1 GRAMMAR OF A SWITCH STATEMENT
 2 
 3 switch-statement → switch expression { switch-cases opt }
 4 
 5 switch-cases → switch-case switch-cases opt
 6 
 7 switch-case → case-label statements
 8 
 9 switch-case → default-label statements
10 
11 switch-case → conditional-switch-case
12 
13 case-label → case case-item-list :
14 
15 case-item-list → pattern where-clause opt | pattern where-clause opt , case-item-list
16 
17 default-label → default :
18 
19 where-clause → where where-expression
20 
21 where-expression → expression
22 
23 conditional-switch-case → switch-if-directive-clause switch-elseif-directive-clauses opt switch-else-directive-clause opt endif-directive
24 
25 switch-if-directive-clause → if-directive compilation-condition switch-cases opt
26 
27 switch-elseif-directive-clauses → elseif-directive-clause switch-elseif-directive-clauses opt
28 
29 switch-elseif-directive-clause → elseif-directive compilation-condition switch-cases opt
30 
31 switch-else-directive-clause → else-directive switch-cases opt

break语句

break语句结束一个循环，一个程序执行if的语句，或一个switch语句。一个break语句可以只由的break关键字，也可以由该的break关键字后面声明标签的名称，如下图所示。

1 break
2 break label name

当break语句后跟语句标签的名称时，它将结束由该标签命名的循环，if语句或switch语句的程序执行。

如果break语句后面没有语句标签的名称，它将结束switch语句的程序执行或发生它的最内层的封闭循环语句。您不能使用未标记的break语句来突破if语句。

在这两种情况下，程序控制然后转移到封闭循环或switch语句之后的第一行代码（如果有的话）。

有关如何使用的例子break声明，请参阅断裂和标签的语句中的控制流。

1 GRAMMAR OF A BREAK STATEMENT
2 
3 break-statement → break label-name opt

continue语句

一个continue语句结束循环语句的当前迭代的程序执行，但不停止循环语句的执行。一个continue语句可以只由的continue关键字，也可以由该的continue关键字后面声明标签的名称，如下图所示。

1 continue
2 continue label name

当continue语句后跟语句标签的名称时，它将结束由该标签命名的循环语句的当前迭代的程序执行。

当continue语句后面没有语句标签的名称时，它结束程序执行它发生的最里面的封闭循环语句的当前迭代。

在这两种情况下，程序控制然后被转移到封闭循环语句的条件。

在for语句中，在continue执行语句之后仍然会计算递增表达式，因为在执行循环体之后会计算递增表达式。

有关如何使用的例子continue声明，请参阅继续和标签的语句中的控制流。

1 GRAMMAR OF A CONTINUE STATEMENT
2 
3 continue-statement → continue label-name opt

fallthrough语句

fallthrough语句由的fallthrough关键字和只发生在一个的情况下的块switch语句。一个fallthrough语句导致程序从一个情况下，继续在switch陈述了下情况。即使案例标签的模式与switch语句的控制表达式的值不匹配，程序也会继续执行下一种情况。

一个fallthrough语句可以在里面任何地方出现switch的语句，而不是仅仅作为一个案例块的最后声明，但它不能在最后一种情况块中使用。它也不能将控制转移到其模式包含值绑定模式的大小写块中。

有关如何使用的例子fallthrough在一份声明中switch声明，请参阅控制转移语句中的控制流。

1 GRAMMAR OF A FALLTHROUGH STATEMENT
2 
3 fallthrough-statement → fallthrough

return语句

return语句发生在函数或方法的定义和原因程序执行的主体返回到调用函数或方法。程序执行在函数或方法调用之后的紧接点继续。

甲return语句可以仅由的return关键字，或者它可以由所述的return关键字后跟表达式，如下所示。

1 return
2 return expression

当return语句后跟表达式时，表达式的值将返回给调用函数或方法。如果表达式的值与函数或方法声明中声明的返回类型的值不匹配，则表达式的值在返回到调用函数或方法之前将转换为返回类型。

当return语句后面没有表达式时，它只能用于从不返回值的函数或方法返回（也就是说，当函数或方法的返回类型为Void或时()）。

1 GRAMMAR OF A RETURN STATEMENT
2 
3 return-statement → return expression opt

Throw语句

throw语句发生在一个投掷函数或方法的主体中，或在一闭合表达式，其类型被标与主体throws关键字。

甲throw语句导致程序来结束当前范围执行和开始错误传播到其封闭的范围。抛出的错误继续传播，直到它由语句的catch子句处理do。

甲throw语句由的throw关键字后跟一个表达式，如下所示。

throw expression

表达式的值必须具有符合Error协议的类型。

有关如何使用throw语句的示例，请参阅在错误处理中使用投掷函数传播错误。

1 GRAMMAR OF A THROW STATEMENT
2 
3 throw-statement → throw expression