Question

所以我正在使用BNF-Convertor (BNFC)编写一个语法来解析一个c ++程序。 c ++程序如下。

// a small C++ program
#include <iostream>

int main()
{
    std::cout << "i";
    return 0;
}

我为此写的BNF语法如下。

PDefs. Program ::= [Def] ;
terminator Def "" ;
comment "//" ;
comment "/*" "*/" ;
comment "#" ;
DFun. Def ::= Type Id "(" [Arg] ")" "{" [Stm] "}" ;
separator Arg "," ;
terminator Stm "" ;
separator nonempty Id "::" ;
ADecl. Arg ::= Type Id ;
SExp.    Stm ::= Exp ";"              ;
Sids.    Stm ::= Id                   ;
SDecl.   Stm ::= Type Id ";"          ;
SDecls.  Stm ::= Type Id "," [Id] ";" ;
SInit.   Stm ::= Type Id "=" Exp ";"  ;
SReturn. Stm ::= "return" Exp ";"     ;
SWhile.  Stm ::= "while" "(" Exp ")" Stm ;
SBlock.  Stm ::= "{" [Stm] "}" ;
SIfElse. Stm ::= "if" "(" Exp ")" Stm "else" Stm ;
EInt.    Exp15 ::= Integer ;
EDouble. Exp15 ::= Double ;
ETrue.   Exp15 ::= "true" ;
EFalse.  Exp15 ::= "false" ;
EId.     Exp15 ::= Id ;
EApp.    Exp15 ::= Id "(" [Exp] ")" ;
EStr.    Exp15 ::= "\"" Id "\"";
EPIncr.  Exp14 ::= Exp15 "++" ;
EPDecr.  Exp14 ::= Exp15 "--" ;
EIncr.   Exp13 ::= "++" Exp14 ;
EDecr.   Exp13 ::= "--" Exp14 ;
ETimes.  Exp12 ::= Exp12 "*" Exp13 ;
EDiv.    Exp12 ::= Exp12 "/" Exp13 ;
EPlus.   Exp11 ::= Exp11 "+" Exp12 ;
EMinus.  Exp11 ::= Exp11 "-" Exp12 ;
ELs.     Exp9  ::= Exp9 "<<" Exp10 ;
ERs.     Exp9  ::= Exp9 ">>" Exp10 ;
ELt.     Exp9  ::= Exp9 "<"  Exp10 ;
EGt.     Exp9  ::= Exp9 ">" Exp10 ;
ELtEq.   Exp9  ::= Exp9 "<=" Exp10 ;
EGtWq.   Exp9  ::= Exp9 ">=" Exp10 ;
EEq.     Exp8  ::= Exp8 "==" Exp9 ;
ENEq.    Exp8  ::= Exp8 "!=" Exp9 ;
EAnd.    Exp4  ::= Exp4 "&&" Exp5 ;
EOr.     Exp3  ::= Exp3 "||" Exp4 ;
EAss.    Exp2  ::= Exp3 "=" Exp2 ;
coercions Exp 15 ; 
separator Exp "," ;
separator Id "," ;
Tbool. Type ::= "bool" ;
Tdouble. Type ::= "double" ;
Tint. Type ::= "int" ;
Tvoid. Type ::= "void" ;
token Id (letter (letter | digit | '_' )*) ;
token Ids (letter)* ;

我已经为::和左移位运算符<<和>>右移运算符编写了规则，但出于某种原因，它没有正确解析。我做错了什么？

根据我的理解，这应该有效，但它会给出这个错误。

   syntax error at line 6 before << "i" ; return

Answer 1

您的问题是std::cout不是Id。它可能是[Id] - 即Id的列表 - 因为声明

separator nonempty Id "::" ;

但该声明与后来的声明冲突

separator Id "," ;

我不太了解BNFC预测冲突的结果，但很难想象结果是你想要的。

表达式的语法不使用[Id];它只允许Id：

EId.     Exp15 ::= Id ;
EApp.    Exp15 ::= Id "(" [Exp] ")" ;

因此，限定名称std::cout不会被解析为Exp15。

您有两个非常不同的上下文，您尝试使用Id s列表;它们在语法和语义上都有所不同。所以你真的不能指望[Id]使用Name。

由于您显然希望能够处理命名空间名称，因此我建议明确将::定义为非空Id - [Id] s的分隔列表。当然，您可以使用[Id]宏而不是您自己的定义;这真的是对风格的判断。对我而言，似乎不太清楚，但口味各不相同。

在其他上下文中 - 声明 - Declarator的使用确实不正确，尽管它可能足以简化您的语法。在这里，我建议使用一个新的Id非终端，您最初可以将其定义为*foo但最终需要扩展为包含指针声明符（foo[3]），数组声明符（Declarator）甚至可能是函数声明符。使用SDecl. Stm ::= Type Id ";" ; SDecls. Stm ::= Type Id "," [Id] ";" ;非终端，您可以替换

separator nonempty Declarator ","
SDecls.  Stm ::= Type [Declarator] ";" ;

与

separator nonempty Stm ";" ;

注：来自“LBNF语法形式主义”，第7节（宏）：

(:[]). [Stm] ::= Stm ;
(:). [Stm] ::= Stm ";" [Stm] ;

装置

...child("distance").setValue(0.0000000001);

为C ++程序编写BNFC语法

1 个答案: