Question

使用boost::spirit::x3::position_tagged作为某些AST节点的基类（如何选择哪些应该被标记，例如用于类C语言？）以及在规则ID定义中使用的其他结构的逻辑是什么，如：

struct error_handler_tag;

struct error_handler_base
{

    template< typename Iterator, typename Exception, typename Context >
    x3::error_handler_result
    on_error(Iterator & /*first*/, Iterator const & /*last*/,
             Exception const & x, Context const & context)
    {
        std::string message_ = "Error! Expecting: " + x.which() + " here:";
        auto & error_handler = x3::get< error_handler_tag >(context).get();
        error_handler(x.where(), message_);
        return x3::error_handler_result::fail;
    }

};

struct annotation_base
{

    template< typename T, typename Iterator, typename Context >
    void
    on_success(Iterator const & first, Iterator const & last,
               T & ast, Context const & context)
    {
        auto & error_handler = x3::get< error_handler_tag >(context).get();
        error_handler.tag(ast, first, last);
    }

};
// ...
error_handler_type error_handler(beg, end, std::cerr);
auto const parser_ = x3::with< error_handler_tag >(std::ref(error_handler))[grammar];
// ...

如果输入错误（语法不匹配），这部分代码什么都不做（即使是最简单的语法，应识别标识符） - 不打印错误消息。

Answer 1

格式正确的解析并不意味着AST也可以成功评估。考虑定义一些评估者的语法，该评估者可以评估数学表达式，如＆＃34; 3 + 4 /（5-5）＆＃34;。它会解析得很好，但在AST评估期间，您可能希望在＆＃34; 5-5＆＃34;作为分裂的论据。为此，拥有你抱怨的元素的位置是很方便的。

Boost.Spirit X3中的错误处理和注释

1 个答案: