使用 Flex &野牛

Question

我正在尝试学习 Flex &野牛。我已经通读了材料，并且在理论层面上了解了它是如何运作的。然而，我似乎无法在不遇到心理障碍的情况下实现最基本的事情。 （注意：我没有参加任何编译器课程或类似的课程......这是我第一次接触这些东西）。我想一旦我看到这个超级基本的东西被实现，我将能够继续前进并更容易理解。

基本上，我想做的就是编写一个程序，在看到 type my_type /// some text 时将调用 my_type 的名为“set_text”的函数，并将文本设置为该注释之后的内容。相反，我的 Bison 语法将调用函数 my_type.set_text(some text); 我意识到我可以在不使用 Flex 和 Bison 的情况下轻松完成此操作，但重点是学习。

我已经正确设置了文件...我需要实现的只是令牌传递（来自 Flex）和采取的操作（来自 Bison）。

到目前为止我的 Flex 令牌传递情况：

"\/"{3}               { return COMMENT; }

到目前为止我的 Bison 令牌抓取情况

%token COMMENT

，这就是我能想到的全部内容。我知道我还需要什么......我只是不知道该怎么做。我知道我需要：
a) 将 type 和 my_type 作为某种东西传递
b) 在 Bison 中提出一个“规则”来处理这些东西并调用函数正确的函数

有帮助吗？我已经走远了吗？

更新（关于如何执行此操作的进一步想法）： 也许我的 Bison 文件应该包含这样的规则：

commented_variable:                           {($2).set_text($4);}
    IDENTIFIER NAME COMMENT COMMENT_TEXT                      

因此我的 Flex 文件需要向它传递这些令牌？我走在正确的轨道上吗？

Answer 1

让我推荐一些东西。
虽然处理 COMMENT 和 COMMENT_TEXT 并非不可能
单独使用 flex 的启动条件，我认为更容易
一次处理它们。
bison 源代码如下（虚构代码）：

%union {
  name_type *name;
  char const *comment;
}
%token <name> NAME
%token <comment> COMMENT
%%
commented_variable: IDENTIFIER NAME COMMENT {$2->set_text($3);}

从词法角度来看，您的 IDENTIFIER 和 NAME 似乎无法区分。
所以我在用户代码中对它们进行了排序（不是词汇上的）。
flex 源代码将如下所示：

"///".*                 {
                        yylval.comment = strdup( yytext + 3 );
                        return COMMENT;
                        }
[A-Za-z_][A-Za-z_0-9]*  {
                        name_type *n = lookup_name( yytext );
                        if ( n ) {
                          yylval.name = n;
                          return NAME;
                        }
                        return IDENTIFIER;
                        }

但是，上面的代码仍然需要适当的 name_type 和
lookup_name，并释放从strdup返回的指针。
如果您对 flex/bison 没有太多经验，我建议首先使用
充分确认词法分析器。
例如，我建议确认预期的令牌被识别
使用像
int main() { while ( yylex() ) {} } 这样的简单代码，

"///".*                 printf("comment %s\n", yytext);
[A-Za-z_][A-Za-z_0-9]*  printf("symbol %s\n", yytext);

类似地，对于 bison 代码，我建议首先解决语法问题
像移位/减少冲突这样的问题，并确认语法是
使用简单的代码可以正确识别，例如：

commented_variable: IDENTIFIER NAME COMMENT { puts("OK"); }

Answer 2

鉴于您实际上使用分隔符后面的文本，我不会对上面的任何内容使用“注释”一词。也就是说，您在更新中添加的内容几乎是正确的想法。