語(yǔ)句語(yǔ)法

語(yǔ)句 → 表達(dá)式 ; 可選 語(yǔ)句 → 聲明 ; 可選 語(yǔ)句 → 循環(huán)語(yǔ)句 ; 可選 語(yǔ)句 → 分支語(yǔ)句 ; 可選 語(yǔ)句 → 標(biāo)記語(yǔ)句（Labeled Statement） 語(yǔ)句 → 控制轉(zhuǎn)移語(yǔ)句 ; 可選 語(yǔ)句 → 延遲語(yǔ)句 ; 可選

語(yǔ)句 → 執(zhí)行語(yǔ)句 ; 可選

多條語(yǔ)句（Statements） → 語(yǔ)句 多條語(yǔ)句（Statements） 可選

循環(huán)語(yǔ)句語(yǔ)法

循環(huán)語(yǔ)句 → for 語(yǔ)句 循環(huán)語(yǔ)句 → for-in 語(yǔ)句 循環(huán)語(yǔ)句 → [while 語(yǔ)句](../chapter3/10_Statements.html#wheetatype 類型 ile_statement) 循環(huán)語(yǔ)句 → repeat-while 語(yǔ)句

For 循環(huán)語(yǔ)法

for 語(yǔ)句 → for for 初始條件 可選 ; 表達(dá)式 可選 ; 表達(dá)式 可選 代碼塊 for 語(yǔ)句 → for ( for 初始條件 可選 ; 表達(dá)式 可選 ; 表達(dá)式 可選 ) 代碼塊 for 初始條件 → 變量聲明 | 表達(dá)式集

For-In 循環(huán)語(yǔ)法

for-in 語(yǔ)句 → for case 可選模式 in 表達(dá)式 代碼塊 where 從句 可選

While 循環(huán)語(yǔ)法

while 語(yǔ)句 → while 條件從句 代碼塊 條件從句 → 表達(dá)式 條件從句 → 表達(dá)式 , [表達(dá)式集]() 條件從句 → 表達(dá)式集 條件從句 → 可用條件（availability-condition） | [表達(dá)式集]() 條件集 → 條件 | 條件 , [條件集]() 條件 → 可用條件（availability-condition） | 個(gè)例條件（case-condition） | 可選綁定條件（optional-binding-condition） 個(gè)例條件（case-condition） → case 模式 構(gòu)造器 where 從句可選 可選綁定條件（optional-binding-condition） → 可選綁定頭（optional-binding-head） 可選綁定連續(xù)集（optional-binding-continuation-list） 可選 where 從句 可選 可選綁定頭（optional-binding-head） → let 模式構(gòu)造器 | var 模式構(gòu)造器 可選綁定連續(xù)集（optional-binding-contiuation-list） → 可選綁定連續(xù)（optional-binding-contiuation） | 可選綁定連續(xù)（optional-binding-contiuation） ， 可選綁定連續(xù)集（optional-binding-contiuation-list） 可選綁定連續(xù)（optional-binding-continuation） → 模式構(gòu)造器 | 可選綁定頭（optional-binding-head）

Repeat-While 語(yǔ)句語(yǔ)法

repeat-while-statement → repeat 代碼塊 while 表達(dá)式

分支語(yǔ)句語(yǔ)法

分支語(yǔ)句 → if 語(yǔ)句 分支語(yǔ)句 → guard 語(yǔ)句 分支語(yǔ)句 → switch 語(yǔ)句

If 語(yǔ)句語(yǔ)法

if 語(yǔ)句 → if 條件從句 代碼塊 else 從句（Clause） 可選 else 從句（Clause） → else 代碼塊 | else if 語(yǔ)句

Guard 語(yǔ)句語(yǔ)法

guard 語(yǔ)句 → guard 條件從句 else 代碼塊

Switch 語(yǔ)句語(yǔ)法

switch 語(yǔ)句 → switch 表達(dá)式 { SwitchCase 可選 } SwitchCase 集 → SwitchCase SwitchCase 集 可選 SwitchCase → case 標(biāo)簽 多條語(yǔ)句（Statements） | default 標(biāo)簽 多條語(yǔ)句（Statements） SwitchCase → case 標(biāo)簽 ; | default 標(biāo)簽 ; case 標(biāo)簽 → case case 項(xiàng)集 : case 項(xiàng)集 → 模式 where-clause 可選 | 模式 where-clause 可選 , case 項(xiàng)集 default 標(biāo)簽 → default : where 從句 → where where 表達(dá)式 where 表達(dá)式 → 表達(dá)式

標(biāo)記語(yǔ)句語(yǔ)法

標(biāo)記語(yǔ)句（Labeled Statement） → 語(yǔ)句標(biāo)簽 循環(huán)語(yǔ)句 | 語(yǔ)句標(biāo)簽 if 語(yǔ)句 | 語(yǔ)句標(biāo)簽 switch 語(yǔ)句 語(yǔ)句標(biāo)簽 → 標(biāo)簽名稱 : 標(biāo)簽名稱 → 標(biāo)識(shí)符

控制傳遞語(yǔ)句（Control Transfer Statement）語(yǔ)法

控制傳遞語(yǔ)句 → break 語(yǔ)句 控制傳遞語(yǔ)句 → continue 語(yǔ)句 控制傳遞語(yǔ)句 → fallthrough 語(yǔ)句 控制傳遞語(yǔ)句 → return 語(yǔ)句 控制傳遞語(yǔ)句 → throw 語(yǔ)句

Break 語(yǔ)句語(yǔ)法

break 語(yǔ)句 → break 標(biāo)簽名稱 可選

Continue 語(yǔ)句語(yǔ)法

continue 語(yǔ)句 → continue 標(biāo)簽名稱 可選

Fallthrough 語(yǔ)句語(yǔ)法

fallthrough 語(yǔ)句 → fallthrough

Return 語(yǔ)句語(yǔ)法

return 語(yǔ)句 → return 表達(dá)式 可選

可用條件（Availability Condition）語(yǔ)法

可用條件（availability-condition） → #available ( 多可用參數(shù)(availability-arguments) ) 多可用參數(shù)（availability- arguments） → 可用參數(shù)（availability-argument）|可用參數(shù)（availability-argument） , 多可用參數(shù)（availability-arguments） 可用參數(shù)（availability- argument） → 平臺(tái)名（platform-name） 平臺(tái)版本（platform-version） 可用參數(shù)（availability- argument） → *

平臺(tái)名 → iOS | iOSApplicationExtension 平臺(tái)名 → OSX | macOSApplicationExtension 平臺(tái)名 → watchOS 平臺(tái)名 → tvOS 平臺(tái)版本 → 十進(jìn)制數(shù)（decimal-digits） 平臺(tái)版本 → 十進(jìn)制數(shù)（decimal-digits） . 十進(jìn)制數(shù)（decimal-digits） 平臺(tái)版本 → 十進(jìn)制數(shù)（decimal-digits） . 十進(jìn)制數(shù)（decimal-digits） . 十進(jìn)制數(shù)（decimal-digits))

