C++ boost::bool可选,内部boost::spirit::qi语法

C++ boost::bool可选,内部boost::spirit::qi语法,c++,boost-spirit,boost-spirit-qi,C++,Boost Spirit,Boost Spirit Qi,在我的boost::spirit语法中,我有以下代码片段 implicit_method_declaration = (-(qi::token(ABSTRACT)) >> ...) -(qi::token(ABSTRACT)的类型是boost::optional,但是我只使用这个构造来检查抽象关键字是否确实存在,也就是说,我宁愿让-(qi::token(ABSTRACT)的类型bool具有值boost::optional operator bool()const 我将如何实现这一目

在我的
boost::spirit
语法中,我有以下代码片段

implicit_method_declaration = (-(qi::token(ABSTRACT)) >> ...)
-(qi::token(ABSTRACT)
的类型是
boost::optional
,但是我只使用这个构造来检查抽象关键字是否确实存在,也就是说,我宁愿让
-(qi::token(ABSTRACT)
的类型
bool
具有值
boost::optional operator bool()const


我将如何实现这一目标?

我想您正在寻找
qi::matches[]

implicit_method_declaration = 
     qi::matches[qi::token(ABSTRACT)] >> ...;
另一种方法是将
qi::attr()
与其他方法一起使用:

implicit_method_declaration = 
       (
           qi::token(ABSTRACT) >> qi::attr(true) 
         | qi::attr(false)
       ) >> ...;
再次快速演示:

#include <boost/spirit/include/qi.hpp>

namespace qi    = boost::spirit::qi;

template <typename It, typename Skipper = qi::space_type>
    struct parser : qi::grammar<It, bool(), Skipper>
{
    parser() : parser::base_type(implicit_method_declaration)
    {
        using namespace qi;

        implicit_method_declaration = matches["abstract"];

        BOOST_SPIRIT_DEBUG_NODES((implicit_method_declaration));
    }

  private:
    qi::rule<It, bool(), Skipper> implicit_method_declaration;
};

bool doParse(const std::string& input)
{
    typedef std::string::const_iterator It;
    auto f(begin(input)), l(end(input));

    parser<It, qi::space_type> p;
    bool data;

    try
    {
        bool ok = qi::phrase_parse(f,l,p,qi::space,data);
        if (ok)   
        {
            std::cout << "parse success\n";
            std::cout << "data: " << data << "\n";
        }
        else      std::cerr << "parse failed: '" << std::string(f,l) << "'\n";

        if (f!=l) std::cerr << "trailing unparsed: '" << std::string(f,l) << "'\n";
        return ok;
    } catch(const qi::expectation_failure<It>& e)
    {
        std::string frag(e.first, e.last);
        std::cerr << e.what() << "'" << frag << "'\n";
    }

    return false;
}

int main()
{
    doParse("abstract");
    doParse("static final");
}
parse success
data: 1
parse success
data: 0
trailing unparsed: 'static final'