以提升精神将语义动作附加到解析器

Question

我试图了解将语义动作“附加”到解析器的确切含义，更准确地说，我想了解语义动作何时以及多长时间绑定到解析器。

为此，我对boost精神库的employee.cpp示例进行了如下修改：

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

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

2°/在employee_parser类的构造函数末尾，我将print()函数绑定到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() 函数从未被调用。它将语义动作需要附加到解析器定义的右端，与解析器出现在同一个定义中的次数一样多。有人可以详细说明一下吗？

Answer 1

从本质上讲，解析器是一个函数对象，并且大多数情况下，为了让您创建新的解析器而重载的运算符，例如>>等，返回不同 em> 函数对象，而不是修改原来的对象。

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

当你有这样的表达时

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

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

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

当你有

start[&print];

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

如果它不能以这种方式工作，那么制作语法可能会复杂得多。

当你在灵气中定义语法时，通常定义基本上是在语法对象的构造函数中完成的。首先给出规则的原型，指定它们的类型、船长等。然后你一个一个地构造规则。您必须确保在初始化之前不使用另一个规则的定义中的规则。但是在初始化之后，就所涉及的语法而言，它几乎不会改变。 （不过，您可以修改调试信息等内容。）

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

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