拋出語(yǔ)句（Throw Statement）語(yǔ)法

拋出語(yǔ)句（throw-statement） → throw 表達(dá)式（expression）

延遲語(yǔ)句（defer-statement）語(yǔ)法

延遲語(yǔ)句（defer-statement） → defer 代碼塊

執(zhí)行語(yǔ)句（do-statement）語(yǔ)法

執(zhí)行語(yǔ)句（do-statement） → do 代碼塊 catch-clauses 可選 catch-clauses → catch-clause catch-clauses 可選 catch-clauses → catch 模式（pattern） 可選 where-clause 可選 代碼塊（code-block） 可選

泛型參數(shù)

泛型形參從句（Generic Parameter Clause）語(yǔ)法

泛型參數(shù)從句 → < 泛型參數(shù)集 約束從句 可選 > 泛型參數(shù)集 → 泛形參數(shù) | 泛形參數(shù) , 泛型參數(shù)集 泛形參數(shù) → 類型名稱 泛形參數(shù) → 類型名稱 : 類型標(biāo)識(shí) 泛形參數(shù) → 類型名稱 : 協(xié)議合成類型 約束從句 → where 約束集 約束集 → 約束 | 約束 , 約束集 約束 → 一致性約束 | 同類型約束 一致性約束 → 類型標(biāo)識(shí) : 類型標(biāo)識(shí) 一致性約束 → 類型標(biāo)識(shí) : 協(xié)議合成類型 同類型約束 → 類型標(biāo)識(shí) == 類型

