c++ - 将语义 Action 附加到具有 boost spirit 的解析器

Question

我试图理解将语义 Action “附加”到解析器的确切含义，更准确地说，我想了解语义 Action 何时以及持续多长时间绑定(bind)到解析器。

为此，我对 boost spirit 库的 employee.cpp 示例进行了以下修改:

1°/添加了一个 print() 函数，其输出仅在调用时进行跟踪:

void print(const struct employee & e) { std::cout << e.surname << "\n"}

2°/在类 employee_parser 的构造函数的末尾，我将 print() 函数绑定(bind)到 start 解析器:

employee_parser() : employee_parser::base_type(start)
    {
        using qi::int_;
        using qi::lit;
        using qi::double_;
        using qi::lexeme;
        using ascii::char_;

        quoted_string %= lexeme['"' >> +(char_ - '"') >> '"'];

        start %=
            lit("employee")
            >> '{'
            >>  int_ >> ','
            >>  quoted_string >> ','
            >>  quoted_string >> ','
            >>  double_
            >>  '}'
            ;
        start[&print];
    }

尽管在我看来我已经将 start 解析器附加到语义操作 print 中，但如文档中所示，print() 函数永远不会被调用。它接缝需要附加在解析器定义右端的语义 Action ，与解析器出现在同一定义中的次数一样多。任何人都可以详细说明一下吗？

Answer 1

在 spirit 上，解析器是一个函数对象，并且在大多数情况下，重载的运算符允许您创建新的解析器，例如 >>> 等，返回不同函数对象，而不是修改原始对象。

如果你用过java，遇到过java的不可变字符串，你可以这么想。

当你有这样的表达时

rule1 = lit("employee");
rule2 = (rule1 >> lit(",") >> rule1) [ &print ];

发生的事情是生成一个新的解析器对象并将其分配给变量 rule2，并且该解析器对象附加了语义操作。

事实上，表达式中的每个运算符都有一个新的临时解析器对象。开销仅在构造解析器时发生一次，在解析时并不重要。

当你有

start[&print];

这就像产生一个立即被丢弃的临时值。它对 start 变量中的值没有副作用。这就是为什么永远不会调用 print 的原因。

如果它不是这样工作的，那么创建语法可能会复杂得多。

当你在spirit qi中定义一个文法时，通常定义基本上是在文法对象的构造函数中完成的。首先给出规则的原型(prototype)，指定它们的类型、 skipper 等。然后你一个一个地构建规则。您必须确保在初始化之前不在另一个规则的定义中使用该规则。但是在初始化之后，就语法而言，它基本上不会改变。 (不过您可以修改诸如调试信息之类的内容。)

如果所有规则在初始化后都可能发生变化，那么它们都必须就变化相互更新，这会更加复杂。

您可能会想象，通过让规则存储对彼此的引用而不是值来避免这种情况。但这意味着指针和动态分配 afaik，并且会更慢。 spirit 上的部分要点在于它是表达式模板——据我所知，所有这些“指针取消引用”都应该在编译时得到解决。