37bcb2969a
* 第三章 10_Summary_of_the_Grammar（从 Declarations 到 Generic Parameters and Arguments） * 10_Summary_of_the_Grammar(from Declarations -> Generic Parameters and Arguments)的翻译 (#911) * Update 10_Summary_of_the_Grammar(from Lexical Structure -> Types).md. 去掉"可选"前的空格 * 更新10_Summary_of_the_Grammar(Satements)，按原文顺序，追加在原10_Summary_of_the_Grammar(from Declarations -> Generic Parameters and Arguments).md 前面并更名为10_Summary_of_the_Grammar(from Statements -> Generic Parameters and Arguments).md
47 KiB
语句
语句语法
语句 → 表达式 ;可选
语句 → 声明 ;可选
语句 → 循环语句 ;可选
语句 → 分支语句 ;可选
语句 → 标签语句 ;可选
语句 → 控制转移语句 ;可选
语句 → 延迟语句 ;可选
语句 → 执行语句 ;可选
语句 → 编译控制语句
循环语句语法
循环语句 → for-in 语句
循环语句 → [while 语句](./05_Statements.md#wheetatype 类型 ile_statement)
循环语句 → repeat-while 语句
For-In 循环语法
While 循环语法
Repeat-While 语句语法
repeat-while-statement → repeat 代码块 while 表达式
分支语句语法
分支语句 → if 语句
分支语句 → guard 语句
分支语句 → switch 语句
If 语句语法
Guard 语句语法
Switch 语句语法
switch 语句 → switch 表达式 { switch-case集可选 }
switch-case集 → switch-case switch-case集可选
switch-case → default 标签 语句集
switch-case → 条件 switch-case
case 标签 → 属性集可选 case case 项集 :
case 项集 → 模式 where 子句可选 | 模式 where 子句可选 , case 项集
default 标签 → 属性集可选 default :
where 子句 → where where 表达式
where 表达式 → 表达式
条件 switch-case → switch if 指令子句 switch elseif 指令子句集可选 switch else 指令子句可选 endif 指令
switch if 指令子句 → if 指令 编译条件 switch-case集可选
switch elseif 指令子句集 → elseif 指令子句 switch elseif 指令子句集可选
switch elseif 指令子句 → elseif 指令 编译条件 switch-case集可选
switch else 指令子句 → else 指令 switch-case集可选
标签语句语法
语句标签 → 标签名称 :
标签名称 → 标识符
控制转移语句语法
控制转移语句 → break 语句
控制转移语句 → continue 语句
控制转移语句 → fallthrough 语句
控制转移语句 → return 语句
控制转移语句 → throw 语句
Break 语句语法
break 语句 → break 标签名称可选
Continue 语句语法
continue 语句 → continue 标签名称可选
Fallthrough 语句语法
fallthrough 语句 → fallthrough
Return 语句语法
return 语句 → return 表达式可选
Throw 语句语法
throw 语句 → throw 表达式
Defer 语句语法
defer 语句 → defer 代码块
Do 语句语法
编译控制语句
编译控制语句 → 条件编译块
编译控制语句 → 行控制语句
编译控制语句 → 诊断语句
条件编译块语法
条件编译块 → if 指令子句 elseif 指令子句集可选 else 指令子句可选 endif 指令
elseif 指令子句集 → elseif 指令子句 elseif 指令子句集可选
elseif 指令子句 → elseif 指令 编译条件 语句集可选
if 指令 → #if
elseif 指令 → #elseif
else 指令 → #else
endif 指令 → #endif
编译条件 → 平台条件
编译条件 → 标识符
编译条件 → 布尔字面量
编译条件 → ( 编译条件 )
编译条件 → ! 编译条件
平台条件 → os ( 操作系统 )
平台条件 → arch ( 架构 )
平台条件 → swift ( >= swift 版本 ) | swift ( < swift 版本 )
平台条件 → compiler ( >= swift 版本 ) | compiler ( < swift 版本 )
平台条件 → canImport ( 模块名 )
平台条件 → targetEnvironment ( 环境 )
操作系统 → macOS | iOS | watchOS | tvOS
架构 → i386 | x86_64 | arm | arm64
swift 版本 → 十进制数字集 swift 版本后缀可选
swift 版本后缀 → . 十进制数字集 swift 版本集可选
模块名 → 标识符
环境 → simulator
行控制语句语法
行控制语句 → #sourceLocation ( file: 文件名 , line: 行号 )
行控制语句 → #sourceLocation ( )
行号 → 一个大于 0 的十进制数字
文件名 → 静态字符串字面量
编译期诊断语句语法
诊断语句 → #error ( 诊断信息 )
诊断语句 → #warning ( 诊断信息 )
诊断信息 → 静态字符串字面量
可用性条件语法
可用性条件 → #available ( 可用性参数集 )
可用性参数集 → 可用性参数 | 可用性参数 , 可用性参数集）
可用性参数 → *
平台名 → iOS | iOSApplicationExtension
平台名 → macOS | macOSApplicationExtension
平台名 → watchOS
平台名 → tvOS
平台版本 → 十进制数字集
声明
声明语法
声明 → 导入声明
声明 → 常量声明
声明 → 变量声明
声明 → 类型别名声明
声明 → 函数声明
声明 → 枚举声明
声明 → 结构体声明
声明 → 类声明
声明 → 协议声明
声明 → 构造器声明
声明 → 析构器声明
声明 → 扩展声明
声明 → 下标声明
声明 → 运算符声明
声明 → 优先级组声明
顶级声明语法
顶级声明 → 多条语句可选
代码块语法
代码块 → { 多条语句可选 }
导入声明语法
导入声明 → 属性集可选 import 导入类型可选 导入路径
导入类型 → typealias | struct | class | enum | protocol | let | var | func
常数声明语法
常量声明 → 属性集可选 声明修饰符集可选 let 模式构造器集
模式构造器集 → 模式构造器 | 模式构造器 , 模式构造器集
构造器 → = 表达式
变量声明语法
变量声明 → 变量声明头 变量名 类型注解 getter-setter 块
变量声明 → 变量声明头 变量名 类型注解 getter-setter 关键字块
变量声明 → 变量声明头 变量名 构造器可选 willSet-didSet 代码块
变量声明 → 变量声明头 变量名 类型注解 构造器可选 willSet-didSet 代码块
变量名称 → 标识符
getter-setter 块 → 代码块
getter-setter 块 → { getter 子句 setter 子句可选 }
getter-setter 块 → { setter 子句 getter 子句 }
getter 子句 → 属性集可选 可变性修饰符可选 get 代码块
setter 子句 → 属性集可选 可变性修饰符可选 set setter 名称可选 代码块
setter 名称 → ( 标识符 )
getter-setter 关键字（Keyword）块 → { getter 关键字子句 setter 关键字子句可选 }
getter-setter 关键字（Keyword）块 → { setter 关键字子句 getter 关键字子句 }
getter 关键字（Keyword）子句 → 属性集可选 可变性修饰符可选 get
setter 关键字（Keyword）子句 → 属性集可选 可变性修饰符可选 set
willSet-didSet 代码块 → { willSet 子句 didSet 子句可选 }
willSet-didSet 代码块 → { didSet 子句 willSet 子句可选 }
willSet 子句 → 属性集可选 willSet setter 名称可选 代码块
didSet 子句 → 属性集可选
类型别名声明语法
类型别名声明 → 属性集可选 访问级别修饰符 typealias 类型别名名称 泛型参数子句可选 类型别名赋值
类型别名名称 → 标识符
类型别名赋值 → = 类型
函数声明语法
函数体 → 代码块
参数子句 → ( ) | ( 参数集 )
参数 → 外部参数名可选 本地参数名 类型注解 默认参数子句可选
外部参数名 → 标识符
本地参数名 → 标识符
默认参数子句 → = 表达式
枚举声明语法
联合式枚举 → indirect可选 enum 枚举名 泛型参数子句可选 类型继承子句可选 泛型 where 子句可选 { 联合式枚举成员可选 }
联合式枚举成员集 → 联合式枚举成员 联合样式枚举成员集可选
联合样式枚举成员 → 声明 | 联合式枚举 case 子句 | 编译控制语句
联合式枚举 case 子句 → 属性集可选 indirect可选 case 联合式枚举 case 集
联合式枚举 case 集 → 联合式枚举 case | 联合式枚举 case , 联合式枚举 case 集
联合式枚举 case → 枚举的 case 名 元组类型可选
枚举名 → 标识符
枚举的 case 名 → 标识符
原始值式枚举 → enum 枚举名 泛型参数子句可选 类型继承子句 泛型 where 子句可选 { 原始值式枚举成员集 }
原始值式枚举成员集 → 原始值式枚举成员 原始值式枚举成员集可选
原始值式枚举成员 → 声明 | 原始值式枚举 case 子句 | 编译控制语句
原始值式枚举 case 子句 → 属性集可选 case 原始值式枚举 case 集
原始值式枚举 case 集 → 原始值式枚举 case | 原始值式枚举 case , 原始值式枚举 case 集
原始值式枚举 case → 枚举的 case 名 原始值赋值可选
原始值赋值 → = 原始值字面量
结构体声明语法
结构体声明 → 属性集可选 访问级别修饰符可选 struct 结构体名称 泛型参数子句可选 类型继承子句可选 泛型 where 子句可选 结构体主体
结构体名称 → 标识符
结构体主体 → { 结构体成员集可选 }
类声明语法
类声明 → 属性集可选 访问级别修饰符可选 final可选 class 类名 泛型参数子句可选 类型继承子句 泛型 where 子句可选 类主体
类声明 → 属性集可选 final 访问级别修饰符可选 class 类名 泛型参数子句可选 类型继承子句 泛型 where 子句可选 类主体
类名 → 标识符
类主体 → { 类成员集可选 }
协议声明语法
协议声明 → 属性集可选 访问级别修饰符可选 protocol 协议名 类型继承子句可选 泛型 where 子句可选 协议主体
协议名 → 标识符
协议主体 → { 协议成员集可选 }
协议成员声明 → 协议属性声明
协议成员声明 → 协议方法声明
协议成员声明 → 协议构造器声明
协议成员声明 → 协议下标声明
协议成员声明 → 协议关联类型声明
协议成员声明 → 类型别名声明
协议属性声明语法
协议属性声明 → 变量声明头 变量名 类型注解 getter-setter 关键字块
协议方法声明语法
协议方法声明 → 函数头 函数名 泛型参数子句可选 函数签名 泛型 where 子句可选
协议构造器声明语法
协议构造器声明 → 构造器头 泛型参数子句可选 参数子句 throws可选 泛型 where 子句可选
协议构造器声明 → 构造器头 泛型参数子句可选 参数子句 rethrows 泛型 where 子句可选
协议下标声明语法
协议下标声明 → 下标头 下标结果 泛型 where 子句可选 getter-setter 关键字块
协议关联类型声明语法
协议关联类型声明 → 属性集可选 访问级别修饰符可选 associatedtype 类型别名 类型继承子句可选 类型别名赋值可选 泛型 where 子句可选
构造器声明语法
构造器声明 → 构造器头 泛型参数子句可选 参数子句 throws可选 泛型 where 子句可选 构造器主体
构造器声明 → 构造器头 泛型参数子句可选 参数子句 rethrows 泛型 where 子句可选 构造器主体
构造器头（Head） → 属性集可选 声明修饰符集可选 init
构造器头（Head） → 属性集可选 声明修饰符集可选 init ?
构造器头（Head） → 属性集可选 声明修饰符集可选 init !
构造器主体 → 代码块
析构器声明语法
扩展声明语法
扩展声明 → 属性集可选 访问级别修饰符可选 extension 类型标识 类型继承子句可选 泛型 where 子句可选 扩展主体
扩展主体 → { 扩展成员集可选 }
下标声明语法
下标声明 → 下标头 下标结果 泛型 where 子句可选 代码块
下标声明 → 下标头 下标结果 泛型 where 子句可选 getter-setter 块
下标声明 → 下标头 下标结果 泛型 where 子句可选 getter-setter 关键字块
运算符声明语法
运算符声明 → 前置运算符声明 | 后置运算符声明 | 中置运算符声明
前置运算符声明 → prefix operator 运算符
后置运算符声明 → postfix operator 运算符
中置运算符声明 → infix operator 运算符 中置运算符属性集可选
中置运算符属性集 → 优先级组名
优先级组声明语法
优先级组声明 → precedencegroup 优先级组名 { 优先级组属性集可选 }
优先级组属性 → 优先级组关系
优先级组属性 → 优先级组赋值
优先级组属性 → 优先级组结合
优先级组关系 → higherThan : 优先级组名集
优先级组关系 → lowerThan : 优先级组名集
优先级组赋值 → assignment : 布尔字面量
优先级组结合 → associativity : left
优先级组结合 → associativity : right
优先级组结合 → associativity : none
优先级组名集 → 优先级组名 | 优先级组名 , 优先级组名集
优先级组名 → 标识符
声明修饰符语法
声明修饰符 → class | convenience | dynamic | final | infix | lazy | optional | override | postfix | prefix | required | static | unowned | unowned(safe) | unowned(unsafe) | weak
声明修饰符 → 访问级别修饰符
声明修饰符 → 可变性修饰符
访问级别修饰符 → private | private(set)
访问级别修饰符 → fileprivate | fileprivate(set)
访问级别修饰符 → internal | internal(set)
访问级别修饰符 → public | public(set)
访问级别修饰符 → open | open(set)
可变性修饰符 → mutating | nonmutating
属性
属性语法
属性名 → 标识符
属性参数子句 → { 平衡令牌集可选 }
平衡令牌 → ( 平衡令牌集可选 )
平衡令牌 → [ 平衡令牌集可选 ]
平衡令牌 → { 平衡令牌集可选 }
平衡令牌 → 任意标识符、关键字、字面量或运算符
平衡令牌 → 除 ( 、)、[、]、{、} 外的任意标点符号
模式
模式语法
模式 → 标识符模式 [类型注解](./03_Types.md#type_annotati Value Bindingon )可选
模式 → 值绑定模式
模式 → 枚举 case 模式
模式 → 可选模式
模式 → 类型转换模式
模式 → 表达式模式
通配符模式语法
通配符模式 → _
标识符模式语法
标识符模式 → 标识符
值绑定模式语法
元组模式语法
元组模式 → ( 元组模式元素集可选 )
枚举 case 模式语法
可选模式语法
可选模式 → 标识符模式 ?
类型转换模式语法
is 模式 → is 类型
表达式模式语法
表达式模式 → 表达式
泛型参数
泛型形参子句语法
泛型参数子句 → < 泛型参数集 >
泛形参数 → 类型名称
泛型 where 子句 → where 约束集