野牛:单个规则中的可选令牌

我正在使用gnu bison 2.4.2为我正在研究的一种新语言编写语法,我有一个问题。 当我指定一个规则时,假设:

statement : T_CLASS T_IDENT  '{' T_CLASS_MEMBERS '}' {
           // create a node for the statement ...
}

例如,如果我对规则有一个变化

statement : T_CLASS T_IDENT T_EXTENDS T_IDENT_LIST  '{' T_CLASS_MEMBERS '}' {
           // create a node for the statement ...
}

其中(来自Flex扫描仪规则):

"class"                     return T_CLASS;
"extends"                   return T_EXTENDS;
[a-zA-Z\_][a-zA-Z0-9\_]*    return T_IDENT;

(而且t摲id摲u list是逗号分隔标识符的规则)。

是否有任何方法只在一个规则中指定所有这些内容,并将“t_扩展t_标识列表”设置为可选? 我已经试过了

 T_CLASS T_IDENT (T_EXTENDS T_IDENT_LIST)? '{' T_CLASS_MEMBERS '}' {
     // create a node for the statement ...
 } 

但是野牛给了我一个错误。

谢谢