2019獨角獸企業重金招聘Python工程師標準>>>

在 Swift 中，有兩種類型的語句：簡單語句和控制流語句。簡單語句是最常見的，用于構造表達式和聲明。控制流語句則用于控制程序執行的流程，Swift 中有三種類型的控制流語句：循環語句、分支語句和控制傳遞語句。

?

循環語句用于重復執行代碼塊；分支語句用于執行滿足特定條件的代碼塊；控制傳遞語句則用于修改代碼的執行順序。在稍后的敘述中，將會詳細地介紹每一種類型的控制流語句。

?

是否將分號（;）添加到語句的結尾處是可選的。但若要在同一行內寫多條獨立語句，請務必使用分號。

?

GRAMMAR OF A STATEMENT

?

statement → expression; opt

?

statement → declaration; opt

?

statement → loop-statement; opt

?

statement → branch-statement; opt

?

statement → labeled-statement

?

statement → control-transfer-statement; opt

?

statement → statment statements; opt

?

循環語句

取決于特定的循環條件，循環語句允許重復執行代碼塊。Swift 提供四種類型的循環語句：for語句、for-in語句、while語句和do-while語句。

?

通過break語句和continue語句可以改變循環語句的控制流。有關這兩條語句，詳情參見 Break 語句和 Continue 語句。

?

GRAMMAR OF A LOOP STATEMENT

?

loop-statement → for-statement

?

loop-statement → for-in-statement

?

loop-statement → while-statement

?

loop-statement → 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 表達式的值的類型必須遵循LogicValue協議。

?

GRAMMAR OF A FOR STATEMENT

?

for-statement → for for-init opt ; expression opt ; expression opt code-block

?

for-statement → for ( for-init opt ; expression opt ; expression opt ) code-block

?

for-statement → variable-declaration | 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至此執行完畢。

?

GRAMMAR OF A FOR-IN STATEMENT

?

for-in-statement → for pattern in expression code-block

?

While 語句

while語句允許重復執行代碼塊。

?

while語句的形式如下：

while?`condition`?{?????`statements`?}

while語句的執行流程如下：

?

1、計算 condition 表達式： 如果為真true，轉到第2步。如果為false，while至此執行完畢。

2、執行 statements ，然后轉到第1步。

?

由于 condition 的值在 statements 執行前就已計算出，因此while語句中的 statements 可能會被執行若干次，也可能不會被執行。

?

condition 表達式的值的類型必須遵循LogicValue協議。同時，condition 表達式也可以使用可選綁定，詳情參見可選綁定。

?

GRAMMAR OF A WHILE STATEMENT

?

while-statement → while while-condition code-block

?

while-condition → expression | declaration

?

Do-While 語句

do-while語句允許代碼塊被執行一次或多次。

?

do-while語句的形式如下：

do?{?????`statements`?}?while?`condition`

do-while語句的執行流程如下：

?

1、執行 statements，然后轉到第2步。

2、計算 condition 表達式： 如果為true，轉到第1步。如果為false，do-while至此執行完畢。

?

由于 condition 表達式的值是在 statements 執行后才計算出，因此do-while語句中的 statements 至少會被執行一次。

?

condition 表達式的值的類型必須遵循LogicValue協議。同時，condition 表達式也可以使用可選綁定，詳情參見可選綁定。

?

GRAMMAR OF A DO-WHILE STATEMENT

?

do-while-statement → do code-block while while-condition

?

分支語句

取決于一個或者多個條件的值，分支語句允許程序執行指定部分的代碼。顯然，分支語句中條件的值將會決定如何分支以及執行哪一塊代碼。Swift 提供兩種類型的分支語句：if語句和switch語句。

?

switch語句中的控制流可以用break語句修改，詳情請見Break 語句。

?

GRAMMAR OF A BRANCH STATEMENT

?

branch-statement → if-statement

?

branch-statement → 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協議。同時，條件也可以使用可選綁定，詳情參見可選綁定。

?

GRAMMAR OF AN IF STATEMENT

?

if-statement → if if-condition code-block else-clause opt

?

if-condition → expression | declaration

?

else-clause → else code-block | else if-statement opt

?

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語句中使用這些類型，詳情參見控制流一章的 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 語句。

?

GRAMMAR OF A SWITCH STATEMENT

?

switch-statement → switch expression { switch-cases opt }

?

switch-cases → switch-case switch-cases opt

?

switch-case → case-label statement | default-label statements

?

switch-case → case-label ; | default-label ;

?

case-label → case case-item-list :

?

case-item-list → pattern guard-clause opt | pattern guard-clause opt, case-item-list

?

