当前位置导航:炫浪网>>网络学院>>编程开发>>Visual C#教程

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

  

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

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

  while-statement:(while 语句:)

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

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

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

  statement-list:(语句列表:)

  statement(语句)

  statement-list   statement(语句列表   语句)

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

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

  block:(块:)

  {   statement-listopt   }({   语句列表可选   })

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

  block:(块:)

  {   }

  {   statement-list   }({   语句列表   })

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

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

  real-type-suffix: one of(实数类型后缀:下列之一)

  F f D d M m

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

  real-type-suffix:(实数类型后缀:)

  F
  f
  D
  d
  M
  m

相关内容
赞助商链接