使用简单的 Boost::Spirit 语法？

Question

我无法使用语法，所以我对其进行了简化，直到它只解析一个整数。仍然无法让它工作。就是如下语法：

template<typename Iterator>
struct rangeGrammar : qi::grammar<Iterator, int()>
{
    rangeGrammar() :
    rangeGrammar::base_type(number)
    {
        using qi::int_;
        using qi::_1;
        using qi::_val;

        number = int_[_val = _1];
    }
    qi::rule<Iterator, int()> number;
};

它应该只解析一个整数（我知道我可以告诉解析函数使用 int_ 作为语法，但我不知道这个例子有什么问题）。

我的解析函数是：

/* n is a std::string provided by the user */
rangeGrammar<std::string::const_iterator> grammar;
int num = 0;
qi::phrase_parse(n.start(), n.end(), grammar, num);
std::cout << "Number: " << num << std::endl;

我收到以下编译器错误：

/boost/spirit/home/qi/reference.hpp: 在成员函数'bool boost::spirit::qi::reference::parse(Iterator&, const Iterator&, Context&, const Skipper&, Attribute&) const [with Iterator = __gnu_cxx::__normal_iterator >, Context = boost::spirit::context, boost::spirit::locals >, Skipper = boost::spirit::unused_type, Attribute = int, Subject = const boost::spirit ::qi::rule<:__normal_iterator>, int(), boost::spirit::unused_type, boost::spirit::unused_type, boost::spirit::unused_type>]': /boost/spirit/home/qi/parse.hpp:89:82: 从 'bool boost::spirit::qi::parse(Iterator&, Iterator, const Expr&, Attr&) 实例化 [with Iterator = __gnu_cxx::__normal_iterator > , expr = rangeGrammar<:__normal_iterator>>, Attr = int]' ../parameter_parser.h:95:46: 从这里实例化 boost/spirit/home/qi/reference.hpp:43:71: 错误: 没有匹配函数调用'boost::spirit::qi::rule<:__normal_iterator>, int(), boost::spirit ::unused_type, boost::spirit::unused_type, boost::spirit::unused_type>::parse(__gnu_cxx::__normal_iterator >&, const __gnu_cxx::__normal_iterator >&, boost::spirit::context, boost:: Spirit::locals >&, const boost::spirit::unused_type&, int&) const' cc1plus：警告被视为错误 /boost/spirit/home/qi/reference.hpp:44:9：错误：控制到达非空函数的结尾 * 退出状态 1 *

无法弄清楚问题所在。任何帮助将不胜感激。

Answer 1

答：语法没有nothing 少许错误，但您使用的是qi::phrase_parse，它需要一个船长。使用qi::parse，问题就消失了。

注意 1： 在此处使用 [_val=_1] 完全是多余的；没有语义属性的规则享受自动属性传播。

注意 2： 您可能希望使用 qi::match 进行如下解析：

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

const std::string input = "1234";
std::istringstream iss(input);
iss >> qi::match(qi::int_ [ std::cout << qi::_1 ]);

最后为了您的兴趣，这里有一个带有运行测试的骨架“doParse”函数，它显示了良好 Qi 练习的更多元素：

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

namespace qi    = boost::spirit::qi;
namespace phx   = boost::phoenix;

template<typename Iterator>
struct rangeGrammar : qi::grammar<Iterator, int()>
{
    rangeGrammar() : rangeGrammar::base_type(number)
    {
        number = qi::int_;
    }
    qi::rule<Iterator, int()> number;
};

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

    try
    {
        rangeGrammar<It> p;
        int data;

        bool ok = qi::parse(f,l,p,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()
{
    bool ok = doParse("1234");
    return ok? 0 : 255;
}