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

【问题标题】：error handling and annotation in Boost.Spirit X3Boost.Spirit X3 中的错误处理和注释
【发布时间】：2014-09-11 04:07:41
【问题描述】：

使用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];
// ...

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

【问题讨论】：

我自己的代码有一个类似的问题，它基于rexpr tutorial 和x3_fun，但我不完全确定故障来自何处，即是否是我自己的错误。你检查过邮件列表吗？我没有编译两个教程项目，因此没有检查它们是否正确。
@Christoph 无法立即完成，但在不久的将来我可以。
Awesome :) on_success 方法定义在 x3::annotate_on_success annotate_on_success.cpp 并继承于 struct rexpr_class : x3::annotate_on_success, error_handler_base {}; rexpr_def.hpp 被成功调用，但 on_error 处理程序定义为用户的
error_handler.hpp 不是（至少在我的项目中），即使我将它的所有声明和定义直接移动到我的等效 rexpr_class 中。明天或后天，我可以尝试检查 on_error 和 on_success 的出现情况，目前我在 x3 目录中找不到它们，只有 on_error 的签名不同。跨度>
简短更新：regexpr_full 中定义的 on_error 处理程序被正确调用。

标签： c++ boost-spirit-qi boost-spirit-x3

【解决方案1】：

语法正确的解析并不意味着也可以成功评估 AST。想一想定义一些评估器的语法，该评估器可以评估诸如“3 + 4 /（5-5）”之类的数学表达式。它会解析得很好，但在 AST 评估期间，您可能希望在“5-5”上引发错误作为除法的参数。为此，拥有您抱怨的元素的位置很方便。

【讨论】：