c++ - Boost::Spirit - on_error 不打印

Question

我正在尝试使用 Boost::Spirit::qi 的 on_error 机制来找出解析失败的原因。

我在 on_error 函数处设置了一个断点，该函数正在被调用，但没有输出(nada、nothing、void、...)。

简单的on_error:

on_error<fail>(level1,
    boost::phoenix::ref(std::cout) << "I've failed.\n"
    );

复杂的on_error(来自不同网站):

on_error<fail>
(
    start,
    boost::phoenix::ref(std::cout)
        << val("Error! Expecting ")
        << _4
        << val(" here: \"")
        << construct<std::string>(qi::_3, qi::_2)
        << val("\"")
        << std::endl
    );

这是我的类，包含简单的on_error:

template <typename Iterator, typename Skipper>
struct Event_Compound
    : qi::grammar<Iterator, Skipper>
{
    Event_Compound () 
        : Event_Compound::base_type(start, "Compound-Event")
        {
            using qi::lexeme;
            using qi::lit;
            using namespace qi;
            using boost::spirit::ascii::char_;

            relational_operator =
                lit("&&")[Matched_Relational_AND]
                || lit("||")[Matched_Relational_OR]
                ;

            compound =
                level1[Matched_Nested_Level1_Begin] >> relational_operator[Matched_Relational_Operator] >> level1[Matched_Nested_Level1_End]
                ;

            compare_or_compound =
                compound[Matched_Compound] | grammar_comparison_event[Matched_Comparison_Event]
                ;

            level1 =
                grammar_boolean_event[Matched_Boolean_Event]
                | ( char_('(')[Matched_Open_Paren] >> compare_or_compound[Matched_Compare_Or] >> char_(')')[Matched_Close_Paren]  )
                ;

            start =
                level1[Matched_Level1_Begin] >> relational_operator[Matched_Relational_Operator] >> level1[Matched_Level1_End]
                ;
            on_error<fail>(level1,
                boost::phoenix::ref(std::cout) << "I've failed.\n"
                );
        }

    Event_Boolean<Iterator, Skipper>        grammar_boolean_event;
    Event_Comparison<Iterator, Skipper>     grammar_comparison_event;
    qi::rule<Iterator, Skipper>             level1;
    qi::rule<Iterator, Skipper>             compound;
    qi::rule<Iterator, Skipper>             compare_or_compound;
    qi::rule<Iterator, Skipper>             relational_operator;
    qi::rule<Iterator, Skipper>             start;
};

是否有简单方法来跟踪解析器的行为或思维模式？ (比如设置一个预处理器宏或者一些标志变量)

为什么 on_error 没有任何输出？

此外，_1、_2、_3 和 _4 引用什么？

我正在尝试调试一个语法，并且我已经输出了关于已匹配规则的输出，但是当规则不匹配时，我想知道是哪个规则以及为什么。

我正在使用:

• 提升 1.57.0
• Visual Studio 2010
• Windows 7

研究:

• how to make error handling work forboost::spirit
• Dispatching on ExpectationFailures
• Boost::Spirit documentation: Mini XML - ErrorHandling

Answer 1

错误处理只与期望点有关。你似乎没有这些。

• http://www.boost.org/doc/libs/1_57_0/libs/spirit/doc/html/spirit/qi/reference/operator/expect.html

调试语法使用

• 在任何提升包括之前#define BOOST_SPIRIT_DEBUG
• BOOST_SPIRIT_DEBUG_NODE(node) 或 BOOST_SPIRIT_DEBUG_NODES((node1)(node2)...) 选择要调试的节点

这将向您展示回溯(如果有)和属性传播的作用。如果您使用它们，本地和继承的属性也会显示。

请注意，您的规则的属性需要进行融合/流式处理才能进行调试。