c++ - 如何让 Ragel 执行不同的解析操作

Question

我是 Ragel 的新手，一直在尝试解析 Regex 表达式的特定模式。done如果找到匹配项， 我希望执行操作，并且parse_error即使缺少任何单个字符也没有匹配项，我希望执行操作。

这是我写的代码：

#include <iostream>
#include <string.h>
#include <stdio.h>

%%{
action done {
printf("done\n");
}


action parse_error {
printf("error : %c\n",fc);
}


machine ldf;    
main := (':'.'LoadSdf'.[0-9]+.[a-zA-Z0-9_\-\.])@done |    //execute done
         (^(':'.'LoadSdf'.[0-9]+.[a-zA-Z0-9_\-\.])) $err(parse_error); //execute parse error for no match

}%%

%%write data;
int main(int argc, char** argv)
{
int cs;
 if(argc > 1) {
char *p = argv[1];
char *pe = p+strlen(p) + 1;
%%write init;
%%write exec;
}
 return 0;
}

我看到的行为是，当正则表达式完全匹配时，动作done和都被执行。parse_error

任何人都可以提供一些关于我如何处理这种情况的提示吗？

Answer 1

这段代码有几个问题。首先，一个技术错误 --- 你的pe定义是不一样的（它包括零字符，你的机器不应该关心零（当然你可以让它处理它们，但它只会无缘无故地使事情复杂化））。定义也很有用，eof因为当您在输入中有“:Load”之类的内容（缺少“Sdf”和后续块）时，它应该是一个错误。这是由

-char *pe = p+strlen(p) + 1;
+char *pe = p+strlen(p);
+char *eof = pe;

另一个问题是没有必要将一些机器和它的负面结合起来来控制错误。这些是不同的动作。看一下你机器的图片：

您可以看到，在中间这里没有适当的错误处理，最后您可以done()调用多次，因为它被指定为在转换到最终状态之一时发生。可能它只应该在正确的机器完成时运行（即，在最终状态下达到 EOF）。

因此，如果您要将机器定义更改为

main := (':'.'LoadSdf'.[0-9]+.[a-zA-Z0-9_\-\.]) %/done $!(parse_error);

你可能会得到你想要的：

$ ./a.out "asdf"
error : a
$ ./a.out "qwerty"
error : q
$ ./a.out ":Load"
error : 
$ ./a.out ":LoadSdf"
error : 
$ ./a.out ":LoadSdf1212"
done
$ ./a.out ":LoadSdf1q"
done
$ ./a.out ":LoadSdf1qwe"
error : w

在图形形式中看起来像这样：