泛型實(shí)參從句語(yǔ)法

(泛型參數(shù)從句 Generic Argument Clause) → < 泛型參數(shù)集 > 泛型參數(shù)集 → 泛型參數(shù) | 泛型參數(shù) , 泛型參數(shù)集 泛型參數(shù) → 類型

聲明（Declarations）

聲明語(yǔ)法

聲明 → 導(dǎo)入聲明 聲明 → 常量聲明 聲明 → 變量聲明 聲明 → 類型別名聲明 聲明 → 函數(shù)聲明 聲明 → 枚舉聲明 聲明 → 結(jié)構(gòu)體聲明 聲明 → 類聲明 聲明 → 協(xié)議聲明 聲明 → 構(gòu)造器聲明 聲明 → 析構(gòu)器聲明 聲明 → 擴(kuò)展聲明 聲明 → 下標(biāo)聲明 聲明 → 運(yùn)算符聲明 聲明（Declarations）集 → 聲明 聲明（Declarations）集 可選

頂級(jí)（Top Level）聲明語(yǔ)法

頂級(jí)聲明 → 多條語(yǔ)句（Statements） 可選

代碼塊語(yǔ)法

代碼塊 → { 多條語(yǔ)句（Statements） 可選 }

導(dǎo)入（Import）聲明語(yǔ)法

導(dǎo)入聲明 → 屬性（Attributes）集 可選 import 導(dǎo)入類型 可選 導(dǎo)入路徑 導(dǎo)入類型 → typealias | struct | class | enum | protocol | var | func 導(dǎo)入路徑 → 導(dǎo)入路徑標(biāo)識(shí)符 | 導(dǎo)入路徑標(biāo)識(shí)符 . 導(dǎo)入路徑 導(dǎo)入路徑標(biāo)識(shí)符 → 標(biāo)識(shí)符 | 運(yùn)算符

常數(shù)聲明語(yǔ)法

