1.0 翻譯:dabing1022 校對:numbbbbb
2.0 翻譯+校對:KYawn
4.1 翻譯+校對:mylittleswift
本頁內容包括:
本書的這一節(jié)描述了 Swift 編程語言的形式語法。這里描述的語法是為了幫助您了解該語言的更多細節(jié),而不是讓您直接實現一個解析器或編譯器。
Swift 語言相對較小,這是由于 Swift 代碼中在各種地方出現的常見的類型、函數以及運算符都已經在 Swift 標準庫中定義了。雖然這些類型、函數和運算符并不是 Swift 語言自身的一部分,但是它們被廣泛應用于本書的討論和代碼范例中。
用來描述 Swift 編程語言形式語法的符號遵循下面幾個約定:
→
)用來標記語法產式,可以理解為“可由……構成”。|
)分隔。當可選用的語法產式太多時,為了閱讀方便,它們將被拆分為多行語法產式規(guī)則。opt
來標記。舉個例子,getter-setter 方法塊的語法定義如下:
getter-setter 方法塊語法
getter-setter 方法塊 → { getter 子句 setter 子句可選 } | { setter 子句 getter 子句 }
這個定義表明,一個 getter-setter 方法塊可以由一個 getter 分句后跟一個可選的 setter 分句構成,然后用大括號括起來,或者由一個 setter 分句后跟一個 getter 分句構成,然后用大括號括起來。上述的語法產式等價于下面的兩個語法產式, :
getter-setter 方法塊語法
getter-setter 方法塊 → { getter 子句 setter 子句可選 } getter-setter 方法塊 → { setter 子句 getter 子句 }