From db7b19deedee9a29e34f09959851f653ac0dec31 Mon Sep 17 00:00:00 2001 From: yangqi Date: Wed, 2 Jul 2014 22:41:17 +0800 Subject: [PATCH 1/2] Update 10_Summary_of_the_Grammar.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 增加中英文对照；以及第一遍review完毕 --- src/chapter3/10_Summary_of_the_Grammar.md | 1389 +++++++++++++++++---- 1 file changed, 1158 insertions(+), 231 deletions(-) diff --git a/src/chapter3/10_Summary_of_the_Grammar.md b/src/chapter3/10_Summary_of_the_Grammar.md index 7736c87..42ee069 100644 --- a/src/chapter3/10_Summary_of_the_Grammar.md +++ b/src/chapter3/10_Summary_of_the_Grammar.md @@ -1,45 +1,105 @@ +#Summary of the Grammar #语法总结 +##Statements ##语句 +###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 + +‌ statements → statementstatements opt + ###语句语法 -语句→表达式;可选 +语句 → 表达式 ;可选 -语句→声明;可选 +语句 → 声明 ;可选 -语句→循环语句;可选 +语句 → 循环语句 ;可选 -语句→分支语句;可选 +语句 → 分支语句 ;可选 -语句→标记语句;可选 +语句 → 标记语句 -语句→控制转移语句;可选 +语句 → 控制转移语句 ;可选 -多条语句→语句 多条语句;可选 +多条语句 → 语句 多条语句 可选 + +###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 in 语句 + 循环语句 → while 语句 + 循环语句 → do-while 语句 +###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-init → variable-declaration expression-list + ###for 语句语法 -for语句 → for 初始条件 可选; 表达式 可选 ;表达式 可选 代码块 +for语句 → **for** for-初始条件 可选; 表达式 可选 ;表达式 可选 代码块 + +for语句 → **for** ( for-初始条件 可选; 表达式 可选 ;表达式 可选 ) 代码块 + +for-初始条件 → 变量声明 | 表达式列表 -for语句 → for ( 初始条件 可选; 表达式 可选 ;表达式 可选 ) 代码块 +###GRAMMAR OF A FOR-IN STATEMENT -for 初始条件 → 变量声明 | 表达式列表 +‌ for-in-statement → **for** pattern **in** expression code-block ###for-in 语句语法 for-in 语句 → for 模式 in 表达式代码块 +###GRAMMAR OF A WHILE STATEMENT + +‌ while-statement → while while-condition code-block + +‌ while-condition → expression declaration + ###while 语句语法 -while语句 → while while条件代码块 +while语句 → **while** while-条件 代码块 + +while-条件 → 表达式 | 声明 -while条件 →表达式 | 声明 +###GRAMMAR OF A DO-WHILE STATEMENT + +‌ do-while-statement → do code-block while while-condition ###do-while 语句语法 -do-while语句 → do 代码块 while while条件 +do-while语句 → **do** 代码块 **while** while-条件 + + +###GRAMMAR OF A BRANCH STATEMENT + +‌ branch-statement → if-statement + +‌ branch-statement → switch-statement ###分支语句语法 @@ -47,31 +107,67 @@ do-while语句 → do 代码块 while while条件 分支语句 → switch语句 +###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 + ###if 语句语法 -if语句 → if if条件 代码块 else 子句 可选 +if语句 → if if-条件 代码块 else 子句 可选 + +if条件 → 表达式 | 申明 + +else子句 → else 代码块 | else if-语句 + +###GRAMMAR OF A SWITCH STATEMENT + +‌ switch-statement → switch expression{switch-casesopt} + +‌ switch-cases → switch-case switch-cases opt + +‌ switch-case → case-label statements | default-label statements + +‌ switch-case → case-label; | default-label; + +‌ case-label → case case-item-list: -if条件 → 表达式 | 什么 +‌ case-item-list → patternguard-clause opt | pattern guard-clause opt,case-item-list -else子句 → else 代码块 | else if语句 +‌ default-label → default: + +‌ guard-clause → whereguard-expression + +‌ guard-expression → expression ###switch语句语法 -switch语句 → switch 表达式 { switch-case列表 可选 } +switch语句 → **switch** 表达式 { switch-case列表 可选 } -switch-case列表 → switch-case 列表 可选 +switch-case列表 → switch-case switch-case列表 可选 switch-case → case标签 多条语句 | default标签 多条语句 switch-case → case标签 ; | default标签 ; -case标签 → case case项列表 : +case标签 → **case** case项列表 : + +case项列表 → 模式 监护子句 可选 | 模式 监护子句 可选 , case项列表 + +default标签 → **default** : -case项列表 → 模式 guard-clause 可选 | 模式 guard-clause 可选 , case项列表 +监护字句 → **where** 监护表达式 -default标签 → default : +监护表达式 → 表达式 -guard-clause → where guard-expression +###GRAMMAR OF A LABELED STATEMENT -guard-expression → 表达式 +‌labeled-statement → statement-label loop-statement | statement-label switch-statement +‌ +statement-label → label-name: +‌ +label-name → identifier ###标记语句语法 标记语句 → 语句标签 循环语句 | 语句标签 switch语句 @@ -80,29 +176,85 @@ guard-expression → 表达式 标签名称 → 标识符 +###GRAMMAR OF A CONTROL TRANSFER STATEMENT + +‌ control-transfer-statement → break-statement + +‌ control-transfer-statement → continue-statement + +‌ control-transfer-statement → fallthrough-statement + +‌ control-transfer-statement → return-statement + ###控制传递语句语法 -控制传递语句 → break语句 +控制传递语句 → break-语句 + +控制传递语句 → continue-语句 + +控制传递语句 → fallthrough-语句 + +控制传递语句 → return-语句 + +###GRAMMAR OF A BREAK STATEMENT + +‌ break-statement → breaklabel-name opt -控制传递语句 → continue语句 +###break 语句语法 +break语句 → **break** 标签名称 可选 -控制传递语句 → fallthrough语句 -控制传递语句 → return语句 +###GRAMMAR OF A CONTINUE STATEMENT -####break 语句语法 -break语句 → break 标签名称 可选 +‌ continue-statement → continue label-name opt -####continue 语句语法 -continue语句 → continue 标签名称 可选 +###continue 语句语法 +continue语句 → **continue** 标签名称 可选 -####fallthrough 语句语法 -fallthrough语句 → fallthrough +###GRAMMAR OF A FALLTHROUGH STATEMENT +‌ fallthrough-statement → fallthrough + +###fallthrough 语句语法 +fallthrough-语句 → **fallthrough** + +###GRAMMAR OF A RETURN STATEMENT + +‌ return-statement → return expression opt ####return 语句语法 -return语句 → return 表达式 可选 +return语句 → **return** 表达式 可选 + +##Generic Parameters and Arguments + + +##泛型和参数 + +###GRAMMAR OF A GENERIC PARAMETER CLAUSE + +‌ generic-parameter-clause → + +‌ generic-parameter-list → generic-parameter | generic-parameter,generic-parameter-list + +‌ generic-parameter → type-name + +‌ generic-parameter → type-name:type-identifier + +‌ generic-parameter → type-name:protocol-composition-type + +‌ requirement-clause → where requirement-list + +‌ requirement-list → requirement | requirement,requirement-list + +‌ requirement → conformance-requirement | same-type-requirement -###泛型参数 -泛型形参子句语法 泛型参数子句 → < 泛型参数列表 约束子句 可选 > +‌ conformance-requirement → type-identifier:type-identifier + +‌ conformance-requirement → type-identifier:protocol-composition-type + +‌ same-type-requirement → type-identifier==type-identifier + +###泛型形参子句语法 + +泛型参数子句 → < 泛型参数列表 约束子句 可选 > 泛型参数列表 → 泛形参数 | 泛形参数 , 泛型参数列表 @@ -112,7 +264,7 @@ return语句 → return 表达式 可选 泛形参数 → 类型名称 : 协议合成类型 -约束子句 → where 约束列表 +约束子句 → **where** 约束列表 约束列表 → 约束 | 约束 , 约束列表 @@ -124,6 +276,14 @@ return语句 → return 表达式 可选 同类型约束 → 类型标识 == 类型标识 +###GRAMMAR OF A GENERIC ARGUMENT CLAUSE + +‌ generic-argument-clause → + +‌ generic-argument-list → generic-argument | generic-argument,generic-argument-list + +‌ generic-argument → type + ###泛型参数子句语法 泛型参数子句 → < 泛型参数列表 > @@ -131,8 +291,46 @@ return语句 → return 表达式 可选 泛型参数 → 类型 -###声明 -声明语法 +##Declarations +##声明 +###GRAMMAR OF A DECLARATION + +‌ declaration → import-declaration + +‌ declaration → constant-declaration + +‌ declaration → variable-declaration + +‌ declaration → typealias-declaration + +‌ declaration → function-declaration + +‌ declaration → enum-declaration + +‌ declaration → struct-declaration + +‌ declaration → class-declaration + +‌ declaration → protocol-declaration + +‌ declaration → initializer-declaration + +‌ declaration → deinitializer-declaration + +‌ declaration → extension-declaration + +‌ declaration → subscript-declaration + +‌ declaration → operator-declaration + +‌ declarations → declarationdeclarations opt + +‌ declaration-specifiers → declaration-specifier declaration-specifiersopt + +‌ declaration-specifier → class | mutating | nonmutating | override | static | unowned | unowned(safe) | unowned(unsafe) | weak + + +###声明语法 声明 → 导入声明 @@ -166,25 +364,51 @@ return语句 → return 表达式 可选 声明描述符列表 → 声明描述符 声明描述符列表 可选 -声明描述符 → class | mutating | nonmutating | override | static | unowned | unowned(safe) | unowned(unsafe) | weak +声明描述符 → **class** | **mutating** | **nonmutating** | **override** | **static** | **unowned** | **unowned(safe) **| **unowned(unsafe)** | **weak** + +###GRAMMAR OF A TOP-LEVEL DECLARATION -####顶级声明语法 +‌ top-level-declaration → statements opt + +###顶级声明语法 顶级声明 → 多条语句 可选 +###GRAMMAR OF A CODE BLOCK + +‌ code-block → {statements opt} ###代码块语法 代码块 → { 多条语句 可选 } +###GRAMMAR OF AN IMPORT DECLARATION + +‌ import-declaration → attributes opt import import-kind opt import-path + +‌ import-kind → typealias | struct | class | enum | protocol | var | func + +‌ import-path → import-path-identifier | import-path-identifier.import-path + +‌ import-path-identifier → identifier | operator + ###导入声明语法 -导入声明 → 属性列表 可选 import 导入类型 可选 导入路径 +导入声明 → 属性列表 可选 **import** 导入类型 可选 导入路径 -导入类型 → typealias | struct | class | enum | protocol | var | func +导入类型 → **typealias** | **struct** | **class** | **enum** | **protocol** | **var** | **func** 导入路径 → 导入路径标识符 | 导入路径标识符 . 导入路径 导入路径标识符 → 标识符 | 运算符 +###GRAMMAR OF A CONSTANT DECLARATION + +‌ constant-declaration → attributes opt declaration-specifiers opt let pattern-initializer-list + +‌ pattern-initializer-list → pattern-initializer | pattern-initializer,pattern-initializer-list + +‌ pattern-initializer → pattern initializer opt + +‌ initializer → =expression ###常数声明语法 -常量声明 → 属性列表 可选 声明描述符(Specifiers)列表 可选 let 模式构造器列表 +常量声明 → 属性列表 可选 声明描述符列表 可选 **let** 模式构造器列表 模式构造器列表 → 模式构造器 | 模式构造器 , 模式构造器列表 @@ -192,6 +416,48 @@ return语句 → return 表达式 可选 构造器 → = 表达式 +###GRAMMAR OF A VARIABLE DECLARATION + +‌ variable-declaration → variable-declaration-head pattern-initializer-list + +‌ variable-declaration → variable-declaration-head variable-name type-annotationcode-block + +‌ variable-declaration → variable-declaration-head variable-name type-annotation getter-setter-block + +variable-declaration → variable-declaration-head variable-name type-annotation getter-setter-keyword-block + +‌ variable-declaration → variable-declaration-head variable-name type-annotation initializer opt willSet-didSet-block + +‌ variable-declaration-head → attributes opt declaration-specifiers opt var + +‌ variable-name → identifier + +‌ getter-setter-block → {getter-clausesetter-clauseopt} + +‌ getter-setter-block → {setter-clausegetter-clause} + +‌ getter-clause → attributes opt getcode-block + +‌ setter-clause → attributes opt setsetter-nameoptcode-block + +‌ setter-name → (identifier) + +‌ getter-setter-keyword-block → {getter-keyword-clausesetter-keyword-clauseopt} + +‌ getter-setter-keyword-block → {setter-keyword-clausegetter-keyword-clause} + +‌ getter-keyword-clause → attributes opt get + +‌ setter-keyword-clause → attributes opt set + +‌ willSet-didSet-block → {willSet-clausedidSet-clauseopt} + +‌ willSet-didSet-block → {didSet-clausewillSet-clause} + +‌ willSet-clause → attributes opt willSetsetter-name opt code-block + +‌ didSet-clause → attributes opt didSetsetter-name opt code-block + ###变量声明语法 变量声明 → 变量声明头 模式构造器列表 @@ -199,11 +465,11 @@ return语句 → return 表达式 可选 变量声明 → 变量声明头 变量名 类型注解 getter-setter块 -变量声明 → 变量声明头 变量名 类型注解 getter-setter关键字(Keyword)块 +变量声明 → 变量声明头 变量名 类型注解 getter-setter关键字块 变量声明 → 变量声明头 变量名 类型注解 构造器 可选 willSet-didSet代码块 -变量声明头 → 属性列表 可选 声明描述符列表 可选 var +变量声明头 → 属性列表 可选 声明描述符列表 可选 **var** 变量名称 → 标识符 @@ -211,60 +477,103 @@ getter-setter块 → { getter子句 setter子句 可选 } getter-setter块 → { setter子句 getter子句 } -getter子句 → 属性列表 可选 get 代码块 +getter子句 → 属性列表 可选 **get** 代码块 + +setter子句 → 属性列表 可选 **set** setter名称 可选 代码块 + +setter名称 → **(** 标识符 **)** + +getter-setter关键字块 → **{** getter关键字子句 setter关键字子句 可选 **}** + +getter-setter关键字块 → **{ **setter关键字子句 getter关键字子句 **}** -setter子句 → 属性列表 可选 set setter名称 可选 代码块 +getter关键字子句 → 属性列表 可选 **get** -setter名称 → ( 标识符 ) +setter关键字子句 → 属性列表 可选 **set** -getter-setter关键字块 → { getter关键字子句 setter关键字子句 可选 } +willSet-didSet代码块 → **{** willSet子句 didSet子句 可选**}** -getter-setter关键字块 → { setter关键字子句 getter关键字子句 } +willSet-didSet代码块 → **{** didSet子句 willSet子句 **}** -getter关键字子句 → 属性列表 可选 get +willSet子句 → 属性列表 可选 **willSet** setter名称 可选 代码块 -setter关键字子句 → 属性列表 可选 set +didSet子句 → 属性列表 可选 **didSet** setter名称 可选 代码块 -willSet-didSet代码块 → { willSet子句 didSet子句 可选 } +###GRAMMAR OF A TYPE ALIAS DECLARATION -willSet-didSet代码块 → { didSet子句 willSet子句 } +‌ typealias-declaration → typealias-head typealias-assignment -willSet子句 → 属性列表 可选 willSet setter名称 可选 代码块 +‌ typealias-head → typealias typealias-name -didSet子句 → 属性列表 可选 didSet setter名称 可选 代码块 +‌ typealias-name → identifier -####类型别名声明语法 +‌ typealias-assignment → =type + +###类型别名声明语法 类型别名声明 → 类型别名头 类型别名赋值 -类型别名头 → typealias 类型别名名称 +类型别名头 → **typealias** 类型别名名称 类型别名名称 → 标识符 类型别名赋值 → = 类型 -####函数声明语法 + +###GRAMMAR OF A FUNCTION DECLARATION + +‌ function-declaration → function-head function-name generic-parameter-clause opt function-signature function-body + +‌ function-head → attributes opt declaration-specifiers opt func + +‌ function-name → identifier | operator + +‌ function-signature → parameter-clauses function-result opt + +‌ function-result → ->attributes opt type + +‌ function-body → code-block + +‌ parameter-clauses → parameter-clauseparameter-clauses opt + +‌ parameter-clause → () | (parameter-list...opt) + +‌ parameter-list → parameter | parameter,parameter-list + +‌ parameter → inout opt let opt # opt parameter-name local-parameter-name opt type-annotation default-argument-clause opt + +‌ parameter → inout opt var# opt parameter-name local-parameter-name opt type-annotation default-argument-clause opt + +‌ parameter → attributes opt type + +‌ parameter-name → identifier | _ + +‌ local-parameter-name → identifier | _ + +‌ default-argument-clause → =expression + +###函数声明语法 函数声明 → 函数头 函数名 泛型参数子句 可选 函数签名 函数体 -函数头 → 属性列表 可选 声明描述符列表 可选 func +函数头 → 属性列表 可选 声明描述符列表 可选 **func** 函数名 → 标识符 | 运算符 -函数签名 → parameter-clauses 函数结果 可选 +函数签名 → 参数子句列表 函数结果 可选 函数结果 → → 属性列表 可选 类型 函数体 → 代码块 -parameter-clauses → 参数子句 parameter-clauses 可选 +参数子句列表 → 参数子句 参数子句列表 可选 -参数子句 → ( ) | ( 参数列表 ... 可选 ) +参数子句 → **( ) **| ( 参数列表 ... 可选 ) 参数列表 → 参数 | 参数 , 参数列表 -参数 → inout 可选 let 可选 # 可选 参数名 局部参数名 可选 类型注解 默认参数子句 可选 +参数 → **inout** 可选 **let** 可选 **#** 可选 参数名 局部参数名 可选 类型注解 默认参数子句 可选 -参数 → inout 可选 var # 可选 参数名 局部参数名 可选 类型注解 默认参数子句 可选 +参数 → **inout** 可选 **var** **#** 可选 参数名 局部参数名 可选 类型注解 默认参数子句 可选 参数 → 属性列表 可选 类型 @@ -274,6 +583,41 @@ parameter-clauses → 参数子句 parameter-clauses 可选 默认参数子句 → = 表达式 +###GRAMMAR OF AN ENUMERATION DECLARATION + +‌ enum-declaration → attributes opt union-style-enum | attributes opt raw-value-style-enum + +‌ union-style-enum → enum-name generic-parameter-clause opt { union-style-enum-members opt } + +‌ union-style-enum-members → union-style-enum-member union-style-enum-members opt + +‌ union-style-enum-member → declaration | union-style-enum-case-clause + +‌ union-style-enum-case-clause → attributes opt case union-style-enum-case-list + +‌ union-style-enum-case-list → union-style-enum-case | union-style-enum-case,union-style-enum-case-list + +‌ union-style-enum-case → enum-case-nametuple-type opt + +‌ enum-name → identifier + +‌ enum-case-name → identifier + +‌ raw-value-style-enum → enum-name generic-parameter-clause opt:type-identifier{raw-value-style-enum-members opt} + +‌ raw-value-style-enum-members → raw-value-style-enum-member raw-value-style-enum-members opt + +‌ raw-value-style-enum-member → declaration raw-value-style-enum-case-clause + +‌ raw-value-style-enum-case-clause → attributes opt caseraw-value-style-enum-case-list + +‌ raw-value-style-enum-case-list → raw-value-style-enum-case raw-value-style-enum-case,raw-value-style-enum-case-list + +‌ raw-value-style-enum-case → enum-case-name raw-value-assignment opt + +‌ raw-value-assignment → =literal + + ###枚举声明语法 枚举声明 → 属性列表 可选 联合式枚举 | 属性列表 可选 原始值式枚举 @@ -281,13 +625,13 @@ parameter-clauses → 参数子句 parameter-clauses 可选 union-style-enum-members → union-style-enum-member union-style-enum-members 可选 -union-style-enum-member → 声明 | 联合式(Union Style)的枚举case子句 +union-style-enum-member → 声明 | 联合式的枚举case子句 -联合式(Union Style)的枚举case子句 → 属性列表 可选 case 联合式(Union Style)的枚举case列表 +联合式的枚举case子句 → 属性列表 可选 **case** 联合式的枚举case列表 -联合式(Union Style)的枚举case列表 → 联合式(Union Style)的case | 联合式(Union Style)的case , 联合式(Union Style)的枚举case列表 +联合式的枚举case列表 → 联合式的case | 联合式的case , 联合式的枚举case列表 -联合式(Union Style)的case → 枚举的case名 元组类型 可选 +联合式的case → 枚举的case名 元组类型 可选 枚举名 → 标识符 @@ -299,7 +643,7 @@ union-style-enum-member → 声明 | 联合式(Union Style)的枚举case子句 原始值式枚举成员 → 声明 | 原始值式枚举case子句 -原始值式枚举case子句 → 属性列表 可选 case 原始值式枚举case列表 +原始值式枚举case子句 → 属性列表 可选 **case** 原始值式枚举case列表 原始值式枚举case列表 → 原始值式枚举case | 原始值式枚举case , 原始值式枚举case列表 @@ -307,22 +651,59 @@ union-style-enum-member → 声明 | 联合式(Union Style)的枚举case子句 原始值赋值 → = 字面量 -####结构体声明语法 -结构体声明 → 属性列表 可选 struct 结构体名称 泛型参数子句 可选 类型继承子句 可选 结构体主体 +###GRAMMAR OF A STRUCTURE DECLARATION + +‌ struct-declaration → attributes opt struct struct-name generic-parameter-clause opt type-inheritance-clause opt struct-body + +‌ struct-name → identifier + +‌ struct-body → {declarations opt} +###结构体声明语法 +结构体声明 → 属性列表 可选 **struct** 结构体名称 泛型参数子句 可选 类型继承子句 可选 结构体主体 结构体名称 → 标识符 结构体主体 → { 声明列表 可选 } -####类声明语法 +###GRAMMAR OF A CLASS DECLARATION + +‌ class-declaration → attributes opt classclass-name generic-parameter-clause opt type-inheritance-clause opt class-body + +‌ class-name → identifier + +‌ class-body → {declarations opt} + +###类声明语法 类声明 → 属性列表 可选 class 类名 泛型参数子句 可选 类型继承子句 可选 类主体 类名 → 标识符 类主体 → { 声明列表 可选 } -####协议声明语法 -协议声明 → 属性列表 可选 protocol 协议名 类型继承子句 可选 协议主体 + +###GRAMMAR OF A PROTOCOL DECLARATION + +‌ protocol-declaration → attributes opt protocol protocol-name type-inheritance-clause opt protocol-body + +‌ protocol-name → identifier + +‌ protocol-body → {protocol-member-declarations opt} + +‌ protocol-member-declaration → protocol-property-declaration + +‌ protocol-member-declaration → protocol-method-declaration + +‌ protocol-member-declaration → protocol-initializer-declaration + +‌ protocol-member-declaration → protocol-subscript-declaration + +‌ protocol-member-declaration → protocol-associated-type-declaration + +‌ protocol-member-declarations → protocol-member-declarationprotocol-member-declarations opt + + +###协议声明语法 +协议声明 → 属性列表 可选 **protocol** 协议名 类型继承子句 可选 协议主体 协议名 → 标识符 @@ -338,72 +719,162 @@ union-style-enum-member → 声明 | 联合式(Union Style)的枚举case子句 协议成员声明 → 协议关联类型声明 -协议成员声明列表 → 协议成员声明 协议成员声明(Declarations)列表 可选 +协议成员声明列表 → 协议成员声明 协议成员声明列表 可选 + +###GRAMMAR OF A PROTOCOL PROPERTY DECLARATION + +‌ protocol-property-declaration → variable-declaration-head variable-name type-annotation getter-setter-keyword-block -####协议属性声明语法 -协议属性声明 → 变量声明头 变量名 类型注解 getter-setter关键字(Keyword)块 +###协议属性声明语法 +协议属性声明 → 变量声明头 变量名 类型注解 getter-setter关键字块 -####协议方法声明语法 -协议方法声明 → 函数头 函数名 泛型参数子句 可选 函数签名(Signature) +###GRAMMAR OF A PROTOCOL METHOD DECLARATION -####协议构造器声明语法 +‌ protocol-method-declaration → function-head function-namem generic-parameter-clause opt function-signature + +###协议方法声明语法 +协议方法声明 → 函数头 函数名 泛型参数子句 可选 函数签名 + + +###GRAMMAR OF A PROTOCOL INITIALIZER DECLARATION + +‌ protocol-initializer-declaration → initializer-head generic-parameter-clause opt parameter-clause + +###协议构造器声明语法 协议构造器声明 → 构造器头 泛型参数子句 可选 参数子句 -####协议下标脚本声明语法 -协议下标脚本声明 → 下标脚本头 下标脚本结果(Result) getter-setter关键字(Keyword)块 +###GRAMMAR OF A PROTOCOL SUBSCRIPT DECLARATION + +‌ protocol-subscript-declaration → subscript-head subscript-result getter-setter-keyword-block + +###协议下标脚本声明语法 +协议下标脚本声明 → 下标脚本头 下标脚本结果 getter-setter关键字块 -####协议关联类型声明语法 +###GRAMMAR OF A PROTOCOL ASSOCIATED TYPE DECLARATION + +‌ protocol-associated-type-declaration → typealias-head type-inheritance-clause opt typealias-assignment opt + +###协议关联类型声明语法 协议关联类型声明 → 类型别名头 类型继承子句 可选 类型别名赋值 可选 -####构造器声明语法 + +###GRAMMAR OF AN INITIALIZER DECLARATION + +‌ initializer-declaration → initializer-head generic-parameter-clause opt parameter-clause initializer-body + +‌ initializer-head → attributes opt convenience opt init + +‌ initializer-body → code-block + +###构造器声明语法 构造器声明 → 构造器头 泛型参数子句 可选 参数子句 构造器主体 -构造器头 → 属性列表 可选 convenience 可选 init +构造器头 → 属性列表 可选 **convenience** 可选 **init** 构造器主体 → 代码块 -####析构器声明语法 +###GRAMMAR OF A DEINITIALIZER DECLARATION -析构器声明 → 属性列表 可选 deinit 代码块 +‌ deinitializer-declaration → attributes opt deinitcode-block -####扩展声明语法 -扩展声明 → extension 类型标识 类型继承子句 可选 extension-主体 +###析构器声明语法 + +析构器声明 → 属性列表 可选 **deinit** 代码块 + +###GRAMMAR OF AN EXTENSION DECLARATION + +‌ extension-declaration → extensiontype-identifiertype-inheritance-clause opt extension-body + +‌ extension-body → {declarations opt} + +###扩展声明语法 +扩展声明 → **extension** 类型标识 类型继承子句 可选 extension-主体 extension-主体 → { 声明列表 可选 } -####下标脚本声明语法 +###GRAMMAR OF A SUBSCRIPT DECLARATION + +‌ subscript-declaration → subscript-head subscript-result code-block + +‌ subscript-declaration → subscript-head subscript-result getter-setter-block + +‌ subscript-declaration → subscript-head subscript-result getter-setter-keyword-block + +‌ subscript-head → attributes opt subscript parameter-clause + +‌ subscript-result → ->attributesopttype + +###下标脚本声明语法 下标脚本声明 → 下标脚本头 下标脚本结果 代码块 下标脚本声明 → 下标脚本头 下标脚本结果 getter-setter块 下标脚本声明 → 下标脚本头 下标脚本结果 getter-setter关键字块 -下标脚本头 → 属性列表 可选 subscript 参数子句 +下标脚本头 → 属性列表 可选 下表脚本参数子句 下标脚本结果 → → 属性列表 可选 类型 -####运算符声明语法 +###GRAMMAR OF AN OPERATOR DECLARATION + +‌ operator-declaration → prefix-operator-declaration | postfix-operator-declaration | infix-operator-declaration + +‌ prefix-operator-declaration → operator prefix operator{} + +‌ postfix-operator-declaration → operator postfix operator{} + +‌ infix-operator-declaration → operator infix operator{infix-operator-attributes opt} + +‌ infix-operator-attributes → precedence-clause opt associativity-clause opt + +‌ precedence-clause → precedence precedence-level + +‌ precedence-level → Digit 0 through 255 + +‌ associativity-clause → associativity associativity + +‌ associativity → left right none + +###运算符声明语法 运算符声明 → 前置运算符声明 | 后置运算符声明 | 中置运算符声明 -前置运算符声明 → 运算符 prefix 运算符 { } +前置运算符声明 → **operator prefix** 运算符 { } -后置运算符声明 → 运算符 postfix 运算符 { } +后置运算符声明 → **operator postfix** 运算符 { } -中置运算符声明 → 运算符 infix 运算符 { 中置运算符属性 可选 } +中置运算符声明 → **operator infix** 运算符 { 中置运算符属性 可选 } 中置运算符属性 → 优先级子句 可选 结和性子句 可选 -优先级子句 → precedence 优先级水平 +优先级子句 → **precedence** 优先级水平 优先级水平 → 数值 0 到 255 -结和性子句 → associativity 结和性 +结和性子句 → **associativity** 结和性 -结和性 → left | right | none +结和性 → **left** | **right** | **none** -###模式 -模式语法 +##Patterns +##模式 + +###GRAMMAR OF A PATTERN + +‌ pattern → wildcard-patterntype-annotation opt + +‌ pattern → identifier-patterntype-annotation opt + +‌ pattern → value-binding-pattern + +‌ pattern → tuple-patterntype-annotation opt + +‌ pattern → enum-case-pattern + +‌ pattern → type-casting-pattern + +‌ pattern → expression-pattern + +###模式语法 模式 → 通配符模式 类型注解 可选 @@ -419,40 +890,99 @@ extension-主体 → { 声明列表 可选 } 模式 → 表达式模式 -####通配符模式语法 +###GRAMMAR OF A WILDCARD PATTERN + +‌ wildcard-pattern → _ + +###通配符模式语法 + +通配符模式 → **_** -通配符模式 → _ +###GRAMMAR OF AN IDENTIFIER PATTERN + +‌ identifier-pattern → identifier ###标识符模式语法 标识符模式 → 标识符 -####值绑定模式语法 +###GRAMMAR OF A VALUE-BINDING PATTERN + +‌ value-binding-pattern → varpattern let pattern + +###值绑定模式语法 -值绑定模式 → var 模式 | let 模式 +值绑定模式 → **var** 模式 | **let** 模式 -####元组模式语法 +###GRAMMAR OF A TUPLE PATTERN + +‌ tuple-pattern → (tuple-pattern-element-list opt) + +‌ tuple-pattern-element-list → tuple-pattern-element tuple-pattern-element,tuple-pattern-element-list + +‌ tuple-pattern-element → pattern + +###元组模式语法 元组模式 → ( 元组模式元素列表 可选 ) 元组模式元素列表 → 元组模式元素 | 元组模式元素 , 元组模式元素列表 元组模式元素 → 模式 -####枚举用例模式语法 +###GRAMMAR OF AN ENUMERATION CASE PATTERN + +‌ enum-case-pattern → type-identifier opt.enum-case-nametuple-pattern opt + +###枚举用例模式语法 枚举用例模式 → 类型标识 可选 . 枚举的case名 元组模式 可选 -####类型转换模式语法 + +###GRAMMAR OF A TYPE CASTING PATTERN + +‌ type-casting-pattern → is-pattern as-pattern + +‌ is-pattern → istype + +‌ as-pattern → patternastype +###类型转换模式语法 类型转换模式 → is模式 | as模式 -is模式 → is 类型 +is模式 → **is** 类型 + +as模式 → 模式 **as** 类型 -as模式 → 模式 as 类型 +###GRAMMAR OF AN EXPRESSION PATTERN -####表达式模式语法 +‌ expression-pattern → expression + +###表达式模式语法 表达式模式 → 表达式 -###属性 -####特性语法 +##Attributes +##属性 + +###GRAMMAR OF AN ATTRIBUTE + +‌ attribute → @ attribute-nameattribute-argument-clause opt + +‌ attribute-name → identifier + +‌ attribute-argument-clause → (balanced-tokens opt) + +‌ attributes → attribute attributes opt + +‌ balanced-tokens → balanced-token balanced-tokens opt + +‌ balanced-token → (balanced-tokens opt) + +‌ balanced-token → [balanced-tokens opt] + +‌ balanced-token → {balanced-tokens opt} + +‌ balanced-token → Any identifier, keyword, literal, or operator + +‌ balanced-token → Any punctuation except (, ), [, ], {, or } +####属性语法 属性 → @ 属性名 属性参数子句 可选 属性名 → 标识符 @@ -463,30 +993,55 @@ as模式 → 模式 as 类型 平衡令牌列表 → 平衡令牌 平衡令牌列表 可选 -平衡令牌 → ( 平衡令牌列表 可选 ) +平衡令牌 → **(** 平衡令牌列表 可选 **)** -平衡令牌 → [ 平衡令牌列表 可选 ] +平衡令牌 → **[** 平衡令牌列表 可选 **]** -平衡令牌 → { 平衡令牌列表 可选 } +平衡令牌 → **{** 平衡令牌列表 可选 **}** 平衡令牌 → 任意标识符, 关键字, 字面量或运算符 -平衡令牌 → 任意标点除了(, ), [, ], {, 或 } +平衡令牌 → 任意标点除了**(, ), [, ], {,** 或 **}** + +##Expressions +##表达式 +###GRAMMAR OF AN EXPRESSION + +‌ expression → prefix-expressionbinary-expressions opt -###表达式 -####表达式语法 +‌ expression-list → expression | expression , expression-list + +###表达式语法 表达式 → 前置表达式 二元表达式列表 可选 -表达式列表 → 表达式 | 表达式 , 表达式列表 +表达式列表 → 表达式 | 表达式 **,** 表达式列表 + +GRAMMAR OF A PREFIX EXPRESSION + +‌ prefix-expression → prefix-operator opt postfix-expression +‌ prefix-expression → in-out-expression +‌ in-out-expression → & identifier -####前置表达式语法 +###前置表达式语法 前置表达式 → 前置运算符 可选 后置表达式 前置表达式 → 写入写出表达式 -写入写出表达式 → & 标识符 +写入写出表达式 → **&** 标识符 -####二元表达式语法 +###GRAMMAR OF A BINARY EXPRESSION + +‌ binary-expression → binary-operator prefix-expression + +‌ binary-expression → assignment-operator prefix-expression + +‌ binary-expression → conditional-operator prefix-expression + +‌ binary-expression → type-casting-operator + +‌ binary-expressions → binary-expression binary-expressionsopt + +###二元表达式语法 二元表达式 → 二元运算符 前置表达式 二元表达式 → 赋值运算符 前置表达式 @@ -497,16 +1052,46 @@ as模式 → 模式 as 类型 二元表达式列表 → 二元表达式 二元表达式列表 可选 -####赋值运算符语法 -赋值运算符 → = +###GRAMMAR OF AN ASSIGNMENT OPERATOR + +‌ assignment-operator → = +###赋值运算符语法 +赋值运算符 → **=** + +###GRAMMAR OF A CONDITIONAL OPERATOR + +‌ conditional-operator → ? expression : + +###三元条件运算符语法 +三元条件运算符 → **?** 表达式 **:** + +###GRAMMAR OF A TYPE-CASTING OPERATOR + +‌ type-casting-operator → is type | as ? opttype + +###类型转换运算符语法 +类型转换运算符 → **is** 类型 | **as ?** 可选 类型 + +###GRAMMAR OF A PRIMARY EXPRESSION -####三元条件运算符语法 -三元条件运算符 → ? 表达式 : +‌ primary-expression → identifiergeneric-argument-clause opt -####类型转换运算符语法 -类型转换运算符 → is 类型 | as ? 可选 类型 +‌ primary-expression → literal-expression -####主表达式语法 +‌ primary-expression → self-expression + +‌ primary-expression → superclass-expression + +‌ primary-expression → closure-expression + +‌ primary-expression → parenthesized-expression + +‌ primary-expression → implicit-member-expression + +‌ primary-expression → wildcard-expression + + +###主表达式语法 主表达式 → 标识符 泛型参数子句 可选 主表达式 → 字面量表达式 @@ -523,7 +1108,26 @@ as模式 → 模式 as 类型 主表达式 → 通配符表达式 -####字面量表达式语法 +###GRAMMAR OF A LITERAL EXPRESSION + +‌ literal-expression → literal + +‌ literal-expression → array-literal | dictionary-literal + +‌ literal-expression → __FILE__ | __LINE__ | __COLUMN__ | __FUNCTION__ + +‌ array-literal → [array-literal-items opt] + +‌ array-literal-items → array-literal-item,opt array-literal-item,array-literal-items + +‌ array-literal-item → expression + +‌ dictionary-literal → [dictionary-literal-items] [:] + +‌ dictionary-literal-items → dictionary-literal-item,opt dictionary-literal-item,dictionary-literal-items + +‌ dictionary-literal-item → expression:expression +###字面量表达式语法 字面量表达式 → 字面量 字面量表达式 → 数组字面量 | 字典字面量 @@ -542,57 +1146,130 @@ as模式 → 模式 as 类型 字典字面量项 → 表达式 : 表达式 -####Self 表达式语法 -self表达式 → self +###GRAMMAR OF A SELF EXPRESSION + +‌ self-expression → self + +‌ self-expression → self.identifier + +‌ self-expression → self[expression] + +‌ self-expression → self.init + +###Self 表达式语法 +self表达式 → **self** + +self表达式 → **self** **.** 标识符 -self表达式 → self . 标识符 +self表达式 → **self** [ 表达式 ] -self表达式 → self [ 表达式 ] +self表达式 → **self . init** -self表达式 → self . init +###GRAMMAR OF A SUPERCLASS EXPRESSION -####超类表达式语法 +‌ superclass-expression → superclass-method-expression | superclass-subscript-expression |superclass-initializer-expression +‌ +superclass-method-expression → super.identifier +‌ +superclass-subscript-expression → super[expression] +‌ +superclass-initializer-expression → super.init +###超类表达式语法 超类表达式 → 超类方法表达式 | 超类下标表达式 | 超类构造器表达式 -超类方法表达式 → super . 标识符 +超类方法表达式 → **super . **标识符 + +超类下标表达式 → **super [** 表达式 **]** + +超类构造器表达式 → **super . init** + +###GRAMMAR OF A CLOSURE EXPRESSION + +‌ closure-expression → {closure-signature opt statements} + +‌ closure-signature → parameter-clause function-result opt in + +‌ closure-signature → identifier-list function-result opt in + +‌ closure-signature → capture-listp arameter-clause function-result opt in -超类下标表达式 → super [ 表达式 ] +‌ closure-signature → capture-list identifier-list function-result opt in -超类构造器表达式 → super . init +‌ closure-signature → capture-list in -####闭包表达式语法 +‌ capture-list → [capture-specifierexpression] -闭包表达式 → { 闭包签名 可选 多条语句 } +‌ capture-specifier → weak unowned unowned(safe) unowned(unsafe) -闭包签名 → 参数子句 函数结果 可选 in +###闭包表达式语法 -闭包签名 → 标识符列表 函数结果 可选 in +闭包表达式 → **{** 闭包签名 可选 多条语句 **}** -闭包签名 → 捕获列表 参数子句 函数结果 可选 in +闭包签名 → 参数子句 函数结果 可选 **in** -闭包签名 → 捕获列表 标识符列表 函数结果 可选 in +闭包签名 → 标识符列表 函数结果 可选 **in** -闭包签名 → 捕获列表 in +闭包签名 → 捕获列表 参数子句 函数结果 可选 **in** -捕获列表 → [ 捕获说明符 表达式 ] +闭包签名 → 捕获列表 标识符列表 函数结果 可选 **in** -捕获说明符 → weak | unowned | unowned(safe) | unowned(unsafe) +闭包签名 → 捕获列表 **in** -####隐式成员表达式语法 -隐式成员表达式 → . 标识符 +捕获列表 → **[** 捕获说明符 表达式 **]** -圆括号表达式语法 +捕获说明符 → **weak** |**unowned** | **unowned(safe)** | **unowned(unsafe)** -圆括号表达式 → ( 表达式元素列表 可选 ) +###GRAMMAR OF A IMPLICIT MEMBER EXPRESSION + +‌ implicit-member-expression → .identifier +###隐式成员表达式语法 +隐式成员表达式 → **.** 标识符 + +###GRAMMAR OF A PARENTHESIZED EXPRESSION + +‌ parenthesized-expression → (expression-element-list opt) + +‌ expression-element-list → expression-element | expression-element,expression-element-list + +‌ expression-element → expression | identifier:expression + +###圆括号表达式语法 + +圆括号表达式 → **(**表达式元素列表 可选 **)** 表达式元素列表 → 表达式元素 | 表达式元素 , 表达式元素列表 -表达式元素 → 表达式 | 标识符 : 表达式 +表达式元素 → 表达式 | 标识符 **:** 表达式 -####通配符表达式语法 +###GRAMMAR OF A WILDCARD EXPRESSION + +‌ wildcard-expression → _ +###通配符表达式语法 通配符表达式 → _ -后置表达式语法 +###GRAMMAR OF A POSTFIX EXPRESSION + +‌ postfix-expression → primary-expression + +‌ postfix-expression → postfix-expressionpostfix-operator + +‌ postfix-expression → function-call-expression + +‌ postfix-expression → initializer-expression + +‌ postfix-expression → explicit-member-expression + +‌ postfix-expression → postfix-self-expression + +‌ postfix-expression → dynamic-type-expression + +‌ postfix-expression → subscript-expression + +‌ postfix-expression → forced-value-expression + +‌ postfix-expression → optional-chaining-expression + +###后置表达式语法 后置表达式 → 主表达式 @@ -612,41 +1289,128 @@ self表达式 → self . init 后置表达式 → 强制取值表达式 -后置表达式 → 可选链表达式 +后置表达式 → 可选表达式 + +###GRAMMAR OF A FUNCTION CALL EXPRESSION + +‌ function-call-expression → postfix-expressionparenthesized-expression -####函数调用表达式语法 +‌ function-call-expression → postfix-expressionparenthesized-expressionopttrailing-closure + +‌ trailing-closure → closure-expression +###函数调用表达式语法 函数调用表达式 → 后置表达式 圆括号表达式 函数调用表达式 → 后置表达式 圆括号表达式 可选 后置闭包 后置闭包 → 闭包表达式 -####构造器表达式语法 -构造器表达式 → 后置表达式 . init +###GRAMMAR OF AN INITIALIZER EXPRESSION + +‌ initializer-expression → postfix-expression .init +###构造器表达式语法 +构造器表达式 → 后置表达式 **. init** + +###GRAMMAR OF AN EXPLICIT MEMBER EXPRESSION + +‌ explicit-member-expression → postfix-expression . decimal-digit -####显式成员表达式语法 +‌ explicit-member-expression → postfix-expression . identifier generic-argument-clause opt + +###显式成员表达式语法 显示成员表达式 → 后置表达式 . 十进制数字 显示成员表达式 → 后置表达式 . 标识符 泛型参数子句 可选 -####后置Self 表达式语法 -后置self表达式 → 后置表达式 . self -####动态类型表达式语法 +###GRAMMAR OF A SELF EXPRESSION + +‌ postfix-self-expression → postfix-expression .self + +###后置Self 表达式语法 +后置self表达式 → 后置表达式 **. self** -动态类型表达式 → 后置表达式 . dynamicType +###GRAMMAR OF A DYNAMIC TYPE EXPRESSION -####附属脚本表达式语法 -附属脚本表达式 → 后置表达式 [ 表达式列表 ] +‌ dynamic-type-expression → postfix-expression . dynamicType -强制取值语法 +###动态类型表达式语法 -强制取值表达式 → 后置表达式 ! +动态类型表达式 → 后置表达式 **. dynamicType** -###可选链表达式语法 -可选链表达式 → 后置表达式 ? +###GRAMMAR OF A SUBSCRIPT EXPRESSION -####词法结构 -标识符语法 +‌ subscript-expression → postfix-expression [ expression-list ] + +###附属脚本表达式语法 +附属脚本表达式 → 后置表达式 **[** 表达式列表 **]** + +###GRAMMAR OF A FORCED-VALUE EXPRESSION + +‌ forced-value-expression → postfix-expression ! +###强制取值语法 + +强制取值表达式 → 后置表达式 **!** + +###GRAMMAR OF AN OPTIONAL-CHAINING EXPRESSION + +‌ optional-chaining-expression → postfix-expression ? +##可选表达式语法 +可选表达式 → 后置表达式 **?** + +##Lexical Structure +##词法结构 + +###GRAMMAR OF AN IDENTIFIER + +‌ identifier → identifier-head identifier-characters opt + +‌ identifier → ` identifier-head identifier-characters opt ` + +‌ identifier → implicit-parameter-name + +‌ identifier-list → identifier | identifier,identifier-list + +‌ identifier-head → Upper- or lowercase letter A through Z + +‌ identifier-head → U+00A8, U+00AA, U+00AD, U+00AF, U+00B2–U+00B5, or U+00B7–U+00BA + +‌ identifier-head → U+00BC–U+00BE, U+00C0–U+00D6, U+00D8–U+00F6, or U+00F8–U+00FF + +‌ identifier-head → U+0100–U+02FF, U+0370–U+167F,U+1681–U+180D, or U+180F–U+1DBF + +‌ identifier-head → U+1E00–U+1FFF + +‌ identifier-head → U+200B–U+200D, U+202A–U+202E, U+203F–U+2040, U+2054, or U+2060–U+206F + +‌ identifier-head → U+2070–U+20CF, U+2100–U+218F, U+2460–U+24FF, or U+2776–U+2793 + +‌ identifier-head → U+2C00–U+2DFF or U+2E80–U+2FFF + +‌ identifier-head → U+3004–U+3007, U+3021–U+302F, U+3031–U+303F, or U+3040–U+D7FF + +‌ identifier-head → U+F900–U+FD3D, U+FD40–U+FDCF, U+FDF0–U+FE1F, or U+FE30–U+FE44 + +‌ identifier-head → U+FE47–U+FFFD + +‌ identifier-head → U+10000–U+1FFFD, U+20000–U+2FFFD, U+30000–U+3FFFD, or U+40000–U+4FFFD + +‌ identifier-head → U+50000–U+5FFFD, U+60000–U+6FFFD, U+70000–U+7FFFD, or U+80000–U+8FFFD + +‌ identifier-head → U+90000–U+9FFFD, U+A0000–U+AFFFD, U+B0000–U+BFFFD, or U+C0000–U+CFFFD + +‌ identifier-head → U+D0000–U+DFFFD or U+E0000–U+EFFFD + +‌ identifier-character → Digit 0 through 9 + +‌ identifier-character → U+0300–U+036F, U+1DC0–U+1DFF, U+20D0–U+20FF, or U+FE20–U+FE2F + +‌ identifier-character → identifier-head + +‌ identifier-characters → identifier-characteridentifier-characters opt + +‌ implicit-parameter-name → $ decimal-digits + +###标识符语法 标识符 → 标识符头 标识符字符列表 可选 @@ -656,50 +1420,99 @@ self表达式 → self . init 标识符列表 → 标识符 | 标识符 , 标识符列表 -标识符头 → Upper- or lowercase letter A through Z +标识符头 → 大写或者 小写的字母 A 到 Z -标识符头 → U+00A8, U+00AA, U+00AD, U+00AF, U+00B2–U+00B5, or U+00B7–U+00BA +标识符头 → U+00A8, U+00AA, U+00AD, U+00AF, U+00B2–U+00B5, 或者 U+00B7–U+00BA -标识符头 → U+00BC–U+00BE, U+00C0–U+00D6, U+00D8–U+00F6, or U+00F8–U+00FF +标识符头 → U+00BC–U+00BE, U+00C0–U+00D6, U+00D8–U+00F6, 或者 U+00F8–U+00FF -标识符头 → U+0100–U+02FF, U+0370–U+167F, U+1681–U+180D, or U+180F–U+1DBF +标识符头 → U+0100–U+02FF, U+0370–U+167F, U+1681–U+180D, 或者 U+180F–U+1DBF 标识符头 → U+1E00–U+1FFF -标识符头 → U+200B–U+200D, U+202A–U+202E, U+203F–U+2040, U+2054, or U+2060–U+206F +标识符头 → U+200B–U+200D, U+202A–U+202E, U+203F–U+2040, U+2054, 或者 U+2060–U+206F -标识符头 → U+2070–U+20CF, U+2100–U+218F, U+2460–U+24FF, or U+2776–U+2793 +标识符头 → U+2070–U+20CF, U+2100–U+218F, U+2460–U+24FF, 或者 U+2776–U+2793 -标识符头 → U+2C00–U+2DFF or U+2E80–U+2FFF +标识符头 → U+2C00–U+2DFF 或者 U+2E80–U+2FFF -标识符头 → U+3004–U+3007, U+3021–U+302F, U+3031–U+303F, or U+3040–U+D7FF +标识符头 → U+3004–U+3007, U+3021–U+302F, U+3031–U+303F, 或者 U+3040–U+D7FF -标识符头 → U+F900–U+FD3D, U+FD40–U+FDCF, U+FDF0–U+FE1F, or U+FE30–U+FE44 +标识符头 → U+F900–U+FD3D, U+FD40–U+FDCF, U+FDF0–U+FE1F, 或者 U+FE30–U+FE44 标识符头 → U+FE47–U+FFFD -标识符头 → U+10000–U+1FFFD, U+20000–U+2FFFD, U+30000–U+3FFFD, or U+40000–U+4FFFD +标识符头 → U+10000–U+1FFFD, U+20000–U+2FFFD, U+30000–U+3FFFD, 或者 U+40000–U+4FFFD -标识符头 → U+50000–U+5FFFD, U+60000–U+6FFFD, U+70000–U+7FFFD, or U+80000–U+8FFFD +标识符头 → U+50000–U+5FFFD, U+60000–U+6FFFD, U+70000–U+7FFFD, 或者 U+80000–U+8FFFD -标识符头 → U+90000–U+9FFFD, U+A0000–U+AFFFD, U+B0000–U+BFFFD, or U+C0000–U+CFFFD +标识符头 → U+90000–U+9FFFD, U+A0000–U+AFFFD, U+B0000–U+BFFFD, 或者 U+C0000–U+CFFFD -标识符头 → U+D0000–U+DFFFD or U+E0000–U+EFFFD +标识符头 → U+D0000–U+DFFFD 或者 U+E0000–U+EFFFD -标识符字符 → 数值 0 到 9 +标识符字符 → 数字 0 到 9 -标识符字符 → U+0300–U+036F, U+1DC0–U+1DFF, U+20D0–U+20FF, or U+FE20–U+FE2F +标识符字符 → U+0300–U+036F, U+1DC0–U+1DFF, U+20D0–U+20FF, 或者 U+FE20–U+FE2F 标识符字符 → 标识符头 标识符字符列表 → 标识符字符 标识符字符列表 可选 -隐式参数名 → $ 十进制数字列表 +隐式参数名 → **$** 十进制数字列表 + + +###GRAMMAR OF A LITERAL + +‌ literal → integer-literal | floating-point-literal | string-literal -####字面量语法 +###字面量语法 字面量 → 整型字面量 | 浮点数字面量 | 字符串字面量 -####整型字面量语法 + +###GRAMMAR OF AN INTEGER LITERAL + +‌ integer-literal → binary-literal + +‌ integer-literal → octal-literal + +‌ integer-literal → decimal-literal + +‌ integer-literal → hexadecimal-literal + +‌ binary-literal → 0b binary-digitbinary-literal-characters opt + +‌ binary-digit → Digit 0 or 1 + +‌ binary-literal-character → binary-digit _ + +‌ binary-literal-characters → binary-literal-characterbinary-literal-characters opt + +‌ octal-literal → 0ooctal-digitoctal-literal-characters opt + +‌ octal-digit → Digit 0 through 7 + +‌ octal-literal-character → octal-digit _ + +‌ octal-literal-characters → octal-literal-characteroctal-literal-characters opt + +‌ decimal-literal → decimal-digitdecimal-literal-characters opt + +‌ decimal-digit → Digit 0 through 9 + +‌ decimal-digits → decimal-digitdecimal-digits opt + +‌ decimal-literal-character → decimal-digit _ + +‌ decimal-literal-characters → decimal-literal-characterdecimal-literal-characters opt + +‌ hexadecimal-literal → 0xhexadecimal-digithexadecimal-literal-characters opt + +‌ hexadecimal-digit → Digit 0 through 9, a through f, or A through F + +‌ hexadecimal-literal-character → hexadecimal-digit _ + +‌ hexadecimal-literal-characters → hexadecimal-literal-characterhexadecimal-literal-characters opt +###整型字面量语法 整型字面量 → 二进制字面量 整型字面量 → 八进制字面量 @@ -708,17 +1521,17 @@ self表达式 → self . init 整型字面量 → 十六进制字面量 -二进制字面量 → 0b 二进制数字 二进制字面量字符列表 可选 +二进制字面量 → **0b** 二进制数字 二进制字面量字符列表 可选 -二进制数字 → 数值 0 到 1 +二进制数字 → 数字 0 到 1 二进制字面量字符 → 二进制数字 | _ 二进制字面量字符列表 → 二进制字面量字符 二进制字面量字符列表 可选 -八进制字面量 → 0o 八进字数字 八进制字符列表 可选 +八进制字面量 →** 0o** 八进字数字 八进制字符列表 可选 -八进字数字 → 数值 0 到 7 +八进字数字 → 数字 0 到 7 八进制字符 → 八进字数字 | _ @@ -726,7 +1539,7 @@ self表达式 → self . init 十进制字面量 → 十进制数字 十进制字符列表 可选 -十进制数字 → 数值 0 到 9 +十进制数字 → 数字 0 到 9 十进制数字列表 → 十进制数字 十进制数字列表 可选 @@ -734,15 +1547,35 @@ self表达式 → self . init 十进制字符列表 → 十进制字符 十进制字符列表 可选 -十六进制字面量 → 0x 十六进制数字 十六进制字面量字符列表 可选 +十六进制字面量 → **0x **十六进制数字 十六进制字面量字符列表 可选 -十六进制数字 → 数值 0 到 9, a through f, or A through F +十六进制数字 → 数字 0 到 9, a 到 f, or A 到 F 十六进制字符 → 十六进制数字 | _ 十六进制字面量字符列表 → 十六进制字符 十六进制字面量字符列表 可选 -####浮点型字面量语法 +###GRAMMAR OF A FLOATING-POINT LITERAL + +‌ floating-point-literal → decimal-literal decimal-fraction opt decimal-exponentopt + +‌ floating-point-literal → hexadecimal-literal hexadecimal-fraction opt hexadecimal-exponent + +‌ decimal-fraction → .decimal-literal + +‌ decimal-exponent → floating-point-esign opt decimal-literal + +‌ hexadecimal-fraction → .hexadecimal-literal opt + +‌ hexadecimal-exponent → floating-point-psign opt hexadecimal-literal + +‌ floating-point-e → e | E + +‌ floating-point-p → p | P + +‌ sign → + | - + +###浮点型字面量语法 浮点数字面量 → 十进制字面量 十进制分数 可选 十进制指数 可选 浮点数字面量 → 十六进制字面量 十六进制分数 可选 十六进制指数 @@ -755,36 +1588,69 @@ self表达式 → self . init 十六进制指数 → 浮点数p 正负号 可选 十六进制字面量 -浮点数e → e | E +浮点数e → **e** | **E** + +浮点数p → **p** | **P** + +正负号 → **+** |** -** + +###GRAMMAR OF A STRING LITERAL -浮点数p → p | P +‌ string-literal → "quoted-text" -正负号 → + | - +‌ quoted-text → quoted-text-item quoted-text opt -####字符型字面量语法 -字符串字面量 → " 引用文本 " +‌ quoted-text-item → escaped-character + +‌ quoted-text-item → \(expression) + +‌ quoted-text-item → Any Unicode extended grapheme cluster except ", \, U+000A, or U+000D + +‌ escaped-character → \0 \\ \t \n \r \" \' + +‌ escaped-character → \x hexadecimal-digit hexadecimal-digit + +‌ escaped-character → \u hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit + +‌ escaped-character → \U hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit + +###字符型字面量语法 +字符串字面量 → **"** 引用文本** "** 引用文本 → 引用文本条目 引用文本 可选 引用文本条目 → 转义字符 -引用文本条目 → ( 表达式 ) +引用文本条目 → **\(** 表达式 **)** + +引用文本条目 → 除了"­, \­, U+000A, 或者 U+000D外的所有Unicode的字符 + +转义字符 → **\0**| **\\** | **\t** | **\n** | **\r** | **\"** | **\'** + +转义字符 → **\x** 十六进制数字 十六进制数字 + +转义字符 → **\u** 十六进制数字 十六进制数字 十六进制数字 十六进制数字 + +转义字符 → **\U** 十六进制数字 十六进制数字 十六进制数字 十六进制数字 十六进制数字 十六进制数字 十六进制数字 十六进制数字 + +###GRAMMAR OF OPERATORS + +‌ operator → operator-character operator opt -引用文本条目 → 除了"­, \­, U+000A, or U+000D的所有Unicode的字符 +‌ operator-character → / = - + ! * % < > & | ^ ~ . -转义字符 → \0 | \ | \t | \n | \r | \" | \' -转义字符 → \x 十六进制数字 十六进制数字 +‌ binary-operator → operator -转义字符 → \u 十六进制数字 十六进制数字 十六进制数字 十六进制数字 +‌ prefix-operator → operator -转义字符 → \U 十六进制数字 十六进制数字 十六进制数字 十六进制数字 十六进制数字 十六进制数字 十六进制数字 十六进制数字 +‌ postfix-operator → operator -####运算符语法语法 +###运算符语法语法 运算符 → 运算符字符 运算符 可选 -运算符字符 → / | = | - | + | ! | * | % | < | > | & | | | ^ | ~ | . +运算符字符 → **/** | **=** | **-** | **+** | **!** | ***** | **%** | **<** | **>** | **&** | **|** | **^** | **~** | **.** 二元运算符 → 运算符 @@ -792,52 +1658,113 @@ self表达式 → self . init 后置运算符 → 运算符 -###类型 -####类型语法 +##Types +##类型 + +###GRAMMAR OF A TYPE + +‌ type → array-type | function-type | type-identifier | tuple-type | optional-type | implicitly-unwrapped-optional-type | protocol-composition-type | metatype-type + +###类型语法 类型 → 数组类型 | 函数类型 | 类型标识 | 元组类型 | 可选类型 | 隐式解析可选类型 | 协议合成类型 | 元型类型 -####类型注解语法 + +###GRAMMAR OF A TYPE ANNOTATION + +‌ type-annotation → :attributes opt type +###类型注解语法 类型注解 → : 属性列表 可选 类型 -####类型标识语法 +###GRAMMAR OF A TYPE IDENTIFIER + +‌ type-identifier → type-name generic-argument-clause opt type-name generic-argument-clauseopt.type-identifier + +‌ type-name → identifier +###类型标识语法 类型标识 → 类型名称 泛型参数子句 可选 | 类型名称 泛型参数子句 可选 . 类型标识 类名 → 标识符 -####元组类型语法 +###GRAMMAR OF A TUPLE TYPE + +‌ tuple-type → (tuple-type-body opt) + +‌ tuple-type-body → tuple-type-element-list...opt + +‌ tuple-type-element-list → tuple-type-element | tuple-type-element,tuple-type-element-list + +‌ tuple-type-element → attributes opt inout opt type inout opt element-nametype-annotation + +‌ element-name → identifier + +###元组类型语法 元组类型 → ( 元组类型主体 可选 ) 元组类型主体 → 元组类型的元素列表 ... 可选 元组类型的元素列表 → 元组类型的元素 | 元组类型的元素 , 元组类型的元素列表 -元组类型的元素 → 属性列表 可选 inout 可选 类型 | inout 可选 元素名 类型注解 +元组类型的元素 → 属性列表 可选 **inout** 可选 类型 | **inout** 可选 元素名 类型注解 元素名 → 标识符 -####函数类型语法 +###GRAMMAR OF A FUNCTION TYPE + +‌ function-type → type->type + +###函数类型语法 函数类型 → 类型 → 类型 -####数组类型语法 -数组类型 → 类型 [ ] | 数组类型 [ ] -####可选类型语法 -可选类型 → 类型 ? -隐式解析可选类型(Implicitly Unwrapped Optional Type)语法 +###GRAMMAR OF AN ARRAY TYPE + +‌ array-type → type | array-type +###数组类型语法 +数组类型 → 类型** [ ]** 数组类型 **[ ]** + +###GRAMMAR OF AN OPTIONAL TYPE + +‌ optional-type → type ? + +###可选类型语法 +可选类型 → 类型 **?** + +###GRAMMAR OF AN IMPLICITLY UNWRAPPED OPTIONAL TYPE + +‌ implicitly-unwrapped-optional-type → type ! + +###隐式解析可选类型语法 隐式解析可选类型 → 类型 ! -####协议合成类型语法 -协议合成类型 → protocol < 协议标识符列表 可选 > +###GRAMMAR OF A PROTOCOL COMPOSITION TYPE + +‌ protocol-composition-type → protocol +‌ + protocol-identifier-list → protocol-identifier protocol-identifier,protocol-identifier-list + +‌ protocol-identifier → type-identifier + +###协议合成类型语法 +协议合成类型 → **protocol** < 协议标识符列表 可选 > 协议标识符列表 → 协议标识符 | 协议标识符 , 协议标识符列表 协议标识符 → 类型标识 -####元类型语法 -元类型 → 类型 . Type | 类型 . Protocol +###GRAMMAR OF A METATYPE TYPE + +‌ metatype-type → type.Type type.Protocol +###元类型语法 +元类型 → 类型 **.** **Type** | 类型 **.** **Protocol** + +###GRAMMAR OF A TYPE INHERITANCE CLAUSE + +‌ type-inheritance-clause → :type-inheritance-list + +‌ type-inheritance-list → type-identifier | type-identifier,type-inheritance-list -####类型继承子句语法 +###类型继承子句语法 类型继承子句 → : 类型继承列表 类型继承列表 → 类型标识 | 类型标识 , 类型继承列表 From 4cd34dc106ac6811214fdbb1c2481e861bfc0f3f Mon Sep 17 00:00:00 2001 From: yangqi Date: Wed, 30 Jul 2014 20:31:10 +0800 Subject: [PATCH 2/2] remove English content --- src/chapter3/10_Summary_of_the_Grammar.md | 792 +--------------------- 1 file changed, 6 insertions(+), 786 deletions(-) diff --git a/src/chapter3/10_Summary_of_the_Grammar.md b/src/chapter3/10_Summary_of_the_Grammar.md index 42ee069..0606441 100644 --- a/src/chapter3/10_Summary_of_the_Grammar.md +++ b/src/chapter3/10_Summary_of_the_Grammar.md @@ -1,25 +1,5 @@ -#Summary of the Grammar #语法总结 - -##Statements ##语句 - -###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 - -‌ statements → statementstatements opt - ###语句语法 语句 → 表达式 ;可选 @@ -35,16 +15,6 @@ 多条语句 → 语句 多条语句 可选 -###GRAMMAR OF A LOOP STATEMENT - -‌ loop-statement → for-statement - -‌ loop-statement → for-in-statement - -‌ loop-statement → while-statement - -‌ loop-statement → do-while-statement - ###循环语句语法 循环语句 → for 语句 @@ -54,14 +24,6 @@ 循环语句 → do-while 语句 -###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-init → variable-declaration expression-list - ###for 语句语法 for语句 → **for** for-初始条件 可选; 表达式 可选 ;表达式 可选 代码块 @@ -69,37 +31,19 @@ for语句 → **for** ( for-初始条件 可选; 表达式 可选 ;表达式 可 for-初始条件 → 变量声明 | 表达式列表 -###GRAMMAR OF A FOR-IN STATEMENT - -‌ for-in-statement → **for** pattern **in** expression code-block - ###for-in 语句语法 for-in 语句 → for 模式 in 表达式代码块 -###GRAMMAR OF A WHILE STATEMENT - -‌ while-statement → while while-condition code-block - -‌ while-condition → expression declaration ###while 语句语法 while语句 → **while** while-条件 代码块 while-条件 → 表达式 | 声明 -###GRAMMAR OF A DO-WHILE STATEMENT - -‌ do-while-statement → do code-block while while-condition - ###do-while 语句语法 do-while语句 → **do** 代码块 **while** while-条件 -###GRAMMAR OF A BRANCH STATEMENT - -‌ branch-statement → if-statement - -‌ branch-statement → switch-statement ###分支语句语法 @@ -107,13 +51,6 @@ do-while语句 → **do** 代码块 **while** while-条件 分支语句 → switch语句 -###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 ###if 语句语法 if语句 → if if-条件 代码块 else 子句 可选 @@ -122,26 +59,6 @@ if条件 → 表达式 | 申明 else子句 → else 代码块 | else if-语句 -###GRAMMAR OF A SWITCH STATEMENT - -‌ switch-statement → switch expression{switch-casesopt} - -‌ switch-cases → switch-case switch-cases opt - -‌ switch-case → case-label statements | default-label statements - -‌ switch-case → case-label; | default-label; - -‌ case-label → case case-item-list: - -‌ case-item-list → patternguard-clause opt | pattern guard-clause opt,case-item-list - -‌ default-label → default: - -‌ guard-clause → whereguard-expression - -‌ guard-expression → expression - ###switch语句语法 switch语句 → **switch** 表达式 { switch-case列表 可选 } @@ -161,13 +78,6 @@ default标签 → **default** : 监护表达式 → 表达式 -###GRAMMAR OF A LABELED STATEMENT - -‌labeled-statement → statement-label loop-statement | statement-label switch-statement -‌ -statement-label → label-name: -‌ -label-name → identifier ###标记语句语法 标记语句 → 语句标签 循环语句 | 语句标签 switch语句 @@ -176,16 +86,6 @@ label-name → identifier 标签名称 → 标识符 -###GRAMMAR OF A CONTROL TRANSFER STATEMENT - -‌ control-transfer-statement → break-statement - -‌ control-transfer-statement → continue-statement - -‌ control-transfer-statement → fallthrough-statement - -‌ control-transfer-statement → return-statement - ###控制传递语句语法 控制传递语句 → break-语句 @@ -195,62 +95,25 @@ label-name → identifier 控制传递语句 → return-语句 -###GRAMMAR OF A BREAK STATEMENT - -‌ break-statement → breaklabel-name opt ###break 语句语法 break语句 → **break** 标签名称 可选 -###GRAMMAR OF A CONTINUE STATEMENT - -‌ continue-statement → continue label-name opt ###continue 语句语法 continue语句 → **continue** 标签名称 可选 -###GRAMMAR OF A FALLTHROUGH STATEMENT - -‌ fallthrough-statement → fallthrough ###fallthrough 语句语法 fallthrough-语句 → **fallthrough** -###GRAMMAR OF A RETURN STATEMENT - -‌ return-statement → return expression opt ####return 语句语法 return语句 → **return** 表达式 可选 -##Generic Parameters and Arguments - ##泛型和参数 -###GRAMMAR OF A GENERIC PARAMETER CLAUSE - -‌ generic-parameter-clause → - -‌ generic-parameter-list → generic-parameter | generic-parameter,generic-parameter-list - -‌ generic-parameter → type-name - -‌ generic-parameter → type-name:type-identifier - -‌ generic-parameter → type-name:protocol-composition-type - -‌ requirement-clause → where requirement-list - -‌ requirement-list → requirement | requirement,requirement-list - -‌ requirement → conformance-requirement | same-type-requirement - -‌ conformance-requirement → type-identifier:type-identifier - -‌ conformance-requirement → type-identifier:protocol-composition-type - -‌ same-type-requirement → type-identifier==type-identifier ###泛型形参子句语法 @@ -276,13 +139,6 @@ return语句 → **return** 表达式 可选 同类型约束 → 类型标识 == 类型标识 -###GRAMMAR OF A GENERIC ARGUMENT CLAUSE - -‌ generic-argument-clause → - -‌ generic-argument-list → generic-argument | generic-argument,generic-argument-list - -‌ generic-argument → type ###泛型参数子句语法 泛型参数子句 → < 泛型参数列表 > @@ -291,43 +147,7 @@ return语句 → **return** 表达式 可选 泛型参数 → 类型 -##Declarations ##声明 -###GRAMMAR OF A DECLARATION - -‌ declaration → import-declaration - -‌ declaration → constant-declaration - -‌ declaration → variable-declaration - -‌ declaration → typealias-declaration - -‌ declaration → function-declaration - -‌ declaration → enum-declaration - -‌ declaration → struct-declaration - -‌ declaration → class-declaration - -‌ declaration → protocol-declaration - -‌ declaration → initializer-declaration - -‌ declaration → deinitializer-declaration - -‌ declaration → extension-declaration - -‌ declaration → subscript-declaration - -‌ declaration → operator-declaration - -‌ declarations → declarationdeclarations opt - -‌ declaration-specifiers → declaration-specifier declaration-specifiersopt - -‌ declaration-specifier → class | mutating | nonmutating | override | static | unowned | unowned(safe) | unowned(unsafe) | weak ###声明语法 @@ -366,28 +186,15 @@ return语句 → **return** 表达式 可选 声明描述符 → **class** | **mutating** | **nonmutating** | **override** | **static** | **unowned** | **unowned(safe) **| **unowned(unsafe)** | **weak** -###GRAMMAR OF A TOP-LEVEL DECLARATION - -‌ top-level-declaration → statements opt ###顶级声明语法 顶级声明 → 多条语句 可选 -###GRAMMAR OF A CODE BLOCK -‌ code-block → {statements opt} ###代码块语法 代码块 → { 多条语句 可选 } -###GRAMMAR OF AN IMPORT DECLARATION - -‌ import-declaration → attributes opt import import-kind opt import-path - -‌ import-kind → typealias | struct | class | enum | protocol | var | func -‌ import-path → import-path-identifier | import-path-identifier.import-path - -‌ import-path-identifier → identifier | operator ###导入声明语法 导入声明 → 属性列表 可选 **import** 导入类型 可选 导入路径 @@ -398,15 +205,7 @@ return语句 → **return** 表达式 可选 导入路径标识符 → 标识符 | 运算符 -###GRAMMAR OF A CONSTANT DECLARATION - -‌ constant-declaration → attributes opt declaration-specifiers opt let pattern-initializer-list - -‌ pattern-initializer-list → pattern-initializer | pattern-initializer,pattern-initializer-list -‌ pattern-initializer → pattern initializer opt - -‌ initializer → =expression ###常数声明语法 常量声明 → 属性列表 可选 声明描述符列表 可选 **let** 模式构造器列表 @@ -416,47 +215,6 @@ return语句 → **return** 表达式 可选 构造器 → = 表达式 -###GRAMMAR OF A VARIABLE DECLARATION - -‌ variable-declaration → variable-declaration-head pattern-initializer-list - -‌ variable-declaration → variable-declaration-head variable-name type-annotationcode-block - -‌ variable-declaration → variable-declaration-head variable-name type-annotation getter-setter-block - -variable-declaration → variable-declaration-head variable-name type-annotation getter-setter-keyword-block - -‌ variable-declaration → variable-declaration-head variable-name type-annotation initializer opt willSet-didSet-block - -‌ variable-declaration-head → attributes opt declaration-specifiers opt var - -‌ variable-name → identifier - -‌ getter-setter-block → {getter-clausesetter-clauseopt} - -‌ getter-setter-block → {setter-clausegetter-clause} - -‌ getter-clause → attributes opt getcode-block - -‌ setter-clause → attributes opt setsetter-nameoptcode-block - -‌ setter-name → (identifier) - -‌ getter-setter-keyword-block → {getter-keyword-clausesetter-keyword-clauseopt} - -‌ getter-setter-keyword-block → {setter-keyword-clausegetter-keyword-clause} - -‌ getter-keyword-clause → attributes opt get - -‌ setter-keyword-clause → attributes opt set - -‌ willSet-didSet-block → {willSet-clausedidSet-clauseopt} - -‌ willSet-didSet-block → {didSet-clausewillSet-clause} - -‌ willSet-clause → attributes opt willSetsetter-name opt code-block - -‌ didSet-clause → attributes opt didSetsetter-name opt code-block ###变量声明语法 变量声明 → 变量声明头 模式构造器列表 @@ -499,15 +257,7 @@ willSet子句 → 属性列表 可选 **willSet** setter名称 可选 代码块 didSet子句 → 属性列表 可选 **didSet** setter名称 可选 代码块 -###GRAMMAR OF A TYPE ALIAS DECLARATION - -‌ typealias-declaration → typealias-head typealias-assignment -‌ typealias-head → typealias typealias-name - -‌ typealias-name → identifier - -‌ typealias-assignment → =type ###类型别名声明语法 @@ -520,37 +270,7 @@ didSet子句 → 属性列表 可选 **didSet** setter名称 可选 代码块 类型别名赋值 → = 类型 -###GRAMMAR OF A FUNCTION DECLARATION - -‌ function-declaration → function-head function-name generic-parameter-clause opt function-signature function-body - -‌ function-head → attributes opt declaration-specifiers opt func - -‌ function-name → identifier | operator - -‌ function-signature → parameter-clauses function-result opt - -‌ function-result → ->attributes opt type - -‌ function-body → code-block - -‌ parameter-clauses → parameter-clauseparameter-clauses opt - -‌ parameter-clause → () | (parameter-list...opt) -‌ parameter-list → parameter | parameter,parameter-list - -‌ parameter → inout opt let opt # opt parameter-name local-parameter-name opt type-annotation default-argument-clause opt - -‌ parameter → inout opt var# opt parameter-name local-parameter-name opt type-annotation default-argument-clause opt - -‌ parameter → attributes opt type - -‌ parameter-name → identifier | _ - -‌ local-parameter-name → identifier | _ - -‌ default-argument-clause → =expression ###函数声明语法 函数声明 → 函数头 函数名 泛型参数子句 可选 函数签名 函数体 @@ -583,39 +303,7 @@ didSet子句 → 属性列表 可选 **didSet** setter名称 可选 代码块 默认参数子句 → = 表达式 -###GRAMMAR OF AN ENUMERATION DECLARATION - -‌ enum-declaration → attributes opt union-style-enum | attributes opt raw-value-style-enum - -‌ union-style-enum → enum-name generic-parameter-clause opt { union-style-enum-members opt } - -‌ union-style-enum-members → union-style-enum-member union-style-enum-members opt - -‌ union-style-enum-member → declaration | union-style-enum-case-clause - -‌ union-style-enum-case-clause → attributes opt case union-style-enum-case-list - -‌ union-style-enum-case-list → union-style-enum-case | union-style-enum-case,union-style-enum-case-list - -‌ union-style-enum-case → enum-case-nametuple-type opt - -‌ enum-name → identifier - -‌ enum-case-name → identifier - -‌ raw-value-style-enum → enum-name generic-parameter-clause opt:type-identifier{raw-value-style-enum-members opt} - -‌ raw-value-style-enum-members → raw-value-style-enum-member raw-value-style-enum-members opt - -‌ raw-value-style-enum-member → declaration raw-value-style-enum-case-clause - -‌ raw-value-style-enum-case-clause → attributes opt caseraw-value-style-enum-case-list - -‌ raw-value-style-enum-case-list → raw-value-style-enum-case raw-value-style-enum-case,raw-value-style-enum-case-list -‌ raw-value-style-enum-case → enum-case-name raw-value-assignment opt - -‌ raw-value-assignment → =literal ###枚举声明语法 @@ -651,13 +339,7 @@ union-style-enum-member → 声明 | 联合式的枚举case子句 原始值赋值 → = 字面量 -###GRAMMAR OF A STRUCTURE DECLARATION - -‌ struct-declaration → attributes opt struct struct-name generic-parameter-clause opt type-inheritance-clause opt struct-body - -‌ struct-name → identifier -‌ struct-body → {declarations opt} ###结构体声明语法 结构体声明 → 属性列表 可选 **struct** 结构体名称 泛型参数子句 可选 类型继承子句 可选 结构体主体 @@ -665,13 +347,6 @@ union-style-enum-member → 声明 | 联合式的枚举case子句 结构体主体 → { 声明列表 可选 } -###GRAMMAR OF A CLASS DECLARATION - -‌ class-declaration → attributes opt classclass-name generic-parameter-clause opt type-inheritance-clause opt class-body - -‌ class-name → identifier - -‌ class-body → {declarations opt} ###类声明语法 类声明 → 属性列表 可选 class 类名 泛型参数子句 可选 类型继承子句 可选 类主体 @@ -681,26 +356,6 @@ union-style-enum-member → 声明 | 联合式的枚举case子句 类主体 → { 声明列表 可选 } -###GRAMMAR OF A PROTOCOL DECLARATION - -‌ protocol-declaration → attributes opt protocol protocol-name type-inheritance-clause opt protocol-body - -‌ protocol-name → identifier - -‌ protocol-body → {protocol-member-declarations opt} - -‌ protocol-member-declaration → protocol-property-declaration - -‌ protocol-member-declaration → protocol-method-declaration - -‌ protocol-member-declaration → protocol-initializer-declaration - -‌ protocol-member-declaration → protocol-subscript-declaration - -‌ protocol-member-declaration → protocol-associated-type-declaration - -‌ protocol-member-declarations → protocol-member-declarationprotocol-member-declarations opt - ###协议声明语法 协议声明 → 属性列表 可选 **protocol** 协议名 类型继承子句 可选 协议主体 @@ -721,50 +376,33 @@ union-style-enum-member → 声明 | 联合式的枚举case子句 协议成员声明列表 → 协议成员声明 协议成员声明列表 可选 -###GRAMMAR OF A PROTOCOL PROPERTY DECLARATION -‌ protocol-property-declaration → variable-declaration-head variable-name type-annotation getter-setter-keyword-block ###协议属性声明语法 协议属性声明 → 变量声明头 变量名 类型注解 getter-setter关键字块 -###GRAMMAR OF A PROTOCOL METHOD DECLARATION -‌ protocol-method-declaration → function-head function-namem generic-parameter-clause opt function-signature ###协议方法声明语法 协议方法声明 → 函数头 函数名 泛型参数子句 可选 函数签名 -###GRAMMAR OF A PROTOCOL INITIALIZER DECLARATION -‌ protocol-initializer-declaration → initializer-head generic-parameter-clause opt parameter-clause ###协议构造器声明语法 协议构造器声明 → 构造器头 泛型参数子句 可选 参数子句 -###GRAMMAR OF A PROTOCOL SUBSCRIPT DECLARATION -‌ protocol-subscript-declaration → subscript-head subscript-result getter-setter-keyword-block ###协议下标脚本声明语法 协议下标脚本声明 → 下标脚本头 下标脚本结果 getter-setter关键字块 -###GRAMMAR OF A PROTOCOL ASSOCIATED TYPE DECLARATION -‌ protocol-associated-type-declaration → typealias-head type-inheritance-clause opt typealias-assignment opt ###协议关联类型声明语法 协议关联类型声明 → 类型别名头 类型继承子句 可选 类型别名赋值 可选 -###GRAMMAR OF AN INITIALIZER DECLARATION - -‌ initializer-declaration → initializer-head generic-parameter-clause opt parameter-clause initializer-body - -‌ initializer-head → attributes opt convenience opt init - -‌ initializer-body → code-block ###构造器声明语法 @@ -774,36 +412,18 @@ union-style-enum-member → 声明 | 联合式的枚举case子句 构造器主体 → 代码块 -###GRAMMAR OF A DEINITIALIZER DECLARATION -‌ deinitializer-declaration → attributes opt deinitcode-block ###析构器声明语法 析构器声明 → 属性列表 可选 **deinit** 代码块 -###GRAMMAR OF AN EXTENSION DECLARATION - -‌ extension-declaration → extensiontype-identifiertype-inheritance-clause opt extension-body - -‌ extension-body → {declarations opt} ###扩展声明语法 扩展声明 → **extension** 类型标识 类型继承子句 可选 extension-主体 extension-主体 → { 声明列表 可选 } -###GRAMMAR OF A SUBSCRIPT DECLARATION - -‌ subscript-declaration → subscript-head subscript-result code-block - -‌ subscript-declaration → subscript-head subscript-result getter-setter-block - -‌ subscript-declaration → subscript-head subscript-result getter-setter-keyword-block - -‌ subscript-head → attributes opt subscript parameter-clause - -‌ subscript-result → ->attributesopttype ###下标脚本声明语法 下标脚本声明 → 下标脚本头 下标脚本结果 代码块 @@ -816,25 +436,6 @@ extension-主体 → { 声明列表 可选 } 下标脚本结果 → → 属性列表 可选 类型 -###GRAMMAR OF AN OPERATOR DECLARATION - -‌ operator-declaration → prefix-operator-declaration | postfix-operator-declaration | infix-operator-declaration - -‌ prefix-operator-declaration → operator prefix operator{} - -‌ postfix-operator-declaration → operator postfix operator{} - -‌ infix-operator-declaration → operator infix operator{infix-operator-attributes opt} - -‌ infix-operator-attributes → precedence-clause opt associativity-clause opt - -‌ precedence-clause → precedence precedence-level - -‌ precedence-level → Digit 0 through 255 - -‌ associativity-clause → associativity associativity - -‌ associativity → left right none ###运算符声明语法 运算符声明 → 前置运算符声明 | 后置运算符声明 | 中置运算符声明 @@ -855,24 +456,10 @@ extension-主体 → { 声明列表 可选 } 结和性 → **left** | **right** | **none** -##Patterns -##模式 - -###GRAMMAR OF A PATTERN - -‌ pattern → wildcard-patterntype-annotation opt - -‌ pattern → identifier-patterntype-annotation opt - -‌ pattern → value-binding-pattern -‌ pattern → tuple-patterntype-annotation opt - -‌ pattern → enum-case-pattern +##模式 -‌ pattern → type-casting-pattern -‌ pattern → expression-pattern ###模式语法 @@ -890,36 +477,22 @@ extension-主体 → { 声明列表 可选 } 模式 → 表达式模式 -###GRAMMAR OF A WILDCARD PATTERN - -‌ wildcard-pattern → _ ###通配符模式语法 通配符模式 → **_** -###GRAMMAR OF AN IDENTIFIER PATTERN -‌ identifier-pattern → identifier ###标识符模式语法 标识符模式 → 标识符 -###GRAMMAR OF A VALUE-BINDING PATTERN -‌ value-binding-pattern → varpattern let pattern ###值绑定模式语法 值绑定模式 → **var** 模式 | **let** 模式 -###GRAMMAR OF A TUPLE PATTERN - -‌ tuple-pattern → (tuple-pattern-element-list opt) - -‌ tuple-pattern-element-list → tuple-pattern-element tuple-pattern-element,tuple-pattern-element-list - -‌ tuple-pattern-element → pattern ###元组模式语法 元组模式 → ( 元组模式元素列表 可选 ) @@ -928,22 +501,14 @@ extension-主体 → { 声明列表 可选 } 元组模式元素 → 模式 -###GRAMMAR OF AN ENUMERATION CASE PATTERN -‌ enum-case-pattern → type-identifier opt.enum-case-nametuple-pattern opt ###枚举用例模式语法 枚举用例模式 → 类型标识 可选 . 枚举的case名 元组模式 可选 -###GRAMMAR OF A TYPE CASTING PATTERN - -‌ type-casting-pattern → is-pattern as-pattern - -‌ is-pattern → istype -‌ as-pattern → patternastype ###类型转换模式语法 类型转换模式 → is模式 | as模式 @@ -951,37 +516,15 @@ is模式 → **is** 类型 as模式 → 模式 **as** 类型 -###GRAMMAR OF AN EXPRESSION PATTERN -‌ expression-pattern → expression ###表达式模式语法 表达式模式 → 表达式 -##Attributes -##属性 - -###GRAMMAR OF AN ATTRIBUTE -‌ attribute → @ attribute-nameattribute-argument-clause opt - -‌ attribute-name → identifier - -‌ attribute-argument-clause → (balanced-tokens opt) - -‌ attributes → attribute attributes opt - -‌ balanced-tokens → balanced-token balanced-tokens opt - -‌ balanced-token → (balanced-tokens opt) - -‌ balanced-token → [balanced-tokens opt] - -‌ balanced-token → {balanced-tokens opt} +##属性 -‌ balanced-token → Any identifier, keyword, literal, or operator -‌ balanced-token → Any punctuation except (, ), [, ], {, or } ####属性语法 属性 → @ 属性名 属性参数子句 可选 @@ -1003,24 +546,15 @@ as模式 → 模式 **as** 类型 平衡令牌 → 任意标点除了**(, ), [, ], {,** 或 **}** -##Expressions -##表达式 -###GRAMMAR OF AN EXPRESSION -‌ expression → prefix-expressionbinary-expressions opt +##表达式 -‌ expression-list → expression | expression , expression-list ###表达式语法 表达式 → 前置表达式 二元表达式列表 可选 表达式列表 → 表达式 | 表达式 **,** 表达式列表 -GRAMMAR OF A PREFIX EXPRESSION - -‌ prefix-expression → prefix-operator opt postfix-expression -‌ prefix-expression → in-out-expression -‌ in-out-expression → & identifier ###前置表达式语法 前置表达式 → 前置运算符 可选 后置表达式 @@ -1029,17 +563,7 @@ GRAMMAR OF A PREFIX EXPRESSION 写入写出表达式 → **&** 标识符 -###GRAMMAR OF A BINARY EXPRESSION - -‌ binary-expression → binary-operator prefix-expression - -‌ binary-expression → assignment-operator prefix-expression - -‌ binary-expression → conditional-operator prefix-expression - -‌ binary-expression → type-casting-operator -‌ binary-expressions → binary-expression binary-expressionsopt ###二元表达式语法 二元表达式 → 二元运算符 前置表达式 @@ -1052,43 +576,21 @@ GRAMMAR OF A PREFIX EXPRESSION 二元表达式列表 → 二元表达式 二元表达式列表 可选 -###GRAMMAR OF AN ASSIGNMENT OPERATOR -‌ assignment-operator → = ###赋值运算符语法 赋值运算符 → **=** -###GRAMMAR OF A CONDITIONAL OPERATOR -‌ conditional-operator → ? expression : ###三元条件运算符语法 三元条件运算符 → **?** 表达式 **:** -###GRAMMAR OF A TYPE-CASTING OPERATOR -‌ type-casting-operator → is type | as ? opttype ###类型转换运算符语法 类型转换运算符 → **is** 类型 | **as ?** 可选 类型 -###GRAMMAR OF A PRIMARY EXPRESSION - -‌ primary-expression → identifiergeneric-argument-clause opt - -‌ primary-expression → literal-expression - -‌ primary-expression → self-expression - -‌ primary-expression → superclass-expression - -‌ primary-expression → closure-expression -‌ primary-expression → parenthesized-expression - -‌ primary-expression → implicit-member-expression - -‌ primary-expression → wildcard-expression ###主表达式语法 @@ -1108,25 +610,7 @@ GRAMMAR OF A PREFIX EXPRESSION 主表达式 → 通配符表达式 -###GRAMMAR OF A LITERAL EXPRESSION - -‌ literal-expression → literal - -‌ literal-expression → array-literal | dictionary-literal - -‌ literal-expression → __FILE__ | __LINE__ | __COLUMN__ | __FUNCTION__ - -‌ array-literal → [array-literal-items opt] - -‌ array-literal-items → array-literal-item,opt array-literal-item,array-literal-items - -‌ array-literal-item → expression - -‌ dictionary-literal → [dictionary-literal-items] [:] - -‌ dictionary-literal-items → dictionary-literal-item,opt dictionary-literal-item,dictionary-literal-items -‌ dictionary-literal-item → expression:expression ###字面量表达式语法 字面量表达式 → 字面量 @@ -1146,15 +630,7 @@ GRAMMAR OF A PREFIX EXPRESSION 字典字面量项 → 表达式 : 表达式 -###GRAMMAR OF A SELF EXPRESSION -‌ self-expression → self - -‌ self-expression → self.identifier - -‌ self-expression → self[expression] - -‌ self-expression → self.init ###Self 表达式语法 self表达式 → **self** @@ -1165,15 +641,7 @@ self表达式 → **self** [ 表达式 ] self表达式 → **self . init** -###GRAMMAR OF A SUPERCLASS EXPRESSION -‌ superclass-expression → superclass-method-expression | superclass-subscript-expression |superclass-initializer-expression -‌ -superclass-method-expression → super.identifier -‌ -superclass-subscript-expression → super[expression] -‌ -superclass-initializer-expression → super.init ###超类表达式语法 超类表达式 → 超类方法表达式 | 超类下标表达式 | 超类构造器表达式 @@ -1183,23 +651,6 @@ superclass-initializer-expression → super.init 超类构造器表达式 → **super . init** -###GRAMMAR OF A CLOSURE EXPRESSION - -‌ closure-expression → {closure-signature opt statements} - -‌ closure-signature → parameter-clause function-result opt in - -‌ closure-signature → identifier-list function-result opt in - -‌ closure-signature → capture-listp arameter-clause function-result opt in - -‌ closure-signature → capture-list identifier-list function-result opt in - -‌ closure-signature → capture-list in - -‌ capture-list → [capture-specifierexpression] - -‌ capture-specifier → weak unowned unowned(safe) unowned(unsafe) ###闭包表达式语法 @@ -1219,19 +670,11 @@ superclass-initializer-expression → super.init 捕获说明符 → **weak** |**unowned** | **unowned(safe)** | **unowned(unsafe)** -###GRAMMAR OF A IMPLICIT MEMBER EXPRESSION -‌ implicit-member-expression → .identifier ###隐式成员表达式语法 隐式成员表达式 → **.** 标识符 -###GRAMMAR OF A PARENTHESIZED EXPRESSION - -‌ parenthesized-expression → (expression-element-list opt) - -‌ expression-element-list → expression-element | expression-element,expression-element-list -‌ expression-element → expression | identifier:expression ###圆括号表达式语法 @@ -1241,33 +684,11 @@ superclass-initializer-expression → super.init 表达式元素 → 表达式 | 标识符 **:** 表达式 -###GRAMMAR OF A WILDCARD EXPRESSION -‌ wildcard-expression → _ ###通配符表达式语法 通配符表达式 → _ -###GRAMMAR OF A POSTFIX EXPRESSION - -‌ postfix-expression → primary-expression - -‌ postfix-expression → postfix-expressionpostfix-operator - -‌ postfix-expression → function-call-expression - -‌ postfix-expression → initializer-expression - -‌ postfix-expression → explicit-member-expression - -‌ postfix-expression → postfix-self-expression - -‌ postfix-expression → dynamic-type-expression -‌ postfix-expression → subscript-expression - -‌ postfix-expression → forced-value-expression - -‌ postfix-expression → optional-chaining-expression ###后置表达式语法 @@ -1291,13 +712,7 @@ superclass-initializer-expression → super.init 后置表达式 → 可选表达式 -###GRAMMAR OF A FUNCTION CALL EXPRESSION - -‌ function-call-expression → postfix-expressionparenthesized-expression -‌ function-call-expression → postfix-expressionparenthesized-expressionopttrailing-closure - -‌ trailing-closure → closure-expression ###函数调用表达式语法 函数调用表达式 → 后置表达式 圆括号表达式 @@ -1305,110 +720,45 @@ superclass-initializer-expression → super.init 后置闭包 → 闭包表达式 -###GRAMMAR OF AN INITIALIZER EXPRESSION -‌ initializer-expression → postfix-expression .init ###构造器表达式语法 构造器表达式 → 后置表达式 **. init** -###GRAMMAR OF AN EXPLICIT MEMBER EXPRESSION - -‌ explicit-member-expression → postfix-expression . decimal-digit -‌ explicit-member-expression → postfix-expression . identifier generic-argument-clause opt ###显式成员表达式语法 显示成员表达式 → 后置表达式 . 十进制数字 显示成员表达式 → 后置表达式 . 标识符 泛型参数子句 可选 -###GRAMMAR OF A SELF EXPRESSION - -‌ postfix-self-expression → postfix-expression .self ###后置Self 表达式语法 后置self表达式 → 后置表达式 **. self** -###GRAMMAR OF A DYNAMIC TYPE EXPRESSION -‌ dynamic-type-expression → postfix-expression . dynamicType ###动态类型表达式语法 动态类型表达式 → 后置表达式 **. dynamicType** -###GRAMMAR OF A SUBSCRIPT EXPRESSION -‌ subscript-expression → postfix-expression [ expression-list ] ###附属脚本表达式语法 附属脚本表达式 → 后置表达式 **[** 表达式列表 **]** -###GRAMMAR OF A FORCED-VALUE EXPRESSION -‌ forced-value-expression → postfix-expression ! ###强制取值语法 强制取值表达式 → 后置表达式 **!** -###GRAMMAR OF AN OPTIONAL-CHAINING EXPRESSION -‌ optional-chaining-expression → postfix-expression ? ##可选表达式语法 可选表达式 → 后置表达式 **?** -##Lexical Structure -##词法结构 - -###GRAMMAR OF AN IDENTIFIER - -‌ identifier → identifier-head identifier-characters opt - -‌ identifier → ` identifier-head identifier-characters opt ` - -‌ identifier → implicit-parameter-name - -‌ identifier-list → identifier | identifier,identifier-list - -‌ identifier-head → Upper- or lowercase letter A through Z - -‌ identifier-head → U+00A8, U+00AA, U+00AD, U+00AF, U+00B2–U+00B5, or U+00B7–U+00BA - -‌ identifier-head → U+00BC–U+00BE, U+00C0–U+00D6, U+00D8–U+00F6, or U+00F8–U+00FF - -‌ identifier-head → U+0100–U+02FF, U+0370–U+167F,U+1681–U+180D, or U+180F–U+1DBF - -‌ identifier-head → U+1E00–U+1FFF - -‌ identifier-head → U+200B–U+200D, U+202A–U+202E, U+203F–U+2040, U+2054, or U+2060–U+206F - -‌ identifier-head → U+2070–U+20CF, U+2100–U+218F, U+2460–U+24FF, or U+2776–U+2793 - -‌ identifier-head → U+2C00–U+2DFF or U+2E80–U+2FFF -‌ identifier-head → U+3004–U+3007, U+3021–U+302F, U+3031–U+303F, or U+3040–U+D7FF - -‌ identifier-head → U+F900–U+FD3D, U+FD40–U+FDCF, U+FDF0–U+FE1F, or U+FE30–U+FE44 - -‌ identifier-head → U+FE47–U+FFFD - -‌ identifier-head → U+10000–U+1FFFD, U+20000–U+2FFFD, U+30000–U+3FFFD, or U+40000–U+4FFFD - -‌ identifier-head → U+50000–U+5FFFD, U+60000–U+6FFFD, U+70000–U+7FFFD, or U+80000–U+8FFFD - -‌ identifier-head → U+90000–U+9FFFD, U+A0000–U+AFFFD, U+B0000–U+BFFFD, or U+C0000–U+CFFFD - -‌ identifier-head → U+D0000–U+DFFFD or U+E0000–U+EFFFD - -‌ identifier-character → Digit 0 through 9 - -‌ identifier-character → U+0300–U+036F, U+1DC0–U+1DFF, U+20D0–U+20FF, or U+FE20–U+FE2F - -‌ identifier-character → identifier-head +##词法结构 -‌ identifier-characters → identifier-characteridentifier-characters opt -‌ implicit-parameter-name → $ decimal-digits ###标识符语法 @@ -1461,57 +811,13 @@ superclass-initializer-expression → super.init 隐式参数名 → **$** 十进制数字列表 -###GRAMMAR OF A LITERAL -‌ literal → integer-literal | floating-point-literal | string-literal ###字面量语法 字面量 → 整型字面量 | 浮点数字面量 | 字符串字面量 -###GRAMMAR OF AN INTEGER LITERAL - -‌ integer-literal → binary-literal - -‌ integer-literal → octal-literal - -‌ integer-literal → decimal-literal - -‌ integer-literal → hexadecimal-literal - -‌ binary-literal → 0b binary-digitbinary-literal-characters opt - -‌ binary-digit → Digit 0 or 1 - -‌ binary-literal-character → binary-digit _ - -‌ binary-literal-characters → binary-literal-characterbinary-literal-characters opt - -‌ octal-literal → 0ooctal-digitoctal-literal-characters opt - -‌ octal-digit → Digit 0 through 7 -‌ octal-literal-character → octal-digit _ - -‌ octal-literal-characters → octal-literal-characteroctal-literal-characters opt - -‌ decimal-literal → decimal-digitdecimal-literal-characters opt - -‌ decimal-digit → Digit 0 through 9 - -‌ decimal-digits → decimal-digitdecimal-digits opt - -‌ decimal-literal-character → decimal-digit _ - -‌ decimal-literal-characters → decimal-literal-characterdecimal-literal-characters opt - -‌ hexadecimal-literal → 0xhexadecimal-digithexadecimal-literal-characters opt - -‌ hexadecimal-digit → Digit 0 through 9, a through f, or A through F - -‌ hexadecimal-literal-character → hexadecimal-digit _ - -‌ hexadecimal-literal-characters → hexadecimal-literal-characterhexadecimal-literal-characters opt ###整型字面量语法 整型字面量 → 二进制字面量 @@ -1555,25 +861,7 @@ superclass-initializer-expression → super.init 十六进制字面量字符列表 → 十六进制字符 十六进制字面量字符列表 可选 -###GRAMMAR OF A FLOATING-POINT LITERAL -‌ floating-point-literal → decimal-literal decimal-fraction opt decimal-exponentopt - -‌ floating-point-literal → hexadecimal-literal hexadecimal-fraction opt hexadecimal-exponent - -‌ decimal-fraction → .decimal-literal - -‌ decimal-exponent → floating-point-esign opt decimal-literal - -‌ hexadecimal-fraction → .hexadecimal-literal opt - -‌ hexadecimal-exponent → floating-point-psign opt hexadecimal-literal - -‌ floating-point-e → e | E - -‌ floating-point-p → p | P - -‌ sign → + | - ###浮点型字面量语法 浮点数字面量 → 十进制字面量 十进制分数 可选 十进制指数 可选 @@ -1594,25 +882,7 @@ superclass-initializer-expression → super.init 正负号 → **+** |** -** -###GRAMMAR OF A STRING LITERAL - -‌ string-literal → "quoted-text" - -‌ quoted-text → quoted-text-item quoted-text opt -‌ quoted-text-item → escaped-character - -‌ quoted-text-item → \(expression) - -‌ quoted-text-item → Any Unicode extended grapheme cluster except ", \, U+000A, or U+000D - -‌ escaped-character → \0 \\ \t \n \r \" \' - -‌ escaped-character → \x hexadecimal-digit hexadecimal-digit - -‌ escaped-character → \u hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit - -‌ escaped-character → \U hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit hexadecimal-digit ###字符型字面量语法 字符串字面量 → **"** 引用文本** "** @@ -1633,18 +903,7 @@ superclass-initializer-expression → super.init 转义字符 → **\U** 十六进制数字 十六进制数字 十六进制数字 十六进制数字 十六进制数字 十六进制数字 十六进制数字 十六进制数字 -###GRAMMAR OF OPERATORS - -‌ operator → operator-character operator opt - -‌ operator-character → / = - + ! * % < > & | ^ ~ . - - -‌ binary-operator → operator -‌ prefix-operator → operator - -‌ postfix-operator → operator ###运算符语法语法 @@ -1658,45 +917,27 @@ superclass-initializer-expression → super.init 后置运算符 → 运算符 -##Types + ##类型 -###GRAMMAR OF A TYPE -‌ type → array-type | function-type | type-identifier | tuple-type | optional-type | implicitly-unwrapped-optional-type | protocol-composition-type | metatype-type ###类型语法 类型 → 数组类型 | 函数类型 | 类型标识 | 元组类型 | 可选类型 | 隐式解析可选类型 | 协议合成类型 | 元型类型 -###GRAMMAR OF A TYPE ANNOTATION -‌ type-annotation → :attributes opt type ###类型注解语法 类型注解 → : 属性列表 可选 类型 -###GRAMMAR OF A TYPE IDENTIFIER - -‌ type-identifier → type-name generic-argument-clause opt type-name generic-argument-clauseopt.type-identifier -‌ type-name → identifier ###类型标识语法 类型标识 → 类型名称 泛型参数子句 可选 | 类型名称 泛型参数子句 可选 . 类型标识 类名 → 标识符 -###GRAMMAR OF A TUPLE TYPE - -‌ tuple-type → (tuple-type-body opt) - -‌ tuple-type-body → tuple-type-element-list...opt -‌ tuple-type-element-list → tuple-type-element | tuple-type-element,tuple-type-element-list - -‌ tuple-type-element → attributes opt inout opt type inout opt element-nametype-annotation - -‌ element-name → identifier ###元组类型语法 元组类型 → ( 元组类型主体 可选 ) @@ -1709,41 +950,26 @@ superclass-initializer-expression → super.init 元素名 → 标识符 -###GRAMMAR OF A FUNCTION TYPE -‌ function-type → type->type ###函数类型语法 函数类型 → 类型 → 类型 -###GRAMMAR OF AN ARRAY TYPE -‌ array-type → type | array-type ###数组类型语法 数组类型 → 类型** [ ]** 数组类型 **[ ]** -###GRAMMAR OF AN OPTIONAL TYPE -‌ optional-type → type ? ###可选类型语法 可选类型 → 类型 **?** -###GRAMMAR OF AN IMPLICITLY UNWRAPPED OPTIONAL TYPE - -‌ implicitly-unwrapped-optional-type → type ! +! ###隐式解析可选类型语法 隐式解析可选类型 → 类型 ! -###GRAMMAR OF A PROTOCOL COMPOSITION TYPE - -‌ protocol-composition-type → protocol -‌ - protocol-identifier-list → protocol-identifier protocol-identifier,protocol-identifier-list - -‌ protocol-identifier → type-identifier ###协议合成类型语法 协议合成类型 → **protocol** < 协议标识符列表 可选 > @@ -1752,17 +978,11 @@ superclass-initializer-expression → super.init 协议标识符 → 类型标识 -###GRAMMAR OF A METATYPE TYPE -‌ metatype-type → type.Type type.Protocol ###元类型语法 元类型 → 类型 **.** **Type** | 类型 **.** **Protocol** -###GRAMMAR OF A TYPE INHERITANCE CLAUSE - -‌ type-inheritance-clause → :type-inheritance-list -‌ type-inheritance-list → type-identifier | type-identifier,type-inheritance-list ###类型继承子句语法 类型继承子句 → : 类型继承列表