default-label → default :

?

guard-clause → where guard-expression

?

guard-expression → expression

?

帶標簽的語句

你可以在循環語句或switch語句前面加上標簽，它由標簽名和緊隨其后的冒號(:)組成。在break和continue后面跟上標簽名可以顯式地在循環語句或switch語句中更改控制流，把控制權傳遞給指定標簽標記的語句。關于這兩條語句用法，詳情參見 Break 語句和 Continue 語句。

?

標簽的作用域是該標簽所標記的語句之后的所有語句。你可以不使用帶標簽的語句，但只要使用它，標簽名就必唯一。

?

關于使用帶標簽的語句的例子，詳情參見控制流一章的帶標簽的語句。

?

GRAMMAR OF A LABELED STATEMENT

?

labeled-statement → statement-label loop-statement | statement-label switch-statement

?

statement-label → label-name :

?

label-name → identifier

?

控制傳遞語句

通過無條件地把控制權從一片代碼傳遞到另一片代碼，控制傳遞語句能夠改變代碼執行的順序。Swift 提供四種類型的控制傳遞語句：break語句、continue語句、fallthrough語句和return語句。

?

GRAMMAR OF A CONTROL TRANSER STATEMENT

?

control-transfer-statement → break-statement

?

control-transfer-statement → continue-statement

?

control-transfer-statement → fallthrough-statement

?

control-transfer-statement → return-statement

?

Break 語句

break語句用于終止循環或switch語句的執行。使用break語句時，可以只寫break這個關鍵詞，也可以在break后面跟上標簽名（label name），像下面這樣：

break?break?`label?name`

當break語句后面帶標簽名時，可用于終止由這個標簽標記的循環或switch語句的執行。

?

而當只寫break時，則會終止switch語句或上下文中包含break語句的最內層循環的執行。

?

在這兩種情況下，控制權都會被傳遞給循環或switch語句外面的第一行語句。

?

關于使用break語句的例子，詳情參見控制流一章的 Break 和帶標簽的語句。

?

GRAMMAR OF A BREAK STATEMENT

?

break-statement → break label-name opt

?

Continue 語句

continue語句用于終止循環中當前迭代的執行，但不會終止該循環的執行。使用continue語句時，可以只寫continue這個關鍵詞，也可以在continue后面跟上標簽名（label name），像下面這樣：

continue?continue?`label?name`

當continue語句后面帶標簽名時，可用于終止由這個標簽標記的循環中當前迭代的執行。

?

而當只寫break時，可用于終止上下文中包含continue語句的最內層循環中當前迭代的執行。

?

在這兩種情況下，控制權都會被傳遞給循環外面的第一行語句。

?

在for語句中，continue語句執行后，increment 表達式還是會被計算，這是因為每次循環體執行完畢后 increment 表達式都會被計算。

?

關于使用continue語句的例子，詳情參見控制流一章的 Continue 和帶標簽的語句。

?

GRAMMAR OF A CONTINUE STATEMENT

?

continue-statement → continue label-name opt

?

Fallthrough 語句

fallthrough語句用于在switch語句中傳遞控制權。fallthrough語句會把控制權從switch語句中的一個 case 傳遞給下一個 case 。這種傳遞是無條件的，即使下一個 case 的模式與switch語句的控制表達式的值不匹配。

?

fallthrough語句可出現在switch語句中的任意 case 里，但不能出現在最后一個 case 分支中。同時，fallthrough語句也不能把控制權傳遞給使用了可選綁定的 case 分支。

?

關于在switch語句中使用fallthrough語句的例子，詳情參見控制流一章的控制傳遞語句。

?

GRAMMAR OF A FALLTHROUGH STATEMENT

?

continue-statement → fallthrough

?

Return 語句

return語句用于在函數或方法的實現中將控制權傳遞給調用者，接著程序將會從調用者的位置繼續向下執行。

?

使用return語句時，可以只寫return這個關鍵詞，也可以在return后面跟上表達式，像下面這樣：

return?return?`expression`

當return語句后面帶表達式時，表達式的值將會返回給調用者。如果表達式值的類型與調用者期望的類型不匹配，Swift 則會在返回表達式的值之前將表達式值的類型轉換為調用者期望的類型。

?

而當只寫return時，僅僅是將控制權從該函數或方法傳遞給調用者，而不返回一個值。（這就是說，該函數或方法的返回類型為Void或()）

?

GRAMMAR OF A RETURN STATEMENT

?

return-statement → return expression opt

轉載于:https://my.oschina.net/sunqichao/blog/279660

總結

以上是生活随笔為你收集整理的swift 简单语句 控制流语句的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。