1.0 翻译:dabing1022 校对:numbbbbb
2.0 翻译+校对:KYawn
4.1 翻译+校对:mylittleswift
本页内容包括:
本书的这一节描述了 Swift 编程语言的形式语法。这里描述的语法是为了帮助您了解该语言的更多细节,而不是让您直接实现一个解析器或编译器。
Swift 语言相对较小,这是由于 Swift 代码中在各种地方出现的常见的类型、函数以及运算符都已经在 Swift 标准库中定义了。虽然这些类型、函数和运算符并不是 Swift 语言自身的一部分,但是它们被广泛应用于本书的讨论和代码范例中。
用来描述 Swift 编程语言形式语法的符号遵循下面几个约定:
→
)用来标记语法产式,可以理解为“可由……构成”。|
)分隔。当可选用的语法产式太多时,为了阅读方便,它们将被拆分为多行语法产式规则。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 子句 }