如何捕获由 boost::spirit::x3 解析器解析的值，以在语义动作的主体中使用？

Question

我有一个用于字符串文字的解析器，我想将一个语义操作附加到将操纵解析值的解析器。 似乎boost::spirit::x3::_val()在给定上下文时返回对解析值的引用，但由于某种原因，解析后的字符串总是作为空字符串进入语义动作的主体，这显然使其难以阅读。 这是正确的字符串，我通过检查地址确定了。 任何人都知道我如何在附加到解析器的语义操作中引用解析值？ 这是我目前使用的解析器：

x3::lexeme[quote > *("\\\"" >> x3::attr('\"') | ~x3::char_(quote)) > quote]

我想将语义动作添加到它的末尾。 先感谢您！

编辑：似乎每当我将任何语义动作附加到解析器时，该值都会被取消。 我想现在的问题是我如何在此之前访问该值？ 我只需要能够在将解析后的字符串提供给 AST 之前对其进行操作。

Answer 1

在 X3 中，语义动作要简单得多。 它们是只接受上下文的一元可调用对象。

然后你使用自由函数从上下文中提取信息：

• x3::_val(ctx)就像qi::_val
• x3::_attr(ctx)类似于qi::_0 （或qi::_1对于简单的解析器）
• x3::_pass(ctx)就像qi::_pass

因此，要获得语义操作，您可以执行以下操作：

   auto qstring 
    = x3::rule<struct rule_type, std::string> {"qstring"}
    = x3::lexeme[quote > *("\\" >> x3::char_(quote) | ~x3::char_(quote)) > quote]
    ;

现在创建一个非常奇数的字符串规则来反转文本（在反转义之后）并要求字符数为奇数：

auto odd_reverse = [](auto& ctx) {
    auto& attr = x3::_attr(ctx);
    auto& val  = x3::_val(ctx);
    x3::traits::move_to(attr, val);
    std::reverse(val.begin(), val.end());

    x3::_pass(ctx) = val.size() % 2 == 0;
};

auto odd_string 
    = x3::rule<struct odd_type, std::string> {"odd_string"}
    = qstring [ odd_reverse ]
    ;

演示

住在科利鲁

#include <boost/spirit/home/x3.hpp>
#include <iostream>
#include <iomanip>

int main() {
    namespace x3 = boost::spirit::x3;

    auto constexpr quote = '"';
    auto qstring 
        = x3::rule<struct rule_type, std::string> {"qstring"}
        = x3::lexeme[quote > *("\\" >> x3::char_(quote) | ~x3::char_(quote)) > quote]
        ;

    auto odd_reverse = [](auto& ctx) {
        auto& attr = x3::_attr(ctx);
        auto& val  = x3::_val(ctx);
        x3::traits::move_to(attr, val);
        std::reverse(val.begin(), val.end());

        x3::_pass(ctx) = val.size() % 2 == 0;
    };

    auto odd_string 
        = x3::rule<struct odd_type, std::string> {"odd_string"}
        = qstring [ odd_reverse ]
        ;

    for (std::string const input : { 
            R"("test \"hello\" world")",
            R"("test \"hello\" world!")",
    }) {
        std::string output;
        auto f = begin(input), l = end(input);
        if (x3::phrase_parse(f, l, odd_string, x3::blank, output)) {
            std::cout << "[" << output << "]\n";
        } else {
            std::cout << "Failed\n";
        }
        if (f != l) {
            std::cout << "Remaining unparsed: " << std::quoted(std::string(f,l)) << "\n";
        }
    }
}

印刷

[dlrow "olleh" tset]
Failed
Remaining unparsed: "\"test \\\"hello\\\" world!\""

更新

对于添加的问题：

编辑：似乎每当我将任何语义动作附加到解析器时，该值都会被取消。 我想现在的问题是我如何在此之前访问该值？ 我只需要能够在将解析后的字符串提供给 AST 之前对其进行操作。

是的，如果您附加一个动作，自动属性传播将被禁止。 在 Qi 中也是如此，您可以使用%=而不是=来分配规则以强制自动属性传播。

要在 X3 中获得相同的效果，请使用x3::rule的第三个模板参数： x3::rule<X, T, true>表示您想要自动传播。

真的，尽量不要与系统抗争。 在实践中，自动转换系统比我愿意自己重新发现的要复杂得多，所以我通常对整个 AST 进行后期处理，或者最多在一个动作中应用一些小的调整。 另见Boost Spirit：“语义行为是邪恶的”？