C# 语言规范--2.2.1 文法表示法

词法文法和句法文法用文法产生式来表示。每个文法产生式定义一个非结束符号和它可能的扩展（由非结束符或结束符组成的序列）。在文法产生式中，非结束符号显示为斜体，而结束符号显示为等宽字体。

文法产生式的第一行是该产生式所定义的非结束符号的名称，后跟一个冒号。每个后续的缩进行列出一个可能的扩展，它是以非结束符或结束符组成的序列的形式给出的。例如，产生式：

while-statement:（while 语句：）

while ( boolean-expression ) embedded-statement（while ( 布尔表达式 ) 嵌入语句）

定义了一个 while 语句，它是这样构成的：由标记 while 开始，后跟标记“(”、布尔表达式、标记“)”和嵌入的语句。

当有不止一个可能的非结束符号扩展时，列出这些可能的扩展（每个扩展单独占一行）。例如，产生式：

statement-list:（语句列表：）

statement（语句）
statement-list statement（语句列表 语句）

定义一个语句列表，它或仅含有一个语句，或由一个语句列表和随后跟着的一个语句组成。换言之，定义是递归的，语句列表由一个或多个语句组成。

一个符号若以下标“可选”作其后缀，就表明该符号是可选的。产生式：

block:（块：）

{ statement-list_opt }（{ 语句列表_可选 }）

是以下产生式的简短形式：

block:（块：）

{ }
{ statement-list }（{ 语句列表 }）

它定义了一个块，此块由一个用“{”和“}”标记括起来的可选语句列表组成。

可选项通常在单独的行上列出，但是当有许多可选项时，可以在单行上给定的扩展列表之前加上短语“下列之一”。这只是在单独一行上列出每个可选项的简短形式。例如，产生式：

real-type-suffix: one of（实数类型后缀：下列之一）

F f D d M m

是以下产生式的简短形式：

real-type-suffix:（实数类型后缀：）

F
f
D
d
M
m

软件开发网 www.mscto.com