常量聲明 → 屬性（Attributes）集 可選 聲明修改符（Modifiers）集 可選 let 模式構(gòu)造器集 模式構(gòu)造器集 → 模式構(gòu)造器 | 模式構(gòu)造器 , 模式構(gòu)造器集 模式構(gòu)造器 → [模式](../ chapter3/07_Patterns.html#pattern) 構(gòu)造器 可選 構(gòu)造器 → = 表達(dá)式

變量聲明語(yǔ)法

變量聲明 → 變量聲明頭（Head） 模式構(gòu)造器集 變量聲明 → 變量聲明頭（Head） 變量名 類型注解 代碼塊 變量聲明 → 變量聲明頭（Head） 變量名 類型注解 getter-setter 塊 變量聲明 → 變量聲明頭（Head） 變量名 類型注解 getter-setter 關(guān)鍵字（Keyword）塊 變量聲明 → 變量聲明頭（Head） 變量名 類型注解 構(gòu)造器 可選 willSet-didSet 代碼塊 變量聲明頭（Head） → 屬性（Attributes）集 可選 聲明修改符（Modifers）集 可選 var 變量名稱 → 標(biāo)識(shí)符 getter-setter 塊 → { getter 從句 setter 從句 可選 } getter-setter 塊 → { setter 從句 getter 從句 } getter 從句 → 屬性（Attributes）集 可選 get 代碼塊 setter 從句 → 屬性（Attributes）集 可選 set setter 名稱 可選 代碼塊 setter 名稱 → ( 標(biāo)識(shí)符 ) getter-setter 關(guān)鍵字（Keyword）塊 → { getter 關(guān)鍵字（Keyword）從句 setter 關(guān)鍵字（Keyword）從句 可選 } getter-setter 關(guān)鍵字（Keyword）塊 → { setter 關(guān)鍵字（Keyword）從句 getter 關(guān)鍵字（Keyword）從句 } getter 關(guān)鍵字（Keyword）從句 → 屬性（Attributes）集 可選 get setter 關(guān)鍵字（Keyword）從句 → 屬性（Attributes）集 可選 set willSet-didSet 代碼塊 → { willSet 從句 didSet 從句 可選 } willSet-didSet 代碼塊 → { didSet 從句 willSet 從句 } willSet 從句 → 屬性（Attributes）集 可選 willSet setter 名稱 可選 代碼塊 didSet 從句 → 屬性（Attributes）集 可選 didSet setter 名稱 可選 代碼塊

類型別名聲明語(yǔ)法

類型別名聲明 → 類型別名頭（Head） 類型別名賦值 類型別名頭（Head） → 屬性可選 訪問(wèn)級(jí)別修改符（access-level-modifier） typealias 類型別名名稱 類型別名名稱 → 標(biāo)識(shí)符 類型別名賦值 → = 類型

函數(shù)聲明語(yǔ)法

函數(shù)聲明 → 函數(shù)頭 函數(shù)名 泛型參數(shù)從句 可選 函數(shù)簽名（Signature） 函數(shù)體 函數(shù)頭 → 屬性（Attributes）集 可選 聲明描述符（Specifiers）集 可選 func 函數(shù)名 → 標(biāo)識(shí)符 | 運(yùn)算符 函數(shù)簽名（Signature） → parameter-clauses throws 可選 函數(shù)結(jié)果 可選

函數(shù)簽名（Signature） → parameter-clauses rethrows 函數(shù)結(jié)果 可選 函數(shù)結(jié)果 → -> 屬性（Attributes）集 可選類型 函數(shù)體 → 代碼塊 參數(shù)從句 → 參數(shù)從句 parameter-clauses 可選 參數(shù)從句 → ( ) | ( 參數(shù)集 ... 可選 ) 參數(shù)集 → 參數(shù) | 參數(shù) , 參數(shù)集 參數(shù) → inout 可選 let 可選 外部參數(shù)名 可選 本地參數(shù)名 可選 類型注解 默認(rèn)參數(shù)從句 可選 參數(shù) → inout 可選 var 外部參數(shù)名 本地參數(shù)名 可選 類型注解 默認(rèn)參數(shù)從句 可選 參數(shù) → 屬性（Attributes）集 可選類型 外部參數(shù)名 → 標(biāo)識(shí)符 | _ 本地參數(shù)名 → 標(biāo)識(shí)符 | _ 默認(rèn)參數(shù)從句 → = 表達(dá)式

枚舉聲明語(yǔ)法

枚舉聲明 → 屬性（Attributes）集 可選 訪問(wèn)級(jí)別修改器（access-level-modifier） 可選 聯(lián)合式枚舉 枚舉聲明 → 屬性（Attributes）集 可選 訪問(wèn)級(jí)別修改器（access-level-modifier） 可選 原始值式枚舉（raw-value-style-enum） 聯(lián)合式枚舉 → enum 枚舉名 泛型參數(shù)從句 可選 類型繼承從句（type-inheritance-clause） 可選 { 聯(lián)合樣式枚舉成員 可選 } 聯(lián)合樣式枚舉成員 → union-style-enum-member 聯(lián)合樣式枚舉成員 可選 聯(lián)合樣式枚舉成員 → 聲明 | 聯(lián)合式（Union Style）的枚舉 case 從句 聯(lián)合式（Union Style）的枚舉 case 從句 → 屬性（Attributes）集 可選 case 聯(lián)合式（Union Style）的枚舉 case 集 聯(lián)合式（Union Style）的枚舉 case 集 → 聯(lián)合式（Union Style）的 case | 聯(lián)合式（Union Style）的 case , 聯(lián)合式（Union Style）的枚舉 case 集 聯(lián)合式（Union Style）的枚舉 case → 枚舉的 case 名 元組類型 可選 枚舉名 → 標(biāo)識(shí)符 枚舉的 case 名 → 標(biāo)識(shí)符 原始值式枚舉 → enum 枚舉名 泛型參數(shù)從句 可選 : 類型標(biāo)識(shí) { 原始值式枚舉成員集 可選 } 原始值式枚舉成員集 → 原始值式枚舉成員 原始值式枚舉成員集 可選 原始值式枚舉成員 → 聲明 | 原始值式枚舉 case 從句 原始值式枚舉 case 從句 → 屬性（Attributes）集 可選 case 原始值式枚舉 case 集 原始值式枚舉 case 集 → 原始值式枚舉 case | 原始值式枚

上一篇：訪問(wèn)控制和 protected下一篇：歡迎使用 Swift