C语言类型声明的文法

尝试过3种思路，最后才写出一个满意的推导式。

支持带id和省略id的写法。

如：

long int * ( * id ) ()

也支持省略id，即  long int * ( * ) () ，这也会被视为一个合乎语法的串，从语义上再根据上下文来决定缺省id是否合乎语义就可以了。

先将 c 的类型声明先分为2个部分，前置类型段和符号声明段。再将符号声明段分为3个部分。

接上例：

前置类型段为： long int 

符号声明段，其中：

前段： *

中段： （*id）

后段： （）

前置类型段推导式为：

TDcl   =     SU
                 | Enum
 | Types
 | const TDcl
 | TDcl const

SU是指以struct union关键字开始的文法， Enum是enum关键字开始的文法，const是终结符，指const或volatile

这样，TDcl就会将直到 * ( [ id 前的符号归结。

如 int const ，  struct XXX { int a; } const volatile

符号声名段的文法如下：

NDcl   =     NDclPr
                 | NDclPr NDclMd
 | NDclPr NDclMd NDclBk

符号声明段可以是： 只有前段  或 前段+中段 或 三段都有。

这三种情况分别对应：  int const   |   int const *  |  int const *id [10]

三段的文法为：

NDclPr =    mul 
  | NDclPr mul
  | NDclPr const


NDclMd =   id
                  | bl NDcl br


NDclBkI=   kl kr
                 | kl Expr kr
 | bl br
 | bl FPS br  

NDclBk =   NDclBkI
                 | NDclBk NDclBkI

其中，mul就是指*号，  FPS是形式参数的文法：

FPSI   =   TDcl
               | TDcl NDcl

FPS    =   FPSI
               | FPS comma FPSI
       | FPS comma dot3

（comma 是 符号 , （逗号） ，  dot3 是 ... （不定长参数） ）