符号
语法
词法分析器 和 语法 代码片段使用以下符号
| 符号 | 示例 | 含义 |
|---|---|---|
| 大写字母 | KW_IF，INTEGER_LITERAL | 词法分析器生成的词法单元 |
| 斜体驼峰式大小写 | LetStatement，Item | 语法产生式 |
字符串 | x，while，* | 确切的字符 |
| \x | \n，\r，\t，\0 | 此转义字符表示的字符 |
| x? | pub? | 可选项目 |
| x* | OuterAttribute* | 0 个或多个 x |
| x+ | MacroMatch+ | 1 个或多个 x |
| xa..b | HEX_DIGIT1..6 | x 重复 a 到 b 次 |
| | | u8 | u16，Block | Item | 两者选其一 |
| [ ] | [b B] | 列出的任何字符 |
| [ - ] | [a-z] | 范围内任何字符 |
| ~[ ] | ~[b B] | 除列出的字符外的任何字符 |
~string | ~\n，~*/ | 除该序列外的任何字符 |
| ( ) | (, Parameter)? | 分组项目 |
字符串表产生式
语法中的一些规则 - 尤其是 一元运算符、二元运算符 和 关键字 - 以简化形式给出：作为可打印字符串的列表。这些情况构成了有关 词法单元 规则的规则子集，并假定是词法分析阶段的结果，该阶段由 DFA 驱动，在所有此类字符串表条目的析取上运行。
当语法中出现 等宽 字体中的此类字符串时，它是对此类字符串表产生式的单个成员的隐式引用。有关更多信息，请参阅 词法单元。