使用 Parse::RecDescent 进行打印和串联

Question

我正在测试 P::RD 教程 中的语法为了发展我自己的语法。 我还没有弄清楚如何打印字符串声明并将“$”附加到它的前面。 例如，“STRING sDir”应打印出“$sDir”。很简单，只需执行 $string =~ s/STRING /\$/ 即可，但是如果有赋值呢？例如。 “STRING sDir = aNewDir”。

这是语法，

OP       : m([-+*/%])      # Mathematical operators
INTEGER  : /[-+]?\d+/      # Signed integers
VARIABLE : /\w[a-z0-9_]*/i # Variable
STRING   : /STRING/i       # String declaration

expression : INTEGER OP expression
          { return main::expression(@item) }
          | VARIABLE OP expression
          { return main::expression(@item) }
          | INTEGER
          | VARIABLE
          { return $main::VARIABLE{$item{VARIABLE}} }

我开始认为正则表达式就足够了，但想知道如何为逗号分隔的声明创建一个复杂的语法，例如“STRING，foo，bar” - > $foo; $酒吧；

Answer 1

我没有完全明白你的问题。您仅将 STRING 定义为标记，尚未为其指定任何语义操作。下面的规则（出现在教程中）告诉我们如何处理令牌。

print_instruction : /print/i expression
                  { print $item{expression}."\n" }
assign_instruction : VARIABLE "=" expression
                   { $main::VARIABLE{$item{VARIABLE}} = $item{expression} }

instruction : print_instruction
            | assign_instruction

startrule: instruction(s /;/)

• 底部规则表示我们正在寻找一个或多个指令，以分号分隔。
• instruction 规则表示一条指令可以是赋值指令，也可以是打印指令。
• 打印指令采用单词print和表达式并打印表达式的结果。
• 赋值指令采用变量、文字 '=' 和表达式，并将表达式的结果赋给 %main::VARIABLE 哈希中的名称。
• expression 有两个操作，一个用于调用 &main::expression 的复合表达式，另一个用于从 %main:: 检索指定值的变量变量哈希。

您刚刚创建了一个令牌类型，但没有规则依赖于该令牌。此外，我了解了您想要做什么的要点，但还不足以为我为您想要做的事情创建语义操作提供指导。

由于不知道您到底想将指令放在哪里，我只是将以下情况添加到表达式中：

         | 'STRING' /[\p{Alpha}_]\w*/
         { return '
这意味着它会查找精确的字符串'STRING'，后跟标识符序列。所以你可以像这样使用它：
print STRING vvv

并获取$vvv。

 编辑：
如果我正确理解您的评论，我向 instruction 添加了 string_instruction 规则，并将其定义为
string_instruction : 'STRING' /[\p{Alpha}_]\w*/
                   { print "\$item[2]"; }

：我在示例中添加了：
print "STRING v\n";  $parser->startrule( "STRING v" );

打印 $v。
 . $item[2] }

这意味着它会查找精确的字符串'STRING'，后跟标识符序列。所以你可以像这样使用它：

并获取$vvv。

---

编辑：

如果我正确理解您的评论，我向 instruction 添加了 string_instruction 规则，并将其定义为

：我在示例中添加了：

打印 $v。